类型记录:将对象的联合转换为普通的联合

Question

如何将对象的联合转换为具有对象值的普通联合。举个例子：

type Foo = {};
type Bar = {};
type Baz = {};
type Qux = {};

type Input = {
  foo: Foo,
  bar: Bar,
} | {
  bar: Bar,
  baz: Baz,
} | {
  qux: Qux,
};

type Expected = Foo | Bar | Baz | Qux;

注意联合对象的键可能相交(例如bar)。希望这个解决方案能让我更好地展开嵌套类型。

TS游乐场。

Answer 1

您希望将类似于类型 (这只是T[keyof T])的内容分发给T的工会成员，以便如果T是，例如，A | B | C，那么Transform<T>就是A[keyof A] | B[keyof B] | C[keyof C]。您可以使用分布条件类型来获取该行为：

type Transform<T> = T extends any ? T[keyof T] : never;

让我们来测试一下：

type Output = Transform<Input>
// type Output = Foo | Bar | Baz | Qux

看起来不错。

操场链接到代码