TypeScript接口异常行为疑问：方括号赋值为何未触发类型检查？

这绝对不是Bug，而是TypeScript类型系统里一个容易让人困惑的设计行为，我来给你拆解清楚背后的逻辑：

为什么test['attr.innerKey2'] = 'error'能通过检查？ #

核心原因在于两个关键的TypeScript类型检查规则：

1. 额外属性检查只针对对象字面量赋值

TypeScript的「额外属性检查」是专门用来防止你在直接写对象字面量赋值的时候，不小心加了接口里没定义的属性。比如你要是这么写：

const test: Test = { 
  key1: 'I am a key', 
  'attr.innerKey': 'innerKey',
  'attr.innerKey2': 'error' // 这里会直接报错！
}

这行代码肯定过不了，因为额外属性检查会立刻揪出这个未定义的属性。但当你先把合法的对象赋值给test，之后再通过索引语法添加属性时，这个检查就不会触发了——TypeScript默认认为你是在主动操作对象的动态属性，而不是不小心写错了。

2. 点语法与括号语法的检查逻辑不一样

• 对于点语法（比如test.key2）：TypeScript会严格匹配接口里的标识符属性（也就是符合变量命名规则的属性名，不能有空格、点这类特殊字符），找不到就直接报错。
• 对于括号语法用带特殊字符的字符串字面量（比如'attr.innerKey2'）：因为你的接口里已经有一个同格式的'attr.innerKey'属性，TypeScript会把这类属性归为「动态属性」场景——毕竟在原生JavaScript里，对象属性名本来就可以是任意字符串，TypeScript在这里适度放宽了静态检查，来兼容这种常见的动态属性使用场景。

如何严格禁止这种行为？ #

如果你希望彻底锁死对象的属性，不允许添加任何接口未定义的内容，可以给接口加一个显式的索引签名，把额外的字符串属性类型设为never：

interface Test { 
  key1: string; 
  'attr.innerKey': string;
  // 任何额外的字符串属性都不允许
  [key: string]: never;
}

const test: Test = { key1: 'I am a key', 'attr.innerKey': 'innerKey' }
test['attr.innerKey2'] = 'error'; // 现在这行就会报错了！

这样就能完全按照你的预期进行严格的类型检查了。

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