如何在TypeScript联合类型中对可选字段进行条件检查？

我有多个类似的类型，比如{ value: number, type: 'number' }，打算将它们放入联合类型中，例如：

type UnionType1 = { value: number, type: 'number' } | { value: string, type: 'string' }
type Pass1 = UnionType1 extends { value: any, type: any } ? true : false
//   ^? type Pass1 = true

但如果联合类型中的某一个包含可选字段，条件检查就会失败：

type UnionType2 = { value: number, type: 'number' } | { value?: string, type: 'string' }
type Pass2 = UnionType2 extends { value: any, type: any } ? true : false
//   ^? type Pass2 = false

我希望在不修改UnionType2的前提下，让Pass2的结果也为true，但不知如何实现。

问题核心是联合类型的条件判断逻辑：当执行A extends B时，TypeScript会对联合类型的每个成员单独检查，只有所有成员都满足extends B，整个表达式才返回true。而带可选value的成员中，value的类型是string | undefined，但{ value: any, type: any }要求value必须存在（不能为undefined），所以该成员无法通过检查，导致整体返回false。

以下是几种无需修改UnionType2的解决方法：

方法1：放宽目标类型的约束 #

直接把目标类型改成允许value可选，这样所有联合成员都能匹配：

type UnionType2 = { value: number, type: 'number' } | { value?: string, type: 'string' }
type Pass2 = UnionType2 extends { value?: any, type: any } ? true : false
//   ^? type Pass2 = true

方法2：用辅助类型处理可选字段 #

如果必须保留目标类型为{ value: any, type: any }，可以通过辅助类型把联合成员中的可选value转为必填（排除undefined），再进行判断：

type UnionType2 = { value: number, type: 'number' } | { value?: string, type: 'string' }

// 辅助类型：将类型中的可选value转为必填（移除undefined可能性）
type EnsureValue<T> = T extends { type: infer U } 
  ? { value: Exclude<T['value'], undefined>, type: U } 
  : never

// 对联合类型的每个成员处理后再做判断
type Pass2 = EnsureValue<UnionType2> extends { value: any, type: any } ? true : false
//   ^? type Pass2 = true

方法3：直接检查字段存在性 #

更灵活的方式是直接判断每个联合成员是否包含type字段，且value字段要么必填要么可选：

type UnionType2 = { value: number, type: 'number' } | { value?: string, type: 'string' }

// 检查类型是否同时包含type和value字段（不管value是否可选）
type HasValidStructure<T> = T extends { type: any } ? ('value' extends keyof T ? true : false) : false
// 联合类型的所有成员都满足时返回true
type Pass2 = HasValidStructure<UnionType2> extends true ? true : false
//   ^? type Pass2 = true

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