javascript - 为什么重新定义自身的函数在 Chrome/IE 和 Firefox 中表现不同？

Question

考虑以下代码:

function f() {
    f = eval("" + f);
    console.log("Inside a call to f(), f is: \n%s", f);
}

f();

console.log("After a call to f(), f is: \n%s", f);

我希望 f 在执行期间始终被定义。但是，在 Chrome 和 IE 中，当第一个 console.log 被调用时，它是 undefined ，而在 Firefox 中，当第二个 console.log 被调用时，它是 undefined console.log 被调用。

为什么 f 并不总是被定义？为什么 Chrome/IE 和 Firefox 的行为不同？

http://jsfiddle.net/G2Q2g/

Firefox 26 上的输出:

Inside a call to f(), f is:

function f() {
    f = eval("" + f);
    console.log("Inside a call to f(), f is: \n%s", f);
}

After a call to f(), f is:

undefined

Chrome 31 和 IE 11 上的输出:

Inside a call to f(), f is:

undefined

After a call to f(), f is:

function f() {
    f = eval("" + f);
    console.log("Inside a call to f(), f is: \n%s", f);
}

Answer 1

首先，让我们谈谈我们的“期望”。

我天真地期望这两种情况都返回undefined。

• 就像:返回未定义的 eval("function foo(){}")。

• 就像我们有一个函数声明一样 - 它不返回函数值而是设置它。

• 就像语言规范所说的严格模式。

更新:在深入了解规范后 - Firefox 在这里是正确的。

这是 Firefox 正在做的事情

可视化:

1. f = eval("" + f); // set the left hand side to the function f we're in
2. f = eval("" + f); // declare a new function f in the scope of this function
3. f = undefined; // since undefined === eval("function(){}"); *

^{* 因为函数声明不返回任何东西——就像 function foo(){} 没有返回值}

由于 f 是在步骤 1 中确定的，所以现在对我们所在函数的引用被 undefined 覆盖，并且使用相同的代码声明了声明为 f 的局部闭包。现在当我们这样做时:

console.log("Inside a call to f(), f is: \n%s", f) // f is the local closure variable, it's closest

突然间，很明显我们得到了函数——它是一个成员变量。

但是，一旦我们转义函数

console.log("After a call to f(), f is: \n%s", f);

这里，f 是未定义的，因为我们在步骤 1 中覆盖了它。

Chrome 和 IE 错误地将其分配给错误的 f 并在分配的左侧之前评估右侧。

为什么它在严格模式下工作

请注意，下一节在输入评估代码中说:

Let strictVarEnv be the result of calling NewDeclarativeEnvironment passing the LexicalEnvironment as the argument.

这解释了为什么它在严格模式下工作——它都在一个新的上下文中运行。

---

同样的事情，但更多的是文字而不是图形

• 从f =“查找”f (因为左侧必须首先求值。这指的是本地 f 的副本。也就是说，首先计算左侧。
• 执行返回 undefined 但声明 f 的新本地函数的 eval 调用。
• 由于 f = 中的 f 是在函数本身之前求值的，所以当我们将 undefined 赋值给它时，我们实际上是在替换全局函数
• 因此，当我们在内部执行 console.log 时，我们指的是在 eval 中声明的本地副本，因为它在范围链中更近。
• 当我们在外部执行 console.log 时，我们现在指的是我们分配给未定义的“全局”f。

诀窍是，我们分配给的 f 和我们记录的 f 是两个不同的 f。这是因为总是首先评估赋值的左侧(规范中的第 11.13.1 节)。

IE 和 Chrome 会错误地分配给本地 f。这显然是不正确的，因为规范清楚地告诉我们:

1. Let lref be the result of evaluating LeftHandSideExpression.

2. Let rref be the result of evaluating AssignmentExpression.

因此，正如我们所看到的，需要首先评估 lref。

( link to relevant esdiscuss thread )