TypeScript泛型T约束为unknown[]时，变长参数列表的长度限制是什么？-html教程-PHP中文网

TypeScript泛型T约束为unknown[]时，变长参数列表的长度限制是什么？

typescript泛型与可变参数：unknown[]约束下的长度限制

在TypeScript中，使用泛型T并约束其为unknown[]时，结合可变参数列表的函数行为会引发一些困惑。以下示例阐明了这种困惑以及其背后的原因：

function call(
  f: (...args: T) => R,
  ...args: T
): R {
  return f(...args);
}

当调用call函数时，会出现一些意想不到的结果：

let aa = call(fill, 10, 'a'); // 正确
let bb = call(fill, 10);     // 错误：参数数量不匹配
let cc = call(fill, 10, 'a', 'z'); // 错误：参数数量不匹配

bb和cc调用失败的原因在于T extends unknown[] 约束。这个约束并非简单地表示T可以是任意长度的数组，而是更严格地限定了T必须是数组类型。

bb错误： 当只传入一个参数10时，...args并不是一个数组，而是一个单独的数字。这与T必须是数组类型的约束冲突。
cc错误： 虽然传入了多个参数，但call函数的泛型推断机制并不能保证T的长度与传入参数的数量完全一致。T的类型仍然被推断为[number, string, string]，而...args实际传入的参数数量是3个，这并非一个错误，但与函数签名中...args: T的预期类型不完全匹配，导致类型检查失败。

MedPeer
AI驱动的一站式科研服务平台

下载

解决方法：

要解决这个问题，需要更清晰地定义T的类型或者调整函数签名。例如，如果需要支持单个参数的情况，可以修改约束条件或使用联合类型：

// 方法一：使用联合类型，允许单个参数或数组
function call2(
  f: (...args: T extends unknown[] ? T : [T]) => R,
  ...args: T extends unknown[] ? T : [T]
): R {
  return f(...args);
}

// 方法二：明确指定参数类型
function call3(
  f: (...args: T) => R,
  args: T
): R {
  return f(...args);
}

方法一允许传入单个值或数组，方法二则明确要求传入一个数组。选择哪种方法取决于具体的应用场景。关键在于理解T extends unknown[] 约束的严格性，它要求...args必须是一个数组，而不是单个值或任意数量的值。

总而言之，T extends unknown[] 约束下，可变参数列表并非没有长度限制，而是必须保证传入的参数构成一个数组。单个参数或参数数量与类型推断不匹配都会导致类型错误。