flowtype - 应该如何构造不相交的联合包装器以进行细化工作？

On the Flowtype "Try" site

// @flow

type One = {type: "One"};
type Two = {type: "Two"};
type Node = One | Two;


class Foo<N: Node> {
  node: N;

  constructor(n: N) {
    this.node = n;
  }
}

const fooNode: Foo<Node> = new Foo({type: "One"});
if (fooNode.node.type === "One") {
  const fooOne: Foo<One> = fooNode;
}

if 类型检查不足以细化类型，如果我理解正确的话，因为类型不能保证是常量。

由于我想避免这是 X/Y 问题的可能性，因此我目前正在使用的用例是使用 .find 方法从给定节点进行搜索，该方法将返回精炼类型，例如使用

  parent(): Foo<N> | null {
    // ...
    return null;
  }

  find<U: Node>(callback: (foo: Foo<N>) => Foo<U> | null): Foo<U> | null {
    let p = this;
    do {
      const result = callback(p);
      if (result) return result;

      p = p.parent();
    } while (p);

    return null;
  }

和

const f: Foo<Node> = new Foo({type: "One"});

const result: Foo<Two>|null = f.find((p) => p.node.type === "Two" ? p : null);

这将允许我在搜索时返回精炼类型。

最佳答案

问题在于这一行的类型注释:

const fooNode: Foo<Node> = new Foo({type: "One"});

通过显式使用 Foo<Node>，您可以防止细化发生。您可以使用 Foo<*> 使推理正常工作。

下面是一个例子:
https://flowtype.org/try/#0PTAEAEDMBsHsHcBQiAuBPADgU1AeQHY4C8oA3qOtgFygBEBWtoAvgNyqY4Aq8soJ5Slhq0esJmw7ZQAOVgATYnkKgAPqDHtEAY2gBDAM4HQAMViwAPDJpzFAPjKJQofAuGytz7bHwGUAJwBXbRRYfwAKfBsASkdnZxQACwBLAwA6V0V+F3ZnZkR85G9fFFBIc1t3M0sAKgcSQnhTc3DSIREGWmZo9nDy2EqaaosGOx7EPoq3IfMLMTHWUBBQLH9-MKA

关于flowtype - 应该如何构造不相交的联合包装器以进行细化工作？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/41433907/