一，局部變量先使用后聲明，不影響外部同名變量

var x = 1; // --> 外部變量x  
function fn(){  
    alert(x);  // --> undefined 局部變量x先使用  
    var x = 2; // 后聲明且賦值  
}  
fn();  
alert(x); // --> 1<br> 

第一點，函數fn內第一句輸出x，x是在第二句才定義的。這在JS中是允許的，這里的允許是指不會出現語法錯誤程序可以運行。

但在其它語言如C，Java中卻是不允許的。變量必須先聲明后使用，如

public class Test {  
    public static void main(String[] args) {  
        System.out.println(x); // 先使用  
        int x = 10; // 后聲明  
    }  
} 

Java中編譯器會提示錯誤，程序無法運行。

第二點，函數fn內的局部變量x不會影響到外部的變量x。即fn內alert輸出不是1，而是undefined。

二，形參優先級高于函數名

function fn(fn){  
    alert(fn);  
}  
fn('hello'); // --> "hello" 

可以看到函數名和形參同名都是fn，輸出的是字符串"hello"，卻不是函數fn的函數體(fn.toString())。

三，形參優先級高于arguments

function fn(arguments){  
    alert(arguments);  
}  
fn('hello'); // --> "hello"<br> 

arguments對象可以直接在函數內使用，是語言本身提供的一個 特殊標識符 。

這里剛好將形參聲明成與其同名。輸出可以看到是"hello"而非"[object Object]"，即形參arguments覆蓋了語言本身提供的真正的arguments。

四，形參優先級高于只聲明卻未賦值的局部變量

function fn(a){  
    var a;  
    alert(a);  
}  
fn('hello'); // --> "hello" 

函數fn形參為a，函數內第一句僅聲明局部變量a，卻并未賦值。從輸出結果是"hello"而非undefined可以看出形參a優先級高于僅聲明卻未賦值的局部變量a。

五，聲明且賦值的局部變量優先級高于形參

function fn(a){  
    var a = 1;  
    alert(a);  
}  
fn('hello'); // --> "1" 

函數fn形參為a，函數內第一句僅聲明局部變量a，賦值為1。從輸出結果是"1"而非"hello"可以看出聲明且賦值的局部變量a優先級高于形參a。

六，形參賦值給同名局部變量時

function fn(a){  
    var aa = a;  
    alert(a);  
}  
fn('hello'); 

暫不運行，猜測下結果。如果按照第五點：聲明且賦值的局部變量優先級高于形參。那么a將是undefined。但實際上a是"hello"，即右a是形參a，左a才是局部變量a。

這里的兩個a互不干擾，誰也沒覆蓋誰。這與剛剛說的賦值的局部變量優先級高于形參又矛盾了。但引擎這樣做的確是我們想要的，因為并不希望var a = a后a是undefined。
 

原文鏈接：http://www.cnblogs.com/snandy/archive/2011/03/11/1980399.html

【編輯推薦】

1. 淺析JavaScript繼承方式
2. 淺析JavaScript的寫類方式
3. 如何編寫高質量的Javascript代碼
4. 深入理解JavaScript的閉包特性
5. JavaScript中大括號“{}”的多義性