翻译自：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程序：
#includeint 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); // 1if (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(); // validbaz(); // 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(); // validbar(); // validbaz(); // validspam(); // 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程序员最常见的困惑之一。 我试图尽可能的彻底，避免造成更多的混乱。 如果我有任何错误或遗漏，请通知我。