如何从TypeScript的OneOf联合类型提取One|Two|Three类型？

给定如下TypeScript联合类型：

type OneOf =
  | {
      $case: 'one';
      one: One;
    }
  | {
      $case: 'two';
      two: Two;
    }
  | {
      $case: 'three';
      three: Three;
    };

需要创建一个新类型，从OneOf中提取出One | Two | Three作为结果类型。

原方法失效原因 #

你尝试的ExtractOneOfTypes之所以无效，是因为联合类型的keyof会返回所有成员共有的键。这里OneOf的每个成员都只有$case是公共键，所以K只能是"$case"，最终提取的是$case的字符串字面量类型，而非目标的One|Two|Three。

可行解决方案 #

利用TypeScript的条件类型和类型推断（infer），可以精准提取每个联合成员中与$case值同名的属性类型：

type ExtractOneOfTypes<T> = T extends { $case: infer Case; [key in Case]: infer Value } ? Value : never;

代码解释 #

• 当T匹配联合类型的某个成员时，infer Case会推断出当前成员$case的具体值（比如'one'）。
• [key in Case]: infer Value会推断出该成员中与Case同名的属性的类型（比如One）。
• 条件类型会自动遍历联合类型的所有成员，将所有推断出的Value合并为新的联合类型。

验证示例 #

假设One、Two、Three为具体类型：

type One = { id: number };
type Two = { name: string };
type Three = { flag: boolean };

type Result = ExtractOneOfTypes<OneOf>; // 类型为 One | Two | Three

另一种简洁实现 #

如果确定每个联合成员除了$case外只有一个额外属性，也可以通过排除$case对应的类型来提取目标类型：

type ExtractOneOfTypes<T> = T extends { $case: string } ? Exclude<T[keyof T], T['$case']> : never;

这个方法通过T[keyof T]获取当前成员的所有属性值类型，再用Exclude排除$case对应的字符串类型，剩下的就是目标类型。

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