TypeScript - 函数内部没有 "Variable is used before being assigned"

Question

我想了解以下 TypeScript 行为:

以下代码

let a: number
if (a === undefined) {
    console.log("how?")
}

抛出错误:“变量'a'在被赋值之前被使用。”。

但是下面的代码

let a: number
const f = (): void => {
    if (a === undefined) {
        console.log("how?")
    }
}
f()

工作正常并记录“如何？”。

这是为什么？还有，怎么来 a === undefined如果它的类型是 number ?

Answer 1

有一个 open issue关于这个在 Typescript GitHub 项目中。这是 typescript 技术设计的限制。

来自瑞安卡瓦诺，它是

because we don't inline the flow-control effects of functions