TypeScript中Prettify辅助类型末尾交叉空对象的作用解析

在TypeScript里，Prettify是用来让IDE和错误提示里的类型展示更清晰的辅助类型，很多人会疑惑为什么它的定义要多一步& {}，而不是直接用对象映射：

先看两种定义：

// 带空对象交叉的版本
type Prettify<T> = {
    [K in keyof T]: T[K];
} & {};

// 直接映射的版本
type Prettify<T> = {
    [K in keyof T]: T[K];
}

核心原因是触发TypeScript的类型扁平化逻辑：

• 直接用{ [K in keyof T]: T[K] }时，如果T是交叉类型（比如{a: number} & {b: string}）、或者是由其他工具类型生成的嵌套/复合类型，TypeScript会保留原始的类型结构，不会把它展开成直观的扁平对象。比如你把交叉类型传入直接映射的Prettify，IDE里显示的还是交叉结构，和原类型没区别。

• 而加上& {}之后，相当于给映射后的类型和空对象做交叉。TypeScript在处理这种包含对象字面量的交叉类型时，会自动把所有可合并的类型成员合并成一个单一的扁平对象，把原本分散的属性整合到一起，这样在IDE提示和错误信息里就能看到清晰的完整结构，而不是嵌套或交叉的复杂形式。

举个实际例子对比：

// 定义一个交叉类型
type UserInfo = {name: string} & {age: number};

// 直接映射的版本，类型展示还是交叉结构
type PrettifyNoEmpty<T> = { [K in keyof T]: T[K] };
type TestNoEmpty = PrettifyNoEmpty<UserInfo>; 
// IDE显示：{name: string} & {age: number}

// 带空对象交叉的版本，类型被扁平化成单一对象
type PrettifyWithEmpty<T> = { [K in keyof T]: T[K] } & {};
type TestWithEmpty = PrettifyWithEmpty<UserInfo>; 
// IDE显示：{name: string; age: number}

除此之外，对于一些带有“隐藏”结构的类型（比如通过ReturnType获取的函数返回类型、或者嵌套的工具类型结果），& {}也能强制TypeScript展开这些隐藏结构，让类型信息更直观可读。

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