??按照ECMAScript中的定義,JavaScript的變量與其他語言的變量有很大的區別。JavaScript變量松散類型的本質,決定了它只是在特定時間用于保存特定值的一個名字而已。由于不存在定義變量時必須要指定其保存何種數據類型值的規則,變量的值及其數據類型可以在腳本的聲明周期內改變。盡管從某種角度看,這可能是一個既有趣又強大,同時又容易出現問題的特性,但JavaScript變量的復雜程度還遠不止如此。
1. 基本類型和引用類型
??ECMAScript變量可能包含兩種不同數據類型的值:基本類型值和引用類型值。基本類型值指的是簡單的數據段,而引用類型值指的是那些可能由多個值構成的對象。
??在將一個值賦給變量時,解析器必須確定這個值時基本類型值還是引用類型值。第三章討論了5中基本類型:Undefined,Null,Boolean,Number和String。這5種基本數據類型是按值訪問的,因為可以操作保存在變量中的實際的值。
??引用類型的值是保存在內存中的對象。在操作對象時,實際上是在操作對象的引用而不是實際的對象。因此,引用類型是按引用訪問的。
對于引用類型的值,我們可以為其添加屬性和方法,也可以改變和刪除其屬性和方法。請看下面的例子:
var person = new Object();
person.name = "Ivan";
alert(person.name); //Ivan
以上代碼創建了一個對象并將其保存在person變量中。然后我們為該對象添加了一個名為name的屬性,緊接著又通過alert()函數訪問了此對象的name屬性。如果這個對象不被銷毀或這個屬性不被刪除,則這個屬性將一直存在。
但是,我們不能為基本類型的值添加屬性,盡管這樣做不會導致任何錯誤,例如:
var name = "Ivan";
name.age = 17;
alert(name.age); //undefined
1.1 變量復制
??除了保存的方式不同外,基本類型值和引用類型值的變量復制也不相同。如果將一個基本類型的值復制給另一個變量,會在變量對象上創建一個新值,然后把該值復制到新變量的位置。來看一個例子:
var num1 = 5;
var num2 = num1;
在這個例子中,變量num1中保存的值是5。當使用num1的值來初始化變量num2時,num2也保存了數值5。但變量num1與num2中的數值5是完全獨立的,這兩個變量可以任意參與任何操作而互不影響。下圖展示了復制基本類型的過程:
??當從一個變量向另一個變量復制引用類型的值時,同樣也會將存儲在變量中值復制到為新變量分配的存儲空間中。不同的是,這個值的副本實際上是一個指針,而這個指針實際上指向存儲在堆中的一個對象。復制操作結束后,兩個變量實際上指向同一個對象。因此,改變其中一個變量,就會影響另一個變量。下面是一個例子:
var obj1 = new Object();
var obj2 = obj1;
obj1.name = "Ivan";
alert(obj2.name); //"Ivan"
下圖展示了復制引用類型的過程:
1.2 參數傳遞
??ECMAScript中所有的函數的參數都是按值傳遞的。也就是說,把函數外部的值復制給函數內部的參數,就和把值從一個變量復制給另一個變量一樣。在向參數傳遞基本類型的值時,被傳遞的值會復制給一個局部變量(即命名參數,或者用ECMAScript的概念來說,就是arguments對象中的一個元素)。在向函數參數傳遞一個引用類型的變量時,會把這個值在內存中的地址復制給一個局部變量,因此這個局部變量的變化會反映在函數的外部。下面是一個例子:
function addTen(num){
num += 10;
return num;
}
var count = 20;
var result = addTen(count);
alert(count); //20
alert(result); //30
1.3 檢測類型
??ECMAScript使用typeof操作符來檢測變量的類型。如果變量是字符串,數值,布爾值或undefined,typeof關鍵字分別返回"string","number","boolean","undefined"。如果變量是null或對象,那么typeof操作符返回"object"。
??雖然在檢測基本數據類型時,typeof關鍵字是非常得力的助手,但是在檢測引用類型的值時,這個操作符的用處不大。通常,我們并不是想知道某個值是對象,而是想知道它是什么類型的對象。為此,ECMAScript提供了instanceof操作符,其語法如下所示:
var result = variable instanceof cosntructor
如果變量是給定引用類型的實例,那么instanceof操作符返回true。請看下面的例子:
alert(person instanceof Object); //變量person是Object嗎
alert(colors instanceof Array); //變量colors是Array嗎
ECMAScript中所有引用類型都是Object的實例。因此在檢測一個引用類型和Object構造函數時,instanceof操作符始終返回true。當然,使用instanceof操作符檢測基本類型的值,該操作符始終返回false,因為基本類型不是對象。
使用typeof操作符檢測函數時,返回"function"。