let a = 1;

function foo() {
    a = 2;  // <=== Which `a` should be assigned to?
    console.log(a);
    
    // code
    // code
    // code
    // code
    // code
    // code
    // code
    // code

    let a = 3;
    console.log(a);
}

foo();

在该代码中，似乎顶部的foo分配应该分配给外部a，因为（据我们所知，自上而下阅读）没有其他a范围。但是有，因为let底部foo是吊起的。执行分配时会出错，因为该内部a未初始化。

相比之下，使用var，没有错误，但很容易混淆a在foo.

在评论中，您表示您仍然不理解声明绑定但未初始化的绑定意味着什么。我认为“初始化”¹ 的两个（略微）含义在这里让您感到困惑（当我进入这些东西时他们让我感到困惑），所以让我们稍微改变术语。

绑定有一个与之关联的标志，说明它们是否可以使用。让我们称它为usable标志：usable = true表示可以使用绑定，usable = false表示不能使用。使用该术语，上面的示例是这样处理的：

1. 创建脚本的执行上下文时：

   1. 为其中的所有顶级声明创建绑定：
      • 的let a部分let a = 1;创建一个绑定调用a，其usable标志设置为false（尚不能使用）。
      • 函数声明 ( function foo() { }) 创建一个被调用的绑定foo，其usable标志设置为true（可以使用）并且其值设置为undefined。
   2. 上下文中的函数声明是通过创建它们定义的函数并将它们分配给绑定来处理的。所以foo得到它的函数值。

2. 当在let a = 1;代码的逐步执行中遇到语句时，它会做两件事：将usable标志设置为true（可以使用）并将值设置a为1。

3. 当foo被调用并创建调用的执行上下文时，会创建顶级声明的绑定：

   1. 调用的绑定a是let a = 3;由其usable标志设置为false（尚不能使用）创建的。

4. 当在a = 2;代码的逐步执行中到达该语句时，将a解析为内部a绑定（在 中foo，由 声明的let a = 3;那个），但该绑定的usable标志是false，因此尝试使用它会引发错误。

5. 如果我们没有a = 2;语句，所以没有抛出错误，那么当一步一步的代码执行到达let a = 3;语句时，它会做两件事：将usable标志设置为true（可以使用）并将值设置a为3.

这里foo更新了一些评论：

function foo() {
    // The local `a` is created but marked `usable` = `false`

    a = 2;      // <=== Throws error because `a`'s `usable` is `false`
    console.log(a);
    
    let a = 3;  // <=== If there weren't an error above, this would set
                //      `usable` to `true` and the value of `a` to `3`
    console.log(a);
}

¹ “我认为“初始化”的两个（稍微）含义¹在这里让您感到困惑......”我所指的两个含义是：

1. “初始化”绑定（使其可用，设置usable为true），并单独
2. “初始化”就像设置绑定的初始值一样。

它们是分开的东西。