TypeScript中Promise.all签名`T extends readonly unknown[] | []`的作用解析

现象复现 #

先看两种约束下的类型推断差异：

带| []的约束（推断为元组） #

const f = <T extends readonly unknown[] | []>(x: T): T => x;
const test_0 = f([42, "foo"]);
//    ^?: [number, string] // 精确推断为元组类型

不带| []的约束（推断为普通数组） #

const f = <T extends readonly unknown[]>(x: T): T => x;
const test_0 = f([42, "foo"]);
//    ^?: (number | string)[] // 推断为宽泛的联合类型数组

核心实现机制 #

TypeScript对数组字面量的推断逻辑会根据泛型约束的不同而调整：

• 当约束是单一的readonly unknown[]时，编译器默认遵循"优先推断通用类型"的规则，把数组字面量推断为普通数组（比如(number | string)[]），因为普通数组是更宽泛的类型，能覆盖更多使用场景。
• 当约束加入| []后，联合类型中的[]（空元组）会触发编译器的元组推断模式：
  1. 空元组属于元组类型的一种，而元组是readonly unknown[]的子类型，但比普通数组更精确。
  2. 编译器在匹配联合约束时，会尝试用更精确的类型去匹配输入——对于非空的数组字面量，虽然不匹配[]，但这个分支会提示编译器："这里可能需要处理元组类型"，于是编译器会优先将输入推断为具体的元组，而非普通数组。

简单来说，[]在这里是一个"触发开关"，让编译器放弃默认的普通数组推断，转而使用更精确的元组推断逻辑。

为什么这个技巧用在Promise.all中 #

Promise.all的返回值需要精确对应每个输入Promise的 resolve 类型，比如传入[Promise.resolve(42), Promise.resolve("foo")]，期望返回Promise<[number, string]>而非Promise<(number | string)[]>。加入| []的约束后，就能让输入的数组字面量被推断为元组，进而让返回值的类型精确对应每个位置的元素类型，提升类型安全性。

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