在打字稿中初始化联合类型

Question

这在 asd 和 sdf 函数中给出了变量 o 的类型与初始化不兼容的错误：

enum E {
    a,b,c,d
}

type Xe = E.a | E.b;
type Ye = E.c | E.d;

interface X {
    f: Xe;
}

interface Y {
    f: Ye;
}

type I = X | Y;

function asd(v: E) {
    // Error
    const o: I = {
        f: v,
    };
}

function sdf(o: I) {
    if (o.f == E.a) {
        // type of o should be narrowed down to X
    }
}

错误是：

Type '{ f: E; }' is not assignable to type 'I'.
  Type '{ f: E; }' is not assignable to type 'Y'.
    Types of property 'f' are incompatible.
      Type 'E' is not assignable to type 'Ye'.

由于某种原因，类型 I 不等价于这个接口：

interface I {
    f: Xe | Ye;
}

我希望能够在条件中初始化和缩小类型。但是如果我不使用联合类型，缩小类型就不起作用了。

Answer 1

您可以添加一个为内部字段创建联合类型的 Merge 类型：

type Merge<This, Other> = {
    [T in Extract<keyof This, keyof Other>]: This[T] | Other[T];
}

这将获取两个接口 (Extract<keyof This, keyof Other>) 上的所有键并为其创建联合类型。

type I = Merge<X, Y>;

相当于：

type I = {
    f: Xe | Ye;
}