第一章 类型

1.1　类型

1.2　内置类型

• 空值（ null）

• 未定义（ undefined）

• 布尔值（ boolean）

• 数字（ number）

• 字符串（ string）

• 对象（ object）

• 符号（ symbol， ES6 中新增）

除对象之外，其他统称为“基本类型”。

typeof Symbol() === "symbol"; // true

typeof null === "object"; // true

我们需要使用复合条件来检测 null 值的类型：

var a = null;
(!a && typeof a === "object"); // true

null 是基本类型中唯一的一个“假值”（ falsy 或者 false-like）

typeof function a(){ /* .. */ } === "function"; // true

function（函数）是 object 的一个“子类型”。具体来说是“可调用对象”，它有一个内部属
性 [[Call]]，该属性使其可以被调用。

函数不仅是对象，还可以拥有属性

function a(b,c) {
/* .. */
}
a.length; // 2   因为该函数声明了两个命名参数， b 和 c，所以其 length 值为 2。

---

typeof [1,2,3] === "object"; // true

数组也是 object 的一个“子类型”，它的元素按数字顺序来进行索引（而非普通像对象那样通过字符串键值），其 length 属性是元素的个数。

1.3　值和类型

JavaScript 中的变量是没有类型的， 只有值才有

var a = 42;
typeof a; // "number"
a = true;
typeof a; // "boolean"
//typeof 运算符总是会返回一个字符串：
typeof typeof 42; // "string"

1.3.1 undefined 和 undeclared

大多数开发者倾向于将 undefined 等同于 undeclared（未声明），但在 JavaScript 中它们完全是两回事

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

更让人抓狂的是 typeof 处理 undeclared 变量的方式。例如：

var a;
typeof a; // "undefined"
typeof b; // "undefined"

对于 undeclared（或者 not defined）变量， typeof 照样返回 "undefined"。请注意虽然 b 是一个 undeclared 变量，但 typeof b 并没有报错。这是因为 typeof 有一个特殊的安全防范机制。

1.3.2 typeof Undeclared

在程序中使用全局变量 DEBUG 作为“调试模式”的开关。在输出调试信息到控制台之前，我们会检查 DEBUG 变量是否已被声明。顶层的全局变量声明 var DEBUG =true 只在 debug.js 文件中才有，而该文件只在开发和测试时才被加载到浏览器，在生产环境中不予加载

// 这样会抛出错误
if (DEBUG) {
console.log( "Debugging is starting" );
}
// 这样是安全的
if (typeof DEBUG !== "undefined") {
console.log( "Debugging is starting" );
}
//这不仅对用户定义的变量（比如 DEBUG）有用，对内建的 API 也有帮助：
if (typeof atob === "undefined") {
atob = function() { /*..*/ };
}

如果要为某个缺失的功能写 polyfill（即衬垫代码或者补充代码，用来补充
当前运行环境中缺失的功能），一般不会用 var atob 来声明变量 atob。如
果在 if 语句中使用 var atob，声明会被提升（ hoisted，参见《你不知道的
JavaScript（上卷）》 1 中的“作用域和闭包”部分）到作用域（即当前脚本或
函数的作用域）的最顶层，即使 if 条件不成立也是如此（因为 atob 全局变
量已经存在）。在有些浏览器中，对于一些特殊的内建全局变量（通常称为
“宿主对象”， host object），这样的重复声明会报错。去掉 var 则可以防止声
明被提升。

还有一种不用通过 typeof 的安全防范机制的方法，就是检查所有全局变量是否是全局对象
的属性，浏览器中的全局对象是 window。

if (window.DEBUG) {
// ..
}
if (!window.atob) {
// ..
}

与 undeclared 变量不同，访问不存在的对象属性（甚至是在全局对象 window 上）不会产生
ReferenceError 错误。

typeof 的安全防范机制对于非全局变量也很管用.如果想让别人在他们的程序或模块中复制粘贴你的代码，就需要检查你用到的变量是否已经在宿主程序中定义过：

function doSomethingCool() {
var helper =
(typeof FeatureXYZ !== "undefined") ?
FeatureXYZ :
function() { /*.. default feature ..*/ };
var val = helper();
// ..
}

其他模块和程序引入 doSomethingCool() 时， doSomethingCool() 会检查 FeatureXYZ 变量是
否已经在宿主程序中定义过；如果是，就用现成的，否则就自己定义：

// 一个立即执行函数表达式（ IIFE，参见《你不知道的JavaScript （上卷）》“作用域和闭包”
// 部分的3.3.2节）
(function(){
function FeatureXYZ() { /*.. my XYZ feature ..*/ }
// 包含doSomethingCool(..)
function doSomethingCool() {
var helper =
(typeof FeatureXYZ !== "undefined") ?
FeatureXYZ :
function() { /*.. default feature ..*/ };
var val = helper();
// ..
}
doSomethingCool();
})();

一些人喜欢使用“依赖注入”（ dependency injection）设计模式

function doSomethingCool(FeatureXYZ) {
var helper = FeatureXYZ ||
function() { /*.. default feature ..*/ };
var val = helper();
// ..
}