为何TypeScript映射类型会生成枚举实际数值索引而非number类型？

首先看给定的数字枚举：

enum Animals {
  CAT,
  DOG,
  PARROT,
  SHEEP,
  SALMON
}

定义映射类型：

type AnimalsToMappedType = {
  [K in (keyof typeof Animals) as typeof Animals[K]]: K
}

最终得到的类型结果是：

type AnimalsToMappedType = {
    0: "CAT";
    1: "DOG";
    2: "PARROT";
    3: "SHEEP";
    4: "SALMON";
}

已知运行时typeof Animals['DOG'] === 'number'，为什么映射类型会生成具体的数值索引而非宽泛的number类型？

核心原因：类型系统与运行时的差异，以及枚举的类型推断逻辑 #

1. 运行时值 vs TypeScript类型系统
   你提到的typeof Animals['DOG'] === 'number'是运行时的判断：在代码执行阶段，Animals.DOG是一个数值（1），所以typeof返回'number'。但映射类型是在TypeScript的静态类型检查阶段生效的，这里的类型逻辑和运行时完全不同。

2. 数字枚举的类型细节
   对于自动赋值的数字枚举，TypeScript会为每个枚举成员推断出具体的数值字面量类型，而非宽泛的number类型。比如在类型系统中：

• typeof Animals['CAT']是0
• typeof Animals['DOG']是1
• 以此类推，每个字符串形式的枚举成员都对应一个精确的数值字面量类型。

3. 键重映射的作用
   映射类型中的as typeof Animals[K]是键重映射语法：

• keyof typeof Animals会枚举所有字符串形式的枚举成员（"CAT"、"DOG"、"PARROT"等）；
• 对每个字符串键K，typeof Animals[K]取出对应的数值字面量类型作为新的键；
• 最终所有这些具体的数值字面量会被收集为映射类型的键，对应的值就是原来的字符串键。

这就是为什么最终生成的是带有0、1、2等具体数值索引的类型，而不是一个number类型的索引签名。

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