這些天讀了John Resig的《Secrets of JavaScript Ninja》,其中討論到JS中實現繼承的方案,非常有趣,自己探索了一下,形成了筆記,放到這里。
這個方案在Resig的博客上也有,雖然代碼略微有點不一致,但核心思想是一樣的,請戳 這里 。
<html>
<head>
<title></title>
</head>
<body>
<script type="text/javascript">
// call a immediate funciton,prevent global namespace from being polluted.
(function(){
// 這個initializing變量用於標識當前是否處於類的初始創建階段,下面會繼續詳述
var initializing = false,
// 這是一個技巧性的寫法,用於檢測當前環境下函數是否能夠序列化
// 附一篇討論函數序列化的文章:http://www.cnblogs.com/ziyunfei/archive/2012/12/04/2799603.html
// superPattern引用一個正則對象,該對象用於驗證被驗證函數中是否有使用_super方法
superPattern = /xyz/.test(function(){xyz;}) ? /\b_super\b/ : /.*/;
Object.subClass = function(properties){
// 當前對象(父類)的原型對象
var _super = this.prototype;
// initializing = true表示當前處於類的初始創建階段。
// this構造函數里會判斷initializing的狀態,如果為false則不執行Init方法。
// 事實上這也是非常需要的,因為在這個時候,我們需要的只是一個干凈的虛構的構造函數,完全不需要其執行init函數,以避免污染。init方法只有在當前類被實例化的時候才需要被執行,而當前正執行繼承行為,不應該執行Init方法。
initializing = true;
// 當前對象(父類)的一個實例對象
var proto = new this();
// 初始創建階段完成,置initializing為false
initializing = false;
// 在properties里提供的屬性,作為當前對象(父類)實例的公共屬性,供其子類實例共享;
// 在properties里提供的方法,作為當前對象(父類)實例的公共方法,供其子類實例共享。
for(var name in properties){
proto[name] = typeof properties[name] == 'function' && //檢測當前提供的是否為函數
typeof _super[name] == 'function' && //檢測當前提供的函數名是否已經存在於父類的原型對象中,如果是,則需要下面的操作,以保證父類中的方法不會被覆蓋且可以以某種方式被調用,如果否,則直接將該函數賦值為父類實例的方法
superPattern.test(properties[name]) ? f//檢測當前提供的函數內是否使用了_super方法,如果有使用_super方法,則需要下面的操作,以保證父類中的方法不會被覆蓋且可以以某種方式被調用,如果沒有用到_super方法,則直接將該函數賦值為父類實例的方法,即使父類原型中已經擁有同名方法(覆蓋)
// 使用一個馬上執行的函數,返回一個閉包,這樣每個閉包引用的都是各自的name和fn。
(function(name, fn){
return function() {
// 首先將執行方法的當前對象(子類的實例化對象)的_super屬性保存到tmp變量里。
// 這是非常必要的, 因為this永遠指向當前正在被調用的對象。
// 當C繼承B,B繼承A,而A\B\C均有一個dance方法且B\C的dance方法均使用了this._super來引用各自父類的方法時,下面這句操作就顯得非常重要了。它使得在方法調用時,this._super永遠指向“當前類”的父類的原型中的同名方法,從而避免this._super被隨便改寫。
var tmp = this._super;
// 然后將父類的原型中的同名方法賦值給this._super,以便子類的實例化對象可以在其執行name方法時通過this._super使用對應的父類原型中已經存在的方法
this._super = _super[name];
// 執行創建子類時提供的函數,並通過arguments傳入參數
var ret = fn.apply(this, arguments);
// 將tmp里保存的_super屬性重新賦值回this._super中
this._super = tmp;
// 返回函數的執行結果
return ret;
};
})(name, properties[name]) :
properties[name];
}
// 內部定義個名叫Class的類,構造函數內部只有一個操作:執行當前對象中可能存在的init方法
// 這樣做的原因:新建一個類(閉包),可以防止很多干擾(詳細可對比JS高級設計第三版)
function Class(){
// 如果不是正在實現繼承,並且當前類的init方法存在,則執行init方法
// 每當subClass方法執行完畢后,都會返回這個Class構造函數,當用戶使用new 方法時,就會執行這里面的操作
// 本質:每次調用subClass都新建一個類(閉包)
if(!initializing && this.init){
// 這是子類的初始化方法,里面可以定義子類的私有屬性,公共屬性請在上方所述處添加
this.init.apply(this, arguments);
}
}
// 重寫Class構造函數的prototype,使其不再指向了Class原生的原型對象,而是指向了proto,即當前對象(類)的一個實例
// 本質:一個類的原型是另一個類的實例(繼承)
Class.prototype = proto;
// 為什么要重寫Class的構造函數?因為這個Class函數,它原來的constructor指向的是Function對象,這里修正它的指向,使其指向自己。
Class.constructor = Class;
// 就是這個操作,使得每次調用subClass都會新生命的Class對象,也擁有subClass方法,可以繼續被繼承下去
// 本質:使得每次繼承的子類都擁有被繼承的能力
Class.subClass = arguments.callee;
// 返回這個內部新定義的構造函數(閉包)
return Class;
};
})();
var Person = Object.subClass({
init: function(isDancing) {
this.dancing = isDancing;
},
dance: function(){
console.log('i am a person,i dance.');
return this.dancing;
}
});
var Ninja = Person.subClass({
init:function(){
},
dance: function() {
console.log('i am an Ninja,i dance.');
this._super();
return;
},
swingSword:function(){
return true;
}
});
var Chileung = Ninja.subClass({
dance: function(){
console.log('i am Chileung.i dance.');
this._super();
return;
}
});
var p = new Person();
p.dance();
var n = new Ninja();
n.dance();
var c = new Chileung();
c.dance();
</script>
</body>
</html>
在博客園里也找到了一篇不錯的有關這種繼承方式的討論,參見 這里
另外自己以前曾經也思考過Zakas提出的繼承方案,文章見 這里
