很久没写博客了,突然想起 JS 的 OO 自己有一个想法,并实现了,于是就拿来作新博文的内容。
关于 JS 的 OO,这里有一份列表,均是我以前总结这方面的心得与体会,不正之处,应要提出。
JS OO继承、多态一法JavaScript“类”继承的横向比较学习NodeJS第五天:JavaScript的继承YUI 3中的继承模式及其用法简介Ext.extend()中使用super关键字纵观多少 JS OO 实现的方法,其内部总有些不足。我在项目试过的也有,一直以来不太满意。有什么不足和不满意?——我在过往的博文都有提了提……
本文所介绍的方法,立足于经典的 JS 类写法,对其扩充了重载方法(overload)之实现,而又仍然使用 JS prototype 原型继承的模式来处理继承的。因此,两个旧的用法(经典类写法与 prototype继承) 与一个新实现“重载”,则“重载”为该方法的亮点,其他之外并无甚特别之处。
首先说说经典的 JS 类写法。本方法中采用“经典”的类写法,也只能使用这写法,其他的写法均无效。所谓“经典”写法,就是我们最开始学习js时,通常教科书跟你说的那种写法(例子一):
function myClass(){ // private local varialbies var localVar; // public variabies this.publicVar = 0; // private methods function privateMethod(a){ } // public method this.publicMethod = privateMethod; }
而不是修改原型对象的方法:
function myClass(){ // private local varialbies var localVar; // private methods function privateMethod(a){ } } myClass.prototype = { // public variabies publicVar : 0, // public method publicMethod : function (a){ } };
貌似现在越来越少人采用第一种也就是经典的写法。难道这是要突出 JS “原型继承”的本质才推崇第二种写法的吗?不得而知,总之大家喜欢就是了。但在本文介绍的 JS OO 继承方法中,却一律采用第一种也就是经典的写法。这样子,比较像 Java 的类哦~呵呵。
再讲一下“例子一”部分。类 myClass 中,注释 private local variablies 所指为私有内部变量,以“var”开头则外界不可以访问,反之,通过 this 分配的变量或方法,则可为外界所访问。请注意 this.publicMehtod = privateMethod 这里,无论私有方法还是公有方法,均指向同一个函数。当然,这里举的是特例,一般我们还是拆分来写。
把代码写成类就是为了更好地封装,形成 API 供调用。到这里我们明确封装方式为经典的 JS 类写法,紧接着,就是继承。
JS 只有一种继承方式,那自然是原型继承。设有两个类,base 基类和 son 子类,son 类是 base 类的派生类。这样完成了一次继承:
base = new base; son.prototype = base; // 原型继承!
每定义一次新类,都会保存父类其实例的拷贝。父类对于子类来说,都是唯一的。上述过程非常简单,但是下面我给出的方案中,会稍微复杂一些,加入一个 superObjs 的数组,数组保存所有父类。代码如下:
base = new base; if(!base.superObjs){ base.superObjs = [base]; }else{ base.superObjs.push(base); } son.prototype = base; // 原型继承!
加入 superObjs 的数组有什么用途?这里按下不表,权作一伏笔,后面有用。
到这里整体上依然没有任何新意。究竟我们在干什么?呵呵,当然接下来就要揭示问题的所在了。
经典封装、继承的写法有一个很大的问题,就不允许方法的重载,简单说,就是后面的类,相同名称的方法会覆盖的原来前面类相同名称的方法。覆盖的这一时刻发生在 new 子类() 的时候。
浮现出了这个问题,应该如何解决?还是有办法的。请见下列源码:
// 访问父类的内部函数 // written by Frank Cheung function _super(){ var byExplicit = arguments[0] ,byExplicit = byExplicit && byExplicit.length && byExplicit.callee // if explicit, it means arguments.caller === arguments(old) // true! // if not explicit, it means get Method by arguments.caller.callee. ,overrided = byExplicit ? arguments[0] : arguments.caller.callee ,memberName // 成员名称一直不变的。名称字符串其作为查询成员的凭据。 ,superMember // 找到的超类成员 ,superObjs = this.superObjs // 父类列表 ,superObj // 当前父类(不一定是目标父类) ,args = byExplicit ? Array.prototype.slice.call(arguments, 1) : arguments; if(!overrided){ debugger; Error.throwErr({ msg : "必须输入args对象!" ,method : arguments.callee }); } // 先找到成员名称。 for(var i in this){ if(this[i] == overrided){ memberName = i; } } for(var i = 0, j = superObjs.length; i < j; --j){ superObj = superObjs[j - 1]; superMember = superObj[memberName]; if(superMember){ return typeof superMember == 'function' ? superMember.apply(this, args) : superMember } } if(!superMember){ for(var i = 0, j = superObjs.length; i < j; i++){ superObj = superObjs[i]; for(methodName in superObj){ if(superObj[methodName] == overrided){ superMember = superObjs[i-1][methodName]; return superMember.apply(this, args); } } } } throw '如果走到这一步,说明super()失败!'; }
前面所说的“伏笔”就是为了方法重载而设的。受时间所限,今日先帖帖源码,容小弟日后再添教程详述之(有新念头,旧想法被推翻。)。
多态即多继承。然而多态的问题,我尚未作深入调查。只是知道有一点,用 fn.apply/call 的方法可以强制指定 this 对象指针,所以用来作多态亦未尝不可,即:
function A_Class(){ // private local varialbies var localVar; // private methods function privateMethod(a){ } } function B_Class(){ A_Class.call(this); // A_Class 内部的 this 变为当前 B_Class 实例。 this.foo = function(){ } }
若说这就是“多态”,可能很多人都会觉得牵强,——我也同意,但我仍认为,这是一个比较便捷的方法,算是一个思路。但仍觉得作为真正的多态来说,还是不太贴切,有待进一步的研究吧。
附继承方法的完整代码:
/** * 继承。 * @param {Function} son 子类 * @param {Function} base 父类 */ Object.extend = (function(){ function _super(){ var byExplicit = arguments[0] ,byExplicit = byExplicit && byExplicit.length && byExplicit.callee // if explicit, it means arguments.caller === arguments(old) // true! // if not explicit, it means get Method by arguments.caller.callee. ,overrided = byExplicit ? arguments[0] : arguments.caller.callee ,memberName // 成员名称一直不变的。名称字符串其作为查询成员的凭据。 ,superMember // 找到的超类成员 ,superObjs = this.superObjs // 父类列表 ,superObj // 当前父类(不一定是目标父类) ,args = byExplicit ? Array.prototype.slice.call(arguments, 1) : arguments; if(!overrided){ debugger; Error.throwErr({ msg : "必须输入args对象!" ,method : arguments.callee }); } // 先找到成员名称。 for(var i in this){ if(this[i] == overrided){ memberName = i; } } for(var i = 0, j = superObjs.length; i < j; --j){ superObj = superObjs[j - 1]; superMember = superObj[memberName]; if(superMember){ return typeof superMember == 'function' ? superMember.apply(this, args) : superMember } } if(!superMember){ for(var i = 0, j = superObjs.length; i < j; i++){ superObj = superObjs[i]; for(methodName in superObj){ if(superObj[methodName] == overrided){ superMember = superObjs[i-1][methodName]; return superMember.apply(this, args); } } } } throw '如果走到这一步,说明super()失败!'; } var queue = []; var timer = 0; function delayInherit(item){ var son = item[0], base = item[1]; Object.extend(son, base); // ok, it's done! debugger; // alert(typeof base) } function addQueue(son, base){ queue.push([son, base]); // if(!timer){ // timer = setTimeout(function(){ // Array.each(queue, delayInherit, queue); // }, 2500 /* 这是一个模拟值,不精确 */ ); // // } } return function(son, base){ // @todo if not loaded, add to queue if(base && typeof(base) != 'function'){ addQueue(son, base); return; } base = new base; if(!base._super){ base._super = _super; } if(!base.superObjs){ base.superObjs = [base]; }else{ base.superObjs.push(base); } son.prototype = base; // 原型继承! } })();
希望我的一点点拙见,能给各位朋友一小点点帮助。不知大家是否领情,不过这里又让各路大神见笑了。