js原型和原型链[转]

Posted 2020-09-11 张小雪、

附上原文出处：http://hzjavaeyer.group.iteye.com/group/wiki/3086-javascript-core-concepts

 

一、概念：

原型对象：JavaScript对象是一个属性的集合，另外有一个隐式的对象：原型对象。原型的值可以是一个对象或者null。一般的引擎实现中，JS对象会包含若干个隐藏属性，对象的原型由这些隐藏属性之一引用，我们在本文中讨论时，将假定这个属性的名称为"__proto__"(事实上，SpiderMonkey内部正是使用了这个名称，但是规范中并未做要求，因此这个名称依赖于实现)。

原型链：由于原型对象本身也是对象，根据上边的定义，它也有自己的原型，而它自己的原型对象又可以有自己的原型，这样就组成了一条链，这个就是原型链，JavaScritp引擎在访问对象的属性时，如果在对象本身中没有找到，则会去原型链中查找，如果找到，直接返回值，如果整个链都遍历且没有找到属性，则返回undefined.原型链一般实现为一个链表，这样就可以按照一定的顺序来查找。

 

二、实例：

No1：

 1 var base = {
 2     name : "base",
 3     getInfo : function(){
 4        return this.name;
 5     }
 6 }
 7  
 8 var ext1 = {
 9     id : 0,
10     __proto__ : base
11 }
12  
13 var ext2 = {
14     id : 9,
15     __proto__ : base
16 }
17  
18 print(ext1.id);
19 print(ext1.getInfo());
20 print(ext2.id);
21 print(ext2.getInfo());

结果为：

0
base
9
base

 

图1：上例中对象的原型链

可以看到，当执行ext1.id时，引擎在ext1对象本身中就找到了id属性，因此返回其值0，当执行ext1.getInfo时，ext1对象中没有找到，因此在其原型对象base中查找，找到之后，执行这个函数，得到输出”base”。

 

我们将上例中的ext1对象稍加修改，为ext1对象加上name属性：

NO2：

 1 var base = {
 2     name : "base",
 3     getInfo : function(){
 4        return this.name;
 5     }
 6 }
 7  
 8 var ext1 = {
 9     id : 0,
10     name : "ext1",   
11     __proto__ : base
12 }
13  
14 print(ext1.id);
15 print(ext1.getInfo());

可以得到：

0
ext1

这个运行效果同样验证了原型链的运行机制：从对象本身出发，沿着__proto__查找，直到找到属性名称相同的值(没有找到，则返回undefined)。

 

我们对上例再做一点修改，来更好的演示原型链的工作方式：

NO3：

 1 var base = {
 2     name : "base",
 3     getInfo : function(){
 4        return this.id + ":" + this.name;
 5     }
 6 }
 7  
 8 var ext1 = {
 9     id : 0,
10     __proto__ : base
11 }
12  
13 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”，标志着原型链的终结。

 

三、构造器：

我们在来讨论一下构造器，除了上边提到的直接操作对象的__proto__属性的指向以外，JavaScript还支持构造器形式的对象创建。构造器会自动的为新创建的对象设置原型对象，此时的原型对象通过构造器的prototype属性来引用。

 

我们以例子来说明，将Task函数作为构造器，然后创建两个实例task1, task2：

 1 function Task(id){
 2     this.id = id;
 3 }
 4  
 5 Task.prototype.status = "STOPPED";
 6 Task.prototype.execute = function(args){
 7     return "execute task_"+this.id+"["+this.status+"]:"+args;
 8 }
 9  
10 var task1 = new Task(1);
11 var task2 = new Task(2);
12  
13 task1.status = "ACTIVE";
14 task2.status = "STARTING";
15  
16 print(task1.execute("task1"));
17 print(task2.execute("task2"));

结果：

execute task_1[ACTIVE]:task1
execute task_2[STARTING]:task2

构造器会自动为task1,task2两个对象设置原型对象Task.prototype，这个对象被Task(在此最为构造器)的prototype属性引用，参看下图中的箭头指向。

 

图2：构造器方式的原型链

由于Task本身仍旧是函数，因此其”__proto__”属性为Function.prototype, 而内建的函数原型对象的”__proto__”属性则为Object.prototype对象。最后Obejct.prototype的”__proto__”值为null.