为何这段TypeScript代码合法且未触发任何警告？

核心原因在于TypeScript的类型系统规则： #

• Record<string, string>的类型含义：这个类型表示所有字符串类型的键，对应的值都是string类型。一旦你把变量someRecord标注为这个类型，TypeScript就会认定：不管你访问这个对象的哪个字符串键，得到的结果必然是string，哪怕实际对象里根本没有这个键。
• 类型赋值的兼容性：getRecord()返回的{b: 'aaa'}是一个更具体的类型，它可以被安全赋值给Record<string, string>类型的变量——因为这个具体对象里所有存在的键（只有b）都符合「字符串键对应字符串值」的要求，TypeScript的结构类型系统允许这种子类型到父类型的赋值。
• 静态类型检查的逻辑：当你访问someRecord['a']时，TypeScript完全依据你标注的Record<string, string>类型来判断，所以它认为这个表达式的结果是string，因此const a: string的赋值不会触发警告。哪怕实际运行时someRecord['a']是undefined，但TypeScript的静态类型检查不会考虑运行时的实际值，只会遵循你声明的类型规则。
• 属性访问的合法性：既然TypeScript认定a是string类型，那么访问a.length自然符合string类型的属性规则，所以也不会有警告。当然，实际运行时这里会抛出Cannot read properties of undefined的错误，但这属于运行时问题，静态类型检查无法提前捕捉。

总结来说：你给someRecord标注的类型过于宽泛，TypeScript基于你声明的类型做静态检查，因此不会触发警告；但运行时实际值和类型声明不匹配，会导致报错。

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