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

最新推荐文章于 2024-05-30 11:21:03 发布

潘苏苏

最新推荐文章于 2024-05-30 11:21:03 发布

阅读量406

点赞数 3

分类专栏： typescript 文章标签： typescript javascript 前端

本文链接：https://blog.csdn.net/sirsu_lick/article/details/136498262

版权

4 篇文章 0 订阅

订阅专栏

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

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

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

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

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

type AppendArgument<T,U>

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

type AppendArgument<T extends Function, U>

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

故，需要构建条件类型

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

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

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

故完整实现如下

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

使用示例如下

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

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

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

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

关注

专栏目录