JavaScript之變量、作用域和內存問題

JavaScript變量鬆散的類型本質，決定了它只是在特定時間保存特定值的一個名字而已。

1. 基本類型和引用類型的值

變量可能包含的兩種不同數據類型的值：
基本類型值： 簡單的數據段；
引用類型值： 多個值構成的對象；
在將一個值賦給變量時，解析器必須確定這個值是基本數據值還是引用數據值。基本數據類型：Undefined、Null、Boolean、Number和String。這5種基本數據類型是按值訪問的，因爲可以操作保存在變量中的實際的值。
引用類型的值是保存在內存中的對象。與其他語言不同，JavaScript不允許直接訪問內存中的位置，也就是說不能直接操作對象的內存空間。在操作對象時，實際上是在操作對象的引用而不是實際的對象。爲此，引用類型的值是按引用訪問的。

1.1 動態的屬性

定義基本類型值和引用類型值的方式類似：創建一個變量併爲該變量賦值。但是，當這個值保存到變量中以後，對不同類型值可以執行的操作則大相徑庭。對於引用類型的值，我們可以爲其添加屬性和方法，也可以改變和刪除其屬性和方法：

	var person = new Object();
	person.name='Nicholas';
	alert(person.name);          //"Nicholas"

以上代碼創建了一個對象並將其保存在了變量person中。然後，我們爲該對象添加了一個名爲name的屬性，並將字符串值"Nicholas"賦給了這個屬性。緊接着，又通過alert（）函數反問了這個新屬性。如果對象不被銷燬或者這個屬性不被刪除，則這個屬性就會一直存在。
但是我們不能給基本類型的值添加屬性，儘管這樣做不會導致任何錯誤。比如：

	var name = "Nicholas";
	nsme.age = 27;
	alert(name.age);          //undefined

在這個例子中，我們爲字符串name定義了一個名爲age的屬性，併爲該屬性賦值27.但在下一行訪問該屬性時，發現該屬性不見了。這說明只能給引用類型動態地添加屬性，以便將來使用。

1.2 複製變量值

除了保存的方式不同之外，在從一個變量向另一個變量複製基本類型值和引用類型值時，也存在不同。如果從一個變量向另一個變量複製基本類型的值，會在變量對象上創建一個新值，然後把該值複製到爲新變量分配的位置上。來看一個例子：

	var num1 = 5;
	var num2 = num1;

在此，num1中保存的值是5。當使用num1的值來初始化num2時，num2中也保存了值5.但num1中的5是完全獨立的，該值只是num1中5的一個副本。此後，這兩個變量可以參與任何操作而不會相互影響。

當一個變量向另一個變量複製引用類型的值時，同樣也會將存儲在變量對象中的值複製一份放到新變量分配的空間中。不同的是，這個值的副本實際上是一個指針，而這個指針指向存儲在堆中的一個對象。複製操作結束後，兩個變量實際上將引用同一個對象。因此，改變其中一個變量，就會影響另一個變量，如下面例子所示：

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

首先，變量obj1保存了一個對象的新實例。然後，這個值被複制到了obj2中；換句話說，obj1和obj2都指向同一個對象。這樣，當obj1添加name屬性後，可以通過obj2來訪問這個屬性，因爲這兩個變量引用的都是同一個對象。

1.3傳遞參數

ECMAScript中所有函數的參數都是按值傳遞的。也就是說，把函數外部的值複製給函數內部的參數，就和把值從一個變量複製到另一個變量一樣。基本類型值的傳遞如同基本類型變量的複製一樣，而引用類型值的傳遞，則如同引用類型變量的複製一樣。
？？？訪問變量有按值和按引用兩種方式，而參數只能按值傳遞。
在向參數傳遞基本類型的值時，被傳遞的值會被複制給一個局部變量（即命名參數，也就是arguments對象中的一個元素）。在向參數傳遞引用類型的值時，會把這個值在內存中的地址複製給一個局部變量，因此這個局部變量的變化會反映在函數的外部。請看下面這個例子：

function addTen(num){
	num+=10;
	return num;
}

這裏的函數addTen()有一個參數num，而參數實際和是函數的局部變量。在調用這個函數時，變量count作爲參數被傳遞給函數，這個變量的值是20。於是，數值20被複制給參數num以便在addTen()中使用。在函數內部，參數num的值被加上了10，但這一變化不會影響函數外部的count變量。參數num與變量count互不相識，它們僅僅是具有相同的值。例如num是按引用傳遞的話，那麼變量count的值也將變成30，從而反映函數內部的修改。當然，使用數值等基本類型值來說明按值傳遞參數比較簡單，但如果使用對象，那問題就不怎麼好理解了。再舉一個例子：

function setName(obj){
	obj.name = "Nicholas";
}
var person = new Object();
setName(person);
alert(person.name);    //"Nicholas"

以上代碼中創建一個對象，並將其保存在了變量person中。然後，這個對象唄傳遞到setName()函數中之後就被複制給了obj。在這個函數內部，obj和person引用的是同一個對象。換句話說，即使這個對象是按值傳遞的，obj也會按引用來范文同一個對象。於是，當在函數內部爲obj添加name屬性後，函數外部的person也將有所反映；因爲person指向的對象在堆內存中只有一個，而且是全局對象。
即使這樣，此處的對象那個參數還是按值傳遞的：

function setName(obj){
	obj.name = "Nicholas";
	obj = new Object();
	obj.name = "Greg"; 
}
var person = new Object();
setName(person);
alert(person.name);           //"Nicholas"

這個例子與前一個例子的唯一區別，就是在setName()函數中添加兩行代碼：一行代碼爲obj重新定義了一個對象，另一行代碼爲該對象定義了一個帶有不同值的name屬性。在把person傳遞給setName()後，其name屬性被設置爲"Nicholas"。然後，又將一個新對象賦給變量obj，同時將其name屬性設置爲"Greg"。如果person是按引用傳遞的，那麼person就會自動被修改爲指向其name屬性值爲"Greg"的新對象。但是，當接下來再訪問person.name時，顯示的值仍然是"Nicholas"。這就說明即使在函數內部修改了函數的值，但原始的引用仍然保持未變。實際上，當在函數內部重寫obj時，這個變量引用的就是一個局部對象了。而這個局部對象會在函數執行完畢後立即被銷燬。

1.4 檢測類型

要檢測一個變量是不是基本數據類型–>typeof操作符。

var s = "Nicholas";
var b = true;
vaar i=22;
var u;
var n = null;
var o = new Object();

alert(typeof s);       //String
alert(typeof i);        //number
alert(typeof b);       //boolean
alert(typeof u);       //undefined
alert(typeof n);       //object
alert(typeof o);       //object

但是在檢測引用類型的值時，typeof的用處不大；
若想知道某個值是什麼類型的對象時：ECMAScript提供了instanceof操作符，其語法如下所示：
result = variable instanceof constructor
如果變量是給定引用類型（根據它的原型鏈來識別）的實例，那麼instanceof操作符就會返回true。請看下面的例子：

alert(person instanceof Object);   
alert(colors instanceof Array);
alert(pattern instanceof RegExp); 
根據規定，所有引用類型的值都是Object的實例。因此，在檢測一個引用類型值和Object構造函數時，instanceof操作符始終會返回true。當然，如果使用instanceof操作符檢測基本類型的值，則該操作符始終會返回false，因爲基本類型不是對象。