TypeScript泛型T extends unknown[]：有什么含义及如何应用？

TypeScript 中 T 泛型是否强制 extends unknown[]

在 TypeScript 中，泛型 T 继承自 unknown[] 的含义是什么？我们通过一个例子来进一步理解。

示例:

function call<T extends unknown[], R>(
  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 函数的预期参数数量相匹配。