第一章 类型
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();
// ..
}