typescript - 重新定义的参数在另一个 block 中丢失其推断类型

Question

例如，我将使用一个接收参数并返回一个始终返回一个数字的函数的函数。我会有两种可能的结果:

如果我在第一个块中转换参数，返回类型将丢失

// foo(bar: string | number) => () => string | number

function foo(bar: string | number) {
    bar = +bar;

    return function () {
        return bar;
    }
}

如果我在第二个块中转换参数，返回类型将
正确推断:

// foo2(bar2: string | number) => () => number

function foo2(bar2: string | number) {
    return function () {
        return +bar2;
    }
}

为什么重新定义的参数类型会丢失？

Answer 1

TypeScript 编译器使用 control flow based type analysis推断更窄的变量类型。正如您所注意到的，当您使用 bar: string | number 时并将其设置为 +bar ，bar的值肯定是number紧接着。对于范围的其余部分，除非您重新定义 bar再一次，TypeScript 会知道 bar是 number .

除非它没有。返回匿名函数 function(){return bar;}介绍了 closure其中bar的值将无限期地保持未经检查，直到调用返回的函数为止。此时，TypeScript 编译器放弃了。不知道会不会有人修改bar的值到 string在调用该函数之前，它不会将缩小的类型保留在 clousre 中。

“等等”，您可能会说，“通过检查，我可以看到在返回该函数后 bar 的值不会发生任何变化，因此它永远是 number。”你可能是对的。不幸的是，编译器没有你那么聪明，遇到闭包时放弃只是用于使控制流分析问题易于处理的众多启发式方法之一。

GitHub 中有一个关于“正确”控制流分析的困难的很好的问题:Microsoft/TypeScript #9998: Trade-offs in Control Flow Analysis .在很多情况下，编译器可能会被愚弄，要么未能缩小类型(不完整)，要么过度缩小类型(不健全)。就是这样，至少在我们到达 technological singularity 之前.

希望有所帮助；祝你好运!