typescript 中 t 泛型是否强制 extends unknown[]
在 TypeScript 中，泛型 T 继承自 unknown[] 的含义是什么？我们通过一个例子来进一步理解。
示例:
function call( f: (...args: T) => R, ...args: T ): R { return f(...args) } function fill(length: number, value: string): string[] { return Array.from({ length }, () => value) } let aa = call(fill, 10, 'a') let bb = call(fill, 10) // 报错：缺少必需参数 let cc = call(fill, 10, 'a', 'z') // 报错：参数过多
在示例中，call 函数的泛型类型参数 T 继承自 unknown[], 这意味着 T 必须是一个数组或元组类型。
错误原因:
- 第二行: bb 调用缺少一个必需的参数，因为 fill 函数需要两个参数，而 call 函数的参数数组 args 是一个数组。
- 第三行: cc 调用传递了三个参数，而 call 函数的参数数组 args 被限定为 T，T 只允许两个元素。
结论:
在 TypeScript 中，T extends unknown[] 意味着泛型类型参数 T 必须是一个数组或元组类型。此限制确保了 args 参数数组始终与 f 函数的预期参数数量相匹配。
