TypeScript中keyof any与string|number|symbol在映射类型中的差异问询

虽然keyof any的类型等价于string | number | symbol，但TypeScript在映射类型中处理这两种写法时存在特殊逻辑差异，具体如下：

1. keyof any的自动简化 #

当映射类型使用keyof any时，TypeScript会将其优化为单一字符串索引签名，即生成{ [x: string]: number }。这是因为在JavaScript运行时，对象的数字键会被自动转换为字符串键，而Symbol键虽然独立存在，但TypeScript在这里做了合并简化——用字符串索引签名涵盖数字键的场景，同时也兼容Symbol键的赋值（Symbol键不会被转换为字符串）。

2. 显式联合类型的精确映射 #

如果直接使用string | number | symbol作为映射的键类型，TypeScript会严格按照联合类型的每个成员生成独立的索引签名，最终得到{ [x: string]: number; [x: number]: number; [x: symbol]: number; }。这种写法在类型层面保留了三种键类型的区分，虽然运行时数字键和字符串键的行为一致，但类型签名更精确。

3. 实际使用的差异对比 #

• 类型检查：两种类型都允许使用数字、字符串、Symbol作为键，赋值和访问均合法。
• 类型兼容性：T1和T2互相兼容，因为数字索引在TypeScript中被视为字符串索引的子集，所以两者可以互相赋值。
• 语义表达：keyof any更偏向于表达“所有合法的对象键类型”，而显式联合类型更强调分别处理三种键类型。

示例验证：

const t1: T1 = { 1: 1, "2": 2, [Symbol('a')]: 3 }; // 合法
const t2: T2 = { 1: 1, "2": 2, [Symbol('a')]: 3 }; // 合法

// 互相赋值无报错
const assignToT1: T1 = t2;
const assignToT2: T2 = t1;

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