为何TypeScript中含原始类型与特定字符串联合的Record会强制该字符串？

核心原因：Record<K, T>的映射类型逻辑 #

TypeScript的Record<K, T>本质是映射类型，展开后等价于：

{ [P in K]: T }

这个逻辑会遍历联合类型K的每一个成员，将其定义为对象的必填属性。

具体拆分你的场景 #

你的K是number | 'default'，这里要区分两种成员的差异：

• number属于索引签名类型：TypeScript允许对象拥有任意数字键，但不需要显式声明所有可能的数字键（毕竟数字是无限的），所以数字键是“可缺省”的；
• 'default'属于具体字符串字面量类型：映射类型会把它当成一个明确的、必须存在的属性，而非可选的索引签名，因此TypeScript会强制要求你在对象中显式声明这个属性。

验证示例 #

比如定义：

type Test = Record<number | 'foo', string>;

声明变量时，必须显式包含foo属性，数字键则可加可不加：

// 合法：包含必填的foo，数字键可选
const valid: Test = { foo: 'bar', 123: 'test' };
// 报错：缺少foo属性
const invalid: Test = { 456: 'test' };

如何让default变为可选 #

如果不想强制要求default存在，可以调整类型定义，把default设为可选属性：

type ErrorMessages = { [key: number]: string } & { default?: string };

这样声明对象时，default就变成可选的，数字键依然支持任意添加。

内容的提问来源于stack exchange，提问作者Jöcker