第四章 變量,作用域和內存問題(一)

??按照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是完全獨立的,這兩個變量可以任意參與任何操作而互不影響。下圖展示了復制基本類型的過程:


image.png

??當從一個變量向另一個變量復制引用類型的值時,同樣也會將存儲在變量中值復制到為新變量分配的存儲空間中。不同的是,這個值的副本實際上是一個指針,而這個指針實際上指向存儲在堆中的一個對象。復制操作結束后,兩個變量實際上指向同一個對象。因此,改變其中一個變量,就會影響另一個變量。下面是一個例子:

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

下圖展示了復制引用類型的過程:


image.png

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"。

最后編輯于
?著作權歸作者所有,轉載或內容合作請聯系作者
平臺聲明:文章內容(如有圖片或視頻亦包括在內)由作者上傳并發布,文章內容僅代表作者本人觀點,簡書系信息發布平臺,僅提供信息存儲服務。

推薦閱讀更多精彩內容