为什么这个 JavaScript 命名函数表达式会抛出带有 var 而不是没有 var 的异常

Question

var foo = function bar(i) {
    bar = "change bar reference";
    if (i < 5) {
        setTimeout(function () {
            console.log(i);
            bar(++i);
        },
            1000
        );
    }
}

上述函数没有错误。

var foo = function bar(i) {
    var bar = "change bar reference";
    if (i < 5) {
        setTimeout(function () {
            console.log(i);
            bar(++i);
        },
            1000
        );
    }
}

将var添加到bar后第二个函数出错。

我希望这两个函数都抛出异常，而不仅仅是 var bar 的第二个函数。

我不明白为什么只有第二个函数抛出异常。

我知道var 的变量声明不会覆盖标识符“bar”，但赋值会在运行时完成。我理解为什么 var bar 是字符串而不是第二个函数上的函数，因此会引发异常。

为什么第一个函数不抛出异常？ bar 明确分配给一个字符串。

我阅读了documentation 并在下面得到了一些可能有用的东西。

可以从 FunctionExpression 的 FunctionBody 内部引用 FunctionExpression 中的标识符，以允许函数递归调用自身。但是，与 FunctionDeclaration 不同，FunctionExpression 中的 Identifier 不能被引用，也不会影响包含 FunctionExpression 的范围。

“无法引用 FunctionExpression 中的标识符”是否意味着我不能在第一个函数中执行 bar = "change bar reference";？

JavaScript 脚本引擎在看到bar = "change bar reference" 时会做什么？是不是直接跳线？

编辑：未捕获的 TypeError：bar 不是函数

富(1)

Answer 1

原因是根据 ES 规范，在命名函数的名称上有一个不可变绑定：

来自Section 14.1.20 of the ES6 spec：

4. 设 envRec 为 funcEnv 的 EnvironmentRecord。
5. 让 name 为 BindingIdentifier 的 StringValue。
6. 执行 envRec.CreateImmutableBinding(name)。

不可变绑定意味着标识符的值不能被覆盖。此外，尝试在严格模式下分配给它should produce a runtime error：

12.14.1：在 ECMAScript 2015 中，包含对不可变绑定（例如 FunctionExpression 的函数名称）的赋值的严格模式代码不会产生早期错误。相反，它会产生运行时错误。

观察：

var foo = function bar() {
    bar = 2;
    console.log(bar);
};

foo();

因此，在您的第一个示例中，您对 bar 的分配基本上没有效果，除非它处于严格模式。

在第二个中，您通过在新范围内声明一个变量来隐藏bar 标识符。这就是为什么bar 保留第二个示例中分配的值的原因。

var foo = function bar() {
  var bar = 2;
  console.log(bar);
};

foo();

Answer 2

至少在调用foo 或bar 时，您会收到错误，因为该函数不再存在。

为什么第一个函数不抛出异常？ bar 明确分配给一个字符串。

在运行时，没有调用函数，什么也没有发生，但是函数调用后，变量bar有一个字符串作为值，不是函数用于进一步调用超时。

这取决于。在 Edge 上，它只是跳过分配，在 Chrome 上它会引发错误

Assignment to constant variable.

这意味着命名函数被实现为常量。

var foo = function bar(i) { // <<<---------+
        bar = "change bar reference"; // --+ tries to change global bar
        if (i < 5) {
            setTimeout(
                function () {
                    console.log(i);
                    bar(++i);
                },
                1000
            );
        }
    };

foo(0);

我阅读了文档并在下面得到了一些可能有用的东西。 “可以从 FunctionExpression 的 FunctionBody 内部引用 FunctionExpression 中的标识符，以允许函数递归调用自身。但是，与 FunctionDeclaration 不同，FunctionExpression 中的标识符不能被引用，也不影响包含 FunctionExpression 的范围。”

“不能引用 FunctionExpression 中的标识符”是否意味着我不能做 bar = “更改 bar 引用”；在第一个功能中？

你的问题不清楚。

JavaScript 脚本引擎在看到 bar = "change bar reference" 时会做什么？它只是跳过行吗？

没有。它将值分配给本地 bar 或全局 bar，但如果有本地或全局变量，则使用局部变量而不是全局变量。

'use strict';
function foo() {
    var a = 'bar';
    console.log(a); // bar
}

var a = 42;

foo();
console.log(a); // 42

Answer 3

让我试着用简单的词来详细说明。 在第一个函数中，您试图修改/重新定义/覆盖不允许的 NFE（命名函数表达式）“bar”。由于您没有使用“严格模式”，这就是您没有收到运行时错误的原因。如果您将开启严格模式，您将收到“Uncaught TypeError: Assignment to constant variable”，因为在 NFE 内部函数名称被视为常量，因此没有人可以覆盖它的值。

在第二个函数中，“bar”会推断出一个字符串值，这就是它抛出错误的原因，因为在几行之后，您将它用作函数。 我希望，这有点道理。 要仔细检查，我们可以执行以下脚本： 下面的脚本将返回“function”，然后定义“bar”函数，因为我没有使用严格模式

var foo = function bar() {
console.log(typeof(bar)) ;
bar = "new definition"; // try to redefine
console.log( bar ); 
};