詳見： http://blog.yemou.net/article/query/info/tytfjhfascvhzxcytp73
一、變量的類型
Javascript和Java、C這些語言不同，它是一種無類型、弱檢測的語言。它對變量的定義並不需要聲明變量類型，我們只要通過賦值的形式，可以將各種類型的數據賦值給同一個變量。例如：
i=100;//Number類型
i="variable";//String類型
i={x:4};//Object類型
i=[1,2,3];//Array類型
JS的這種特性雖然讓我們的編碼更加靈活，但也帶來了一個弊端，不利於Debug，編譯器的弱檢測讓我們維護冗長的代碼時相當痛苦。
二、變量的聲明
JS中變量申明分顯式申明和隱式申明。
var i=100;//顯式申明
i=100;//隱式申明
在函數中使用var關鍵字進行顯式申明的變量是做爲局部變量，而沒有用var關鍵字，使用直接賦值方式聲明的是全局變量。
當我們使用訪問一個沒有聲明的變量時，JS會報錯。而當我們給一個沒有聲明的變量賦值時，JS不會報錯，相反它會認爲我們是要隱式申明一個全局變量，這一點一定要注意。
三、全局變量和局部變量
當JS解析器執行時，首先就會在執行環境裏構建一個全局對象，我們定義的全局屬性就是做爲該對象的屬性讀取，在頂層代碼中我們使用this關鍵字和window對象都可以訪問到它。而函數體中的局部變量只在函數執行時生成的調用對象中存在，函數執行完畢時局部變量即刻銷燬。因此在程序設計中我們需要考慮如何合理聲明變量，這樣既減小了不必要的內存開銷，同時能很大程度地避免變量重複定義而覆蓋先前定義的變量所造成的Debug麻煩。
四、變量作用域
任何程序語言中變量的作用域都是一個很關鍵的細節。JS中變量的作用域相對與JAVA、C這類語言顯得更自由，一個很大的特徵就是JS變量沒有塊級作用域，函數中的變量在整個函數都中有效，運行下面代碼：
<SCRIPT LANGUAGE="JavaScript" type="text/javascript">
//定義一個輸出函數
function outPut(s){
document.writeln(s)
}
//全局變量
var i=0;
//定義外部函數
function outer(){
//訪問全局變量
outPut(i); // 0
//定義一個類部函數
function inner(){
//定義局部變量
var i = 1;
// i=1; 如果用隱式申明 那麼就覆蓋了全局變量i
outPut(i); //1
}
inner();
outPut(i); //0
}
outer();
</SCRIPT>
輸出結果爲0 1 0，從上面就可以證明JS如果用var在函數體中聲明變量，那麼此變量在且只在該函數體內有效，函數運行結束時，本地變量即可銷燬了。
由於上面的這個JS特性，還有一個關鍵的問題需要注意。此前一直使用ActionScript，雖然它和JS都是基於ECMA標準的，但在這裏還是略有不同的。例如下面代碼：
<SCRIPT LANGUAGE="JavaScript" type="text/javascript">
//定義一個輸出函數
function outPut(s){
document.writeln(s)
}
//全局變量
var i=0;
//定義外部函數
function outer(){
//訪問全局變量
outPut(i); // 0
//定義一個類部函數
function inner(){
outPut(i); //undefiend
var i=1;
outPut(i); //1
}
inner();
outPut(i); //0
}
outer();
</SCRIPT>
你可能認爲輸出結果是0 0 1 0，事實上在AS中確實是這樣的，而在JS中的輸入卻是0 undefined 1 0，爲何會這樣了？剛纔我們說到了JS函數體中聲明的本地變量在整個函數中都有效，因此在上面代碼中var i = 1 ;在inner函數中都有效，實際上顯式聲明的變量i是在預編譯時就已經編譯到調用對象中了，不同於隱式聲明變量在解釋時才被定義爲全局變量，只是在調用outPut(i)時，還沒有將它初始化變量，此時的本地變量i是未賦值變量，而不是未定義變量，因此輸出了undefined。上面的代碼等效於下面代碼：
function inner(){
var i; //定義但不賦值
outPut(i); //undefiend
i=1;
outPut(i); //1
}
爲了避免上面的這類問題，因此在函數開始位置集中做函數聲明是一個極力推薦的做法。
五、基本類型和引用類型
JS不同於JAVA、C這些語言，在變量申明時並不需要聲明變量的存儲空間。變量中所存儲的數據可以分爲兩類：基本類型和引用類型。其中數值、布爾值、null和undefined屬於基本類型，對象、數組和函數屬於引用類型。
基本類型在內存中具有固定的內存大小。例如：數值型在內存中佔有八個字節，布爾值只佔有一個字節。對於引用型數據，他們可以具有任意長度，因此他們的內存大小是不定的，因此變量中存儲的實際上是對此數據的引用，通常是內存地址或者指針，通過它們我們可以找到這個數據。
引用類型和基本類型在使用行爲上也有不同之處：
<SCRIPT LANGUAGE="JavaScript" type="text/javascript">
//定義一個輸出函數
function outPut(s){
document.writeln(s)
}
var a = 3;
var b = a;
outPut(b);
//3
a = 4;
outPut(a);
//4
outPut(b);
//3
</SCRIPT>
對基本類型b進行賦值時，實際上是又開闢了一塊內存空間，因此改變變量a的值對變量b沒有任何影響。
<SCRIPT LANGUAGE="JavaScript" type="text/javascript">
//定義一個輸出函數
function outPut(s){
document.writeln(s)
}
var a_array = [1,2,3];
var b_array = a_array;
outPut(b_array); //1,2,3
a_array[3] = 4;
outPut(b_array);//1,2,3,4
</SCRIPT>
上面是對引用類型的變量賦值，實際上他們傳遞的是對內存地址的引用，因此對a_array和b_array的存取，實際上都是操作的同一塊內存區域。如果希望重新分配內存空間存儲引用型變量，那麼我就需要使用克隆方法或者自定義方法來複制引用變量的數據。