JS Scoping and Hoisting

提示：扫一扫查出行
【扫一扫了解最新限行尾号】
复制提示

参考了这篇文章

http://www.jb51.net/article/30719.htm

var v='Hello World';
(function(){
console.log(v);
})()输出：
Hello World

但是

var v='Hello World';
(function(){
console.log(v);
var v = 'hi';
})()输出：
undefined

这里面隐藏了一个陷阱-----JavaScript中的变量提升（Hoisting）.在JS中，就是把定义在后面的东东（变量或函数）提升到前面中定义。

首先看变量作用域(scoping)，与C++不一样：

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

这是因为：

块，就像if语句，并不会创建一个新的作用域。只有函数才会创建新的作用域。

如果你必须在函数中创建一个临时的作用域，请像下面这样做：

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

变量提升，很简单，就是把变量提升提到函数的top的地方。我么需要说明的是，变量提升只是提升变量的声明，并不会把赋值也提升上来。

比如我们定义三个变量：

(function(){
var a='One';
var b='Two';
var c='Three';
})()

实际上它是这样子的：

(function(){
var a,b,c;
a='One';
b='Two';
c='Three';
})()

这个时候就把变量提升了呀。

函数提升：

是把整个函数都提到前面去。

在我们写js code 的时候，我们有2中写法，一种是函数表达式，另外一种是函数声明方式。我们需要重点注意的是，只有函数声明形式才能被提升。

函数声明方式提升【成功】代码如下:function myTest(){
foo();
function foo(){
console.log("我来自 foo");
}
}
myTest(); 结果：
我来自 foo

另一种函数表达式，就不行：

函数表达式方式提升【失败】
代码如下:function myTest(){
foo();
var foo =function foo(){
console.log("我来自 foo");
}
}
myTest(); 结果：
foo();
^
TypeError: foo is not a function

另外，下面文章里面还有几个例子

http://www.jb51.net/article/30718.htm

例子一：

var foo = ;
function bar() {
if (!foo) {
var foo = ;
}
console.log(foo);
}
bar();结果：

但是

var a = ;
function b() {
a = ;
return;
function a() {}
}
b();
console.log(a);结果：

另外注意，把function a注释掉：

/**
* Created by baidu on 16/10/24.
*/
var a = ;
function b() {
a = ;
return;
//function a() {}
}
b();
console.log(a);输出：
10

原来，function b里面的a没有加var，表示用的是全局变量。如果加上var，那结果会不一样：

var a = ;
function b() {
var a = ;
return;
//function a() {}
}
b();
console.log(a);结果：

再回到上面第2段代码，其实是因为函数提升，把function a 提到了前面

var a = ;
function b() {
a = ;
return;
function a() {}
}
b();
console.log(a);结果：

在JavaScript中，一个作用域(scope)中的名称(name)有以下四种：
1. 语言自身定义(Language-defined): 所有的作用域默认都会包含this和arguments。
2. 函数形参(Formal parameters): 函数有名字的形参会进入到函数体的作用域中。
3. 函数声明(Function decalrations): 通过function foo() {}的形式。
4. 变量声明(Variable declarations): 通过var foo;的形式。

函数声明和变量声明总是被JavaScript解释器隐式地提升(hoist)到包含他们的作用域的最顶端。很明显的，语言自身定义和函数形参已经处于作用域顶端。这就像下面的代码：

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

实际上被解释成这样：

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

注意到声明的赋值部分并没有被提升(hoist)。只有声明的名称被提升了。

这和函数声明不同，函数声明中，整个函数体也都会被提升。

但是请记住，声明一个函数一般来说有两种方式。

在这里，只有函数声明的方式会连函数体一起提升，而函数表达式中只会提升名称，函数体只有在执行到赋值语句时才会被赋值。

Name Resolution Order
需要记住的最最重要的特例就是名称解析顺序(name resolution order)。

上面列出的就是解析的顺序：

1. 语言自身定义(Language-defined): 所有的作用域默认都会包含this和arguments。
2. 函数形参(Formal parameters): 函数有名字的形参会进入到函数体的作用域中。
3. 函数声明(Function decalrations): 通过function foo() {}的形式。
4. 变量声明(Variable declarations): 通过var foo;的形式。

总的来说，如果一个名称已经被定义了，他绝不会被另一个拥有不用属性的同名名称覆盖。

这就意味着，函数声明比变量声明具有更高的优先级。但是这却不意味着对这个名称的赋值无效，仅仅是声明的部分会被忽略而已。

内置的名称arguments的行为有些怪异。他似乎是在形参之后，函数声明之前被声明。这就意味着名为arguments的形参会比内置的arguments具有更高的优先级，即使这个形参是undefined。这是一个不好的特性，不要使用arguments作为形参。

任何地方试图使用this作为一个标识都会引起语法错误，这是一个好的特性。
如果有多个同名形参，那位于列表最后的形参拥有最高的优先级，即使它是undefined。

Name Function Expressions
你可以在函数表达式中给函数定义名称，就像函数声明的语句一样。但这并不会使它成为一个函数声明，并且这个名称也不会被引入到作用域中，而且，函数体也不会被提升(hoist)。这里有一些代码可以说明我说的是什么意思：

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 () {}; // 匿名函数表达式('foo'被提升)
function bar() {}; // 函数声明('bar'和函数体被提升)
var baz = function spam() {}; // 命名函数表达式(只有'baz'被提升)
foo(); // valid
bar(); // valid
baz(); // valid
spam(); // ReferenceError "spam is not defined"

How to Code With This Knowledge
现在你明白了作用域和提升，那么这对编写JavaScript代码意味着什么呢？最重要的一条是声明变量时总是使用var语句。我强烈的建议你在每个作用域中都只在最顶端使用一个var。如果你强制自己这么做，你永远也不会被提升相关的问题困扰。尽管这么做会使的跟踪当前作用域实际声明了哪些变量变得更加困难。我建议在JSLint使用onevar选项。如果你做了所有前面的建议，你的代码看起来会是下面这样：

/*jslint onevar: true [...] */
function foo(a, b, c) {
var x = ,
bar,
baz = "something";
}

我发现直接参考ECMAScript Standard (pdf)来理解这些东西是如何运作的总是很有用。下面是关于变量声明和作用域的一段摘录(section 12.2.2)：
If the variable statement occurs inside a FunctionDeclaration, the variables are defined with function-local scope in that function, as described in section 10.1.3. Otherwise, they are defined with global scope (that is, they are created as members of the global object, as described in section 10.1.3) using property attributes { DontDelete }. Variables are created when the execution scope is entered. A Block does not define a new execution scope. Only Program and FunctionDeclaration produce a new scope. Variables are initialised to undefined when created. A variable with an Initialiser is assigned the value of its AssignmentExpression when the VariableStatement is executed, not when the variable is created.