首页 > 代码库 > javascript 的作用域

javascript 的作用域

翻译自:http://www.adequatelygood.com/JavaScript-Scoping-and-Hoisting.html

如果以下代码执行,你知道出什么结果吗?

var foo = 1;

function bar(){
   if(!foo){
       var foo = 10;
   }
   alert(foo);
} 
bar();

这运行结果是10. 如果你对结果感到惊讶,请看下面例子:

var a =1;

function b(){
   a = 10;
  return;
  function a(){}
}

b();
alert(a);

这段代码结果是1.那么到底发生了什么呢?虽然这可能看起来很奇怪,危险,令人困惑,但实际上这是语言的一个强大而富有表现力的特征。 我不知道这个具体行为是否有标准名称,但我已经想到“提升”一词。 本文将尝试阐明这一机制,但首先让我们进一步了解JavaScript的范围。

javascript的作用域

JavaScript初学者最为混乱的原因之一就是范围界定。 其实这不只是初学者。 我遇到了很多经验丰富的JavaScript程序员,他们不完全了解范围界定。 在JavaScript中如此混乱的原因是因为它看起来像一个C系列语言。 思考以下C程序:

#include <stdio.h>
int main() {
    int x = 1;
    printf("%d, ", x); // 1
    if (1) {
        int x = 2;
        printf("%d, ", x); // 2
    }
    printf("%d\n", x); // 1
}

该程序的输出将为1,2,1。这是因为C和C系列的其余部分具有块级范围。 当控件进入块(如if语句)时,可以在该范围内声明新变量,而不影响外部作用域。 JavaScript并非如此。 在Firebug中尝试以下操作:

var x = 1;
console.log(x); // 1
if (true) {
    var x = 2;
    console.log(x); // 2
}
console.log(x); // 2

在这种情况下,Firebug将显示1,2,2.这是因为JavaScript具有功能级的作用域。 这与C系列截然不同。 块(如if语句)不会创建新的范围。 只有函数创建一个新的范围。

对于习惯于C,C ++,C#或Java等语言的程序员来说,这是意想不到的,不受欢迎的。 幸运的是,由于JavaScript功能的灵活性,有一个解决方法。 如果必须在函数内创建临时作用域,请执行以下操作:

function foo() {
    var x = 1;
    if (x) {
        (function () {
            var x = 2;
            // some other code
        }());
    }
    // x is still 1.
}

这种方法实际上是非常灵活的,可以在任何需要临时作用域的地方使用,而不仅仅是在块语句中。 但是,我强烈建议您花点时间真正了解并欣赏JavaScript范围。 这是非常强大的,是我最喜欢的语言功能之一。 如果你明白范围界定,hosting将会更有意义。

hosting

在JavaScript中,一个名称以四种基本方式之一输入范围:

语言定义:默认情况下,所有作用域都给出了这个和参数的名称。
形式参数:函数可以具有命名形式参数,这些参数范围是该函数的正文。
函数声明:这些是函数foo(){}的形式。
变量声明:这些形式为var foo ;

函数声明和变量声明始终被JavaScript解释器移动(“hosting”)到其包含范围的顶部。 功能参数和语言定义的名称显然已经在那里。 这意味着这样的代码:

function foo() {
    bar();
    var x = 1;
}

事实上是这样:

function foo() {
    var x;
    bar();
    x = 1;
}

事实证明,包含声明的行是否将被执行并不重要。 以下两个功能是等效的:

function foo() {
    if (false) {
        var x = 1;
    }
    return;
    var y = 1;
}
function foo() {
    var x, y;
    if (false) {
        x = 1;
    }
    return;
    y = 1;
}

请注意,声明的转让部分未被吊起。 只有这个名字已经悬挂。 函数声明不是这样,整个函数体也将被挂起。 但请记住,有两种正常的方法来声明函数。 考虑以下JavaScript:

function test() {
    foo(); // TypeError "foo is not a function"
    bar(); // "this will run!"
    var foo = function () { // function expression assigned to local variable ‘foo‘
        alert("this won‘t run!");
    }
    function bar() { // function declaration, given the name ‘bar‘
        alert("this will run!");
    }
}
test();

在这种情况下,只有函数声明的主体已经悬挂在顶部。 “foo”的名字已经悬挂,但身体被遗弃,在执行过程中被分配。

这涵盖了起重机的基础知识,并不像看起来那么复杂或混乱。 当然,这是JavaScript,在某些特殊情况下还有一点复杂性。

名称解析顺序

要记住的最重要的特殊情况是名称解析顺序。请记住,名称输入给定范围有四种方式。我上面列出的顺序是它们解决的顺序。一般来说,如果一个名称已经被定义,它不会被同名的另一个属性所覆盖。这意味着函数声明优先于变量声明。这并不意味着对该名称的分配将不起作用,只是声明部分将被忽略。还有一些例外:

内置的名称参数的行为奇怪。它似乎是在形式参数之后声明的,但在函数声明之前。这意味着具有name参数的形式参数将优先于内置,即使未定义。这是一个不好的功能。不要使用name参数作为形式参数。
尝试使用名称作为任何位置的标识符将导致一个SyntaxError。这是一个很好的功能。
如果多个形式参数具有相同的名称,则列表中最新出现的一个参数将优先,即使未定义。

命名函数表达式 

您可以给函数表达式中定义的函数命名,其语法类似函数声明。 这不是一个函数声明,并且这个名字没有被引入到范围内,而且这个名字也没有被提起来。 这里有一些代码来说明我的意思:

foo(); // TypeError "foo is not a function"
bar(); // valid
baz(); // TypeError "baz is not a function"
spam(); // ReferenceError "spam is not defined"

var foo = function () {}; // anonymous function expression (‘foo‘ gets hoisted)
function bar() {}; // function declaration (‘bar‘ and the function body get hoisted)
var baz = function spam() {}; // named function expression (only ‘baz‘ gets hoisted)

foo(); // valid
bar(); // valid
baz(); // valid
spam(); // ReferenceError "spam is not defined"

如何在代码中应用

现在您已经了解了范围和提升情况,这对JavaScript编程意味着什么? 最重要的是始终使用var语句声明变量。
我强烈建议您每个范围只有一个var语句,它位于顶部。 如果你强迫自己这样做,你永远不会有起重的混乱。
但是,这样做可能难以跟踪在当前范围内实际声明了哪些变量。 我建议使用JSLint与onevar选项来强制执行。
如果你完成了所有这些,你的代码应该是这样的:
/*jslint onevar: true [...] */
function foo(a, b, c) {
    var x = 1,
    	bar,
    	baz = "something";
}

 标准是什么呢?

我发现直接咨询ECMAScript标准(pdf)通常是有用的,以了解这些事情如何工作。 以下是对变量声明和范围的说明(旧版本中的第12.2.2节):

  如果变量语句发生在FunctionDeclaration内,则在该函数中使用函数局部作用域定义变量,如第10.1.3节所述。 否则,使用属性属性{DontDelete}定义全局范围(即,它们被创建为全局对象的成员,如第10.1.3节所述)。 在输入执行范围时创建变量。 块不定义新的执行范围。 只有程序和函数声明才能产生一个新的范围。 变量在创建时被初始化为未定义。 当执行VariableStatement时,具有Initialiser的变量将分配给其AssignmentExpression的值,而不是创建变量时。

 

我希望这篇文章揭示了JavaScript程序员最常见的困惑之一。 我试图尽可能的彻底,避免造成更多的混乱。 如果我有任何错误或遗漏,请通知我。





javascript 的作用域