TypeScript索引类型不匹配时未报错的原因及tsconfig配置咨询

这是个很典型的TypeScript类型系统细节问题，我来给你掰明白：

一、默认不报错的原因 #

首先得搞清楚JavaScript和TypeScript的底层逻辑差异：

• 在JavaScript里，对象的所有键本质上都是字符串（或者Symbol），所谓的“数字索引”其实只是把数字转成字符串后存储的，比如map[123]等价于map["123"]。
• TypeScript的数字索引签名，默认只约束能被解析成数字的字符串键（比如"123"），但对于像"xx"这种完全转不成数字的字符串键，TypeScript会把它当成对象的“额外属性”处理。而且默认配置下noImplicitAny是关闭的，这种访问会被隐式推断为any类型，自然不会触发错误或警告。

简单说就是：默认规则对数字索引的检查比较宽松，允许你给对象加“不按规矩来”的额外键。

二、怎么让它触发错误？ #

要让这种不符合索引签名的赋值报错，你需要在tsconfig.json里开启严格类型检查选项：

• 最直接的是开启noImplicitAny: true：这个选项会禁止所有隐式的any类型，当你写map["xx"]时，TypeScript会发现这个索引对应的类型是隐式any，立刻抛出错误。
• 更推荐直接开启strict: true：这个选项会一次性启用所有严格类型检查规则（包括noImplicitAny），能全方位提升代码的类型安全性。

举个tsconfig.json的配置例子：

{
  "compilerOptions": {
    "strict": true,
    // 如果你只想单独开启某一项，也可以写：
    // "noImplicitAny": true,
    "target": "ESNext" // 根据你的项目需求调整目标版本
  }
}

三、更极致的约束：完全禁止非数字键 #

如果你想彻底杜绝给这个对象加非数字键的可能，可以同时定义数字索引和字符串索引，把字符串索引的类型设为never：

let map: { [index: number]: string; [key: string]: never } = { };
map["xx"] = "2000"; // 这里会直接报错，因为字符串键的类型是never，无法赋值任何内容

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