TypeScript类型体操--为函数追加参数

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

好文推荐

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

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

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

首先，为其确定名称和参数

ts 复制代码

type AppendArgument<T,U>

泛型参数部分，T是要被扩展的函数，U则是新的函数要追加的参数，显然，T应该是函数类型，U则为任意类型

ts 复制代码

type AppendArgument<T extends Function, U>

对于TypeScript而言，函数的运行逻辑是不需要我们关心的，只需要关注入参和返回值类型即可。想要拿到对应的参数，需要使用infer，而infer的前置条件是extends

故，需要构建条件类型

ts 复制代码

type AppendArgument<T extends Function, U> = T extends (...args:infer P)=>infer R ? ... : ...

显然，当条件成立的时候，拿推断出来的P和R与U组装成一个新的函数类型返回，不成立的时候给never即可

ts 复制代码

?(...args:[...P,A])=>R:never

故完整实现如下

ts 复制代码

type AppendArgument<T extends Function, U> = 
  T extends (...args:infer P)=>infer R 
  ?
    (...args:[...P,U])=>R
  :
    never

使用示例如下

根据参数T返回其对应的斐波那契数

ts 复制代码

type Result1 = Fibonacci<3> // 2
type Result2 = Fibonacci<8> // 21

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

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