6.7  實(shí)現(xiàn)抽象類

6.7.1  抽象類和虛函數(shù)
虛函數(shù)是類成員中的概念，是只做了一個(gè)聲明而未實(shí)現(xiàn)的方法，具有虛函數(shù)的類就稱之為抽象類，這些虛函數(shù)在派生類中才被實(shí)現(xiàn)。抽象類是不能實(shí)例化的，因?yàn)槠渲械奶摵瘮?shù)并不是一個(gè)完整的函數(shù)，不能被調(diào)用。所以抽象類一般只作為基類被派生以后再使用。
和類的繼承一樣，JavaScript并沒(méi)有任何機(jī)制用于支持抽象類。但利用JavaScript語(yǔ)言本身的性質(zhì)，可以實(shí)現(xiàn)自己的抽象類。

6.7.2  在JavaScript實(shí)現(xiàn)抽象類
在傳統(tǒng)面向?qū)ο笳Z(yǔ)言中，抽象類中的虛方法必須先被聲明，但可以在其他方法中被調(diào)用。而在JavaScript中，虛方法就可以看作該類中沒(méi)有定義的方法，但已經(jīng)通過(guò)this指針使用了。和傳統(tǒng)面向?qū)ο蟛煌氖牵@里虛方法不需經(jīng)過(guò)聲明，而直接使用了。這些方法將在派生類中實(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è)抽象基類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)抽象基類中的oninit虛方法
             //oninit函數(shù)的實(shí)現(xiàn)
      }
});
//-->
</script>
這樣，當(dāng)在class1的實(shí)例中調(diào)用繼承得到的initialize方法時(shí)，就會(huì)自動(dòng)執(zhí)行派生類中的oninit()方法。從這里也可以看到解釋型語(yǔ)言執(zhí)行的特點(diǎn)，它們只有在運(yùn)行到某一個(gè)方法調(diào)用時(shí)，才會(huì)檢查該方法是否存在，而不會(huì)向編譯型語(yǔ)言一樣在編譯階段就檢查方法存在與否。JavaScript中則避免了這個(gè)問(wèn)題。當(dāng)然，如果希望在基類中添加虛方法的一個(gè)定義，也是可以的，只要在派生類中覆蓋此方法即可。例如：
//定義一個(gè)抽象基類base，無(wú)構(gòu)造函數(shù)
function base(){}
base.prototype={
     initialize:function(){
          this.oninit(); //調(diào)用了一個(gè)虛方法
     },
     oninit:function(){} //虛方法是一個(gè)空方法，由派生類實(shí)現(xiàn)
}

6.7.3  使用抽象類的示例
仍然以prototype-1.3.1為例，其中定義了一個(gè)類的創(chuàng)建模型：
//Class是一個(gè)全局對(duì)象，有一個(gè)方法create，用于返回一個(gè)類
var Class = {
   create: function() {
     return function() {
       this.initialize.apply(this, arguments);
     }
   }
}
這里Class是一個(gè)全局對(duì)象，具有一個(gè)方法create，用于返回一個(gè)函數(shù)（類），從而聲明一個(gè)類，可以用如下語(yǔ)法：
var class1=Class.create();
這樣和函數(shù)的定義方式區(qū)分開(kāi)來(lái)，使JavaScript語(yǔ)言能夠更具備面向?qū)ο笳Z(yǔ)言的特點(diǎn)。現(xiàn)在來(lái)看這個(gè)返回的函數(shù)（類）：
function(){
      this.initialize.apply(this, arguments);
}
這個(gè)函數(shù)也是一個(gè)類的構(gòu)造函數(shù)，當(dāng)new這個(gè)類時(shí)便會(huì)得到執(zhí)行。它調(diào)用了一個(gè)initialize方法，從名字來(lái)看，是類的構(gòu)造函數(shù)。而從類的角度來(lái)看，它是一個(gè)虛方法，是未定義的。但這個(gè)虛方法的實(shí)現(xiàn)并不是在派生類中實(shí)現(xiàn)的，而是創(chuàng)建完一個(gè)類后，在prototype中定義的，例如prototype可以這樣寫：
var class1=Class.create();
class1.prototype={
      initialize:function(userName){
                      alert(“hello,”+userName);
      }
}
這樣，每次創(chuàng)建類的實(shí)例時(shí)，initialize方法都會(huì)得到執(zhí)行，從而實(shí)現(xiàn)了將類的構(gòu)造函數(shù)和類成員一起定義的功能。其中，為了能夠給構(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方法，注意不能寫成：
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è)抽象類的概念，而是類的一種設(shè)計(jì)模式。但實(shí)際上可以把Class.create()返回的類看作所有類的共同基類，它在構(gòu)造函數(shù)中調(diào)用了一個(gè)虛方法initialize，所有繼承于它的類都必須實(shí)現(xiàn)這個(gè)方法，完成構(gòu)造函數(shù)的功能。它們得以實(shí)現(xiàn)的本質(zhì)就是對(duì)prototype的操作。