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

使用示例如下

下期预告

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

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

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

ts 复制代码
type Result1 = Fibonacci<3> // 2
type Result2 = Fibonacci<8> // 21

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

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

相关推荐
张志鹏PHP全栈4 小时前
TypeScript 第四天,TypeScript的编译选项(一)
前端·typescript
Toomey6 小时前
别再用 Parameters 乱推断了!vue-i18n 封装 t 函数的正确姿势
typescript
郑板桥307 小时前
ts学习1
学习·typescript
前端拿破轮9 小时前
女朋友要和我分手?!!居然是因为交不出赎金信,不会用哈希表😭😭😭
算法·leetcode·typescript
知识分享小能手1 天前
Bootstrap 5学习教程,从入门到精通,Bootstrap 5 表单验证语法知识点及案例代码(34)
前端·javascript·学习·typescript·bootstrap·html·css3
张志鹏PHP全栈1 天前
TypeScript 第三天,TypeScript中的类型(二)
typescript
成遇1 天前
Eslint基础使用
javascript·typescript·es6
张志鹏PHP全栈2 天前
TypeScript 第二天,TypeScript中的类型(一)
typescript
極光未晚2 天前
TypeScript在前端项目中的那些事儿:不止于类型的守护者
前端·javascript·typescript
安替-AnTi2 天前
基于 React 和 TypeScript 搭建的机器学米其林餐厅数据分析项目
react.js·typescript·数据分析·毕设·米其林