Type Challenge 11：Tuple转Object中的类型声明差异疑问

1. Array<number | string> vs (number | string)[]的泛型约束差异 #

表面上两种写法都表示“元素为number或string的数组”，但泛型约束场景下，TypeScript的类型推导逻辑存在差异：

• (number | string)[]：直接被识别为“元素类型是number | string的数组/元组”，用它约束泛型T时，T[number]会被准确解析为number | string联合类型。
• Array<number | string>：这里的Array是泛型接口，作为约束时，TypeScript会将T视为“任意满足Array<number | string>的数组类型”，但不会主动将T[number]收敛到number | string——它会保留T的原始元素类型泛型占位，导致后续[key in T[number]]无法正确解析为合法的对象键类型（对象键要求是string/number/symbol）。

2. 为什么Array<number | string>约束下的TupleToObject不可行 #

看你的代码：

// 不可行
type TupleToObject<T extends readonly Array<number | string>> = {
  [key in T[number]]: key;
}

当T被约束为Array<number | string>时，TypeScript无法确定T[number]的具体类型是否严格符合对象键要求（逻辑上符合，但类型系统推导规则不支持这种间接收敛）。而(number | string)[]作为约束时，T[number]被直接解析为number | string，这两种类型都是合法的对象键类型，因此能正确生成映射类型。

3. any[]报错而(number | string)[]通过测试的原因 #

测试用例：

// @ts-expect-error
type error = TupleToObject<[[1, 2], {}]>

• 用any[]作为约束时，T[number]会被解析为any，any可以代表任何类型，包括数组、对象这类不能作为对象键的类型。此时TypeScript无法检测到[[1,2], {}]中的非法元素，导致本该报错的测试用例不报错，不符合挑战要求。
• 用(number | string)[]作为约束时，[[1,2], {}]中的元素是数组和对象，不属于number | string类型，TypeScript会正确抛出类型错误，符合@ts-expect-error的预期，因此通过测试。

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