TypeScript中两个泛型数组的笛卡尔积类型推断错误问题

问题原因 #

TypeScript 对数组字面量的默认推断逻辑导致了这个问题：当你写出 [x, y] 这种数组字面量时，TS 默认会将其推断为可变的联合类型数组 (X | Y)[]，而非你期望的固定长度的元组类型 [X, Y]。这是因为 TS 无法确定你后续是否会修改该数组（比如添加、删除元素），所以优先选择更灵活的数组类型作为推断结果。

解决方法 #

以下是三种实用的修复方案：

1. 用 as const 断言强制推断为元组 #

在数组字面量后添加 as const，明确告知 TS 这个数组是只读的固定长度元组，不会被修改：

export function cartesianProduct<X, Y> (a: X[], b: Y[]): Array<[X, Y]> {
    return a.flatMap(x => b.map(y => [x, y] as const));
}

2. 显式指定回调函数的返回类型 #

直接给 map 的回调函数指定返回类型为 [X, Y]，让 TS 明确知道每个映射结果的类型：

export function cartesianProduct<X, Y> (a: X[], b: Y[]): Array<[X, Y]> {
    return a.flatMap(x => b.map((y): [X, Y] => [x, y]));
}

3. 直接类型断言为目标元组 #

通过 as [X, Y] 直接将数组字面量断言为目标元组类型，这种方式最为直接：

export function cartesianProduct<X, Y> (a: X[], b: Y[]): Array<[X, Y]> {
    return a.flatMap(x => b.map(y => [x, y] as [X, Y]));
}

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