javascript - if 流中的分支

Question

为什么以下类型不在 Flow 中进行类型检查:

var v: number = (function() {if (true) return 0;})();

尝试一下 here .

我知道以下修复方法:

• 通过删除if (true)
• 将返回类型更改为 ?number
• 通过编写 if (true) return 0;否则抛出新的Error()
• 通过消除警告。

我的问题是:

(a) Flow 以这种方式实现的原因是什么？

(b)解决此问题最惯用的方法是什么？

我还了解到，在一般情况下，if 条件不能静态计算，并且 if 条件静态计算为 true或 false 不应出现在生产代码中。但 Flow 是一个类型检查器，而不是一个编码风格强制器，对吗？

此外，我仍然认为这种模式可能出现的合理情况。例如:

var someCondition;
someCondition = true;
if (someCondition) {
    var v: number = (function() {
        if (someCondition)
            return 1;
    })();
}

尝试一下 here .

Answer 1

Flow 不会对实际运行时代码进行静态分析，因此它不知道 if (true) 意味着 else 分支不执行。您必须编写代码，以便清楚地使用代码作为 Flow

var v: number = (function() {
  if (true) return 0;
  throw new Error();
})();

您的 throw 可能永远不会运行，但它让 Flow 清楚地知道它要么返回一个数字，要么抛出异常。