typescript --strictNullChecks 与 flow 的 null 检查

Question

如果我在下面的代码上运行“typescript --strictNullChecks”，我不会收到任何错误。如果我在它上面运行流程，它会给我一个关于 null 与 number 类型不兼容的错误。为什么 typescript 也没有这个错误？这是一个值得记录的功能或问题吗？

// @flow
var f = function f( x ) {
    var y = x * 2;
}
f(null);

Answer 1

TypeScript 不进行调用站点分析。

TypeScript 看到这个，没问题:

var f = function f( x: any ) {
    var y = x * 2;
}
f(null);

流见:

var f = function f( x: ??? ) {
    var y = x * 2;
}
f(null);

??? 是通过查看当前文件中的调用来确定的。在这种情况下，x 具有裸类型 null 并且是错误的。

为什么 TypeScript 不从调用点推断类型？一般来说，计算机生成的错误消息是模糊的——您在 Flow 中经常看到的是您将错误类型的参数传递给函数，在函数的 body 中出现错误正确实现的功能(或下游功能)，然后必须向后工作以查看有问题的参数的来源。有时这并不清楚——如果你一半的代码写了 fileName 而一半的代码写了 filename 并且你传递了这些对象的混合，谁说谁不正确？ TypeScript 的回答是“放置一个类型注释来解释你的意图”，这样你就可以获得高特异性错误。

而且由于此分析的成本更高，因此不太适合整个程序分析。所以 Flow 只在每个文件的基础上进行这种推断，这意味着您通常希望在文件的“边界”处的每个函数以及它与之交互的文件上都有类型注释。由于这些边界是大多数 bug 所在的位置，因此它并不总是像乍看起来那样让你买账。