什么时候无法确定 let 或 const 是否被初始化？

Question

Jason Orendorff 在let 和const 上的article 中声明如下：

Crunchy 性能细节：在大多数情况下，您可以判断 声明是否运行仅通过查看代码，所以 JavaScript 引擎实际上不需要执行额外的检查 每次访问变量以确保它已经 初始化。然而，在闭包内部，有时并不清楚。在 在这些情况下，JavaScript 引擎会进行运行时检查。这意味着 let 可能比 var 慢一点。

我决定尝试找到一个例子，证明这是正确的并且被难住了。

例如，让我们看看下面的酷刑场景：

function doSomethingDumb(q) {
    function crash() { ++x; }
    q.fn = crash;
    crash();
    let x;
    return crash;
}

即使在函数结束时返回闭包，也可以保证 return 语句永远不会执行，即使 x 已分配给 q 的成员（并且因此可能会逃到野外）x 永远不会被初始化，因此crash 将永远崩溃。

在什么情况下无法判断变量是否已经初始化？

Answer 1

只需将其置于仅有时会满足的条件中：

function example() {
    if (Math.random() < 0.33) tryIt();
    const x = 5;
    if (Math.random() < 0.5) tryIt();
    function tryIt() {
        console.log(x);
    }
}

在这个例子中，我选择了一个随机的，但它也可以取决于函数的输入参数。一般来说，访问变量的语句是否会在初始化之前执行不是静态可决定的——这就是halting problem。您可以编写一个复杂的分析器，在很多情况下都可以确定这一点，但总是需要在分析器的复杂性和开销之间进行权衡。

Answer 2

没有慢或快句柄之类的东西，即：命名值，无论是 var、const 还是 let。也没有“无法确定”它们是否已初始化之类的东西。 此外，let/s 不会被初始化——它们只是被分配。并且由于它们的行为类似于“未声明的变量”，因此它们将在运行时并准确地在它们的点声明时被赋值。

因此，如果发生停止错误，则仅在 let 声明上方一行发生。它将保持完全未申报的状态。看代码就知道了。