谈谈JavaScript中的变量、指针和引用

谈谈JavaScript中的变量、指针和引用

1、变量

我们可能产生这样一个疑问:编程语言中的变量到底是什么意思呢? 
事实上,当我们定义了一个变量a时,就是在存储器中指定了一组存储单元,并将这组存储单元命名为a。变量a的值实际上描述的是这组存储单元中存放的具体信息。 
例如,在JS中

var a;
a=10;

第一个语句在存储器中指定了一组存储单元,并命名为a; 
第二个语句在这组存储单元中存储了数字10。 
变量a的值为10实际上是说存储单元组a存储的信息是10。 
假使我们再次对a进行复制操作:

a="hello";

这样a的值变成字符串”hello”。这很容易理解,我们将存储单元组a中存储的信息改为字符串”hello”,显然原先的数字10将被覆盖。

2、指针

假使我们在另一个变量b中存储变量a在存储器的地址,会发生什么? 
我们很容易想到,直接访问b变量,得到的并不是变量a的值,而是变量a在存储器中的地址,变量b便被称为指针。 
这样一个问题产生了:如何通过变量b访问到变量a的值呢? 
在C语言中,常用的是用*,比如:

int c=10,b;
int *p;/*p是指向int类型的指针*/
p=&c;/* &c获取变量c的地址,然后赋值给变量p,这样p存储的是变量c的地址,即p是指向c的指针*/
b=*p;/* *p访问p指向的对象,然后将值赋值给b*/

在JS中,并没有指针这种变量类型,但指针的应用却无处不在。比如:

var o1={b:1};
var o2={b:1};
o1===o2;//false
o1==o2;//false

这里o1和o2都是相同的对象,为什么不相等呢?这就需要深入理解JavaScript中的引用类型和指针。 
首先,我们需要明白:

给o1和o2赋值,并不是o1地址中存储对象{b:1},o2地址中也存储对象{b:1}。

其次,我们要明白实际发生的操作:

var o1={b:1}实现了在堆内存中创建了一个对象{b:1},o1则存储了该对象在堆内存中的地址,即o1是一个指针,指向{b:1}; 
同理,var o2={b:1}也在堆内存中创建了一个对象{b:1},o2存储了该对象在堆内存中的地址,即o2也是一个指针,指向{b:1}; 
并且,由于两个相同的对象{b:1}是先后创建,在堆内存中也不是存储在相同的地址。

然后,我们还需要知道:

在JavaScript中,引用类型(对象、数组、正则、Date、函数)的比较,实际上是比较指针是否指向存储器中的同一段地址,只有指向同样的地址才能相等。

显然,o1这个指针指向堆内存中创建的第一个对象{b:1}; 
o2指针则指向堆内存中创建的第二个对象{b:1}; 
但两个对象相对独立,并不是同一个对象,故o1和o2并没有指向同样的堆内存地址,故而并不相等。 
我们再看常见的应用:

var o={a:1};
o.__proto__===Object.prototype;//true

对象o的构造函数是Object,Object有一个prototype属性,并且prototype是一个指针,他指向存储器中的一个对象,此对象将会被由构造函数创建的对象实例所共享。 
作为Object的实例,o也有一个指针__proto__,它也指向Object的prototype属性指向的对象。 
这里的全等返回true,则清楚地表明了两者指向同样的堆内存地址,即指向的是同一个对象。 
我们如果想主动让两个引用类型指向同样的对象,如何操作呢?

var obj1={b:1};
var obj2=obj1;
obj1===obj2;//true
obj1==obj2;//true

可以看到,对于引用类型,直接使用’=’赋值实际上就是使两者指向同一个对象。 
故而,我们猜测,如果通过obj1修改了对象的值,obj2再次访问时将看到修改后的对象:

obj1.name='ls';
obj1;//{b: 1, name: "ls"}
obj2;//{b: 1, name: "ls"}

的确如此。作为对比:

o1.name='ls';
o1;//{b: 1, name: "ls"}
o2;//{b: 1}

那么,对于基本类型呢?

var s1=1;
var s2=2;
s1===s2;//true

在JS中,对于基本类型,只需其值相等,则两个变量就相等。

3、引用

首先,我们要深入理解引用类型的值。 
前面我们看到,obj1和obj2指向堆内存中存储的同一个对象。当我们访问obj1和obj2时,都会返回同一个对象。可以说:obj1的值和obj2的值相同。 
对于o1和o2,他们指向堆内存中不同地址的两个{b:1}对象,o1和o2拥有不同的值。

因此,对于引用类型,我们所说的值,指的是保存在内存中的对象。如果是同一对象,则值相同,不同对象则值不同。

在JS中,传递参数都是按值传递的。比如:

var a1=1,b1=2;
function add(a,b){
    a++;
    b--;
    return a+b;
};
add(a1,b1);//3
a1;//1
b1;//2

这里,函数add中的形参a、b分别得到变量a1、b1的值的拷贝,这便是按值传递。 
在add函数执行环境中对a、b操作不会影响到全局变量a1、b1。 
再看引用类型:

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

执行setName(person)时,person指向的内存中的地址便被传入obj,使得obj也指向同样的内存地址,即同一个对象。这里的按值传递,传递的是内存地址。 
如果通过obj修改该对象,外部访问person便也能体现出来。 
我们可能有一个疑问,既然是指向同一个对象,为什么不是按引用传递呢? 
首先,我们看到函数内部对obj重新进行了赋值,使得obj指向新创建的对象。如果是按引用传递,那么外部person便也会指向新创建的对象。实际上,person还是指向原先的对象。

对于引用类型的按值传递,其实可以更加通俗地理解:

1、实参将指向的内存地址传递给形参 ,按值传递的值指的是内存地址; 
2、形参修改了它和实参共同指向的对象后,外部的实参会反映出来; 
3、但形参始终无法修改实参指向的内存地址,即如果将形参指向新的对象,实参并不会指向新的对象。

基于以上3点,我们就不难理解上面代码运行的结果了。

 

 

 

上一篇:代码运行优化


下一篇:程序的机器表示