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

大家好，我是苏先生，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

使用示例如下

下期预告

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

• 【类型体操】斐波那契序列

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

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

---

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

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