TypeScript交叉类型归一化：&{}的作用及类型层面意义探究

在实现交叉类型归一化时，你遇到的& {}生效的核心原因，是它触发了TypeScript类型系统的交叉类型归约（type reduction）——这不是LSP的显示特性，而是类型层面的实际行为。

映射类型的局限性 #

{ [key in keyof T]: T[key] }这类映射类型，处理简单交叉类型时能正常展开，但遇到复杂场景（比如嵌套交叉、带条件类型的交叉）时，TypeScript不会主动把映射结果展开成具体的对象结构，而是会保留WeakNormalize<A & B>这样的泛型构造引用。这是因为类型检查器会优先保留类型的原始构造形式，避免不必要的展开开销，尤其是当T的结构无法被立即完全解析时。

& {}的作用：触发归约，强制展开 #

& {}的本质是给映射类型的结果“附加”了一个空对象交叉，而TypeScript在处理交叉类型时，只要其中一方是{}（空对象类型），就会触发交叉类型的归约逻辑：

• 空对象{}和任何对象类型交叉，语义上完全等价于原类型（T & {} = T，只要T是对象类型），不会改变类型的实际结构和约束；
• 但这个交叉操作会强制TypeScript把之前的映射类型结果，从泛型构造的引用形式，转换成具体的对象属性集合——也就是把交叉类型的各个部分合并成一个扁平化的对象类型，而不是保留交叉或泛型引用。

对比验证 #

用你的示例来看：

type A = { foo: string; bar: number };
type B = { baz: { foo: number } };

// 无&{}：复杂场景下保留泛型引用
type WeakNormalize<T> = { [key in keyof T]: T[key] };
type C3 = WeakNormalize<A & B>; // 复杂场景下可能显示为WeakNormalize<A & B>

// 有&{}：触发归约，强制展开为扁平化对象
type Normalize<T> = { [key in keyof T]: T[key] } & {};
type C2 = Normalize<A & B>; // { foo: string; bar: number; baz: { foo: number } };

简单来说，& {}是一个“无副作用”的触发手段，用等价的交叉操作，让TypeScript完成类型的展开和归约，确保最终显示的是扁平化的对象类型，而不是泛型构造的引用。

内容的提问来源于stack exchange，提问作者Adam B.