语法
对象来自于两种形式:声明(字面)形式,和构造形式。
一个对象的字面语法看起来像这样:
构造形式看起来像这样:
构造形式和字面形式的结果是完全同种类的对象。唯一真正的区别在于你可以向字面声明一次性添加一个或多个键/值对,而对于构造形式,你必须一个一个地添加属性。
注意: 像刚才展示的那样使用“构造形式”来创建对象是极其少见的。你很有可能总是想使用字面语法形式。对大多数内建的对象也一样(后述)。
类型
对象是大多数JS工程依赖的基本构建块儿。它们是JS的6中主要类型(在语言规范中称为“语言类型”)中的一种。
-
string
-
number
-
boolean
-
null
-
undefined
-
object
注意 简单基本类型 (string,number,boolean,null,和undefined)自身 不是 object。null有时会被当成一个对象类型,但是这种误解源自与一个语言中的Bug,它使得typeof null错误地(令人困惑地)返回字符串"object"。实际上,null是它自己的基本类型
一个常见的错误论断是“JavaScript中的一切都是对象”。这明显是不对的。
对比来看,存在几种特殊的对象子类型,我们可以称之为 复杂基本类型。
function是对象的一种子类型(技术上讲,叫做“可调用对象”)。函数在JS中被称为“头等(first class)”类型,就因为它们基本上就是普通的对象(附带有可调用的行为语义),而且它们可以像其他普通的对象那样被处理。
数组也是一种形式的对象,带有特别的行为。数组在内容的组织上要稍稍比一般的对象更加结构化。
内建对象
有几种其他的对象子类型,通常称为内建对象。对于其中的一些来说,它们的名称看起来暗示着它们和它们对应的基本类型有着直接的联系,但事实上,它们的关系更复杂,我们一会儿就开始探索。
-
String
-
Number
-
Boolean
-
Object
-
Function
-
Array
-
Date
-
RegExp
-
Error
如果你依照和其他语言的相似性来看的话,比如Java语言的String类,这些内建类型有着实际类型的外观,甚至是类(class)的外观,
但是在JS中,它们实际上仅仅是内建的函数。这些内建函数的每一个都可以被用作构造器(也就是,一个函数可以和new操作符一起调用——参照第二章),其结果是一个新 构建 的相应子类型的对象。比如:
我们会在本章稍后详细地看到Object.prototype.toString...到底是如何工作的,但简单地说,我们可以通过借用基本的默认toString()方法来考察子类型的内部,而且你可以看到它揭示了strObject实际上是由String构造器创建的对象。
基本类型值"I am a string"不是一个对象,它是一个不可变的基本字面值。为了对它进行操作,比如检查它的长度,访问它的各个独立字符内容等等,都需要一个String对象。
幸运的是,在必要的时候语言会自动地将"string"基本类型转换为String对象类型,这意味着你几乎从不需要明确地创建对象。主流的JS社区都 强烈推荐 尽可能地使用字面形式的值,而非使用构造的对象形式。
考虑下面的代码:
在这两个例子中,我们在字符串的基本类型上调用属性和方法,引擎会自动地将它转换为String对象,所以这些属性/方法的访问可以工作。
当使用如42.359.toFixed(2)这样的方法时,同样的转换也发生在数字基本字面量42和包装对象new Nubmer(42)之间。同样的还有Boolean对象和"boolean"基本类型。
null和undefined没有对象包装的形式,仅有它们的基本类型值。相比之下,Date的值 仅可以 由它们的构造对象形式创建,因为它们没有对应的字面形式。
无论使用字面还是构造形式,Object,Array,Function,和RegExp(正则表达式)都是对象。在某些情况下,构造形式确实会比对应的字面形式提供更多的创建选项。因为对象可以被任意一种方式创建,更简单的字面形式几乎是所有人的首选。仅仅在你需要使用额外的选项时使用构建形式。
Error对象很少在代码中明示地被创建,它们通常在抛出异常时自动地被创建。它们可以由new Error(..)构造形式创建,但通常是不必要的。
内容
正如刚才提到的,对象的内容由存储在特定命名的 位置 上的(任意类型的)值组成,我们称这些值为属性。
有一个重要的事情需要注意:当我们说“内容”时,似乎暗示这这些值 实际上 存储在对象内部,但那只不过是表面现象。引擎会根据自己的实现来存储这些值,而且通常都不是把它们存储在容器对象 内部。在容器内存储的是这些属性的名称,它们像指针(技术上讲,叫 引用(reference))一样指向值存储的地方。
考虑下面的代码:
为了访问在myObject在 位置 a的值,我们需要使用.或[ ]操作符。.a语法通常称为“属性(property)”访问,而["a"]语法通常称为“键(key)”访问。在现实中,它们俩都访问相同的 位置,而且会拿出相同的值,2,所以这些术语可以互换使用。从现在起,我们将使用最常见的术语——“属性访问”。
两种语法的主要区别在于,.操作符后面需要一个标识符(Identifier)兼容的属性名,而[".."]语法基本可以接收任何兼容UTF-8/unicode的字符串作为属性名。举个例子,为了引用一个名为“Super-Fun!”的属性,你不得不使用["Super-Fun!"]语法访问,因为Super-Fun!不是一个合法的Identifier属性名。
而且,由于[".."]语法使用字符串的 值 来指定位置,这意味着程序可以动态地组建字符串的值。比如:
在对象中,属性名 总是 字符串。如果你使用字符串以外(基本)类型的值,它会首先被转换为字符串。这甚至包括在数组中常用于索引的数字,所以要小心不要将对象和数组使用的数字搞混了。
计算型属性名
如果你需要将一个计算表达式 作为 一个键名称,那么我们刚刚描述的myObject[..]属性访问语法是十分有用的,比如myObject[prefix + name]。但是当使用字面对象语法声明对象时则没有什么帮助。
ES6加入了 计算型属性名,在一个字面对象声明的键名称位置,你可以指定一个表达式,用[ ]括起来:
计算型属性名 的最常见用法,可能是用于ES6的Symbol,我们将不会在本书中涵盖关于它的细节。简单地说,它们是新的基本数据类型,拥有一个不透明不可知的值(技术上讲是一个string值)。你将会被强烈地不鼓励使用一个Symbol的 实际值 (这个值理论上会因JS引擎的不同而不同),所以Symbol的名称,比如Symbol.Something(这是个瞎编的名称!),才是你会使用的:
属性(Property) vs. 方法(Method)
有些开发者喜欢在讨论对一个对象的属性访问时做一个区别,如果这个被访问的值恰好是一个函数的话。因为这诱使人们认为函数 属于 这个对象,而且在其他语言中,属于对象(也就是“类”)的函数被称作“方法”,所以相对于“属性访问”,我们常能听到“方法访问”。
有趣的是,语言规范也做出了同样的区别。
从技术上讲,函数绝不会“属于”对象,所以,说一个对象的引用上刚好被访问的函数自动是一个“方法”,看起来有些像是延伸了语义。
有些函数确实拥有this引用,而且 有时 这些this引用指向调用点的对象引用。但这个用法真的没有使这个函数比其他函数更像“方法”,因为this是在运行时在调用点动态绑定的,这使得它与这个对象的关系至多是间接的。
每次你访问一个对象的属性都是一个 属性访问,无论你得到什么类型的值。如果你 恰好 从属性访问中得到一个函数,它也没有魔法般地在那时成为一个“方法”。一个从属性访问得来的函数没有任何特殊性(隐式this绑定之外的可能性在刚才已经解释过了)。
举个例子:
someFoo和myObject.someFoo只不过是同一个函数的两个分离的引用,它们中的任何一个都不意味着这个函数很特别或被其他对象所“拥有”。如果上面的foo()定义里面拥有一个this引用,那么myObject.someFoo的 隐式绑定 将会是这个两个引用间 唯一 可以观察到的不同。它们中的任何一个都没有称为“方法”的道理。
也许有人会争辩,函数 变成了方法,不是在定义期间,而是在调用的执行期间,根据它是如何在调用点被调用的(是否带有一个环境对象引用 —— 细节见第二章)。甚至这种解读也有些牵强。
可能最安全的结论是,在JavaScript中,“函数”和“方法”是可以互换使用的。
注意: ES6加入了super引用,它通常是和class(见附录A)一起使用的。super的行为方式(静态绑定,而非动态绑定),给了这种说法更多的权重:一个super绑定到某处的函数比起“函数”更像一个“方法”。但是同样地,这仅仅是微妙的语义上的(和机制上的)细微区别。
就算你声明一个函数表达式作为字面对象的一部分,那个函数都不会魔法般地 属于 这个对象——仍然仅仅是同一个函数对象的多个引用罢了。
注意: 在第六章中,我们会为字面对象的foo: function foo(){ .. }声明语法介绍一种ES6的简化语法。
数组
数组也使用[ ]访问形式,但正如上面提到的,在存储值的方式和位置上它们的组织更加结构化(虽然仍然在存储值的类型上没有限制)。数组采用 数字索引,这意味着值被存储的位置,通常称为 下标,是一个非负整数,比如0和42。
数组也是对象,所以即便每个索引都是正整数,你还可以在数组上添加属性:
注意,添加命名属性(不论是使用.还是[ ]操作符语法)不会改变数组的length所报告的值。
你 可以 把一个数组当做普通的键/值对象使用,并且从不添加任何数字下标,但这不是好主意,因为数组对它本来的用途有特定的行为和优化,正如普通对象那样。使用对象来存储键/值对,而用数组在数字下标上存储值。
小心: 如果你试图在一个数组上添加属性,但是属性名 看起来 像一个数字,那么最终它会成为一个数字索引(也就是改变了数组的内容):
复制对象
当开发者们初次拿起Javascript语言时,最常需要的特性就是如何复制一个对象。看起来应该有一个内建的copy()方法,对吧?但是事情实际上比这复杂一些,因为在默认情况下,复制的算法应当是什么,并不明确。
比如,考虑这个对象:
一个myObject的 拷贝 究竟应该怎么表现?
首先,我们应该回答它是一个 浅(shallow) 还是一个 深(deep) 拷贝?一个 浅拷贝(shallow copy) 会得到一个新对象,它的a是值2的拷贝,但b,c和d属性仅仅是引用,它们指向被拷贝对象中引用的相同位置。一个 深拷贝(deep copy) 将不仅复制myObject,还会复制anotherObject和anotherArray。但之后我们让anotherArray拥有anotherObject和myObject的引用,所以 那些 也应当被复制而不是仅保留引用。现在由于循环引用,我们得到了一个无限循环复制的问题。
我们应当检测循环引用并打破循环遍历吗(不管位于深处的,没有完全复制的元素)?我们应当报错退出吗?或者介于两者之间?
另外,“复制”一个函数意味着什么,也不是很清楚。有一些技巧,比如提取一个函数源代码的toString()序列化表达(这个源代码会因实现不同而不同,而且根据被考察的函数的类型,其结果甚至在所有引擎上都不可靠)。
那么我们如何解决所有这些刁钻的问题?不同的JS框架都各自挑选自己的解释并且做出自己的选择。但是哪一种(如果有的话)才是JS应当作为标准采用的呢?长久以来,没有明确答案。
一个解决方案是,JSON安全的对象(也就是,可以被序列化为一个JSON字符串,之后还可以被重新变换为拥有相同的结构和值的对象)可以简单地这样 复制:
当然,这要求你保证你的对象是JSON安全的。对于某些情况,这没什么大不了的。而对另一些情况,这还不够。
同时,浅拷贝相当易懂,而且没有那么多问题,所以ES6为此任务已经定义了Object.assign(..)。Object.assign(..)接收 目标 对象作为第一个参数,然后是一个或多个 源 对象作为后续参数。它会在 源 对象上迭代所有的 可枚举(enumerable),owned keys(直接拥有的键),并把它们拷贝到 目标 对象上(仅通过=赋值)。它还会很方便地返回 目标 对象,正如下面你可以看到的:
注意: 在下一部分中,我们将讨论“属性描述符(property descriptors)”并展示Object.defineProperty(..)的使用。然而在Object.assign(..)中发生的复制是单纯的=式赋值,所以任何在源对象属性的特殊性质(比如writable)在目标对象上 都不会保留 。
属性描述符(Property Descriptors)
在ES5之前,JavaScript语言没有给出直接的方法,让你的代码可以考察或描述属性的性质间的区别,比如属性是否为只读。
在ES5中,所有的属性都用 属性描述符(Property Descriptors) 来描述。
考虑这段代码:
正如你所见,我们普通的对象属性a的属性描述符(称为“数据描述符”,因为它仅持有一个数据值)的内容要比value为2多得多。它还包含另外3个性质:writable,enumerable,和configurable。
当我们创建一个普通属性时,可以看到属性描述符的各种性质的默认值,我们可以用Object.defineProperty(..)来添加新属性,或使用期望的性质来修改既存的属性(如果它是configurable的!)。
举例来说:
使用defineProperty(..),我们手动明确地在myObject上添加了一个直白的,普通的a属性。然而,你通常不会使用这种手动方法,除非你想要把描述符的某个性质修改为不同的值。
可写性(Writable)
writable控制着你改变属性值的能力。
考虑这段代码:
如你所见,我们对value的修改悄无声息地失败了。如果我们在strict mode下进行尝试,会得到一个错误:
这个TypeError告诉我们,我们不能改变一个不可写属性。
注意: 我们一会儿就会讨论getters/setters,但是简单地说,你可以观察到writable:false意味着值不可改变,和你定义一个空的setter是有些等价的。实际上,你的空setter在被调用时需要扔出一个TypeError,来和writable:false保持一致。
可配置性(Configurable)
只要属性当前是可配置的,我们就可以使用同样的defineProperty(..)工具,修改它的描述符定义。
最后的defineProperty(..)调用导致了一个TypeError,这与strict mode无关,如果你试图改变一个不可配置属性的描述符定义,就会发生TypeError。要小心:如你所看到的,将configurable设置为false是 一个单向操作,不可撤销!
注意: 这里有一个需要注意的微小例外:即便属性已经是configurable:false,writable总是可以没有错误地从true改变为false,但如果已经是false的话不能变回true。
configurable:false阻止的另外一个事情是使用delete操作符移除既存属性的能力。
如你所见,最后的delete调用失败了(无声地),因为我们将a属性设置成了不可配置。
delete仅用于直接从目标对象移除该对象的属性(可以被移除的属性)。如果一个对象的属性是某个其他对象/函数的最后一个现存的引用,而你delete了它,那么这就移除了这个引用,于是现在那个没有被任何地方引用的对象/函数就可以被作为垃圾回收。但是,将delete当做一个像其他语言(如C/C++)中那样的释放内存工具是不正确的。delete仅仅是一个对象属性移除操作——没有更多别的含义。
可枚举性(Enumerable)
我们将要在这里提到的最后一个描述符性质是enumerable(还有另外两个,我们将在一会儿讨论getter/setters时谈到)。
它的名称可能已经使它的功能很明显了,这个性质控制着一个属性是否能在特定的对象属性枚举操作中出现,比如for..in循环。设置为false将会阻止它出现在这样的枚举中,即使它依然完全是可以访问的。设置为true会使它出现。
所有普通的用户定义属性都默认是可enumerable的,正如你通常希望的那样。但如果你有一个特殊的属性,你想让它对枚举隐藏,就将它设置为enumerable:false。
我们一会儿就更加详细地演示可枚举性,所以在大脑中给这个话题上打一个书签。
不可变性(Immutability)
有时我们希望将属性或对象(有意或无意地)设置为不可改变的。ES5用几种不同的微妙方式,加入了对此功能的支持。
一个重要的注意点是:所有 这些方法都创建的是浅不可变性。也就是,它们仅影响对象和它的直属属性的性质。如果对象拥有对其他对象(数组,对象,函数等)的引用,那个对象的 内容 不会受影响,任然保持可变。
在这段代码中,我们假想myImmutableObject已经被创建,而且被保护为不可变。但是,为了保护myImmutableObject.foo的内容(也是一个对象——数组),你将需要使用下面的一个或多个方法将foo设置为不可变。
注意: 在JS程序中创建完全不可动摇的对象是不那么常见的。有些特殊情况当然需要,但作为一个普通的设计模式,如果你发现自己想要 封印(seal) 或 冻结(freeze) 你所有的对象,那么你可能想要退一步来重新考虑你的程序设计,让它对对象值的潜在变化更加健壮。
对象常量(Object Constant)
通过将writable:false与configurable:false组合,你可以实质上创建了一个作为对象属性的 常量(不能被改变,重定义或删除),比如:
防止扩展(Prevent Extensions)
如果你想防止一个对象被添加新的属性,但另一方面保留其他既存的对象属性,调用Object.preventExtensions(..):
在非-strict mode模式下,b的创建会无声地失败。在strict mode下,它会抛出TypeError。
封印(Seal)
Object.seal(..)创建一个“封印”的对象,这意味着它实质上在当前的对象上调用Object.preventExtensions(..),同时也将它所有的既存属性标记为configurable:false。
所以,你既不能添加更多的属性,也不能重新配置或删除既存属性(虽然你依然 可以 修改它们的值)。
冻结(Freeze)
Object.freeze(..)创建一个冻结的对象,这意味着它实质上在当前的对象上调用Object.seal(..),同时也将它所有的“数据访问”属性设置为writable:false,所以他们的值不可改变。
这种方法是你可以从对象自身获得的最高级别的不可变性,因为它阻止任何对对象或对象的直属属性的改变(虽然,如上面提到的,任何被引用的对象的内容不受影响)。
你可以“深度冻结”一个对象:在这个对象上调用Object.freeze(..),然后递归地迭代所有它引用的对象(目前还没有受过影响的),然后在它们上也调用Object.freeze(..)。但是要小心,这可能会影响其他(共享的)你并不打算影响的对象。
[[Get]]
关于属性访问如何工作有一个重要的细节。
考虑下面的代码:
myObject.a是一个属性访问,但是它并不是看起来那样,仅仅在myObject中寻找一个名为a的属性。
根据语言规范,上面的代码实际上在myObject上执行了一个[[Get]]操作(有些像[[Get]]()函数调用)。对一个对象进行默认的内建[[Get]]操作,会 首先 检查对象,寻找一个拥有被请求的名称的属性,如果找到,就返回相应的值。
然而,如果按照被请求的名称 没能 找到属性,[[Get]]的算法定义了另一个重要的行为。我们会在第五章来解释 接下来 会发生什么(遍历[[Prototype]]链,如果有的话)。
但[[Get]]操作的一个重要结果是,如果它通过任何方法都不能找到被请求的属性的值,那么它会返回undefined。
这个行为和你通过标识符名称来引用 变量 不同。如果你引用了一个在可用的词法作用域内无法解析的变量,其结果不是像对象属性那样返回undefined,而是抛出ReferenceError。
从 值 的角度来说,这两个引用没有区别——它们的结果都是undefined。然而,在[[Get]]操作的底层,虽然不明显,但是比起处理引用myObject.a,处理myObject.b的操作要多做一些潜在的工作。
如果仅仅考察结果的值,你无法分辨一个属性是存在并持有一个undefined值,还是因为属性根本 不 存在所以[[Get]]无法返回某个特定值而返回默认的undefined。但是,你很快就能看到你其实 可以 分辨这两种场景。
[[Put]]
既然为了从一个属性中取得值而存在一个内部定义的[[Get]]操作,那么很明显应该也存在一个默认的[[Put]]操作。
这很容易让人认为,给一个对象的属性赋值,将会在这个对象上调用[[Put]]来设置或创建这个属性。但是实际情况却有一些微妙的不同。
调用[[Put]]时,它根据几个因素表现不同的行为,包括(影响最大的)属性是否已经在对象中存在了。
如果属性存在,[[Put]]算法将会大致检查:
-
这个属性是访问器描述符吗(见下一节"Getters 与 Setters")?如果是,而且是setter,就调用setter。
-
这个属性是writable为false数据描述符吗?如果是,在非strict mode下无声地失败,或者在strict mode下抛出TypeError。
-
否则,像平常一样设置既存属性的值。
如果属性在当前的对象中不存在,[[Put]]操作会变得更微妙和复杂。我们将在第五章讨论[[Prototype]]时再次回到这个场景,更清楚地解释它。
Getters 与 Setters
对象默认的[[Put]]和[[Get]]操作分别完全控制着如何设置既存或新属性的值,和如何取得既存属性。
注意: 使用较先进的语言特性,覆盖整个对象(不仅是每个属性)的默认[[Put]]和[[Get]]操作是可能的。这超出了我们要在这本书中讨论的范围,但我们会在后面的“你不懂JS”系列中涵盖此内容。
ES5引入了一个方法来覆盖这些默认操作的一部分,但不是在对象级别而是针对每个属性,就是通过getters和setters。Getter是实际上调用一个隐藏函数来取得值的属性。Setter是实际上调用一个隐藏函数来设置值的属性。
当你将一个属性定义为拥有getter或setter或两者兼备,那么它的定义就成为了“访问器描述符”(与“数据描述符”相对)。对于访问器描述符,它的value和writable性质没有意义而被忽略,取而代之的是JS将会考虑属性的set和get性质(还有configurable和enumerable)。
考虑下面的代码:
不管是通过在字面对象语法中使用get a() { .. },还是通过使用defineProperty(..)明确定义,我们都在对象上创建了一个没有实际持有值的属性,访问它们将会自动地对getter函数进行隐藏的函数调用,其返回的任何值就是属性访问的结果。
因为我们仅为a定义了一个getter,如果之后我们试着设置a的值,赋值操作并不会抛出错误而是无声地将赋值废弃。就算这里有一个合法的setter,我们的自定义getter将返回值硬编码为仅返回2,所以赋值操作是没有意义的。
为了使这个场景更合理,正如你可能期望的那样,每个属性还应当被定义一个覆盖默认[[Put]]操作(也就是赋值)的setter。几乎可确定,你将总是想要同时声明getter和setter(仅有它们中的一个经常会导致以外的行为):
注意: 在这个例子中,我们实际上将赋值操作([[Put]]操作)指定的值2存储到了另一个变量_a_中。_a_这个名称只是用在这个例子中的单纯的惯例,并不意味着它的行为有什么特别之处——它和其他普通属性没有区别。
存在性(Existence)
我们早先看到,像myObject.a这样的属性访问可能会得到一个undefined值,无论是它明确存储着undefined还是属性a根本就不存在。那么,如果这两种情况的值相同,我们还怎么区别它们呢?
我们可以查询一个对象是否拥有特定的属性,而不必取得那个属性的值:
in操作符会检查属性是否存在于对象 中,或者是否存在于[[Prototype]]链对象遍历的更高层中(详见第五章)。相比之下,hasOwnProperty(..) 仅仅 检查myObject是否拥有属性,但 不会 查询[[Prototype]]链。我们会在第五章详细讲解[[Prototype]]时,回来讨论这个两个操作重要的不同。
通过委托到Object.prototype,所有的普通对象都可以访问hasOwnProperty(..)(详见第五章)。但是创建一个不链接到Object.prototype的对象也是可能的(通过Object.create(null)——详见第五章)。这种情况下,像myObject.hasOwnProperty(..)这样的方法调用将会失败。
在这种场景下,一个进行这种检查的更健壮的方式是Object.prototype.hasOwnProperty.call(myObject,"a"),它借用基本的hasOwnProperty(..)方法而且使用 明确的this绑定(详见第二章)来对我们的myObject实施这个方法。
注意: in操作符看起来像是要检查一个值在容器中的存在性,但是它实际上检查的是属性名的存在性。在使用数组时注意这个区别十分重要,因为我们会有很强的冲动来进行4 in [2, 4, 6]这样的检查,但是这总是不像我们想象的那样工作。
枚举(Enumeration)
先前,在学习enumerable属性描述符性质时,我们简单地解释了"可枚举性(enumerability)"的含义。现在,让我们来更加详细地重新审视它。
你会注意到,myObject.b实际上 存在,而且拥有可以访问的值,但是它不出现在for..in循环中(然而令人诧异的是,它的in操作符的存在性检查通过了)。这是因为“enumerable”基本上意味着“如果对象的属性被迭代时会被包含在内”。
注意: 将for..in循环实施在数组上可能会给出意外的结果,因为枚举一个数组将不仅包含所有的数字下标,还包含所有的可枚举属性。所以一个好主意是:将for..in循环 仅 用于对象,而为存储在数组中的值使用传统的for循环并用数字索引迭代。
意外一个可以区分可枚举和不可枚举属性的方法是:
propertyIsEnumerable(..)测试一个给定的属性名是否直 接存 在于对象上,并且是enumerable:true。
Object.keys(..)返回一个所有可枚举属性的数组,而Object.getOwnPropertyNames(..)返回一个 所有 属性的数组,不论能不能枚举。
in和hasOwnProperty(..)区别于它们是否查询[[Prototype]]链,而Object.keys(..)和Object.getOwnPropertyNames(..)都 只 考察直接给定的对象。
(当下)没有与in操作符的查询方式(在整个[[Prototype]]链上遍历所有的属性,如我们在第五章解释的)等价的,内建的方法可以得到一个 所有属性 的列表。你可以近似地模拟一个这样的工具:递归地遍历一个对象的[[Prototype]]链,在每一层都从Object.keys(..)中取得一个列表——仅包含可枚举属性。
迭代(Iteration)
for..in循环迭代一个对象上(包括它的[[Prototype]]链)所有的可迭代属性。但如果你想要迭代值呢?
在数字索引的数组中,典型的迭代所有的值的办法是使用标准的for循环,比如:
但是这并没有迭代所有的值,而是迭代了所有的下标,然后由你使用索引来引用值,比如myArray[i]。
ES5还为数组加入了几个迭代帮助方法,包括forEach(..),every(..),和some(..)。这些帮助方法的每一个都接收一个回调函数,这个函数将施用于数组中的每一个元素,仅在如何响应回调的返回值上有所不同。
forEach(..)将会迭代数组中所有的值,并且忽略回调的返回值。every(..)会一直迭代到最后,或者 当回调返回一个false(或“falsy”)值,而some(..)会一直迭代到最后,或者 当回调返回一个true(或“truthy”)值。
这些在every(..)和some(..)内部的特殊返回值有些像普通for循环中的break语句,它们可以在迭代执行到末尾之前将它结束掉。
如果你使用for..in循环在一个对象上进行迭代,你也只能间接地得到值,因为它实际上仅仅迭代对象的所有可枚举属性,让你自己手动地去访问属性来得到值。
注意: 与以有序数字的方式(for循环或其他迭代器)迭代数组的下标比较起来,迭代对象属性的顺序是 不确定 的,而且可能会因JS引擎的不同而不同。对于需要跨平台环境保持一致性的问题,不要依赖 观察到的顺序,因为这个顺序是不可靠的。
但是如果你想直接迭代值,而不是数组下标(或对象属性)呢?ES6加入了一个有用的for..of循环语法,用来迭代数组(和对象,如果这个对象有定义的迭代器):
for..of循环要求被迭代的 东西 提供一个迭代器对象(从一个在语言规范中叫做@@iterator的默认内部函数那里得到),每次循环都调用一次这个迭代器对象的next()方法,循环迭代的内容就是这些连续的返回值。
数组拥有内建的@@iterator,所以正如展示的那样,for..of对于它们很容易使用。但是让我们使用内建的@@iterator来手动迭代一个数组,来看看它是怎么工作的:
注意: 我们使用一个ES6的Symbol:Symbol.iterator来取得一个对象的@@iterator 内部属性。我们在本章中简单地提到过Symbol的语义(见“计算型属性名”),同样的原理适用这里。你总是希望通过Symbol名称引用,而不是它可能持有的特殊的值,来引用这样特殊的属性。同时,与这个名称的含义无关,@@iterator本身 不是迭代器对象, 而是一个返回迭代器对象的 方法 ——一个重要的细节!
正如上面的代码段揭示的,迭代器的next()调用的返回值是一个{ value: .. , done: .. }形式的对象,其中value是当前迭代的值,而done是一个boolean,表示是否还有更多内容可以迭代。
注意值3和done:false一起返回,猛地一看会有些奇怪。你不得不第四次调用next()(在前一个代码段的for..of循环会自动这样做)来得到done:true,而使自己知道迭代已经完成。这个特别之处的原因超出了我们要在这里讨论的范围,但是它来自于ES6生成器函数的语义。
虽然数组可以在for..of循环中自动迭代,但普通的对象 没有内建的@@iterator。这种故意省略的原因要比我们将在这里解释的更复杂,但一般来说,为了未来的对象类型,最好不要加入那些可能最终被证明是麻烦的实现。
但是 可以 为你想要迭代的对象定义你自己的默认@@iterator。比如:
注意: 我们使用了Object.defineProperty(..)来自定义我们的@@iterator(很大程度上是因为我们可以将它指定为不可枚举的),但是通过将Symbol作为一个 计算型属性名(在本章前面的部分讨论过),我们也可以直接声明它,比如var myObject = { a:2, b:3, [Symbol.iterator]: function(){ /* .. */ } }。
每次for..of循环在myObject的迭代器对象上调用next()时,迭代器内部的指针将会向前移动并返回对象属性列表的下一个值(关于对象属性/值迭代顺序,参照前面的注意事项)。
我们刚刚演示的迭代,是一个简单的一个值一个值的迭代,当然你可以为你的自定义数据结构定义任意复杂的迭代方法,只要你觉得合适。对于操作用自户定义对象来说,自定义迭代器与ES6的for..of循环相组合,是一个新的强大的语法工具。
举个例子,一个Pixel(像素)对象列表(拥有x和y的坐标值)可以根据距离原点(0,0)的直线距离决定它的迭代顺序,或者过滤掉那些“太远”的点,等等。只要你的迭代器从next()调用返回期望的{ value: .. }返回值,并在迭代结束后返回一个{ done: true }值,ES6的for..of循环就可以迭代它。
其实,你甚至可以生成一个永远不会“结束”,并且总会返回一个新值(比如随机数,递增值,唯一的识别符等等)的“无穷”迭代器,虽然你可能不会将这样的迭代器用于一个没有边界的for..of循环,因为它永远不会结束,而且会阻塞你的程序。
这个迭代器会“永远”生成随机数,所以我们小心地仅从中取出100个值,以使我们的程序不被阻塞。
复习
JS中的对象拥有字面形式(比如var a = { .. }),和构造形式(比如var a = new Array(..))。字面形式几乎总是首选,但在某些情况下,构造形式提供更多的构建选项。
许多人错误地声称“Javascript中的一切都是对象”,这是不对的。对象是6种(或7中,看你从哪个方面说)基本类型之一。对象有子类型,包括function,还可以被行为特化,比如[object Array]作为内部的标签表示子类型数组。
对象是键/值对的集合。通过.propName或["propName"]语法,值可以作为属性访问。不管属性什么时候被访问,引擎实际上会调用内部默认的[[Get]]操作(在设置值时调用[[Put]]操作),它不仅直接在对象上查找属性,在没有找到时还会遍历[[Prototype]]链(见第五章)。
属性有一些可以通过属性描述符控制的特定性质,比如writable和configurable。另外,对象拥有它的不可变性(它们的属性也有),可以通过使用Object.preventExtensions(..),Object.seal(..),和Object.freeze(..)来控制几种不同等级的不可变性。
属性不必非要包含值——它们也可以是带有getter/setter的“访问器属性”。它们也可以是可枚举或不可枚举的,这控制它们是否会在for..in这样的循环迭代中出现。
你也可以使用ES6的for..of语法,在数据结构(数组,对象等)中迭代 值,它寻找一个内建或自定义的@@iterator对象,这个对象由一个next()方法组成,通过这个next()方法每次迭代一个数据。