noImplicitAny不同配置下TypeScript方括号与点语法差异的疑问

先看两种配置下的具体表现：

当tsconfig.json中"noImplicitAny": true时：

const a = {}
console.log(a['b']) // 👈 Property b does not exist on type {}.
console.log(a.b) // 👈 Property b does not exist on type {}.

当tsconfig.json中"noImplicitAny": false时：

const a = {}
console.log(a['b']) // 👈 no error
console.log(a.b) // 👈 Property b does not exist on type {}.

核心原因拆解： #

• TypeScript会把空对象{}推断为无任何已知属性的对象类型，也就是{}类型。
• 属性访问a.b：不管noImplicitAny怎么设置，TypeScript都会直接检查目标类型上有没有b这个属性。因为{}类型本身就没有b属性，所以必然报错——这是属性存在性的严格检查，和隐式any无关。
• 索引访问a['b']：用字符串索引访问对象时，如果目标类型没定义索引签名，在noImplicitAny: true模式下，TS不允许隐式推断出any类型，所以会报错；而关闭这个配置后，TS会允许这种隐式的any推断，把a['b']的类型当成any，跳过了属性存在性检查，自然就不会报错。

总结来说，属性访问是硬检查已知属性，索引访问在关闭noImplicitAny后会 fallback 到隐式any，绕开了校验。

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