TypeScript中T继承unknown[]与number[]时类型推断差异原因

场景回顾 #

• 场景1：

  declare function Test<T extends unknown[]>(values: [...T]): T;
  const test = Test([1, 2, 3]); // 推断类型：[number, number, number]
  

• 场景2：

  declare function Test<T extends number[]>(values: [...T]): T;
  const test = Test([1, 2, 3]); // 推断类型：[1, 2, 3]
  

核心差异：类型参数约束的具体程度 #

两个场景的本质区别在于类型参数T的约束范围：

• 场景1的宽泛约束：T extends unknown[]允许T是任何数组类型（包括任意元素类型的元组或普通数组）。此时TypeScript会优先推断通用程度更高的类型——它把数组元素统一归为它们的公共类型number，而非具体的字面量值，最终得到元组[number, number, number]。这种推断逻辑是为了适配unknown[]的宽泛性，避免过度窄化导致类型失去通用性。
• 场景2的具体约束：T extends number[]明确限定了数组元素必须是number类型。此时TypeScript会触发字面量窄化推断，既然元素类型已经被锁定为number，它就可以安全地把每个元素推断为具体的数字字面量1、2、3，最终生成精确的元组[1, 2, 3]。

背后的推断逻辑 #

TypeScript的类型推断策略会根据约束的精确程度动态调整：

1. 当约束过于宽泛时，优先推断通用类型，保证类型的兼容性和复用性，符合“最小惊讶”原则。
2. 当约束明确了元素类型范围时，会尽可能推断更精确的字面量类型，提供更细致的类型检查能力。

另外，[...T]的剩余元组语法在这里起到了关键作用——它强制TypeScript将传入的数组字面量当作元组处理，而非普通的number[]数组。如果没有这个语法，场景1的结果会直接是number[]，而非元组类型。但剩余元组只是触发元组推断的开关，真正决定推断精度的还是T的约束条件。

内容的提问来源于stack exchange，提问作者Bilal