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