TypeScript类型体操--斐波那契序列

大家好,我是苏先生,2024年我的第一愿景就是做一个可行的副业,求大佬带我~~

好文推荐

前言

前边几篇文章我们一共实现了43 个工具类型,按照本专栏的规划,还差56个...

本节我们继续学习一个新的工具类型

提示

对于语法层面的知识点本系列(类型体操开头的标题)不会展开说明哈,可以自行搜索学习其他大佬的优质文章或者等我后续更新补充

题目

实现

首先,使用type关键字创建类型Fibonacci,它接收一个数值参数T

ts 复制代码
type Fibonacci<T extends number>

由于斐波那契序列一般指的都是非负整数索引,因此对于泛型T,需要对其取绝对值。至于负数,其本质上等价于先取正整数的斐波那契数然后再对其取反即可

如下,当为负数时,先通过Abs取正,再通过模版字符类型取反

ts 复制代码
type Fibonacci<T extends number> = 
  T extends Abs<T> 
  ? 
    _Fibonacci<T> 
  : 
    `-${_Fibonacci<Abs<T>>}`

不过,为了返回类型的一致性,将正整数T对应的斐波那契数也转换成字符串类型

ts 复制代码
type Fibonacci<T extends number> = 
  T extends Abs<T> 
  ? 
    `${_Fibonacci<T>}` 
  : 
    `-${_Fibonacci<Abs<T>>}`

另外

已知斐波那契序列的性质如下

text 复制代码
f(n)=f(n-2)+f(n-1)

我们搞一个js函数来观察下

当n为0时其结果为0,当n为1或2的时候,其结果为1,这些结果是恒定的,可以将其前置处理掉

ts 复制代码
type _Fibonacci<T extends number> = 
  T extends 0 
  ? 
    0 
  : 
    T extends 1 | 2 
    ? 
      1
    :
      ...

省略号部分即T>=3的时候,由截图可知,它对应的斐波那契数为

text 复制代码
f(3)=f(1)+f(2)

则,取parent的首字母P为f(2),即f(n-1),grandfather的首字母G为f(1),即f(n-2),声明变量如下

ts 复制代码
type _Fibonacci<
  T extends number, 
  P extends number[] = [1],
  G extends number[] = [1]
> = ...

则对于大于等于3的数,只需要对其执行递归

ts 复制代码
_Fibonacci<T,f(n-1),f(n-2)>

然后取P和G的length和就是最终的答案了

ts 复制代码
[...P,...G]['length']

那现在有两个问题需要解决

1.递归何时结束?

声明变量I表示当前正在计算的斐波那契数

ts 复制代码
type _Fibonacci<
  ..., 
  I extends number[] = [1,1,1], 
  ...> = ...

每递归一次,就将I的length加1

ts 复制代码
_Fibonacci<...,[...I,1],...>

当I['length']与T相等时,递归结束

ts 复制代码
type _Fibonacci<
  ..., 
  I extends number[] = [1,1,1], 
  ...> 
  = 
    ...
    I['length'] extends T 
    ? 
      '出口' 
    : 
      '递归'

2.传入递归的f(n-1)和f(n-2)是什么?

结合定义和前文关于出口的说明,只需要依次向前推进一位即可

当T=6时

进入递归,P为5即f(n-1),G为4即f(n-2)

ts 复制代码
_Fibonacci<T,f(6),f(5)>

当T=7时

进入递归,P为6即f(n-1),G为5即f(n-2)

ts 复制代码
_Fibonacci<T,f(7),f(6)>

故,完整实现如下

ts 复制代码
type Abs<
    N extends number
> = 
`${N}` 
  extends `-${infer R extends number}` 
? R 
: N;

type _Fibonacci<
  T extends number, 
  I extends number[] = [1,1,1], 
  P extends number[] = [1],
  G extends number[] = [1]
> = 
T extends 0 
? 
    0 
: 
    T extends 1 | 2 
    ? 
        1
    : 
        T extends I['length'] 
        ? 
            [...P,...G]['length']
        :
            _Fibonacci<T,[...I,1],[...P,...G],P> 

type Fibonacci<T extends number> = 
  T extends Abs<T> 
  ? 
    `${_Fibonacci<T>}` 
  : 
    `-${_Fibonacci<Abs<T>>}`

使用如下

下期预告

  • 【知识点】巧用装饰器自动修正TypeScript中的类this指向

-【类型体操】去除数组指定元素

接收数组类型的 T 和数字或数组类型的 U 为参数,会返回一个去除 U 中元素的数组 T

ts 复制代码
type Res = Without<[1, 2], 1>; // [2]
type Res1 = Without<[1, 2, 4, 1, 5], [1, 2]>; // [4, 5]
type Res2 = Without<[2, 3, 2, 3, 2, 3, 2, 3], [2, 3]>; // []

如果本文对您有用,希望能得到您的点赞和收藏

订阅专栏 ,每更新1-2篇类型体操,等你哟😎

相关推荐
Jacky(易小天)12 小时前
MongoDB比较查询操作符中英对照表及实例详解
数据库·mongodb·typescript·比较操作符
疯狂的沙粒13 小时前
如何在Vue项目中应用TypeScript?应该注意那些点?
前端·vue.js·typescript
疯狂的沙粒13 小时前
对 TypeScript 中函数如何更好的理解及使用?与 JavaScript 函数有哪些区别?
前端·javascript·typescript
张小小大智慧17 小时前
TypeScript 的发展与基本语法
前端·javascript·typescript
幼儿园的小霸王18 小时前
通过socket设置版本更新提示
前端·vue.js·webpack·typescript·前端框架·anti-design-vue
疯狂的沙粒18 小时前
对 TypeScript 中高级类型的理解?应该在哪些方面可以更好的使用!
前端·javascript·typescript
endingCode1 天前
45.坑王驾到第九期:Mac安装typescript后tsc命令无效的问题
javascript·macos·typescript
前端百草阁1 天前
【TS简单上手,快速入门教程】————适合零基础
javascript·typescript
彭世瑜1 天前
ts: TypeScript跳过检查/忽略类型检查
前端·javascript·typescript
FØund4041 天前
antd form.setFieldsValue问题总结
前端·react.js·typescript·html