为何TypeScript拒绝[number] & Array<1>却接受其他类似交叉类型？

先明确核心逻辑：交叉类型T & U要求值同时满足T和U的所有约束。但元组是固定长度+对应位置元素类型，数组是任意长度（或至少0）+所有元素符合类型，两者交叉时的约束会叠加，TypeScript对不同场景的兼容性判断有明显差异，以下逐个拆解你的案例：

案例a：[number] & Array<1> 报错 #

这个交叉类型的约束是：

• 必须是长度为1的元组，元素类型为number
• 同时必须是所有元素都是1的数组

TypeScript在检查时，会验证元组类型是否能兼容数组类型。元组[number]的元素类型是宽泛的number，而Array<1>要求所有元素必须是字面量类型1。由于number是1的超类型（无法保证值一定是1），[number]无法满足Array<1>的约束，因此整个交叉类型的赋值失败。

案例b：[1 | 2] & Array<1> 通过 #

交叉约束：

• 长度为1的元组，元素类型为1 | 2
• 所有元素都是1的数组

赋值的[1]满足：

• 元素1属于1 | 2的范围，符合元组要求
• 元素1完全符合Array<1>的约束
  两者兼容性成立，因此通过。

案例c：Array<number> & Array<1> 通过 #

数组类型交叉时，TypeScript会自动将元素类型交叉，即Array<number & 1>。而number & 1等价于字面量类型1，所以交叉后的类型本质是Array<1>，[1]自然符合这个类型，因此通过。

案例d：[number] & [1] 通过 #

元组与元组交叉时，TypeScript会对对应位置的元素类型进行交叉，即第一个元素的类型是number & 1（等价于1），所以交叉后的元组类型是[1]。赋值的[1]完全匹配这个类型，因此通过。

总结关键规则 #

1. 元组与数组交叉：元组的元素类型必须是数组元素类型的子类型，否则无法通过兼容性检查（如案例a，number不是1的子类型）。
2. 数组与数组交叉：元素类型自动交叉，最终数组的元素类型是两者元素类型的交集。
3. 元组与元组交叉：对应位置的元素类型分别交叉，形成新的元组类型。

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