TypeScript数组与泛型映射类型差异：泛型约束为何仅映射显式键？

云上老周

2026-6-21

TypeScript映射数组字面量与泛型约束数组的差异解析

type ArrLit = readonly ['a', 'b']

type GenericRef<T extends ReadonlyArray<unknown>> = {
  [K in keyof T]: "here"
}

type MappedThroughGeneric = GenericRef<ArrLit>
/* type MappedThroughGeneric = ["here", "here"] */

type MappedDirectly = {
  [K in keyof ArrLit]: "here"
}
/*
type MappedDirectly = {
    [x: number]: "here";
    0: "here";
    1: "here";
    length: "here";
    toString: "here";
    ...
  }
*/

问题

为何使用extends ReadonlyArray<unknown>泛型约束时，映射类型仅使用显式索引键并返回数组类型，而直接映射数组字面量类型时会包含所有继承的属性？数组字面量类型明明属于ReadonlyArray类型的子类型啊？

这是TypeScript针对泛型中的数组/元组类型做的特殊同态映射优化，核心原因如下：

泛型约束触发数组专属映射逻辑
当泛型参数声明为T extends ReadonlyArray<unknown>时，TypeScript会识别出T是数组或元组类型，此时对keyof T的映射会自动过滤掉数组原型的继承属性（如length、toString）和数字索引签名，仅保留元组的显式数字键（如0、1），并且最终返回元组类型而非普通对象类型。这种设计是为了让数组/元组的映射结果符合开发者直觉——通常期望映射后仍是数组/元组，而非包含所有数组方法的对象。
直接映射具体元组时的完整键遍历
当直接对ArrLit这类具体readonly元组类型使用keyof时，keyof ArrLit会返回该类型的所有键：包括显式数字索引、继承自ReadonlyArray的属性，以及数字索引签名。此时TypeScript未触发泛型场景下的数组特殊处理，而是将其当作普通对象类型遍历全部键。