数组(array)、对象(object)、函数(function)和正则表达式,通常以常量的形式来创建。实际上,使用常量和使用构造函数的效果是一样的(创建的值都是通过封装对象来包装的)。应该尽量避免使用构造函数。
Array(..)
var a = new Array( 1, 2, 3 );
a; // [1, 2, 3]
var b = [1, 2, 3];
b; // [1, 2, 3]
构造函数 Array(..) 不要求必须带 new 关键字。不带时,它会被自动补上。 因此 Array(1,2,3) 和 new Array(1,2,3) 的效果是一样的。
Array 构造函数只有一个数字参数的时候,该参数会被作为数组的预设长度(length),而不是充当数组中的一个元素。
其实数组并没有预设长度这个概念。这样创建出来的只是一个空数组,只不过它的 length 属性被设置成了指定的值。
如果一个数组中没有任何单元,但它的 length 属性中却显示有单元数量,会导致一些怪异的行为。这一切都归咎于已被废止的旧特性(类似 arguments 这样的类数组)。
注:将包含至少一个“空单元”的数组称为“稀疏数组”。
不同浏览器的开发控制台显示的结果也不同,以下例子是Chrome 91
var a = new Array( 3 );
var b = [ undefined, undefined, undefined ];
var c = [];
c.length = 3;
a; // [empty × 3]
b; // [undefined, undefined, undefined]
c; // [empty × 3]
上例中 a 和 b 的行为有时相同,有时不同:
a.join( "-" ); // "--"
b.join( "-" ); // "--"
a.map(function(v,i){ return i; }); // [empty × 3]
b.map(function(v,i){ return i; }); // [ 0, 1, 2 ]
a.map(..) 之所以执行失败,是因为数组中并不存在任何单元,所以 map(..) 无从遍历。而 join(..) 却不一样,它的具体实现可参考下面的代码:
function fakeJoin(arr,connector) {
var str = "";
for (var i = 0; i < arr.length; i++) {
if (i > 0) {
str += connector;
}
if (arr[i] !== undefined) {
str += arr[i];
}
}
return str;
}
var a = new Array( 3 );
fakeJoin( a, "-" ); // "--"
join(..)
首先假定数组不为空,然后通过 length 属性值来遍历其中的元素。而 map(..)
并不做这样的假定,因此结果可能和预期不同。
可以通过下述方式来创建包含 undefined 单元(而非“空单元”)的数组:
var a = Array.apply( null, { length: 3 } );
a; // [ undefined, undefined, undefined ]
apply(..)
是一个工具函数,适用于所有函数对象,它会以一种特殊的方式来调用传递给它的函数。
第一个参数是 this 对象,暂将它设为 null。第二个参数则必须是一个数组(或者类似数组的值,也叫作类数组对象,array-like object),其中的值被用作函数的参数。
于是 Array.apply(..)
调用 Array(..)
函数,并且将 { length: 3 } 作为函数的参数。 可以设想 apply(..)
内部有一个 for 循环(与上述 join(..) 类似),从 0 开始循环到length(即循环到 2,不包括 3)。
假设在 apply(..)
内部该数组参数名为 arr,for 循环就会这样来遍历数组:arr[0]、 arr[1]、arr[2]。然而,由于{ length: 3 }中并不存在这些属性,所以返回值为 undefined。
上述代码执行的实际上是 Array(undefined, undefined, undefined)
,所以结果是单元值为 undefined
的数组,而非空单元数组。
永远不要创建和使用空单元数组,应使用 Array.apply( null, { length: 3 } )
方式创建非空单元数组。
Object(..)、Function(..) 和 RegExp(..)
尽量不要使用 Object(..)/Function(..)/RegExp(..):
var c = new Object();
c.foo = "bar";
c; // { foo: "bar" }
var d = { foo: "bar" };
d; // { foo: "bar" }
var e = new Function( "a", "return a * 2;" );
var f = function(a) { return a * 2; }
function g(a) { return a * 2; }
var h = new RegExp( "^a*b+", "g" );
var i = /^a*b+/g;
使用new Object()来创建对象时,无法像常量形式那样一次设定多个属性,必须逐一设定。
构造函数 Function 只在极少数情况下很有用,比如动态定义函数参数和函数体的时候。不要把 Function(..) 当作 eval(..) 的替代品,基本上不会通过这种方式来定义函数。
建议使用常量形式(如 /^a*b+/g)来定义正则表达式,不仅语法简单,执行效率也更高,因为 JavaScript 引擎在代码执行前会对它们进行预编译和缓存。与前面的构造函数不同,RegExp(..) 有时还是很有用的,比如动态定义正则表达式时:
var someText = 'The quick brown fox jumps over the lazy dog. It barked.';
var name = "quick";
var namePattern = new RegExp( "\\b(?:" + name + ")+\\b", "ig" );
var matches = someText.match( namePattern ); // ["quick"]
Date(..) 和 Error(..)
创建日期对象必须使用new Date()
。Date(..)
可以带参数,用来指定日期和时间,而不带 参数的话则使用当前的日期和时间。Date(..)
主要用来获得当前的 Unix 时间戳(从 1970 年 1 月 1 日开始计算,以秒为单位)。 该值可以通过日期对象中的 getTime()
来获得。
ES5 引入了一个更简单的方法,即静态函数 Date.now()
。对 ES5 之前的版本我们可 以使用下面的 polyfill:
if (!Date.now) {
Date.now = function(){
return (new Date()).getTime();
};
}
如果调用 Date() 时不带 new 关键字,则会得到当前日期的字符串值。
new Date() // Tue Jun 22 2021 19:17:26 GMT+0800 (中国标准时间)
Date() // "Tue Jun 22 2021 19:17:57 GMT+0800 (中国标准时间)"
构造函数 Error(..)
(与前面的 Array() 类似)带不带 new 关键字都可。
创建错误对象(error object)主要是为了获得当前运行栈的上下文(大部分 JavaScript 引擎通过只读属性 .stack
来访问)。栈上下文信息包括函数调用栈信息和产生错误的代码行号, 以便于调试(debug)。
Error.prototype.stack ——MDN
错误对象通常与 throw 一起使用:
function foo(x) {
if (!x) {
throw new Error( "x wasn’t provided" );
}
// ..
}
通常错误对象至少包含一个 message 属性,有时也不乏其他属性(必须作为只读属性访问),如 type。除了访问 stack 属性以外,最好的办法是调用(显式调用或者通过强制类型转换隐式调用) toString()
来获得经过格式化的便于阅读的错误信息。
注:除 Error(..)
之外,还有一些针对特定错误类型的原生构造函数,如 EvalError(..)
、 RangeError(..)
、ReferenceError(..)
、SyntaxError(..)
、 TypeError(..)
和 URIError(..)
。这些构造函数很少被直接使用,它们在程序发生异常(比如试图使用未声明的变量产生 ReferenceError 错误)时会被自动调用。
Symbol(..)
ES6 中新加入了一个基本数据类型 ——符号(Symbol)。符号是具有唯一性的特殊值(并非绝对),用它来命名对象属性不容易导致重名。该类型的引入主要源于 ES6 的一些特殊构造,此外符号也可以自行定义。
符号可以用作属性名,但无论是在代码还是开发控制台中都无法查看和访问它的值,只会显示为如:Symbol(Symbol.create)
这样的值。
ES6 中有一些预定义符号,以 Symbol 的静态属性形式出现,如 Symbol.create
、Symbol. iterator
等:
obj[Symbol.iterator] = function(){ /*..*/ };
可以使用 Symbol(..)
原生构造函数来自定义符号。不能带 new 关键字,否则会出错:
var mysym = Symbol( "my own symbol" );
mysym; // Symbol(my own symbol)
mysym.toString(); // "Symbol(my own symbol)"
typeof mysym; // "symbol"
var a = { };
a[mysym] = "foobar";
Object.getOwnPropertySymbols( a ); // [ Symbol(my own symbol) ]
虽然符号实际上并非私有属性(通过 Object.getOwnPropertySymbols(..)
可获得对象中的所有符号),但它却主要用于私有或特殊属性。很多开发人员喜欢用它来替代有下划线(_)前缀的属性,下划线前缀通常用于命名私有或特殊属性。
注意:符号并非对象,而是一种简单标量基本类型。
原生原型
原生构造函数有自己的 .prototype
对象,如 Array.prototype
、String.prototype
等。
这些对象包含其对应子类型所特有的行为特征。 例如,将字符串值封装为字符串对象之后,就能访问 String.prototype
中定义的方法。
• String.prototype.indexOf(..)
在字符串中找到指定子字符串的位置。
• String.prototype.charAt(..)
获得字符串指定位置上的字符。
• String.prototype.substr(..)
、String.prototype.substring(..)
和 String.prototype.slice(..)
获得字符串的指定部分。
• String.prototype.toUpperCase()
和 String.prototype.toLowerCase()
将字符串转换为大写或小写。
• String.prototype.trim()
去掉字符串前后的空格,返回新的字符串。
以上方法并不改变原字符串的值,而是返回一个新字符串。
借助原型代理(prototype delegation),所有字符串都可以访问这些方法:
var a = " abc ";
a.indexOf( "c" ); // 3
a.toUpperCase(); // " ABC "
a.trim(); // "abc"
其他构造函数的原型包含它们各自类型所特有的行为特征,比如 Number.prototype.tofixed(..)
(将 数字转换为指定长度的整数字符串)和 Array.prototype.concat(..)
(合并数组)。所有的函数都可以 调用 Function.prototype
中的 apply(..)、call(..) 和 bind(..)。
有些原生原型(native prototype)并非普通对象那么简单:
typeof Function.prototype; // "function"
Function.prototype(); // undefined 空函数!
RegExp.prototype.toString(); // "/(?:)/"——空正则表达式
"abc".match( RegExp.prototype ); // [""] Chrome91 报错 Uncaught TypeError: Method RegExp.prototype.exec called on incompatible receiver [object Object]
// 修改后
"abc".match( RegExp.prototype.toString() ); // null
甚至可以修改它们(而不仅仅是添加属性):
Array.isArray( Array.prototype ); // true
Array.prototype.push( 1, 2, 3 ); // 3
Array.prototype; // [1,2,3]
// 需要将Array.prototype设置回空,否则会导致问题!
Array.prototype.length = 0;
Function.prototype
是一个函数,RegExp.prototype
是一个正则表达式,而 Array. prototype
是一个数组
将原型作为默认值
Function.prototype
是一个空函数,RegExp.prototype
是一个“空”的正则表达式(无任何匹配),而 Array.prototype
是一个空数组。对未赋值的变量来说,是很好的默认值。例如:
// 原书案例Chrome91会报错:
function isThisCool(vals,fn,rx) {
vals = vals || Array.prototype;
fn = fn || Function.prototype;
rx = rx || RegExp.prototype;
return rx.test(
vals.map( fn ).join( "" )
);
}
isThisCool(); // true
isThisCool(
["a","b","c"],
function(v){ return v.toUpperCase(); },
/D/
); // false
// 修改后
function isThisCool(vals,fn,rx) {
vals = vals || Array.prototype;
fn = fn || Function.prototype;
if (!rx) {
rx = RegExp.prototype.toString()
rx = new RegExp(rx.slice(1,-1));
}
return rx.test(
vals.map( fn ).join( "" )
);
}
isThisCool();
isThisCool(
["a","b","c"],
function(v){ return v.toUpperCase(); },
/D/
);
这种方法的一个好处是 .prototypes 已被创建并且仅创建一次。相反,如果将[]
、function(){}
和 /(?:)/
作为默认值,则每次调用 isThisCool(..)
时它们都会被创建一次 (具体创建与否取决于JavaScript 引擎,稍后它们可能会被垃圾回收),这样就会造成内存和 CPU 资源浪费。
需要注意的是,如果默认值随后会被更改,那就不要使用 Array.prototype
。上例中的 vals 是作为只读变量来使用,更改 vals 实际上就是更改 Array.prototype
,这样会导致一系列问题!