抽象類(lèi)和虛函數(shù)
虛函數(shù)是類(lèi)成員中的概念，是只做了一個(gè)聲明而未實(shí)現(xiàn)的方法，具有虛函數(shù)的類(lèi)就稱之為抽象類(lèi)，這些虛函數(shù)在派生類(lèi)中才被實(shí)現(xiàn)。抽象類(lèi)是不能實(shí)例化的，因?yàn)槠渲械奶摵瘮?shù)并不是一個(gè)完整的函數(shù)，不能被調(diào)用。所以抽象類(lèi)一般只作為基類(lèi)被派生以后再使用。
和類(lèi)的繼承一樣，JavaScript并沒(méi)有任何機(jī)制用于支持抽象類(lèi)。但利用JavaScript語(yǔ)言本身的性質(zhì)，可以實(shí)現(xiàn)自己的抽象類(lèi)。
在JavaScript實(shí)現(xiàn)抽象類(lèi)
在傳統(tǒng)面向?qū)ο笳Z(yǔ)言中，抽象類(lèi)中的虛方法必須先被聲明，但可以在其他方法中被調(diào)用。而在JavaScript中，虛方法就可以看作該類(lèi)中沒(méi)有定義的方法，但已經(jīng)通過(guò)this指針使用了。和傳統(tǒng)面向?qū)ο蟛煌氖牵@里虛方法不需經(jīng)過(guò)聲明，而直接使用了。這些方法將在派生類(lèi)中實(shí)現(xiàn)，例如：
<script language="JavaScript" type="text/javascript">
<!--
//定義extend方法
Object.extend = function(destination, source) {
for (property in source) {
destination[property] = source[property];
}
return destination;
}
Object.prototype.extend = function(object) {
return Object.extend.apply(this, [this, object]);
}
//定義一個(gè)抽象基類(lèi)base，無(wú)構(gòu)造函數(shù)
function base(){}
base.prototype={
initialize:function(){
this.oninit(); //調(diào)用了一個(gè)虛方法
}
}
//定義class1
function class1(){
//構(gòu)造函數(shù)
}
//讓class1繼承于base并實(shí)現(xiàn)其中的oninit方法
class1.prototype=(new base()).extend({
oninit:function(){ //實(shí)現(xiàn)抽象基類(lèi)中的oninit虛方法
//oninit函數(shù)的實(shí)現(xiàn)
}
});
//-->
</script>
這樣，當(dāng)在class1的實(shí)例中調(diào)用繼承得到的initialize方法時(shí)，就會(huì)自動(dòng)執(zhí)行派生類(lèi)中的oninit()方法。從這里也可以看到解釋型語(yǔ)言執(zhí)行的特點(diǎn)，它們只有在運(yùn)行到某一個(gè)方法調(diào)用時(shí)，才會(huì)檢查該方法是否存在，而不會(huì)向編譯型語(yǔ)言一樣在編譯階段就檢查方法存在與否。JavaScript中則避免了這個(gè)問(wèn)題。當(dāng)然，如果希望在基類(lèi)中添加虛方法的一個(gè)定義，也是可以的，只要在派生類(lèi)中覆蓋此方法即可。例如：
//定義一個(gè)抽象基類(lèi)base，無(wú)構(gòu)造函數(shù)
function base(){}
base.prototype={
initialize:function(){
this.oninit(); //調(diào)用了一個(gè)虛方法
},
oninit:function(){} //虛方法是一個(gè)空方法，由派生類(lèi)實(shí)現(xiàn)
}
使用抽象類(lèi)的示例
仍然以prototype-1.3.1為例，其中定義了一個(gè)類(lèi)的創(chuàng)建模型：
//Class是一個(gè)全局對(duì)象，有一個(gè)方法create，用于返回一個(gè)類(lèi)
var Class = {
create: function() {
return function() {
this.initialize.apply(this, arguments);
}
}
}
這里Class是一個(gè)全局對(duì)象，具有一個(gè)方法create，用于返回一個(gè)函數(shù)（類(lèi)），從而聲明一個(gè)類(lèi)，可以用如下語(yǔ)法：
var class1=Class.create();
這樣和函數(shù)的定義方式區(qū)分開(kāi)來(lái)，使JavaScript語(yǔ)言能夠更具備面向?qū)ο笳Z(yǔ)言的特點(diǎn)?，F(xiàn)在來(lái)看這個(gè)返回的函數(shù)（類(lèi)）：
function(){
this.initialize.apply(this, arguments);
}
這個(gè)函數(shù)也是一個(gè)類(lèi)的構(gòu)造函數(shù)，當(dāng)new這個(gè)類(lèi)時(shí)便會(huì)得到執(zhí)行。它調(diào)用了一個(gè)initialize方法，從名字來(lái)看，是類(lèi)的構(gòu)造函數(shù)。而從類(lèi)的角度來(lái)看，它是一個(gè)虛方法，是未定義的。但這個(gè)虛方法的實(shí)現(xiàn)并不是在派生類(lèi)中實(shí)現(xiàn)的，而是創(chuàng)建完一個(gè)類(lèi)后，在prototype中定義的，例如prototype可以這樣寫(xiě)：
var class1=Class.create();
class1.prototype={
initialize:function(userName){
alert(“hello,”+userName);
}
}
這樣，每次創(chuàng)建類(lèi)的實(shí)例時(shí)，initialize方法都會(huì)得到執(zhí)行，從而實(shí)現(xiàn)了將類(lèi)的構(gòu)造函數(shù)和類(lèi)成員一起定義的功能。其中，為了能夠給構(gòu)造函數(shù)傳遞參數(shù)，使用了這樣的語(yǔ)句：
function(){
this.initialize.apply(this, arguments);
}
實(shí)際上，這里的arguments是function()中所傳進(jìn)來(lái)的參數(shù)，也就是new class1(args)中傳遞進(jìn)來(lái)的args，現(xiàn)在要把a(bǔ)rgs傳遞給initialize，巧妙的使用了函數(shù)的apply方法，注意不能寫(xiě)成：
this.initialize(arguments);
這是將arguments數(shù)組作為一個(gè)參數(shù)傳遞給initialize方法，而apply方法則可以把a(bǔ)rguments數(shù)組對(duì)象的元素作為一組參數(shù)傳遞過(guò)去，這是一種很巧妙的實(shí)現(xiàn)。
盡管這個(gè)例子在prototype-1.3.1中不是一個(gè)抽象類(lèi)的概念，而是類(lèi)的一種設(shè)計(jì)模式。但實(shí)際上可以把Class.create()返回的類(lèi)看作所有類(lèi)的共同基類(lèi)，它在構(gòu)造函數(shù)中調(diào)用了一個(gè)虛方法initialize，所有繼承于它的類(lèi)都必須實(shí)現(xiàn)這個(gè)方法，完成構(gòu)造函數(shù)的功能。它們得以實(shí)現(xiàn)的本質(zhì)就是對(duì)prototype的操作。
