TypeScript对象keyof类型的怪异表现解析求助

先看你给出的索引签名示例：

type TypeA = { [k: number]: boolean };
type AKey = keyof TypeA; // type AKey = number

type TypeB = { [k: string]: boolean };
type BKey = keyof TypeB; // type BKey = string | number

索引签名的keyof逻辑 #

TypeScript对索引签名的keyof处理，是结合JavaScript的运行时行为设计的：

• 数字索引签名：虽然JS里数字键会被强制转为字符串，但TypeScript把数字索引签名看作是专门用于「以数字形式访问对象」的场景，所以keyof直接返回number——这是类型层面的语义约定，代表你应该用数字来访问这个对象的属性。
• 字符串索引签名：JS中obj[0]完全等价于obj["0"]，用数字访问字符串索引的对象是合法的运行时行为。所以TypeScript的keyof会把number也包含进来，因为数字可以被隐式转换为字符串键，符合字符串索引的要求。

这对应文档里的说明：

注意，在这个示例中，keyof { [k: string]: boolean } 的类型是 string | number——这是因为JavaScript对象键总是被强制转换为字符串，所以obj[0]始终等同于obj["0"]。

再看映射类型（比如Record）的示例：

type Record<K extends string | number | symbol, T> = { [P in K]: T; }

type TypeC = { [k in number]: boolean }; // Record<number, boolean>
type CKey = keyof TypeC; // type CKey = number

type TypeD = { [k in string]: boolean }; // Record<string, boolean>
type DKey = keyof TypeD; // type DKey = string

映射类型的keyof逻辑 #

映射类型的本质是遍历一个指定的键集合，为每个键定义类型。比如{ [P in number]: boolean }是把所有number类型的键都映射为boolean值，这里的键集合是精确的number，所以keyof的结果就是这个集合本身——也就是number。同理，基于string的映射类型，keyof只会返回string，因为它只遍历string类型的键。

和索引签名的核心区别：索引签名是「允许任意该类型的键（并兼容JS的隐式转换）」，而映射类型是「精确使用该集合中的每个键」，没有兼容隐式转换的逻辑。

为什么所有类型都能同时放数字和字符串键 #

const value: TypeA | TypeB | TypeC | TypeD = {
  0: false,
  "1": true,
};

这是因为TypeScript采用结构类型系统，同时结合JS对象的运行时特性：

• JS中对象的键最终都是字符串（Symbol除外），0作为键会被转为"0"，"1"本身就是字符串。
• 对于TypeA（数字索引），"0"是数字0的字符串形式，TypeScript认为它符合数字索引的结构要求；对于TypeB（字符串索引），显然兼容；对于TypeC/TypeD（映射类型），TypeScript做了宽松检查——因为映射类型的键集合是number/string，而JS里的数字键会被转成字符串，只要键能对应到集合中的类型，就会被允许。

内容的提问来源于stack exchange，提问作者Mikkel R. Lund