TypeScript数字联合类型作为索引签名报错的原因咨询

这个问题的核心其实是TypeScript类型系统和JavaScript运行时行为的一致性约束，咱们来具体拆解：

首先得明确一个JavaScript的基础规则：对象的键在运行时只能是字符串或Symbol类型。如果你用数字作为键，它会被自动转换为对应的字符串（比如obj[1]等价于obj['1']）。TypeScript的类型设计完全贴合这个运行时行为，所以在处理对象键的类型时有明确的限制。

为什么{[K in '1' | '2']: string}是合法的？ #

字符串字面量联合'1'|'2'属于string类型的子类型，完全符合TypeScript对对象键类型的要求。这类映射类型本质是在生成一个具有明确字符串键的对象类型，和JavaScript运行时的键表现完全一致，所以TypeScript允许这种写法。

为什么{[K in 1 | 2]: string}会报错？ #

当你尝试用数字字面量联合作为映射键时，TypeScript会抛出错误，原因有两点：

• TypeScript规定，索引签名的参数类型只能是string、number、symbol或者模板字面量类型。数字字面量的联合（比如1|2）不属于这些类型范畴——它是number的子类型，但不是number本身，也不是字符串字面量。
• 从运行时一致性角度看，数字键最终会被转成字符串，TypeScript不鼓励你用数字字面量来定义对象的具体键类型，而是建议你要么用对应的字符串字面量，要么用number索引签名来表示所有数字键的情况。

如何定义包含数字字面量键的类型？ #

如果你确实需要用数字字面量来约束键，可以先把数字字面量转换成对应的字符串字面量，比如借助模板字面量类型：

type NumToStr<T extends number> = `${T}`;
type B = { [K in NumToStr<1 | 2>]: string };
// 等价于 type B = { '1': string; '2': string; }

这种写法既满足了你的类型约束需求，又和JavaScript的运行时行为保持一致。

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