TypeScript如何提取联合类型中指定属性值的窄化对象类型

你可以直接使用TypeScript内置的Extract工具类型实现静态类型层面的联合成员筛选，无需依赖运行时的类型收窄推断。

直接实现 #

针对你给出的场景，代码写法如下：

// 原始联合类型
type MyTypeEquivalent = { foo: 'one', value: number } | { foo: 'two', value: string }

// 提取foo为'one'的分支类型
type DesiredExtractedType = Extract<MyTypeEquivalent, { foo: 'one' }>

上述写法得到的DesiredExtractedType就完全等价于你需要的{ foo: 'one', value: number }类型。

实现原理 #

Extract是TypeScript内置的条件工具类型，源码定义如下：

type Extract<T, U> = T extends U ? T : never

它的作用是遍历联合类型T的所有成员，保留所有可以赋值给U的成员，舍弃不满足条件的成员。对于带判别字段（这里是foo字段）的联合类型，只要传入判别字段的目标值作为筛选条件，就能精准匹配到对应的联合分支。

通用封装 #

如果你需要频繁按foo字段的取值提取类型，可以封装一个通用泛型工具类型：

type ExtractByFoo<T extends { foo: string }, K extends T['foo']> = Extract<T, { foo: K }>

// 用法示例
type OneBranch = ExtractByFoo<MyTypeEquivalent, 'one'> // { foo: 'one', value: number }
type TwoBranch = ExtractByFoo<MyTypeEquivalent, 'two'> // { foo: 'two', value: string }

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