TypeScript Record类型为何会生成索引类型？

你提到的困惑其实源于对Record类型约束和映射类型行为的细节理解，咱们一步步拆解清楚：

首先回到Record的官方定义：

/**
 * Construct a type with a set of properties K of type T
 */
type Record<K extends keyof any, T> = { [P in K]: T; };

这里的关键是K extends keyof any——keyof any本质上是string | number | symbol的别名，这意味着K可以是这三种类型的任意子类型，既包括你熟悉的字面量字符串联合（比如'prop1'|'prop2'），也包括string、number这类基础类型本身。

接下来要区分映射类型的两种不同行为：

• 当K是字面量类型的联合时：映射操作[P in K]会为联合中的每一个字面量创建一个具体的属性，最终生成一个包含固定属性集的对象类型。这也是文档示例用Record<'prop1' | 'prop2' | 'prop3', string>的原因，这是Record最直观、最常用的场景——快速定义拥有指定属性的类型。
• 当K是string/number/symbol这类基础类型时：此时[P in K]会被TypeScript解析为索引签名。比如Record<string, number>等价于{ [x: string]: number; }，表示这个对象可以拥有任意字符串类型的键，且所有键对应的值都是number类型。这种用法其实是利用Record来快速创建带索引签名的类型，虽然不如字面量联合场景常见，但完全符合Record的定义约束。

简单总结：Record的设计并非只针对字面量联合，它的本质是一个通用的映射类型工具——只要K是合法的键类型（keyof any的子类型），就能把K中的每一个可能的键映射为T类型的值。字面量联合是最典型的使用场景，但基础类型作为K时，就会生成索引签名类型，这完全是符合定义的合理行为。

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