6.7  實現抽象類

6.7.1  抽象類和虛函數
虛函數是類成員中的概念，是只做了一個聲明而未實現的方法，具有虛函數的類就稱之為抽象類，這些虛函數在派生類中才被實現。抽象類是不能實例化的，因為其中的虛函數并不是一個完整的函數，不能被調用。所以抽象類一般只作為基類被派生以后再使用。
和類的繼承一樣，JavaScript并沒有任何機制用于支持抽象類。但利用JavaScript語言本身的性質，可以實現自己的抽象類。

6.7.2  在JavaScript實現抽象類
在傳統面向對象語言中，抽象類中的虛方法必須先被聲明，但可以在其他方法中被調用。而在JavaScript中，虛方法就可以看作該類中沒有定義的方法，但已經通過this指針使用了。和傳統面向對象不同的是，這里虛方法不需經過聲明，而直接使用了。這些方法將在派生類中實現，例如：
<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]);
}
//定義一個抽象基類base，無構造函數
function base(){}
base.prototype={
      initialize:function(){
               this.oninit(); //調用了一個虛方法
      }
}
//定義class1
function class1(){
      //構造函數
}
//讓class1繼承于base并實現其中的oninit方法
class1.prototype=(new base()).extend({
      oninit:function(){ //實現抽象基類中的oninit虛方法
             //oninit函數的實現
      }
});
//-->
</script>
這樣，當在class1的實例中調用繼承得到的initialize方法時，就會自動執行派生類中的oninit()方法。從這里也可以看到解釋型語言執行的特點，它們只有在運行到某一個方法調用時，才會檢查該方法是否存在，而不會向編譯型語言一樣在編譯階段就檢查方法存在與否。JavaScript中則避免了這個問題。當然，如果希望在基類中添加虛方法的一個定義，也是可以的，只要在派生類中覆蓋此方法即可。例如：
//定義一個抽象基類base，無構造函數
function base(){}
base.prototype={
     initialize:function(){
          this.oninit(); //調用了一個虛方法
     },
     oninit:function(){} //虛方法是一個空方法，由派生類實現
}

6.7.3  使用抽象類的示例
仍然以prototype-1.3.1為例，其中定義了一個類的創建模型：
//Class是一個全局對象，有一個方法create，用于返回一個類
var Class = {
   create: function() {
     return function() {
       this.initialize.apply(this, arguments);
     }
   }
}
這里Class是一個全局對象，具有一個方法create，用于返回一個函數（類），從而聲明一個類，可以用如下語法：
var class1=Class.create();
這樣和函數的定義方式區分開來，使JavaScript語言能夠更具備面向對象語言的特點。現在來看這個返回的函數（類）：
function(){
      this.initialize.apply(this, arguments);
}
這個函數也是一個類的構造函數，當new這個類時便會得到執行。它調用了一個initialize方法，從名字來看，是類的構造函數。而從類的角度來看，它是一個虛方法，是未定義的。但這個虛方法的實現并不是在派生類中實現的，而是創建完一個類后，在prototype中定義的，例如prototype可以這樣寫：
var class1=Class.create();
class1.prototype={
      initialize:function(userName){
                      alert(“hello,”+userName);
      }
}
這樣，每次創建類的實例時，initialize方法都會得到執行，從而實現了將類的構造函數和類成員一起定義的功能。其中，為了能夠給構造函數傳遞參數，使用了這樣的語句：
function(){
      this.initialize.apply(this, arguments);
}
實際上，這里的arguments是function()中所傳進來的參數，也就是new class1(args)中傳遞進來的args，現在要把args傳遞給initialize，巧妙的使用了函數的apply方法，注意不能寫成：
this.initialize(arguments);
這是將arguments數組作為一個參數傳遞給initialize方法，而apply方法則可以把arguments數組對象的元素作為一組參數傳遞過去，這是一種很巧妙的實現。
盡管這個例子在prototype-1.3.1中不是一個抽象類的概念，而是類的一種設計模式。但實際上可以把Class.create()返回的類看作所有類的共同基類，它在構造函數中調用了一個虛方法initialize，所有繼承于它的類都必須實現這個方法，完成構造函數的功能。它們得以實現的本質就是對prototype的操作。