基本類型和引用類型的值
一、綜述
ECMAScript變量可能包含兩種不同的數據類型的值:基本類型值和引用類型值。
基本類型值是指簡單的數據段,而引用類型值指那些可能由多個值構成的對象。
在給一個變量賦值時,解析器必須確定這個值是基本類型值還是引用類型值。
5種基本數據類型(Undefined、Null、Boolean、Number、String)是按值訪問的,因此可以操作保存在變量中實際的值。
引用類型的值是保存在內存中的對象。與其他語言不同,JavaScript不允許直接訪問內存中的位置也就是說不能直接操作對象的內存空間。
在操作對象時,實際上在操作對象的引用而不是實際的對象。為此,引用類型的值是按引用訪問的。(這種說法不嚴密,當復制保存着對象的某個變量時,操作的是對象的引用。但在為對象添加屬性時,操作的是實際的對象)。
注:在很多語言中,字符串以對象形式來表示,因此被認為是引用類型的。ECMAScript放棄了這一傳統。
二、動態的屬性
定義基本類型值和引用類型值的方式是類似的:創建一個變量並為該變量賦值。但是,當這個值存到變量中以后,對不同類型值可以執行的操作則大相徑庭。對於引用類型的值,我們可以為其添加屬性和方法,也可以改變和刪除其屬性和方法。例如:
var person = new Object();
person.name = "Nicholas";
alert(person.name); //"Nicholas"
在上例中,我們創建了一個對象並將其保存在了person變量中。然后,我們為該對象添加了一個名為name的屬性,並將字符串值“Nicholas”賦給了這個屬性。緊接着,通過alert()訪問了這個屬性。如果對象不被銷毀或者這個屬性不被刪除,則這一屬性將一直存在。
但是,我們不能為基本類型的值添加屬性,盡管這樣做不會導致任何錯誤。比如:
var name = "Nicholas";
name.age = 27;
alert(name.age); //undefined
在這個例子中。我們為字符串name定義了一個名為age的屬性,並為該屬性賦值27。但在下一行訪問這個屬性時,發現改屬性不見了。這說明只能給引用類型值動態地添加屬性,以便將來使用。
三、復制變量值
除了保存的方式不同之外,在從一個變量向另一個變量復制基本類型值和引用類型值時,也存在不同。如果一個變量向另一個變量復制基本類型的值,會在變量對象上創建一個新值,然后把該值復制到新變量分配的位置。來看一個例子:
var num1 = 5;
var num2 = num1;
在此,num1中保存的值是5。當使用num1的值來初始化num2時,num2中也保存了值5.但num2中的5與num1中的5是完全獨立的,該值只是num1中5的一個副本。此后,這兩個變量可以參與任何操作而不相互影響。
復制前變量對象
num1 | 5 (Number類型) |
復制后變量對象
num2 | 5 (Number類型) |
num1 | 5 (Number類型) |
·當從一個變量向另一個變量復制引用類型的值時,同樣也會將存儲在變量對象中的值復制給一個新變量分配的空間中。不同的時,這個值的副本實際上是一個指針,而這個指針指向存儲在堆中的一個對象。復制操作結束后,兩個變量實際上將引用同一個對象。因此,改變其中一個變量,就會影響另一個變量。如下例所示:
var obj1 = new Object();
var obj2 = obj1;
obj1.name = "NIcholas";
alert(obj2.name); //"NIcholas"
首先,變量Obj1保存了一個對象的新實例。然后,這個值被復制到了obj2中;換句話說,obj1和obj2都指向同一個對象。這樣,當為obj1添加name屬性后,可以通過obj2來訪問這個屬性。因為兩個變量引用的都是同一個對象。下圖展示了保存在變量對象中的變量和保存在堆中的對象之間的這種關系;
四、傳遞參數
ECMAScript中所有函數的參數都是按值傳遞的。也就是說,把函數外部的值復制給函數內部的參數,就和把值從一個變量復制到另一個變量一樣。基本類型值的傳遞如同基本類型變量的復制一樣,而引用類型變量的復制一樣。有不少開發人員在這一點上可能會感到困惑,因此為訪問變量有按值和按引用兩種方式,而參數只能按值傳遞。
向參數傳遞基本變量的值時,被傳遞的值會被復制給一個局部變量。在向參數傳遞引用類型的值時,會把這個值在內存中的地址復制給一個局部變量,因此這個局部變量的變化會反映在函數外部。請看下面這個例子:
function addTen(num){
num+=10;
return num;
}
var count = 20;
var result = addTen(count);
alert(count); //20,無變化
alert(result); //30
這里的函數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時,這個變量引用就是一個局部對象了。而這個局部對象會在函數執行完畢后立即被銷毀。
注:可以把ECMAScript函數參數先鋒鄉城局部變量
五、檢測類型
要檢測一個變量是不是基本數據類型,typeof操作符是最佳工具,即typeof操作符是確定一個變量是字符串、數值、布爾,還是undefined的最佳工具、如果變量是一個對象或Null,則typeof操作符會返回object;
雖然在檢測基本數據類型時typeof是非常得力的助手,但在檢測引用類型的值時 ,這個操作符的用處不大。通常,我們並不是想知道某個值是對象。為此,ECMAScript提供了instanceof操作符,其語法如下:
result = variable instanceof constructor;
如果變量是引用類型的實例,那么instanceof操作符就會返回true。
根據規定,所有引用類型的值都是Object的實例。因此,在檢測一個引用類型值和Object構造函數時,instanceof操作符始終會返回true。當然,如果使用instanceof操作符檢測基本類型,則該操作符始終返回false,因為基本類型不是對象。