好好理解一下JavaScript中的原型
目录
table of contents generated with doctoc
一、参考书籍和数据
翻看了几本js书籍,其中主要有以下几本:《javascript高级程序设计第三版》、《你不知道的javascript卷一》、《javascript权威指南》以及查看了mdn文档。文章主要说了javascript中原型的一些概念知识,花了一点时间去总结,如任何问题的话可以提出来一起交流解决。文章中的图大多是从网络和书中截取下来,并非本人原创。
二、原型,[[prototype]]和.prototype以及constructor
结合书中的概念,原型是什么这个问题,可以这样去解释:原型就是一个引用(也就是指针),指向原型对象。这并不是废话,很多人说原型,实际上没意识到它只是一个引用,指向原型对象。原型在实例对象和构造函数中有不同的名称属性,但总是指向原型对象。如图所示:
- 其中的constructor是原型对象的属性,引用的是对象关联的函数,不可枚举,但这个属性是可以修改的,因此不可靠。
- 在实例对象中,原型就是对象的
[[prototype]]
内置属性(双方括号代表这是javascript引擎内部使用的属性/方法,正常js代码无法访问,但可以通过__proto__
访问到,后面会说到),在对象被创建时就包含了该属性,指向它的构造函数的原型对象。 - 在函数中,原型就是函数的
.prototype
属性,在函数被创建时就包含该属性,指向构造函数的原型对象 。
三、原型链
要理解原型链,首先需要明白原型对象的作用就是让所有实例对象共享它的属性和方法。根据上图,不难发现,person1和person2中的内部属性[[prototype]]都指向person原型对象。当进行对象属性查找的时候,比如person1.name,首先会检查对象本身是否有这个属性,如果没有就继续去查找该对象[[prototype]]指向的原型对象中是否有该属性,如果还是没有就继续去找这个原型对象的[[prototype]]指向的原型对象(注意,原型对象也是有他自己的[[prototype]]属性的)!这个过程会持续找到匹配的属性名或查找完整的原型链
。不难理解了,原型链就是:每个实例对象( object )都有一个私有属性(称之为[[prototype]])指向它的构造函数的原型对象(prototype )。该原型对象也有一个自己的原型对象( [[prototype]] ) ,层层向上直到一个对象的原型对象为object.prototype
(因为所有对象都是源于object.prototype,其中包含许多通用的功能方法)。显然,如果找完这个原型链都找不到就会返回undefined。这个过程可以用一张图描述:
显然,原型和原型链的作用就是:如果对象上没有知道需要的属性和方法引用,js引擎就会继续在[[prototype]]关联的对象上进行查找。这也是原型和原型链存在的意义。
for...in和in操作符
两个跟原型链有关的操作
- for...in遍历对象时,任何可以通过原型链访问到的(并且是enumerable为true)属性都会被枚举。
- in操作符用于检测属性在对象中是否存在,同样是会查找整条原型链。
function person(name){ this.name = name; } person.prototype.sayname = function() { return this.name; } let myobject = new person('练习生'); // 输出两个属性:name和sayname,其中sayname是原型对象中的属性 for(let key in myobject) { console.log(key); } // 输出true,表示不可枚举的constructor存在于myobject中。 // 事实上constructor是在person.prototype对象中 console.log("constructor" in myobject);
四、属性设置和屏蔽
给对象设置属性并不仅仅是添加一个属性或修改已有属性。这个过程应该是这样的:
// myobject的声明在第一个代码块 // 注意:sayname在person.prototype中存在,将屏蔽原型链上的sayname方法 myobject.sayname = function() { return `my name is:${this.name}`; } // 注意:age在myobject的整个原型链都不存在,将在实例中新建age属性 myobject.age = 23; // 完成上述对myobject属性的设置,再新建一个对象 let myobject_1 = new person('james'); // 查找myobject的属性和方法 myobject.age; //23 myobject.sayname(); // my name is: bob // 查找myobject_1的属性和方法 myobject.age; // undefined myobject.sayname(); // 'cat'
直接设置实例属性,都会屏蔽原型链上的所有同名属性(前提是属性的writable为 true,并且属性没有setter),并有以下两种情况:
- 当sayname属性不直接存在对象中而存在于原型链上层时,将会在myobjet中直接添加sayname属性,注意它只会阻止访问原型链上层的sayname属性,但不会修改按个属性。
- 当原型链上找不到age,则age直接添加到myobject中。
五、javascript只有对象
在面向对象语言中,类是可以被实例化多次,就像使用模具制作东西一样,对于每一个实例都会重复这个过程。但在javascript中,没有类,没有复制机制。只能创建多个对象,通过它们的内置[[prototype]]关联同一个原型对象。默认情况下,它们是关联的,并非复制,因为是同一个原型对象所以它们之间也不会完全失去联系。
比如说,new person()生成一个对象,同时这个新对象的内置[[prototype]]关联的是person.prototype对象。这里得到了两个对象,它们之间仅仅互相关联,并没有初始化类,如图所示:
这种机制也就是所谓的原型继承。这种person()函数不算是类,它只是利用了函数的prototype属性“模仿类”而已!所以说,javascript没有类只有对象。
六、构造函数和new关键字
文章第一个代码块很容易让人认为person是一个构造函数,因为使用new调用并看到他构造了一个对象。但其实person跟其他普通函数没有什么不同,函数本身不是构造函数,所有的一切只是在函数调用前加了new
关键字!这样就会把这个函数调用变成一个“构造函数调用”。new会劫持所有普通函数并用构造对象的形式去调用它。下面这段代码可以证明这点:
function basefunction() { console.log('not a constructor!'); } let myobject = new basefunction(); // not a constructor. typeof myobject; // object
basefunction是一个普通函数并非构造函数,但通过new调用,却会构造出一个对象。因此,构造函数其实是所有带new的函数调用。
七、模仿类
前面已经明确说过,javascript中只有对象,没有真正的类,但javascript开发者通过下面两种方法可以模拟类,如下代码所示:
function foo(name) { this.name = name; } foo.prototype.myname = function() { return this.name; } let a = new foo('a'); let b = new foo('b'); a.myname(); // a b.myname(); // b
- this.name = name 给每一个new调用构造出来的对象都添加了.name属性(this绑定当前对象),这有点类似面向对象中“类实例封装的数据值”。
- foo.prototype.myname = ...,给原型对象添加方法,那么通过该构造函数调用创建的实例就能共享原型对象的方法和属性。因此,a.myname和b.myname都可以正常工作,这有点类似面向对象中的什么?这点我还不知道,反正就是面向对象设计模式的一种。有知道的可以留言告诉我。
八、对constructor的错误理解
接上面的代码所示,如果继续运行a.constructor === foo,返回的是true,因此有这种错误观点:对象由foo构造。现在是时候把这个错误观点改过来了。constructor是存在于foo.prototype中,a对象只是[[prototype]]委托找到constructor!这和构造毫无关系,下面代码可以证明这一点:
function foo(){} //将foo的原型对象指向一个空对象 foo.prototype = {}; let a = new foo(); a.constructor === foo; //false a.constructor === object; // true
嗯哼?现在你还敢说constructor表示a由foo构建吗?按照这种错误观点,a.constructor === foo应该返回true!其实constructor在只是创建函数时一个默认属性,指向prototype属性所在的函数。constructor属性时可以被修改的,让原型对象指向新的对象的时候,为了让constructor指向之前的函数,可以手动使用defineproperty方法添加一个不可枚举constructor属性。但真的很麻烦,总而言之不要太信任constructor属性!
九、原型继承
从这张图,可看出三点
- a1/a2到foo.prototype,b1/b2到bar.prototype的委托关联
- bar.prototype到foo.prototype的委托关联
- 箭头由下到上表明这是委托关联而不是复制操作,否则如果是复制操作箭头应该回事由上往下。
下面这段代码是典型的原型继承风格
function foo(name){ this.name = name; } foo.prototype.myname = function() { return this.name; } function bar(name, label) { foo.call(this, name); this.label = label; } // 将新的bar原型对象和foo的原型对象进行关联 bar.prototype = object.create(foo.prototype); bar.prototype.mylabel = function() { return this.label; } let a = new bar("a", "obj a"); a.myname(); a.mylabel();
- 上面代码中,bar.prototype = object.create(foo.prototype)表示创建新的bar.prototype对象并关联到foo.prototype中。注意,这其实是把旧的bar.prototype对象抛弃掉,再引用新的已关联到foo.prototype的对象。
- es6新增
object.setprototypeof(obj1, obj2)
,表示直接将obj1的[[prototype]]关联到为obj2。
以下两行代码都是错误的对象关联做法:
bar.prototype = foo.prototype; bar.prototype = new foo();
- 第一行代码只是让bar的原型对象直接引用foo的原型对象。如果对bar.prototype的属性进行修改,则会影响到foo.prototype本身。
- 第二行代码,在《javascript高级程序设计第三版》的示例代码出现。一开始觉得没问题,后来在《你不知道的javascript》中,它指出是错误的做法,原因是foo函数如果会有一些副作用(比如给this添加数据就很不好),会影响到bar()的实例。
十、类之间的关系
检查一个实例和祖先通常称为反射或内省。在javascript中通常用到
- 使用
a instanceof foo
操作符,instanceof表示的是:在对象a的原型链上是否有指向foo.prototype的对象。注意,instanceof的左侧是对象,右侧是函数。 - 使用
a.isprototypeof(b)
,isprototypeof表示的是:在对象a的整条原型链上是否出现过b。 - 使用
object.getprototypeof(a)
,可以直接得到一个对象a的原型链。
十一、总结
这里例举几点比较重要的概念:
- 进行对象属性查找,首先会在当前对象查找,如果没有就会继续去查找内置[[prototype]]关联的对象,这个原型链会一直到object.prototype,如果还是找不到就返回undefined。
- 构造函数只是函数,没有任何区别,使用new调用函数就是构造函数调用。
- javascript没有类,默认下不会复制,对象之间通过[[prototype]]进行关联,对象关联是原型中很重要的概念!