基本类型和引用类型的值
一、综述
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,因为基本类型不是对象。