谈谈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点，我们就不难理解上面代码运行的结果了。