JavaScript 中的提升顺序

Question

function g () {
    var x;
    function y () {};
    var z;
}

我想确切地知道上面的代码在提升时变成什么顺序。

理论 1： var s 和function s 之间的顺序保持原样：

function g () {
    var x;
    function y () {};
    var z;
}

理论 2： var s 出现在function s 之前：

function g () {
    var x;
    var z;
    function y () {};
}

理论 3： function s 在var s 之前：

function g () {
    function y () {};
    var x;
    var z;
}

哪个理论是正确的？

Answer 1

函数首先被提升，然后是变量声明，根据ECMAScript 5 的 10.5 节，它指定了提升是如何发生的：

我们首先有第 5 步处理函数声明：

对于代码中的每个 FunctionDeclaration f，按源文本顺序执行...

然后第 8 步处理var声明：

对于代码中的每个 VariableDeclaration 和 VariableDeclarationNoIn d，按源文本顺序执行...

因此，函数的优先级高于var语句，因为后面的var语句不能覆盖先前处理的函数声明。 （子步骤 8c 强制执行条件“如果 varAlreadyDeclared 为 false，则 [continue...]”因此现存的变量绑定不会被覆盖。）

您还可以通过实验看到这一点：

 function f(){} var f; console.log(f); var g; function g(){} console.log(g);

两个log调用都显示了函数，而不是undefined值。

Answer 2

尽管该顺序是由规范确定的，但正如公认的答案所指出的那样，该顺序实际上并不那么重要。

• var声明会被提升，但不会被提升（如果有的话）。 如果名称已被function或其他var声明采用，则var声明无效。
• function定义被提升——不仅声明名称，还声明它们的值，即函数。

所以下面两段代码：

 (function () { console.log(typeof a); var a = 1; function a() { } })();

和：

 (function () { console.log(typeof a); function a() { } var a = 1; })();

... 翻译成：

 (function () { function a() { } var a; console.log(typeof a); a = 1; })();

和分别：

 (function () { var a; function a() { } console.log(typeof a); a = 1; })();

后两者其实是一回事。 如果引擎首先处理提升的var声明，那么a首先是undefined ，然后立即被覆盖为函数。 另一方面，如果首先处理function定义，则var声明无效。 在这两种情况下，结果是相同的。