上段时间,团队内部有过好几次给力的分享,这里对西风师傅分享的继承机制稍作整理一下,适当加了些口语化的描述,留作备案。
一、讲个故事吧
澄清在先,Java和Javascript是雷锋和雷峰塔的关系。Javascript原名Mocha,当时还叫做LiveScript,创造者是Brendan Eich,现任Mozilla公司首席技术官。
1994年,历史上第一个比较成熟的网络浏览器——Navigator0.9版诞生在网景公司(Netscape),极为轰动。但是,Navigator0.9只能用来浏览,不具备与访问者交互的能力,比如,用户提交一个数据表单,如果表单为空,浏览器是无法判断的,只能直接提交给服务器端,再把空值的错误返回,让用户重新填写,这样显然是低效率和浪费资源的。
这个时候,对于正处于技术革新最前沿的Netscape,开发一种实用的客户端脚本语言来处理这些问题变得必要起来,于是,这个任务落到了工程师Brendan Eich身上。他觉得吧,木必要设计得很复杂,只要能搞定一些简单操作就够了,比如判断用户有没有填写表单。
1994年正是面向对象编程(object-oriented programming)的兴盛时代,C++是最流行的语言,而Java语言的1.0版即将于次年推出,Brendan Eich难免受其影响,他想将Javascript里面所有的数据类型看做是对象(object),这一点与Java非常相似。但是,他马上就遇到了一个难题,到底要不要设计”继承”机制呢?
二、继承的演变
1、采用new关键字生成实例
处理表单验证这样简单功能脚本语言显然是不需要”继承”机制的,然而如果Javascript里面都是对象,就需要有一种办法来把所有对象联系起来。最后,Brendan Eich还是设计了”继承”。只是,他并没有引入”类”(class)的概念,因为一旦有了”类”,Javascript就是一种完整的面向对象编程语言了,这好像有点太正式了,与设计初衷也远了,同时增加了初学者的入门难度。
参照到C++和Java语言都使用new命令来生成实例:
C++这样写:
ClassName *object = new ClassName(param);
Java这样写:
Foo foo = new Foo();
那么,也可以把new命令引入了Javascript,用来从原型对象生成一个实例对象。但是,Javascript中没有”类”的话,怎样表示原型对象呢? 依然是参照C++和Java使用new命令时,都会调用”类”的构造函数(constructor)。Brendan Eich简化了设计,在Javascript语言中,new命令后面跟的是构造函数,不再是类。 我们举个例子来说,现在有一个叫做WD构造函数,表示前端开发(web-developper)对象的原型。
function WD(skill){ this.skill = skill; }
对这个构造函数使用new关键字,就会生成一个前端开发对象的实例。
var WD1 = new WD(‘html‘); console.log(WD1.skill); // html
在构造函数中的this关键字,它其实代表的是新创建的实例对象。
2、new 出来对象的缺陷
采用new关键字,用构造函数生成实例对象无法共享属性和方法。 比如,在WD对象的构造函数中,设置一个实例对象的共有属性skill。
function WD(skill){ this.skill = skill; this.sex = ‘男‘; }
然后,生成两个实例对象:
var WD1 = new WD(‘html‘); var WD2 = new WD(‘css‘);
这两个对象的skill属性是独立的,修改其中一个,不会影响到另一个。
WD1.skill= ‘Javascript‘; console.log(WD2.skill);//“css”,不受WD1的影响
每一个实例对象,都有自己的属性和方法的副本。这不仅无法做到数据共享,也是极大的资源浪费。
3、引入prototype属性
为了实现属性和方法的共享,Brendan Eich决定为构造函数设置一个prototype属性。这个属性包含一个对象(以下简称”prototype对象”),所有实例对象需要共享的属性和方法,都放在这个对象里面;那些不需要共享的属性和方法,就放在构造函数里面。实例对象一旦创建,将自动引用prototype对象的属性和方法。也就是说,实例对象的属性和方法,分成两种,一种是本地的,另一种是引用的。还是以WD构造函数为例,现在用prototype属性进行改写:
function WD(skill){ this.skill = skill; } WD.prototype = { sex : ‘男‘ }; var WD1 = new WD(‘html‘); var WD2 = new WD(‘css‘); console.log(WD1.sex); // 男 console.log(WD2.sex); // 男
现在,sex属性放在prototype对象里,是两个实例对象共享的。只要修改了prototype对象,就会同时影响到两个实例对象。
WD.prototype.sex = ‘女‘; console.log(WD1.sex); //女 console.log(WD2.sex); // 女
由于所有的实例对象共享同一个prototype对象,那么从外界看起来,prototype对象就好像是实例对象的原型,而实例对象则好像”继承”了prototype对象一样。这就是Javascript继承机制的设计思想。
三、构造函数如何实现继承
现在有一个”MED”对象的构造函数(MED:Marketing Experience Design,营销体验设计)
function MED(){ this.aim = "营销体验设计"; }
依然是”WD”对象的构造函数,
function WD(skill,sex){ this.skill = skill; this.sex = sex; }
怎样才能使”WD”继承”MED”呢?
1) apply绑定构造函数实现
最简单的方法,大概就是使用call或apply方法,将父对象的构造函数绑定在子对象上,也就是在子对象构造函数中加一行:
function WD(skill,sex){ MED.apply(this, arguments); this.skill = skill; this.sex = sex; } var WD1 = new WD("Html","男"); console.log(WD1.aim); // "营销体验设计"
2) prototype模式实现
我们通常的做法是使用prototype属性。如果”WD”的prototype对象,指向一个MED的实例,那么所有”WD”的实例,就能继承MED了。
WD.prototype = new MED();//我们将WD的prototype对象指向一个MED的实例。 WD.prototype.constructor = WD; var WD1 = new WD("Html","男"); console.log(WD1.aim); // 营销体验设计
这句
WD.prototype = new MED();
相当于完全删除了prototype 对象原先的值,然后赋予一个新值。那么第二行又是什么意思呢?
WD.prototype.constructor = WD;
原来,任何一个prototype对象都有一个constructor属性,指向它的构造函数。也就是说,WD.prototype 这个对象的constructor属性,是指向WD的。我们在前一步已经删除了这个prototype对象原来的值,所以新的prototype对象没有constructor属性,需要我们手动加上去,否则后面的”继承链”会出问题。这就是第二行的意思。
注意,这是很重要的一点,编程时务必要遵守,下文都遵循这一点,即如果替换了prototype对象,
o.prototype = {};
那么,下一步必然是为新的prototype对象加上constructor属性,并将这个属性指回原来的构造函数。
o.prototype.constructor = o;
3) 从prototype直接继承实现
由于MED对象中,不变的属性都可以直接写入MED.prototype。所以,我们也可以让WD()跳过 MED(),直接继承MED.prototype。 现在,我们先将MED对象改写:
function MED(){ } MED.prototype.skill = "MED";
然后,将WD的prototype对象指向MED的prototype对象,这样就完成了继承。
WD.prototype = MED.prototype; WD.prototype.constructor = WD; var WD1 = new WD("Html","男"); console.log(WD1.skill); // MED
与前一种方法相比,这样做的优点是效率比较高(不用执行和建立MED的实例了),比较省内存。缺点是 WD.prototype和MED.prototype现在指向了同一个对象,那么任何对WD.prototype的修改,都会反映到MED.prototype。所以,上面这一段代码其实是有问题的。请看第二行
WD.prototype.constructor = WD;
这一句实际上把MED.prototype对象的constructor属性也改掉了!
console.log(MED.prototype.constructor); // WD
4) 利用一个空对象作为中介来实现
由于”直接继承prototype”存在上述的缺点,所以可以利用一个空对象作为中介。
var F = function(){}; F.prototype = MED.prototype; WD.prototype = new F(); WD.prototype.constructor = WD;
F是空对象,所以几乎不占内存。这时,修改WD的prototype对象,就不会影响到MED的prototype对象。
console.log(MED.prototype.constructor); // MED
5) 利用 prototype模式的封装函数
我们将上面的方法,封装成一个函数,便于使用。
function extend(Child, Parent) { var F = function(){}; F.prototype = Parent.prototype; Child.prototype = new F(); Child.prototype.constructor = Child; }
使用的时候,方法如下
extend(WD,MED); var WD1 = new WD("Html","男"); console.log(WD1.aim); // 营销体验设计
这个extend函数就是YUI库如何实现继承的方法。
6) 拷贝继承实现
上面是采用prototype方式来实现继承。其实既然子对象会拥有父对象的属性和方法,我们直接采用”拷贝”方法也可以达到效果。简单说,如果把父对象的所有属性和方法,拷贝进子对象,不也能够实现继承吗? 首先,还是把MED的所有不变属性,都放到它的prototype对象上。
function MED(){} MED.prototype.aim = "营销体验设计";
然后,再写一个函数,实现属性拷贝的目的。
function extendCopy(Child, Parent) { var p = Parent.prototype; var c = Child.prototype; for (var i in p) { c[i] = p[i]; } }
这个函数的作用,就是将父对象的prototype对象中的属性,一一拷贝给Child对象的prototype对象。使用的时候,这样写:
extendCopy(WD, MED); var WD1 = new WD("Html","男"); console.log(WD1.aim); // 营销体验设计
四、”非构造函数”的如何实现继承
比如,现在有一个对象,叫做”MED”–营销体验设计。
var MED = { aim:‘营销体验设计‘ }
还有一个对象,叫做”前端开发”。
var WD ={ skill:‘html‘ }
请问怎样才能让”前端开发”去继承”营销体验设计”,就是说,我怎样才能生成一个”营销体验设计的前端开发”对象? 这里要注意,这两个对象都是普通对象,不是构造函数,无法使用构造函数方法实现”继承”。
1、object()方法
Json格式的发明者Douglas Crockford,提出了一个object()函数,可以做到这一点。
function object(o) { function F() {} F.prototype = o; return new F(); }
这个object()函数,其实只做一件事,就是把子对象的prototype属性,指向父对象,从而使得子对象与父对象连在一起。 使用的时候,第一步先在父对象的基础上,生成子对象:
var WD = object(MED);
然后,再加上子对象本身的属性:
WD.skill = ‘html‘;
这时,子对象已经继承了父对象的属性了。
console.log(WD.aim); //营销体验设计
2、浅拷贝
除了使用”prototype链”以外,还有另一种思路:把父对象的属性,全部拷贝给子对象,也能实现继承。 下面这个函数,就是在做拷贝:
function LightCopy(p) { var c = {}; for (var i in p) { c[i] = p[i]; } //c.uber = p; return c; }
使用的时候,这样写:
var WD = LightCopy(MED); WD.aim = ‘前端开发‘;
但是,这样的拷贝有一个问题。那就是,如果父对象的属性等于数组或另一个对象,那么实际上,子对象获得的只是一个内存地址,而不是真正拷贝,因此存在父对象被篡改的可能。请看,现在给MED添加一个”技能”属性,它的值是一个数组。
MED.skills = [‘‘html’‘,‘css‘,‘Javascript‘];
通过LightCopy()函数,WD继承了MED。
var WD = LightCopy(MED);
然后,我们为WD的”技能”添加一个属性:
WD.skills.push(‘teamwork‘);
发生了什么事?MED的”技能”也被篡改了!
console.log(WD.skills); //‘html’,‘Javascript‘,‘css‘,‘teamwork‘ console.log(MED.skills); //‘html’,‘Javascript‘,‘css‘,‘teamwork‘
所以,LightCopy()只是拷贝基本类型的数据,我们把这种拷贝叫做”浅拷贝”。这是早期jQuery实现继承的方式。
3、深拷贝
所谓”深拷贝”,就是能够实现真正意义上的数组和对象的拷贝。它的实现并不难,只要递归调用”浅拷贝”就行了。
function deepCopy(p, c) { var c = c || {}; for (var i in p) { if (typeof p[i] === ‘object‘) { c[i] = (p[i].constructor === Array) ? [] : {}; deepCopy(p[i], c[i]); } else { c[i] = p[i]; } } return c; }
使用的时候这样写:
var WD = deepCopy(MED);
现在,给父对象加一个属性,值为数组。然后,在子对象上修改这个属性:
MED.skills = [‘‘html’‘,‘css‘,‘Javascript‘]; WD.skills.push(‘teamwork‘);
这时,父对象就不会受到影响了。
console.log(WD.skills); //‘html’,‘css‘,‘Javascript‘,‘teamwork‘ console.log(MED.skills); //‘html’,‘css‘,‘Javascript‘
目前,jQuery库使用的就是这种继承方法。
http://mozilla.com.cn/post/21667/