从string[]推断元组首个元素时为何丢失类型？

当从字符串数组（string[]）推断元组的首个元素时，TypeScript似乎丢失了该推断值必须为string的类型信息，这是为什么？

type Test<T extends string> = true;
// 由于T是string[]，Head理应被识别为string类型
type Example<T extends string[]> = T extends [infer Head, ...infer Tail]
  ? // 类型“Head”不满足约束“string”。
    Test<Head>
  : never;

我知道可以通过infer Head extends string替代infer Head来解决问题，但不理解为何必须这么做。是否存在我忽略的场景，使得Head可能不是string类型？

原因解析 #

核心问题在于string[]的类型本质：它代表任意长度（包括0）的字符串数组。哪怕你用T extends [infer Head, ...infer Tail]的元组模式匹配非空数组，TypeScript的类型系统也不会自动把T的长度收缩为「至少1」，因此推断出的Head类型是string | undefined——因为原类型string[]允许数组为空，索引0的元素可能不存在（即undefined），而undefined不满足Test<T extends string>的约束，所以会触发报错。

你可能会问：既然进入了匹配元组模式的分支，说明T至少有一个元素，为什么Head还可能是undefined？这是因为TypeScript的条件类型匹配只检查结构是否兼容，不会对泛型参数T做进一步的类型收缩。string[]的索引签名是{ [index: number]: string }，但TypeScript不会因为匹配了元组模式就修改T的索引类型，所以Head的类型仍然是T[0]，也就是string | undefined。

而显式写infer Head extends string时，相当于给推断出的Head加上了string类型约束，直接排除了undefined的可能性，自然能通过类型检查。

另外还有一个边缘场景：如果T是never[]（never是所有类型的子类型，所以never[]满足T extends string[]），此时Head会被推断为never。虽然never本身满足extends string，但TypeScript的推断引擎不会自动处理这种边缘情况，显式约束仍然是更可靠的做法。

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