为何Pick<>与Omit<>输入不兼容？Extract是否为最优方案？

1. 为何Pick<>在此场景下无法正常工作？ #

Pick<T, K> 是专为对象类型设计的工具类型，作用是从对象类型 T 中挑选键名为 K 的属性集合，要求 K 必须是 keyof T（即对象 T 的键名子集）。

而你的 LegalEntity 是字符串字面量联合类型（'individual' | 'company' | 'ngo'），并非对象类型。对于字面量类型来说，keyof LegalEntity 的结果是 never（字面量没有可枚举的属性键），所以 'individual' | 'company' 完全不属于 keyof LegalEntity 的范畴，自然会触发类型报错。

另外你提到的 Omit 能工作其实是不符合设计意图的“副作用”：Omit 底层实现是 Pick<T, Exclude<keyof T, K>>，当 T 是联合类型时，TypeScript 的分布类型特性意外让它表现出类似 Exclude 的效果，但 Omit 本身也是为对象类型设计的，用来排除对象的属性，并非处理联合类型的正确工具。

2. 在此场景中，Extract是否是限制联合类型值集合的最佳方法？ #

是的，Extract 和 Exclude 是 TypeScript 官方专为联合类型设计的工具类型，完全匹配你的需求：

• Extract<T, U>：从联合类型 T 中提取所有能匹配 U 的成员
• Exclude<T, U>：从联合类型 T 中排除所有能匹配 U 的成员

你的场景中，要保留 'individual' | 'company'，有两种标准写法：

1. 用 Extract 直接提取目标成员
2. 用 Exclude 排除不需要的成员

修正后的示例代码 #

const legalEntity = ['individual', 'company', 'ngo'] as const;
type LegalEntity = (typeof legalEntity)[number];

// 正确：用Exclude从联合类型排除成员（替代你误用的Omit）
type NgoOnly = Exclude<LegalEntity, 'individual' | 'company'>; // 类型为 'ngo'

// 正确：用Extract提取目标成员
type IndividualOrCompanyExtract = Extract<LegalEntity, 'individual' | 'company'>; // 类型为 'individual' | 'company'

// 正确：用Exclude排除不需要的成员
type IndividualOrCompanyExclude = Exclude<LegalEntity, 'ngo'>; // 类型为 'individual' | 'company'

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