TypeScript映射对象类型意外包含元组length等属性问题

问题根源 #

当你用keyof FixedList遍历元组类型的键时，TypeScript会返回所有元组继承的数组属性和方法，包括：

• 元组的数字字面量索引（0、1、2）
• 数组原生属性：length、push、pop
• 迭代器与工具方法：Symbol.iterator、slice、forEach等

这就导致GenericFixedList会把这些数组属性全部映射成SomeGeneric<T>类型：

• 比如length属性被定义为SomeGeneric<3>（因为FixedList的length是字面量3），但数组的length实际是number类型，自然类型不兼容。
• 其他数组方法（如push）也会被强制转换成SomeGeneric<...>类型，和原生方法签名完全不匹配。

你尝试用Omit<FixedList, "length">只排除length，但剩下的数组属性（如Symbol.iterator）依然会被映射，所以还是存在类型冲突。

正确解决方法 #

只针对元组的元素索引进行映射，排除所有数组通用属性。可以通过Exclude<keyof FixedList, keyof any[]>过滤掉数组的原生键：

type FixedList = [string, number, boolean];
type SomeGeneric<T> = { propOne: number; propTwo: string; propThree(arg0: T): void; };

// 仅保留元组的元素索引，排除数组所有通用属性
type GenericFixedList = { 
  [K in Exclude<keyof FixedList, keyof any[]>]: SomeGeneric<FixedList[K]>; 
};

// 现在可以正常赋值，无类型错误
const arr: GenericFixedList = [
  { propOne: 1, propTwo: "a", propThree: (s: string) => {} },
  { propOne: 2, propTwo: "b", propThree: (n: number) => {} },
  { propOne: 3, propTwo: "c", propThree: (b: boolean) => {} },
];

Exclude<keyof FixedList, keyof any[]>会把keyof FixedList中属于通用数组类型的键全部移除，只留下元组的数字字面量索引（0、1、2），这样映射后的类型就完全对应元组的元素结构，和数组的原生属性不再冲突。

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