为何无法为两个Record类型的交集赋值？与Record<string,A&B>等价吗？

先给出结论：这两个类型在TypeScript类型系统中是等价的，报错只是因为TypeScript对对象字面量的特殊检查机制导致的。

一、类型等价性分析 #

拆解两个类型的本质：

• Record<string, A & B> 直接表示「所有字符串键对应的属性值都同时满足A和B类型」，即{ [key: string]: A & B }。
• Record<string, A> & Record<string, B> 是两个索引签名类型的交叉，即{ [key: string]: A } & { [key: string]: B }。根据TypeScript交叉类型规则，交叉两个同索引签名的类型时，最终的索引签名值类型会是两个类型的交叉（A & B），因此和前者完全等价。

二、赋值报错的原因 #

报错根源是TypeScript的严格对象字面量检查机制：
当直接将对象字面量赋值给一个类型时，TypeScript会进行额外校验，不允许字面量包含目标类型未定义的属性——哪怕目标是交叉类型，它会先尝试匹配交叉类型的第一个组成部分（Record<string, A>），此时字面量里的b属性不属于A的已知属性，因此触发错误。

而Record<string, A & B>是单一索引签名类型，字面量的a和b属性刚好符合A & B的要求，不会触发这个检查。

三、让交叉类型赋值通过的方法 #

如果要给Record<string, A> & Record<string, B>类型赋值，有两种常见方式：

1. 先将字面量赋值给变量（变量不会触发严格字面量检查），再赋值给目标类型：

type A = { a: string };
type B = { b: string };

const temp = { foo: { a: '', b: '' } };
const y: Record<string, A> & Record<string, B> = temp; // 正常编译

2. 使用类型断言跳过检查：

const y: Record<string, A> & Record<string, B> = {
    foo: { a: '', b: '' },
} as Record<string, A> & Record<string, B>; // 正常编译

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