JavaScript语言中值的类型

1. 基础数据类型和引用数据类型

JavaScript中的变量是没有类型的，只有值才有，变量可以随时持有任何类型的值。JavaScript中值的类型分为基础数据类型和引用数据类型。JavaScript中有5种基础数据类型，分别是：

Null（空值）
Undefined（未定义：已声明，未赋值）
Boolean（布尔值）
Number（数字）
String（字符串）

ES6中新增了Symbol数据类型，Symbol是类字符串形式的基础数据类型，暂不考虑。基础数据类型都是按值访问，因为我们可以直接操作保存在变量中的实际的值。JavaScript还有一种复杂数据类型：Object（对象类型）。引用数据类型就是由多个值组成的对象，所有引用类型的值都是Object的实例。包括：

Object（对象）
Array（数组）
Date（日期）
ReqExp（正则表达式）
Function（函数）
基本包装类型（3个特殊的引用类型：Boolean、Number和String，为其对应的基础数据类型提供方法）

引用数据类型的值是保存在堆内存中的对象。JavaScript不允许直接访问堆内存中的位置，因此我们不能直接操作对象的堆内存空间。在操作对象时，实际上是在操作对象的引用而不是实际的对象。因此，引用类型的值都是按引用访问的。这里的引用，我们可以理解为保存在变量对象中的一个地址，该地址与堆内存的实际值相关联。

2. 类型检测

2.1 `typeof` 操作符

typeof 是一个操作符而不是函数（因此其操作数可以加括号也可以不加括号），用于检测给定变量或字面量的数据类型，其返回值为代表类型的字符串，可能值为：

"undefined" —— 这个值已声明但未赋值
"boolean" —— 这个值是布尔值，为true或false
"string" —— 这个值是字符串
"number" —— 这个值是数字
"object" —— 这个值是对象（包括对象、数组、日期和正则表达式）或null
"function" —— 这个值是函数

typeof 操作符使用时有两点值得注意：

(1) typeof null 的结果为 "object"。原理是这样的，不同的对象在底层都表示为二进制，在 JavaScript 中二进制前三位都为 0 （数值的标志位：1~3个字节）的话会被判断为 object 类型， null 的二进制表示是全 0，自然前三位也是 0，所以执行 typeof 时会返回“ object ”。这个bug是第一版Javascript留下来的。在这个版本，数值是以32字节存储的，由标志位（1~3个字节）和数值组成。
(2) 如下代码：

var a;
typeof a; // "undefined"
typeof b; // "undefined"
a; // undefined
b; // ReferenceError: b is not defined

b未声明但是使用 typeof 操作符检测b未报引用错误，而是返回undefined字符串，说明 typeof 有一个特殊的安全防范机制，实际工作中可以加以利用。因此在工作中常可以看到类似如下的的代码：

if (typeof DEBUG !== "undefined") {
 console.log("Debugging is starting")
}

而不是这样的代码：

if (DEBUG) {
 console.log("Debugging is starting")
}

因为DEBUG变量一般只在debug.js文件中才有，而该文件只在开发和测试时才被加载到浏览器中，在生产环境中不予加载，若使用第二种写法，则在生产环境中会报引用错误。

2.2 `toString`

typeof 操作符除了函数之外，不能获取其他对象的信息，使用 toString 则不管是object类型还是primitive类型，都能得到你想要的结果：

console.log(toString.call(123));  
console.log(toString.call(true));  
console.log(toString.call(Symbol('foo')));  
console.log(toString.call('some string'));  
console.log(toString.call([1, 2]));  
console.log(toString.call(new Date()));  
console.log(toString.call({  
    a: 'a'
}));

// output
[object Number]
[object Boolean]
[object Symbol]
[object String]
[object Array]
[object Date]
[object Object]

2.3 `instanceof` 操作符

toString 只可以用于判断内置的数据类型，对于我们自己构造的对象，它还是不能给出我们想要的结果，这时需要使用 instanceof。
对于使用构造函数创建的对象，我们通常使用 instanceof 来判断某一实例是否属于某种类型，例如：a instanceof Person，其内部原理实际上是判断Person.prototype是否在a实例的原型链中。
检测基础数据类型用typeof操作符，检测引用数据类型则用 instanceof 操作符，其语法如下所示：
result = variable instanceof constructor，如果变量是给定引用数据类型（根据它的原型链来识别）的实例，那么 instanceof 操作符就会返回true。如果使用instanceof操作符检测基本数据类型的值，则始终会返回false，因为基本类型不是对象。

3. Undefined类型和Null类型对比

Undefined类型和Null类型都是一值类型，即只有一个值的数据类型。Undefined类型的值为特殊的undefined，Null类型的值为特殊的null。

3.1 Undefined类型

undefined表示"缺少值"，就是此处应该有一个值，但是还没有定义。典型用法是：

变量被声明了，但没有赋值时，就等于undefined。
调用函数时，应该提供的参数没有提供，该参数等于undefined。
对象没有赋值的属性，该属性的值为undefined。
函数没有返回值时，默认返回undefined。

3.2 Null类型

null表示"没有对象"，即该处不应该有值。典型用法是：

作为函数的参数，表示该函数的参数不是对象。
作为对象原型链的终点。

3.3 注意

(1) undefined值是派生自null值的，因此位于null和undefined之间的相等操作符（==）总返回true。

null == undefined; //true
null === undefined; //false

(2) null是一个表示"无"的对象，转为数值时为0；undefined是一个表示"无"的原始值，转为数值时为NaN。

Number(null); //0
Number(undefined); //NaN