typescript - 键入具有任意数量的不同参数的函数
问题描述
我有一个名为pipeline()
It's current typed的函数
function pipeline(firstFn: Function, ...fns: Function[]) {
let previousFn = firstFn()
for (const func of fns) {
previousFn = func(previousFn)
}
return previousFn
}
如果我用它来管道一些功能
const add = (x: number) => (y: number) => x+y
const result = pipeline(
() => 4,
add(2),
add(4)
)
// 10
但是,使用此解决方案时,不会检查函数的参数类型是否与先前函数的返回类型匹配,并且返回类型是 simple any
。
我意识到这不能完全键入(例如,Promise.all([])
在放弃之前最多可以处理 10 个承诺),但我希望对至少几个参数的调用进行类型检查。
解决方案
一个简单的解决方案
在管道中每个函数的返回类型相同的情况下,这可以通过泛型相当容易地实现:
function pipeline<T>(firstFn: () => T, ...fns: ((arg: T) => T)[]): T {
let previousFn = firstFn()
for (const func of fns) {
previousFn = func(previousFn)
}
return previousFn
}
更完整的解决方案
我们首先需要了解的是Promise.all 是怎么做到的?
从打字稿源lib.es2015.promise.d.ts:
all<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10>(values: [T1 | PromiseLike<T1>, T2 | PromiseLike<T2>, T3 | PromiseLike<T3>, T4 | PromiseLike <T4>, T5 | PromiseLike<T5>, T6 | PromiseLike<T6>, T7 | PromiseLike<T7>, T8 | PromiseLike<T8>, T9 | PromiseLike<T9>, T10 | PromiseLike<T10>]): Promise<[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10]>;
all<T1, T2, T3, T4, T5, T6, T7, T8, T9>(values: [T1 | PromiseLike<T1>, T2 | PromiseLike<T2>, T3 | PromiseLike<T3>, T4 | PromiseLike <T4>, T5 | PromiseLike<T5>, T6 | PromiseLike<T6>, T7 | PromiseLike<T7>, T8 | PromiseLike<T8>, T9 | PromiseLike<T9>]): Promise<[T1, T2, T3, T4, T5, T6, T7, T8, T9]>;
all<T1, T2, T3, T4, T5, T6, T7, T8>(values: [T1 | PromiseLike<T1>, T2 | PromiseLike<T2>, T3 | PromiseLike<T3>, T4 | PromiseLike <T4>, T5 | PromiseLike<T5>, T6 | PromiseLike<T6>, T7 | PromiseLike<T7>, T8 | PromiseLike<T8>]): Promise<[T1, T2, T3, T4, T5, T6, T7, T8]>;
...
all<T>(values: (T | PromiseLike<T>)[]): Promise<T[]>;
他们已经为从 10 开始一直到通用包罗万象的每个元素数量的函数编写了一个重载。
这就是为什么 Promise.all 对返回的数组进行严格类型化处理超过 10 个不同类型的元素。
如果你想复制这种行为,你需要付出同样的努力。这是最多三个参数的样子:
interface PipelineInterface {
<T0, T1, T2>(a0: () => T0, a1: (a: T0) => T1, a2: (a: T1) => T2): T2;
<T0, T1>(a0: () => T0, a1: (a: T0) => T1): T1;
<T>(firstFn: () => T, ...fns: ((arg: T) => T)[]): T;
}
const pipeline: PipelineInterface = function (firstFn, ...fns) {
let previousFn = firstFn()
for (const func of fns) {
previousFn = func(previousFn)
}
return previousFn
}
const result = pipeline(
() => 4,
(a) => a + 'Hello'
)
// result has type string
const result2 = pipeline(
() => 4,
(a: string) => a + 'Hello'
)
// Argument of type '(a: string) => string' is not assignable to parameter of type '(a: number) => string'.
推荐阅读
- r - 将 stlm 模型重新拟合到整个训练集时出错
- apache-kafka - 为KAFKA搭建多broker集群,并试图杀死Leader Broker
- php - 供应商文件夹中的 CodeIgniter 控制器
- spring - 当我们在spring数据中删除或添加子实体时,数据版本不会增加?
- java - 如何在 Android 测试中创建模拟服务?
- android - 添加传递依赖aar文件android Ziggeo
- vba - 移动上一个工作日的电子邮件 无所事事
- javascript - angularjs中的内联If else
- visual-studio - 是否应该在销毁之前删除 TFS 分支?
- r - 在闪亮的应用程序加载时播放自定义动画 gif