TypeScript索引签名的实际含义解析：为何两段相似代码合法性不同？

这绝对不是bug，而是TypeScript类型系统对索引签名的设计逻辑导致的——咱们一步步拆解，把这个问题说透。

先看第一个合法的代码 #

function fn(obj: { [x: string]: number }) { 
  let n: number = obj.something; 
}

当你定义{ [x: string]: number }这种字符串索引签名时，TypeScript的理解是：这个对象的任意字符串类型的键，对应的值都必须是number类型。所以当你访问obj.something（something是字符串类型的键），TypeScript可以安全推断它的值类型是number，赋值给n: number完全符合类型规则，所以这段代码合法。

再看第二个不合法的代码 #

function fn(obj: { [x: string]: number }) { 
  let p: { something: number } = obj; 
}

这里的核心矛盾在于两种类型的含义差异：

• { [x: string]: number }表示的是约束：如果对象有某个字符串键，那它的值必须是number。但它不保证对象一定包含某个特定的字符串键（比如something）。举个例子，你完全可以传入一个空对象{}给fn，它完全符合索引签名的要求（因为没有任何键违反“字符串键对应number值”的规则）。
• 而{ something: number }是明确要求：这个对象必须包含something这个键，且对应的值是number。

如果TypeScript允许把obj赋值给p，就可能出现“把空对象赋值给要求有something属性的变量”这种不安全的情况，所以它会直接报错阻止这种操作。

索引签名的预期含义总结 #

• 索引签名的本质是类型约束，而不是“对象包含所有该类型键”的保证。它只规定了：当对象存在某个对应类型的键时，值的类型必须符合要求。
• 字符串索引签名会覆盖所有显式声明的字符串键属性类型——比如你不能同时写{ name: string; [x: string]: number }，因为name是字符串键，但值类型是string，和索引签名的number冲突，TypeScript会直接报错。
• 如果想要同时保证“所有字符串键的值是number”且“包含某个特定键”，可以把两种类型结合起来：{ something: number; [x: string]: number }，这样既约束了所有字符串键的类型，也明确要求了something属性存在。

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