为何TypeScript映射类型对元组返回数组而非对象？

你遇到的差异核心在于TypeScript对泛型内的元组映射做了针对性优化，而直接基于keyof 元组的联合类型映射则遵循普通对象的逻辑。

1. 泛型直接映射元组的处理逻辑 #

当你在泛型Options<T>中直接对元组类型Tup做映射时：

• TypeScript会识别出输入是元组类型，触发专门的元组映射逻辑：只遍历元组的元素索引（也就是0、1这类数字键），忽略元组从Array接口继承来的其他属性（比如length、Symbol.iterator等）。
• 最终映射结果会保留元组的结构，所以T1的类型是[1, 1]，和原元组的长度、结构完全对应。

对应的代码验证：

type Tup = ['a','b']
 
type Options<T> = {
  [K in keyof T]: 1
}
type T1 = Options<Tup>   // type T1 = [1, 1]

2. 先提取keyof再映射的处理逻辑 #

当你先执行type keys1 = keyof Tup时：

• keyof Tup会返回元组所有键的联合类型，不仅包含元素索引0、1，还包括所有继承自Array的属性键（length、Symbol.iterator、Symbol.unscopables等），甚至包含数字索引签名number。
• 此时再对这个联合类型做映射，TypeScript已经丢失了“这是元组”的上下文，会按照普通对象的映射规则处理：遍历所有键，为每个键生成对应的属性，最终得到一个包含所有这些键的对象类型，也就是你看到的T2。

对应的代码验证：

type keys1 = keyof Tup
type T2 = {
  [K in keys1] :1
}
// type T2 = {
//    [x: number]: 1;
//    [Symbol.iterator]: 1;
//    0: 1;
//    1: 1;
//    [Symbol.unscopables]: 1;
//    length: 1;
//    ...
// }

差异本质原因 #

TypeScript在泛型映射时会做类型上下文判断：如果输入是元组/数组类型，就会启用特殊的映射逻辑，只处理元素相关的索引，保留原结构；而一旦把keyof的结果提取成独立的联合类型，这个类型就失去了原有的元组上下文，只能按普通对象的键集合来处理，自然会包含所有继承的属性。

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