typescript --strictNullChecks与flow的null检查

Question

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

// @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);

Flow看到：

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

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

为什么TypeScript不会从呼叫站点推断出类型？ 通常，计算机可以通过这样做生成的错误消息是模糊的 - 您经常在Flow中看到的是您将错误类型的参数传递给函数，在正确实现的函数体中获取错误（或一个下游函数），然后必须向后工作以查看有问题的参数的起源。 有时候这一点并不清楚 - 如果你的代码中有一半写了fileName而你的代码中有一半写了filename而你传递了这些对象的混合，谁会说谁不正确？ TypeScript答案是“放置一个类型注释来解释您的意图”，以便您可以获得高特异性错误。

而且因为这种分析更加昂贵，所以它不适合整个程序分析。 因此Flow仅在每个文件的基础上进行此推断，这意味着您通常希望在文件的“边界”和与其交互的文件的每个函数上都有类型注释。 而且由于这些边界是大多数错误的地方，它并不总是像乍一看那样买到你。