不过,我们这样还是遗漏了一点东西——子类不只是继承父类的遗产,还应该有自己的东西,此外,原型继承并没有让子类继承父类的成员与特权成员。这些我们都得手动添加,如类成员,我们可以通过上面的extend方法,特权成员我们可以在子类构造器中,通过apply实现。
function inherit(init, Parent, proto){ function Son(){ Parent.apply(this, argument); //先继承父类的特权成员 init.apply(this, argument); //在执行自己的构造器 } } //由于Object.create是我们伪造的,因此避免使用第二个参数 Son.prototype = Object.create(Parent.prototype,{}); Son.prototype.toString = Parent.prototype.toString; //处理IEbug Son.prototype.valueOf = Parent.prototype.valueOf; //处理IEbug Son.prototype.constructor = Son; //确保构造器正常指向,而不是Object extend(Son, proto) ;//添加子类的特有的原型成员 return Son;
下面,做一组实验,测试下实例的回溯机制。当我们访问对象的一个属性,那么他先寻找其特权成员,如果有同名就返回,没有就找原型,再没有,就找父类的原型...我们尝试将它的原型临时修改下,看它的属性会变成那个。
function A(){ } A.prototype = { aa:1 } var a = new A; console.log(a.aa) ; //=>1 //将它的所有原型都替换掉 A.prototype = { aa:2 } console.log(a.aa); //=>1 //于是我们想到每个实例都有一个constructor方法,指向其构造器 //而构造器上面正好有我们的原型,javascript引擎是不是通过该路线回溯属性呢 function B(){ } B.prototype = { aa:3 } a.constructor = B; console.log(a.aa) //1 表示不受影响
因此类的实例肯定通过另一条通道进行回溯,翻看ecma规范可知每一个对象都有一个内部属性[[prototype]],它保存这我们new它时的构造器所引用的Prototype对象。在标准浏览器与IE11里,它暴露了一个叫__proto__属性来访问它。因此,只要不动__proto__上面的代码怎么动,a.aa始终坚定不毅的返回1.
再看一下,new时操作发生了什么。
1.创建了一个空对象 instance
2.instance.__proto__ = intanceClass.prototype
3.将构造函数里面的this = instance
4.执行构造函数里的代码
5.判定有没有返回值,没有返回值就返回默认值为undefined,如果返回值为复合数据类型,则直接返回,否则返回this
于是有了下面的结果。
function A(){ console.log(this.__proto__.aa); //1 this.aa = 2 } A.prototype = {aa:1} var a = new A; console.log(a.aa) a.__proto__ = { aa:3 } console.log(a.aa) //=>2 delete a. aa; //删除特权属性,暴露原型链上的同名属性 console.log(a.aa) //=>3
有了__proto__,我们可以将原型设计继承设计得更简单,我们还是拿上面的例子改一改,进行试验
function A() {} A.prototype = { aa:1 } function bridge() {} bridge.prototype = A.prototype; function B(){} B.prototype = new bridge(); B.prototype.constructor = B; var b = new B; B.prototype.cc = function(){ alert(3) } //String.prototype === new String().__proto__ => true console.log(B.prototype.__proto__ === A.prototype) //true console.log(b.__proto__ == B.prototype); //true console.log(b.__proto__.__proto__ === A.prototype); //true 得到父类的原型对象
因为b.__proto__.constructor为B,而B的原型是从bridge中得来的,而bride.prototype = A.prototype,反过来,我们在定义时,B.prototype.__proto__ = A.prototype,就能轻松实现两个类的继承.
__proto__属性已经加入es6,因此可以通过防止大胆的使用
2.各种类工厂的实现。
上节我们演示了各种继承方式的实现,但都很凌乱。我们希望提供一个专门的方法,只要用户传入相应的参数,或按照一定简单格式就能创建一个类。特别是子类。
由于主流框架的类工厂太依赖他们庞杂的工具函数,而一个精巧的类工厂也不过百行左右
相当精巧的库,P.js
使用版:https://github.com/jiayi2/factoryjs
这是一个相当精巧的库,尤其调用父类的同名方法时,它直接将父类的原型抛在你面前,连_super也省了。