TypeScript中看似无关的Record类型被判定兼容的原因咨询

这个表现是TypeScript结构类型体系下索引签名的既定设计规则导致的，不属于类型校验bug，核心逻辑如下：

• 首先要搞懂数字索引签名的真实语义：你写的映射类型{ [x in number]: A }和常规写法{ [k: number]: A }完全等价，它的约束是当你用数字作为键访问该类型对象时，返回的属性值类型为A。它从来不是“对象必须包含所有数字键对应的A类型属性”的强制要求——JavaScript对象本身支持动态增删属性，TypeScript作为渐进式类型系统，不会做这种脱离运行时实际的强制约束。
• 其次是索引签名的赋值校验规则：当把一个没有显式声明索引签名的源类型，赋值给带索引签名的目标类型时，TypeScript只会做冲突校验：仅检查源类型上显式定义的、键类型和索引匹配的属性，判断这些属性的类型是否能赋值给索引签名要求的返回值；如果源类型根本没有定义任何对应类型的键属性，就判定为无类型冲突，允许赋值。

回到你给出的代码：

type A = { 'a': number }
type B = { [x in number]: A };

let a: A = { a: 42 };
let b: B = a;

类型A只声明了字符串键a，没有显式定义任何数字键属性，而字符串键和数字键属于分开的校验范围，a属性根本不会参与数字索引签名的兼容性判断，两者不存在任何类型冲突，自然不会触发类型错误。

什么场景下会触发报错 #

只要你在源类型A上显式定义一个数字键属性，且它的类型不匹配B的索引签名要求的返回值A，就会被类型校验拦下，比如：

type A = { 'a': number, 1: string } // 显式声明数字键1，值类型为string
type B = { [x in number]: A };

let a: A = { a: 42, 1: "test" };
let b: B = a; // 这里会抛出类型错误：string类型不能赋值给A类型

额外注意 #

这个设计确实存在一定的类型不安全风险：比如赋值后你访问b[100]，TypeScript会默认返回值是A类型，但运行时实际拿到的是undefined。如果要规避这类访问风险，可以开启noUncheckedIndexedAccess编译选项，开启后所有索引签名访问的返回值会自动加上undefined类型，强制你做存在性判断，但这个选项不会修改上面提到的赋值兼容性规则。

字符串索引签名的赋值校验逻辑和数字索引签名完全一致，只有源类型上显式定义的同类型键属性存在类型冲突时，才会拦截赋值。

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