对象值中的流联合未按预期工作

Question

我有以下代码。出于某种原因，Flow 拒绝了它。

class A {}
class B {}

type Intersection = (A | B);

var myMap: {
    a: A;
    b: B;
} = {
    a: new A(),
    b: new B()
}

var getter = function (name: string): () => Intersection {
    return function (): Intersection {
        return myMap[name];
    }
}

var bGetter: () => B = getter("b");

我发现代码中没有错误。然而，Flow 拒绝了它：

/srv/webwallet/app/scripts/angularHelper.js:14:22,22:A 这个类型是 与 /srv/webwallet/app/scripts/angularHelper.js:12:7,7 不兼容： 乙

发现 1 个错误

为什么代码不检查，如何检查？

Answer 1

你需要改变

type Intersection = (A | B);

到

type Intersection = (A & B);

“|”运算符是一个不相交的联合。