Javascript 是否使用动态名称解析？

Question

这是我去测试一种语言是否具有动态名称解析。

function foo() {
    function bar() {
        print a
    }
    var a = 10
    bar()
}

如果语言使用动态名称解析，代码应该打印 10。否则，它应该抛出一个未定义的错误。

Javascript 打印 10。但是 Javascript 使用变量提升，它将 var a 移动到顶部 foo 并使我的测试无效。

编辑： 如果我们可以在 JS 中删除变量，那么下面将是一个很好的测试：

var a = 5
function foo() {
    var a = 10
    function bar() {
        print a
    }
    delete a
    bar()
}
foo()

如果 JS 静态解析名称，bar 的 a 引用 foo 的 a。由于 foo 的 a 被删除（如果可能的话），bar 将打印 undefined。

如果JS动态解析名字，bar的a会在bar()被调用时动态查找。由于此时 foo 的 a 已被删除，查找将找到全局 a，而 bar 将打印 5。

Answer 1

Javascript 是否使用动态名称解析？

是的。考虑以下example：

eval("var foo = 'foo';");

console.log(foo);
// > "foo"

变量foo 直到运行时才绑定到词法环境（由于eval() 语句），但没有抛出错误（并且代码有效）这一事实表明该名称是动态解析的。

---

但是 Javascript 使用变量提升，它将 var a 移动到顶部 foo 并使我的测试无效。

注意：也许您只是说吊装妨碍了您尝试执行的测试？如果是这样，请忽略此答案的其余部分...

这种行为实际上是通过提升来解释的，而不是被它无效化。即，

• 正如您所指出的，由于提升，变量a 在最顶部创建（但尚未分配给） foo() 函数。

• 接下来，您有一个函数声明。碰巧，函数声明也被提升到其作用域的顶部。

• 接下来将值 10 分配给 a。请注意，这发生在您实际调用bar() 之前。

• 最后，你实际调用了bar()，此时a已经被赋值为10，导致0被打印出来。

将所有这些结合在一起，您的 foo() 函数的行为与编写如下一样：

function foo() {
    // hoisted
    var a;

    // also hoisted
    function bar() {
        // due to hoisting, `a` is lexically in scope here
        console.log(a);
    }

    // the actual assignment
    a = 10

    // the invocation
    bar()
}

我碰巧在昨晚的回答中对声明和赋值/初始化之间的区别进行了相当彻底的解释。它也解释了这里看到的大部分行为：Declaring vs Initializing a variable?