TypeScript Record<number, Type>类型的异常行为疑问

1. Record<string, T>允许数字键的原因 #

你观察得没错，JavaScript中对象的数字类型键会被自动转换为字符串，TypeScript为了对齐JS的运行时行为，在类型检查时会把数字字面量键视为与字符串键兼容，所以Record<string, T>可以接受数字键的对象字面量，这属于预期行为。

2. Record<string|number, T>允许Symbol键的原因 #

TypeScript对对象类型的Symbol键有特殊处理规则：

• 当你定义一个对象类型（比如Record<K, T>）时，这个类型只约束字符串/数字类型的键，Symbol键默认不属于这个类型的约束范围。
• 除非你显式在类型中声明Symbol键，否则TypeScript不会对对象字面量中的Symbol键进行额外属性检查（即使开启strict模式）。这是因为Symbol键通常用于定义对象的私有属性或元数据，TS默认允许这类“额外”键存在，不会触发类型错误。

3. Record<number, T>对自定义Symbol和内置Symbol的差异处理 #

这是问题中最关键的部分，差异来自TypeScript对**知名Symbol（Well-known Symbols）**的特殊类型定义：

• 自定义Symbol（比如Symbol.for("ABCD")）属于symbol类型，但没有绑定到任何已知的对象属性类型，所以TS会把它视为普通的额外键，不会触发Record<number, T>的类型错误。
• 内置知名Symbol（比如Symbol.iterator、Symbol.toStringTag等）在TypeScript的标准库中，已经被定义为某些内置接口的属性。例如Symbol.iterator对应Iterable接口的属性，当你在对象字面量中使用它时，TS会检查这个属性是否符合目标类型的要求。Record<number, T>并没有声明任何Symbol类型的属性，更不包含Symbol.iterator对应的类型定义，所以此时会触发类型错误。

如果你显式声明包含Symbol键的类型，TS就会严格检查，示例如下：

type RecordWithSymbol<T> = Record<number, T> & { [Symbol.for("ABCD")]?: T };
const a: RecordWithSymbol<number> = {
  123: 456,
  [Symbol.for("ABCD")]: 789 // 此时不会报错
};

另外，开启exactOptionalPropertyTypes严格模式也不会改变这个行为，因为Symbol键的处理逻辑独立于字符串/数字键的额外属性检查。

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