typescript - 将兼容类型分配给可区分的联合类型时出错

Question

我有一个简化的示例案例。我创建了一个可区分的联合 AOrB 和一个(在我看来)兼容类型 C:

interface A {
  kind: 'a';
}

interface B {
  kind: 'b';
}

type Kind = 'a' | 'b';

interface C {
  kind: Kind;
}

interface D {
  kind: 'b';
}

type AOrB = A | B;

function test(input: C): AOrB {
  return input;
}

function test2(input: D): AOrB {
  return input;
}

失败

Type 'C' is not assignable to type 'AOrB'.
  Type 'C' is not assignable to type 'B'.
    Types of property 'kind' are incompatible.
      Type 'Kind' is not assignable to type '"b"'.
        Type '"a"' is not assignable to type '"b"'.

这让我似乎无法将对象分配给 AOrB 类型的变量，除非事先知道它实际上是 A > 或 B。这不仅仅是因为它们需要完全相同的类型，因为 test2 编译得很好。

谁能解释一下这是怎么回事？

Answer 1

更新:2019-05-30 随着 TypeScript 3.5 的发布，这应该由 smarter union type checking 解决.以下适用于 3.4 及以下版本:

---

本期has been reported之前，它本质上是一个编译器限制。当你我都明白 {a: X} | {a: Y} 等同于 {a: X | Y}，编译器没有。

通常，您不能将对象的联合组合成联合的对象，除非对象仅在一个属性的类型上有所不同(或者更确切地说，不同的属性代表联合的所有可能分布) .例如，您不能折叠 {a: X, b: Z} | {a: Y, b: W} 到类似 {a: X | Y, b: Z | W}... {a: X, b: W} 类型可分配给后者，但不能分配给前者。

想象一下编写编译器来尝试进行这样的缩减；对于绝大多数情况，它会花费宝贵的处理器时间来检查联合类型，却发现它无法组合它们。像您这样相对罕见的可以减少的情况可能只是不值得。

即使是你的情况，我也持怀疑态度；您是否真的要建立一个只有判别属性不同的判别联合？这是一个病态的案例。可区分联合的预期用例是采用一组不同 类型并添加单个属性以让您知道值是哪种类型。一旦您开始添加其他属性使被区分的类型真正不同，您将不得不放弃折叠并集的想法。

---

那么，假设你真的需要上面的非歧视歧视联合，你能做什么？最简单的方法是使用 type assertion 告诉编译器您知道自己在做什么。 :

function test(input: C): AOrB {
  return input as AOrB; // you know best
}

现在可以编译了，虽然它不是很安全:

function test(input: C): AOrB {
  return (Math.random() < 0.5 ? input : "whoopsie") as AOrB; // also compiles
}

一个更安全但更复杂的解决方案是让编译器遍历不同的可能性:

function test(input: C): AOrB {      
  return input.kind === 'a' ? {kind: input.kind} : {kind: input.kind};
}

无论是那些还是你想出的其他东西都应该有效。

好的，希望对你有帮助；祝你好运!