原型对象与原型链
正如第三章提到的,JavaScript 对象是一个属性的集合,另外有一个隐式的对象:原型对象。原型的值可以是一个对象或者 null。一般的引擎实现中,JS 对象会包含若干个隐 藏属性,对象的原型由这些隐藏属性之一引用,我们在本文中讨论时,将假定这个属性的名 称为"__proto__"(事实上,SpiderMonkey 内部正是使用了这个名称,但是规范中并未做要求,因此这个名称依赖于实现)。
由于原型对象本身也是对象,根据上边的定义,它也有自己的原型,而它自己的原型对象又可以有自己的原型,这样就组成了一条链,这个链就是原型链。
JavaScritp 引擎在访问对象的属性时,如果在对象本身中没有找到,则会去原型链中查找,如果找到,直接返回值,如果整个链都遍历且没有找到属性,则返回 undefined.原 型链一般实现为一个链表,这样就可以按照一定的顺序来查找。
结合下边的例子:
var base = {
name : "base",
getInfo : function(){
return this.name;
}
}
var ext1 = {
id : 0,
__proto__ : base
}
var ext2 = {
id : 9,
__proto__ : base
}
print(ext1.id);
print(ext1.getInfo());
print(ext2.id);
print(ext2.getInfo());
可以得到:
0
base
9
base
图 上例中对象的原型链
可以看到,当执行 ext1.id 时,引擎在 ext1 对象本身中就找到了 id 属性,因此返回其值 0,当执行 ext1.getInfo 时,ext1 对象中没有找到,因此在其原型对象 base 中查找, 找到之后,执行这个函数,得到输出”base”。
我们将上例中的 ext1 对象稍加修改,为 ext1 对象加上 name 属性:
var base = {
name : "base",
getInfo : function(){
return this.name;
}
}
var ext1 = {
id : 0,
name : "ext1",
__proto__ : base
}
print(ext1.id);
print(ext1.getInfo());
可以看到:
0
ext1
这个运行效果同样验证了原型链的运行机制:从对象本身出发,沿着__proto__
查找, 直到找到属性名称相同的值(没有找到,则返回 undefined)。
我们对上例再做一点修改,来更好的演示原型链的工作方式:
var base = {
name : "base",
getInfo : function(){
return this.id + ":" + this.name;
}
}
var ext1 = {
id : 0,
__proto__ : base
}
print(ext1.getInfo());
我们在 getInfo 函数中加入 this.id
,这个 id 在 base 对象中没有定义。同时,删掉了 ext1 对象中的 name 属性,执行结果如下:
0:base
应该注意的是,getInfo 函数中的 this 表示原始的对象,而并非原型对象。上例中的 id 属性来自于 ext1 对象,而 name 来自于 base 对象。这个特性的机制在 10.3 小节再做 讨论。如果对象没有显式的声明自己的”__proto__”属性,这个值默认的设置为 Object.prototype
,而 Object.prototype
的”__proto__”属性的值为”null”,标志着原型链的终结。
{$ activeFileHint $}