TypeScript约束T为string[]时，为何Rest被推断为unknown[]？

问题场景 #

在实现TypeScript类型挑战的Reverse题目时，以下写法可以正常运行：

type Reverse<T extends string[]> = 
  T extends [...infer Rest extends string[], infer Last] ? 
    [Last, ...Reverse<Rest>] : [] 

但如果去掉对Rest的显式string[]约束，仅依赖编译器推断：

type Reverse<T extends string[]> = 
  T extends [...infer Rest, infer Last] ? 
    [Last, ...Reverse<Rest>] : [] 

会触发如下错误：

Type 'Rest' does not satisfy the constraint 'string[]'.
Type 'unknown[]' is not assignable to type 'string[]'.
Type 'unknown' is not assignable to type 'string'.

原因解析 #

这是TypeScript的正常行为，核心逻辑如下：

• 你对泛型T设置的约束T extends string[]仅作用于T本身，不会自动传递给条件类型中通过infer推断出的Rest类型。
• 当使用T extends [...infer Rest, infer Last]进行模式匹配时，TypeScript默认会将Rest推断为unknown[]——因为它无法从匹配模式本身确定Rest的元素类型，即便T已经被约束为string[]。
• 而Reverse要求传入的泛型参数必须是string[]，未被约束的Rest（unknown[]）不满足该要求，因此触发报错。

解决思路 #

显式给推断出的Rest添加extends string[]约束，是最直接的解决方式，正如你最初的可行实现那样。通过这个约束，TypeScript能明确Rest的元素类型为string，符合Reverse的泛型约束要求。

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