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
