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

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

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

<code class="typescript">function call<T extends unknown[]>(
  f: (...args: T) => R,
  ...args: T
): R {
  return f(...args);
}</code>

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

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

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

• bb错误： 当只传入一个参数10时，...args并不是一个数组，而是一个单独的数字。这与T必须是数组类型的约束冲突。

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

  

  阿里云-虚拟数字人

  阿里云-虚拟数字人是什么？ ...

  2

  查看详情

解决方法：

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

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

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

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

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

以上就是TypeScript泛型T约束为unknown[]时，变长参数列表的长度限制是什么？的详细内容，更多请关注php中文网其它相关文章！