这篇文章将为大家详细讲解有关TypeScript中怎么实现一个斐波那契数列,文章内容质量较高,因此小编分享给大家做个参考,希望大家阅读完这篇文章后对相关知识有一定的了解。
成都一家集口碑和实力的网站建设服务商,拥有专业的企业建站团队和靠谱的建站技术,十年企业及个人网站建设经验 ,为成都上1000家客户提供网页设计制作,网站开发,企业网站制作建设等服务,包括成都营销型网站建设,品牌网站制作,同时也为不同行业的客户提供做网站、成都做网站的服务,包括成都电商型网站制作建设,装修行业网站制作建设,传统机械行业网站建设,传统农业行业网站制作建设。在成都做网站,选网站制作建设服务商就选成都创新互联。
const fib = (n: number): number => n <= 1 ? n : fib(n - 1) + fib(n - 2); for (let i = 0; i < 10; i++) { console.log(i, fib(i)); }
运行结果如下:
斐波那契数列打印结果
程序完全没问题,完结撒花!
开玩笑的,上面是只一个用了TypeScript类型定义的JavaScript写法,我们其实真正想这样做↓↓↓, 也就是使用TS Type解决FIbonacci
import { Fib, Add } from './fib-type'; type one = Fib<1>; type zero = Fib<0>; type Two = Add<one, one>; type Five = Add<Two, Add<Two, one>>; type Fib5 = Fib<Five>; type Fib9 = Fib<9>; type r0 = Fib<Zero>; // type r0= 0 type r1 = Fib<One>; // type r1 = 1 type r2 = Fib<Two>; // type r2 = 1 type r3 = Fib<3>; // type r3 = 2 type r4 = Fib<4>; // type r4 = 3 type r5 = Fib<5>; // type r5 = 5 type r6 = Fib<6>; // type r6 = 8 type r9 = Fib<9>; // type r9 = 34 type sum = Add<r9, r6>; // type sum = 42
类型提示
要想实现斐波那契数列,参考一开始的代码,有基本的比较, 加法, 循环语法, 所以我们也需要使用类型系统依次实现这三种功能
为了实现加法, 需要先实现一些工具类型
// 元组长度 type Length<T extends any[]> = T['length']; type one = 1 // 使用extends实现数字相等的比较 type a111 = 0 extends one ? true : false // type a111 = false type a112 = 1 extends one ? true : false // type a112 = true
range的实现是递归实现的
// 伪代码 function range(n, list=[]){ if(n<=0) return list.length return range(n-1, [1, ...list]) }
TypeScript的限制, 没有循环, 只能用递归代替循环, 后面会有几个类似的写法, 记住一点:递归有几个出口, 对象就有几个 key, 每个 key 就是一个条件
// 创建指定长度的元组, 用第二个参数携带返回值 type Range<T extends Number = 0, P extends any[] = []> = { 0: Range<T, [any, ...P]>; 1: P; }[Length<P> extends T ? 1 : 0]; // 拼接两个元组 type Concat<T extends any[], P extends any[]> = [...T, ...P]; type t1 = Range<3>; // type t1 = [any, any, any] type Zero = Length<Range<0>>; // type Zero = 0 type Ten = Length<Range<10>>; // type Ten = 10 type Five = Length<Range<5>>; // type Five = 5 type One = Length<Range<1>>;
有了上面的工具语法,那么实现加法就比较容易了, 只需要求两个元组合并后的长度
type Add<T extends number, P extends number> = Length< Concat<Range<T>, Range<P>> >; type Two = Add<One, One>; // type Two = 2 type Three = Add<One, Two>; // type Three = 3
有了加法,该如何实现减法呢?一般减法和除法都比加法难, 所以我们需要更多的工具类型函数!
2.2.1 实现一些基本工具类型
Shift:删除第一个元素
Append:在元组末尾插入元素
IsEmpty / NotEmpty:判断列表为空
// 去除元组第一个元素 [1,2,3] -> [2,3] type Shift<T extends any[]> = ((...t: T) => any) extends ( _: any, ...Shift: infer P ) => any ? P : []; type pp = Shift<[number, boolean,string, Object]> // type pp = [boolean, string, Object] // 向元组中追加 type Append<T extends any[], E = any> = [...T, E]; type IsEmpty<T extends any[]> = Length<T> extends 0 ? true : false; type NotEmpty<T extends any[]> = IsEmpty<T> extends true ? false : true; type t4 = IsEmpty<Range<0>>; // type t4 = true type t5 = IsEmpty<Range<1>>; // type t5 = false
2.2.2 逻辑类型
And:a && b
// 逻辑操作 type And<T extends boolean, P extends boolean> = T extends false ? false : P extends false ? false : true; type t6 = And<true, true>; // type t6 = true type t7 = And<true, false>; // type t7 = false type t8 = And<false, false>; // type t8 = false type t9 = And<false, true>; // type t9 = false
2.2.3 小于等于
伪代码: 主要思想是同时从列表中取出一个元素, 长度先到0的列表比较短
function dfs (a, b){ if(a.length && b.length){ a.pop() b.pop() return dfs(a,b) }else if(a.length){ a >= b }else if (b.length){ b > a } }
思想:将数字的比较转换为列表长度的比较
// 元组的小于等于 T <= P, 同时去除一个元素, 长度先到0的比较小 type LessEqList<T extends any[], P extends any[]> = { 0: LessEqList<Shift<T>, Shift<P>>; 1: true; 2: false; }[And<NotEmpty<T>, NotEmpty<P>> extends true ? 0 : IsEmpty<T> extends true ? 1 : 2]; // 数字的小于等于 type LessEq<T extends number, P extends number> = LessEqList<Range<T>, Range<P>>; type t10 = LessEq<Zero, One>; // type t10 = true type t11 = LessEq<One, Zero>; // type t11 = false type t12 = LessEq<One, One>; // type t12 = true
减法有两个思路,列表长度相减求值和数字相减求值
2.3.1 列表减法
默认大减小, 小减大只需要判断下反着来, 然后加个符号就行了, 这里为了简单没有实现,可参考伪代码如下:
// 伪代码 const a = [1, 2, 3]; const b = [4, 5]; const c = []; while (b.length !== a.length) { a.pop(); c.push(1); }// c.length === a.length - b.lengthconsole.log(c.length); // 元组的减法 T - P, 同时去除一个元素, 长度到0时, 剩下的就是结果, 这里使用第三个参数来携带结果, 每次做一次减法, 向第三个列表里面追加 type SubList<T extends any[], P extends any[], R extends any[] = []> = { 0: Length<R>; 1: SubList<Shift<T>, P, Apped<R>>; }[Length<T> extends Length<P> ? 0 : 1]; type t13 = SubList<Range<10>, Range<5>>; // type t13 = 5
2.3.2 数字减法
思想:将数字转成元组后再比较
// 集合大小不能为负数, 默认大减小 // 数字的减法 type Sub<T extends number, P extends number> = { 0: Sub<P, T>; 1: SubList<Range<T>, Range<P>>; }[LessEq<T, P> extends true ? 0 : 1]; type t14 = Sub<One, Zero>; // type t14 = 1 type t15 = Sub<Ten, Five>; // type t15 = 5
我们有了这些工具后, 就可以将一开始用JavaScript实现的斐波那契数列的实现代码,翻译为TypeScript类型编码
在JavaScript中,我们使用函数
const fib = (n: number): number => n <= 1 ? n : fib(n - 1) + fib(n - 2);
在TypeScript中,我们使用类型, 其实只是换了一种写法, 用类型函数描述运算, 万变不离其宗~
由于TypeScript递归限制, 并不能求解非常大的项, 不过好玩就完事了~
export type Fib<T extends number> = { 0: T; 1: Add<Fib<Sub<T, One>>, Fib<Sub<T, Two>>>; }[LessEq<T, One> extends true ? 0 : 1]; type r0 = Fib<Zero>; // type r10= 0 type r1 = Fib<One>; // type r1 = 1 type r2 = Fib<Two>; // type r2 = 1 type r3 = Fib<3>; // type r3 = 2 type r4 = Fib<4>; // type r4 = 3 type r5 = Fib<5>; //type r5 = 5 type r6 = Fib<6>; // type r6 = 8
关于TypeScript中怎么实现一个斐波那契数列就分享到这里了,希望以上内容可以对大家有一定的帮助,可以学到更多知识。如果觉得文章不错,可以把它分享出去让更多的人看到。
标题名称:TypeScript中怎么实现一个斐波那契数列
标题链接:https://www.cdcxhl.com/article6/jdiiig.html
成都网站建设公司_创新互联,为您提供定制网站、ChatGPT、外贸网站建设、企业建站、网站排名、域名注册
声明:本网站发布的内容(图片、视频和文字)以用户投稿、用户转载内容为主,如果涉及侵权请尽快告知,我们将会在第一时间删除。文章观点不代表本网站立场,如需处理请联系客服。电话:028-86922220;邮箱:631063699@qq.com。内容未经允许不得转载,或转载时需注明来源: 创新互联