根据判别器的子集获取判别联合的子集

Question

打字稿问题：

给定一个可区分的联合类型

interface A {
    discriminator: "A";
    data: string;
}

interface B {
    discriminator: "B";
    data: string;
}

interface C {
    discriminator: "C";
    num: number;
}

type U = A | B | C;
type Discriminator = U["discriminator"];

type AorB = SubsetOfU<"A"|"B">;

const f = (d:AorB) => d.data; // Should work

如何编写SubsetOfU 来提取联合类型的子集？

当然，我不是在解决这里的具体案例（只是A|B），而是一个更复杂的场景。

type SubsetOfU<K extends Discriminator> = ??????

Answer 1

Extract 预定义类型已经定义并且可以执行您想要的操作：

type U = A | B | C;
type Discriminator = U["discriminator"];

type AorB = Extract<U, { discriminator: "A" | "B" }>;

const f = (d:AorB) => d.data;

Playground Link

Answer 2

原来我已经有执行此操作的代码，所以当我再次忘记它时，我可以在这里找到答案。

这是解决方案：

type SubsetOfU<T, K> = T extends { discriminator: K }
  ? T
  : never;

Answer 3

如果您为子类型定义了类型，则实际上不需要使用 { descriminator: 'A' | 'B'}，在您的情况下为A、B 和c

type U = A | B | C
type AorB = Extract<U, A | B>

const f = (d: AorB) => d.data