如何在TypeScript智能提示中展开联合类型？

给定以下TypeScript类型：

type MyUnion = 'a' | 'b' | 'c'
type MyType = {myKey: MyUnion}

悬停查看MyType的IntelliSense提示时，MyUnion不会被展开为具体的联合成员。尝试使用以下工具类型展开类型：

type Expand<T> = {
  [K in keyof T]: T[K]
} & {}

该类型可以成功展开嵌套对象，但对联合类型无效。需要解决两个问题：

1. 如何在IntelliSense悬停时展开联合类型？
2. 现有的Expand工具类型存在什么问题？

1. 现有Expand工具类型的问题 #

你的Expand类型仅针对对象类型做了映射展开，没有处理联合类型的逻辑。当对象属性是联合类型时，映射过程只会保留联合类型的别名引用，不会主动触发联合成员的展开。

2. 支持联合展开的工具类型 #

要让联合类型在IntelliSense中展开，需要利用TypeScript条件类型的分布式特性——当条件类型的左侧是联合类型时，会自动对每个联合成员单独执行逻辑。基于这个特性可以改造出支持联合展开的工具类型：

type ExpandUnion<T> = 
  T extends object 
    ? { [K in keyof T]: ExpandUnion<T[K]> } & {}
    : T;

核心逻辑：

• 若T是对象类型，递归展开其所有属性
• 若T是非对象类型（包括联合成员），直接返回原值，触发联合成员的展开显示

测试验证 #

用这个类型处理你的场景：

type MyUnion = 'a' | 'b' | 'c'
type MyType = {myKey: MyUnion}
type ExpandedMyType = ExpandUnion<MyType>

悬停查看ExpandedMyType时，IntelliSense会显示完整的展开结果：

type ExpandedMyType = {
    myKey: 'a' | 'b' | 'c';
}

补充说明 #

TypeScript的IntelliSense默认会优先保留类型别名的引用，只有当类型被“解构处理”（比如映射、条件分发）时，才会展开显示具体内容。通过分布式条件类型，我们强制让联合类型的每个成员都被单独解析，从而触发展开逻辑。

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