深入理解JavaScript中的类型（Types）

一、类型的定义

大多数人认为，像 JavaScript 这样的动态语言是没有类型（type）的。

也有人认为，JavaScript 中的“类型”应该称为“标签”（tag）或者“子类型”（subtype）。

定义：类型是值的内部特征，它定义了值的行为，目的是为了区分其他值。

怎么理解？变量是没有类型的，值才具有类型，类型描述了值的行为特征；换句话说，当某个值发生改变，类型也随之改变（如 a = 1 --> a = '1'）。

二、内置类型（七种）

JavaScript 中有七种内置类型：

空值（null）
未定义（undefined）
数字（number）
字符串（string）
对象（object）
布尔值（boolean）
符号（symbol，ES6 中新增）

除了对象之外，其他统称为‘基本类型’。

三、检测值的类型（typeof）

我们可以使用 typeof 运算符来查看值的类型，注意：它的返回值是字符串（string）

typeof undefined // 'undefined'
typeof 11 // 'number'
typeof 'kyrie' // 'string'
typeof { name: 'kyrie' } // 'object'
typeof true // 'boolean'=
typeof null // 'object' 远古bug（二进制问题）
// ES6新增类型
typeof Symbol('11') // 'symbol'

你可能注意到少了 null 类型，而且 typeof null 竟然返回的'object'类型，这是个远古 bug，存在将近 20 年，但这个 bug 应该不会修复了，一修复可能牵扯到的 web 系统都崩了...

提示：文末有关于这个 bug 的详细解释。

我们可以使用&&来检测 null 值的类型

var a = null
if (!a && typeof null === 'object') // true

object 的子类型（函数）

typeof function demo() {...} // 'object'

函数实际是 object 的一个“子类型”

函数是“可调用的对象”，他也可以拥有属性

function demo(a, b) {...}
demo.length // 2

函数（对象）的 length 属性是形参的个数

object 的子类型（数组）

var arr = [1, 2, 3]
typeof arr // 'object'
arr.length // 3

数组也是 object 的一个“子类型”

数组（对象）的 length 属性是元素的个数

四、undefined 和 undeclared

变量在定义了（但没有值）时为 undefined

var a
typeof a // 'undefined'

那 undeclared 又是什么？

undeclared（未声明），大多数人认为它和 undefined（未定义值） 是同一个东西，但其实不是。

区别：已经在作用域中声明了但还没有赋值的变量，是 undefined 的；还没有在作用域中声明过的变量，是 undeclared 的。

var a
a // undefined
b // b is not defined (undeclaced)

这里，浏览器的处理很让人误解， “b is not defined”很容易让人误以为 b 是 undefined（未定义值）的，但其实 b 是 undeclaced（未声明）的，如果浏览器报错为：“b is not found” 或者 “b is not declared” 或许更准确一点。

更气人的是，typeof 对这类处理让人绝望。

var a
typeof a //'undefined'
typeof b //'undefined'返回 undeclared会好很多

对于 undeclared 或者 undefined 的变量，typeof 的返回值都是'undefined'；但请注意，这里 typeof b 没有报错（直接访问 b 会报错），这是 typeof 一种特殊安全防范机制。

五、typeof 的安全防范机制

可以用来检测某个全局变量是否存在

// 报错 debug是未声明（undeclared）的
if (debug) {
  console.log('Debugging is starting!!!')
}

// 安全 typeof的安全防范机制
if (typeof debug !== 'undefined') {
  console.log('Debugging is starting!!!')
}

某些时候也可以不用 typeof 的安全防范机制

if (window.debug) {
  console.log('Debugging is starting!!!')
}

上面的实现方式只适用于代码运行在浏览器环境（拥有 window 对象），但其他环境不行（如 Node.js/服务端...）,因为全局对象并不是 window。

总结

JavaScript 中有七种内置类型：null、undefined、boolean、number、string、object、symbol，可以使用 typeof 运算符来判断某个值的类型。
变量是没有类型的，只有值有类型，类型定义（描述）了值的行为特征。
undefined 和 undeclared 不是同一个东西。undefined 是值的类型之一，undeclared 表示变量还未声明。
直接访问 undeclared 变量是会报错的（ReferenceError: xxx is not defined），而且 typeof 对 undefined 和 undeclared 变量都返回'undefined'。
可以通过 typeof 的安全防范机制（阻止报错）来检查 undeclared 变量

附：关于 typeof null === 'object'的解释

在第一版的 JavaScript 中，变量的值被设计保存在一个 32 位的内存单元中。该单元包含一个 1 或 3 位的类型标志，和实际数据的值。类型标志存储在单元的最后。包括以下 5 种情况：

000：object - 数据为对象的引用
1：int - 数据为 31 位的有符号整型
010：double - 数据为一个浮点数的引用
100：string - 数据为一个字符串的引用
110：boolean - 数据为布尔类型的值

除此之外，还有两种特殊情况：

undefined 负的 2 的 30 次方（超出当时整型取值范围的一个数）
null 空指针(全是 0)

正是因为：null 的存储单元最后三位和 object 一样是 000（罪魁祸首）

所以 typeof null === 'object' // true