Typescript给无索引签名接口赋值动态计算属性为何不报类型错误？

原因说明 #

这个差异是 TypeScript 多余属性校验的规则设计导致的，核心逻辑是：多余属性检查只会对编译期可以完全确定值的属性键生效。

两种场景的差异分析 #

• 当你直接用['someString']字面量作为计算属性键时，TS 在编译阶段就能明确知道这个键的固定值是someString，和Test接口定义的name属性不匹配，就会触发预期的多余属性报错。
• 当你用类型为宽泛string的变量someString作为计算属性键时，TS 的类型检查只会读取变量的类型，不会追踪变量实际赋值的具体值，编译期无法确定这个键最终会是什么（理论上它完全有可能刚好是name），所以不会对这种动态键做多余属性校验，也就不会报错。

验证规则的小例子 #

如果你把变量的类型限定为固定的字符串字面量类型，TS 就能在编译期确定键的值，就会正常触发报错：

interface Test {
    name: string;
}
// 变量类型改为固定的字面量类型，不再是宽泛的string
const someString: 'someString' = 'someString';
const test: Test = {
    name: 'Foo',
    [someString]: 'Bar' // 这里会正常触发类型错误
};

这种设计是 TypeScript 有意做的取舍，避免给合理的动态属性使用场景增加不必要的校验成本。

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