hoisting機制
javascript的變量聲明具有hoisting機制，JavaScript引擎在執行的時候，會把所有變量的聲明都提升到當前作用域的最前面。
先看一段代碼
var v = "hello";
(function(){
console.log(v);
var v = "world";
})();
這段代碼運行的結果是什麼呢？
答案是：undefined
這段代碼說明了兩個問題，
第一，function作用域裡的變量v遮蓋了上層作用域變量v。代碼做少些變動
var v = "hello";
if(true){
console.log(v);
var v = "world";
}
輸出結果為”hello”,說明javascript是沒有塊級作用域的。函數是JavaScript中唯一擁有自身作用域的結構。
第二，在function作用域內，變量v的聲明被提升了。所以最初的代碼相當於：
var v = "hello";
(function(){
var v; //declaration hoisting
console.log(v);
v = "world";
})();
聲明、定義與初始化
聲明宣稱一個名字的存在，定義則為這個名字分配存儲空間，而初始化則是為名字分配的存儲空間賦初值。
用C++來表述這三個概念
extern int i;//這是聲明，表明名字i在某處已經存在了
int i;//這是聲明並定義名字i,為i分配存儲空間
i = 0;//這是初始化名字i,為其賦初值為0
javascript中則是這樣
var v;//聲明變量v
v = "hello";//(定義並)初始化變量v
因為javascript為動態語言，其變量並沒有固定的類型，其存儲空間大小會隨初始化與賦值而變化，所以其變量的“定義”就不像傳統的靜態語言一樣了，其定義顯得無關緊要。
聲明提升
當前作用域內的聲明都會提升到作用域的最前面，包括變量和函數的聲明
(function(){
var a = "1";
var f = function(){};
var b = "2";
var c = "3";
})();
變量a,f,b,c的聲明會被提升到函數作用域的最前面，類似如下：
(function(){
var a,f,b,c;
a = "1";
f = function(){};
b = "2";
c = "3";
})();
請注意函數表達式並沒有被提升，這也是函數表達式與函數聲明的區別。進一步看二者的區別：
(function(){
//var f1,function f2(){}; //hoisting,被隱式提升的聲明
f1(); //ReferenceError: f1 is not defined
f2();
var f1 = function(){};
function f2(){}
})();
上面代碼中函數聲明f2被提升，所以在前面調用f2是沒問題的。雖然變量f1也被提升，但f1提升後的值為undefined,其真正的初始值是在執行到函數表達式處被賦予的。所以只有聲明是被提升的。
名字解析順序
javascript中一個名字(name)以四種方式進入作用域(scope)，其優先級順序如下：
1、語言內置：所有的作用域中都有 this 和 arguments 關鍵字
2、形式參數：函數的參數在函數作用域中都是有效的
3、函數聲明：形如function foo() {}
4、變量聲明：形如var bar;
名字聲明的優先級如上所示，也就是說如果一個變量的名字與函數的名字相同，那麼函數的名字會覆蓋變量的名字，無論其在代碼中的順序如何。但名字的初始化卻是按其在代碼中書寫的順序進行的，不受以上優先級的影響。看代碼：
(function(){
var foo;
console.log(typeof foo); //function
function foo(){}
foo = "foo";
console.log(typeof foo); //string
})();
如果形式參數中有多個同名變量，那麼最後一個同名參數會覆蓋其他同名參數，即使最後一個同名參數並沒有定義。
以上的名字解析優先級存在例外，比如可以覆蓋語言內置的名字arguments。
命名函數表達式
可以像函數聲明一樣為函數表達式指定一個名字，但這並不會使函數表達式成為函數聲明。命名函數表達式的名字不會進入名字空間，也不會被提升。
f();//TypeError: f is not a function
foo();//ReferenceError: foo is not defined
var f = function foo(){console.log(typeof foo);};
f();//function
foo();//ReferenceError: foo is not defined
命名函數表達式的名字只在該函數的作用域內部有效。
再來看看下面例子：
var myval = "my global var";
(function() {
console.log(myval); // log "my global var"
})();
以上代碼很顯然會輸出 "my global var"，但是如果我們把以上代碼按如下方式稍加修改：
var myval = "my global var";
(function() {
console.log(myval); // log "undefined"
var myval = "my local var";
})();
執行結果是輸出了一個 undefined，出現這個結果的原因就是變量的聲明被提升了，以上代碼等同如下：
var myval = "my global var";
(function() {
var myval;
console.log(myval); // log "undefined"
myval = "my local var";
})();
被提升的僅僅是變量的聲明部分，並沒有立即初始化，所以會輸出 undefined。
然而這種提升機制，不僅僅表現於在普通的變量，同時也表現在函數上。例如下面這段代碼並不能被正確執行：
(function() {
fun(); // Uncaught TypeError: undefined is not a function
var fun = function() {
console.log("Hello!");
}
})();
因為它等價於：
(function() {
var fun;
fun(); // Uncaught TypeError: undefined is not a function
fun = function() {
console.log("Hello!");
}
})();
因為函數的聲明同樣被提升而沒有立即初始化，所以會出錯。
當然，這種定義函數的方式稱之為“函數表達式”，會有提升機制，如果是如下的這種“函數聲明”方式，則完全沒有提升機制方面的問題：
(function() {
fun();
function fun() {
console.log("Hello!"); // log "Hello!"
}
})();
這也是函數聲明與函數表達式的主要區別。