javascript進階程式設計學習筆記——第四章 變數、範圍和記憶體問題

javascript變數鬆散類型的本質，決定了它只是在特定時間用於儲存特定值的一個名字而已。由於不存在定義某個變數必須要儲存何種資料類型值的規定，變數的值及其資料類型可以在指令碼的生命週期內隨意變換。

一、基本類型和參考型別的值

ECMAScript變數可能包含兩種不同資料類型的值：基本類型值和參考型別值。基本類型值指的是那些簡單的資料區段（Undefined、Number、Boolean、String、Null），而參考型別值指的是那些可能由多個值構成的對象（Object）；

與其他語言不同，javascript不允許直接存取記憶體中的位置，也就是說不能直接操作對象的記憶體空間。在操作對象時，實際上是在操作對象的引用而不是實際對象，為此，參考型別的值是通過引用訪問的；

1、動態屬性

對於參考型別的值，我們可以為其添加屬性和方法，也可以改變和刪除其屬性和方法，如：

var person = new Object();person.name = "Lily";alert(person.name);//結果："Lily"

但是，我們不能給基本類型的值添加屬性，儘管這樣做不會導致任何錯誤，如：

var name = "Lily";name.age = 12;alert(name.age);  //結果：undefined

2、複製變數值

如果從一個變數向另一個變數複製基本類型的值，會在變數上建立一個完全相同的值（包括值、資料類型），然後把新值賦值到新變數，如：

var num = 5;var num1 = num;<span style="white-space:pre"></span>//num和num1可以參與任何操作但彼此不會相互影響；

當一個變數向另一個變數複製參考型別的值時，同樣也會將存在在變數中的值複製一份放到新變數上。不同的是，這個值的副本實際上是一個指標，這個指標指向了儲存在堆中的一個對象。複製操作結束後，兩個變數（實際上是同一個對象的兩個不同引用）實際上將引用同一個對象。因此，改變其中一個變數，就會影響到另一個變數，如：

var obj1 = new Object();var obj2 = obj1;obj1.name = "Lily";alert(obj2.name);  //"Lily"

3、傳遞參數

在向參數傳遞基本類型的值時，被傳遞的值會被複製給一個局部變數（即具名引數，用ECMAScript的概念來說，就是arguments對象的一個元素）。在向參數傳遞參考型別的值時，會把這個值在記憶體中的地址複製給一個局部變數（也就是引用），因此這個局部變數的變化會反映到函數外部；

function setName(obj){<span style="white-space:pre"></span>obj.name = "Lily";}var person = new Object();setName(person);alert(person.name);//"Lily"

function setName(obj){<span style="white-space:pre"></span>obj.name = "Lily";<span style="white-space:pre"></span>obj = new Object();<span style="white-space:pre"></span>obj.name = "SeaDog";}var person = new Object();setName(person);alert(person.name);//Lily

即使在函數內部修改了參數的值，但原始的引用仍然保持不變。實際上，當函數內部重寫obj（obj = new Object();）時，這個變數引用的就是一個局部對象，而這個局部對象會在函數執行完畢之後自動銷毀；

4、檢測類型

如果變數是給定參考型別的執行個體，使用instanceof操作符可以檢測引用資料類型；

alert(person instanceof Object);//變數person是Object類型嗎。alert(colors instanceof Arraliany);//變數color是Array類型嗎。alert(pattern instanceof RegExp);//變數pattern是RegExp類型嗎。

根據規定，所有參考型別的值都是Object的執行個體

二、執行環境及範圍

執行環境定義了變數或函數有權訪問的其他資料，決定了它們各自的行為。每個執行環境都有一個與之關聯的變數對象，環境中定義的所有變數和函數都是它的屬性和方法；

全域執行環境是最外圍的一個執行環境，在web瀏覽器中，全域執行環境被認為是window對象，因此所有全域變數和函數都是作為window對象的屬性和方法建立的；某個執行環境中的所有代碼執行完畢之後，該環境被銷毀，儲存在其中的所有變數和函數定義也隨之銷毀；

當代碼在一個環境中執行時，會建立變數對象的一個範圍鏈。範圍鏈的用途是，保證對執行環境有權訪問的所有變數和函數的有序訪問。範圍鏈的前端，始終是當前執行的代碼所在環境的變數對象。範圍鏈中的下一個變數對象來自包含環境，而在下一個變數對象則來自下一個包含環境，這樣一直延續到全域執行環境；全域執行環境的變數對象始終都是範圍鏈的最後一個對象；

1、延長範圍鏈

2、沒有塊級範圍

三、垃圾收集

1、標記清除

2、引用計數

3、效能問題

4、管理記憶體