abstract class和interface是Java語言中對于抽象類定義進行支持的兩種機制，正是由于這兩種機制的存在，才賦予了Java強大的面向對象能力。 abstract class和interface之間在對于抽象類定義的支持方面具有很大的相似性，甚至可以相互替換，因此很多開發者在進行抽象類定義時對于 abstract class和interface的選擇顯得比較隨意。其實，兩者之間還是有很大的區別的，對于它們的選擇甚至反映出對于問題領域本質的理解、對于設計意圖的理解是否正確、合理。本文將對它們之間的區別進行一番剖析，試圖給開發者提供一個在二者之間進行選擇的依據。

理解抽象類

abstract class和interface在Java語言中都是用來進行抽象類（本文中的抽象類并非從abstract class翻譯而來，它表示的是一個抽象體，而abstract class為Java語言中用于定義抽象類的一種方法，請讀者注意區分）定義的，那么什么是抽象類，使用抽象類能為我們帶來什么好處呢？

在面向對象的概念中，我們知道所有的對象都是通過類來描繪的，但是反過來卻不是這樣。并不是所有的類都是用來描繪對象的，如果一個類中沒有包含足夠的信息來描繪一個具體的對象，這樣的類就是抽象類。抽象類往往用來表征我們在對問題領域進行分析、設計中得出的抽象概念，是對一系列看上去不同，但是本質上相同的具體概念的抽象。比如：如果我們進行一個圖形編輯軟件的開發，就會發現問題領域存在著圓、三角形這樣一些具體概念，它們是不同的，但是它們又都屬于形狀這樣一個概念，形狀這個概念在問題領域是不存在的，它就是一個抽象概念。正是因為抽象的概念在問題領域沒有對應的具體概念，所以用以表征抽象概念的抽象類是不能夠實例化的。

在面向對象領域，抽象類主要用來進行類型隱藏。我們可以構造出一個固定的一組行為的抽象描述，但是這組行為卻能夠有任意個可能的具體實現方式。這個抽象描述就是抽象類，而這一組任意個可能的具體實現則表現為所有可能的派生類。模塊可以操作一個抽象體。由于模塊依賴于一個固定的抽象體，因此它可以是不允許修改的；同時，通過從這個抽象體派生，也可擴展此模塊的行為功能。熟悉OCP的讀者一定知道，為了能夠實現面向對象設計的一個最核心的原則OCP(Open-Closed Principle)，抽象類是其中的關鍵所在。

從語法定義層面看abstract class和interface

在語法層面，Java語言對于abstract class和interface給出了不同的定義方式，下面以定義一個名為Demo的抽象類為例來說明這種不同。

使用abstract class的方式定義Demo抽象類的方式如下：

abstract class Demo ｛
abstract void method1();
abstract void method2();
…
｝

使用interface的方式定義Demo抽象類的方式如下：

interface Demo {
void method1();
void method2();
…
}

在abstract class方式中，Demo可以有自己的數據成員，也可以有非abstarct的成員方法，而在interface方式的實現中，Demo只能夠有靜態的不能被修改的數據成員（也就是必須是static final的，不過在interface中一般不定義數據成員），所有的成員方法都是abstract的。從某種意義上說，interface是一種特殊形式的abstract class。

從編程的角度來看，abstract class和interface都可以用來實現design by contract的思想。但是在具體的使用上面還是有一些區別的。

首先，abstract class在Java語言中表示的是一種繼承關系，一個類只能使用一次繼承關系。但是，一個類卻可以實現多個interface。也許，這是Java語言的設計者在考慮Java對于多重繼承的支持方面的一種折中考慮吧。

其次，在abstract class的定義中，我們可以賦予方法的默認行為。但是在interface的定義中，方法卻不能擁有默認行為，為了繞過這個限制，必須使用委托，但是這會 增加一些復雜性，有時會造成很大的麻煩。

在抽象類中不能定義默認行為還存在另一個比較嚴重的問題，那就是可能會造成維護上的麻煩。因為如果后來想修改類的界面（一般通過abstract class或者interface來表示）以適應新的情況（比如，添加新的方法或者給已用的方法中添加新的參數）時，就會非常的麻煩，可能要花費很多的時間（對于派生類很多的情況，尤為如此）。但是如果界面是通過abstract class來實現的，那么可能就只需要修改定義在abstract class中的默認行為就可以了。
同樣，如果不能在抽象類中定義默認行為，就會導致同樣的方法實現出現在該抽象類的每一個派生類中，違反了 one rule，one place原則，造成代碼重復，同樣不利于以后的維護。因此，在abstract class和interface間進行選擇時要非常的小心。

從設計理念層面看abstract class和interface

上面主要從語法定義和編程的角度論述了abstract class和interface的區別，這些層面的區別是比較低層次的、非本質的。本小節將從另一個層面：abstract class和interface所反映出的設計理念，來分析一下二者的區別。作者認為，從這個層面進行分析才能理解二者概念的本質所在。

前面已經提到過，abstarct class在Java語言中體現了一種繼承關系，要想使得繼承關系合理，父類和派生類之間必須存在is a關系，即父類和派生類在概念本質上應該是相同的（參考文獻〔3〕中有關于is a關系的大篇幅深入的論述，有興趣的讀者可以參考）。對于interface 來說則不然，并不要求interface的實現者和interface定義在概念本質上是一致的，僅僅是實現了interface定義的契約而已。為了使論述便于理解，下面將通過一個簡單的實例進行說明。

考慮這樣一個例子，假設在我們的問題領域中有一個關于Door的抽象概念，該Door具有執行兩個動作open和close，此時我們可以通過abstract class或者interface來定義一個表示該抽象概念的類型，定義方式分別如下所示：

使用abstract class方式定義Door：

abstract class Door {
abstract void open();
abstract void close()；
}
使用interface方式定義Door：
interface Door {
void open();
void close();
}
其他具體的Door類型可以extends使用abstract class方式定義的Door或者implements使用interface方式定義的Door。看起來好像使用abstract class和interface沒有大的區別。
如果現在要求Door還要具有報警的功能。我們該如何設計針對該例子的類結構呢（在本例中，主要是為了展示abstract class和interface反映在設計理念上的區別，其他方面無關的問題都做了簡化或者忽略）？下面將羅列出可能的解決方案，并從設計理念層面對這些不同的方案進行分析。

解決方案一：
簡單的在Door的定義中增加一個alarm方法，如下：
abstract class Door {
abstract void open();
abstract void close()；
abstract void alarm();
}
或者
interface Door {
void open();
void close();
void alarm();
}

那么具有報警功能的AlarmDoor的定義方式如下：

class AlarmDoor extends Door {
void open() { … }
void close() { … }
void alarm() { … }
}
或者
class AlarmDoor implements Door ｛
void open() { … }
void close() { … }
void alarm() { … }
｝
這種方法違反了面向對象設計中的一個核心原則ISP（Interface Segregation Priciple），在Door的定義中把Door概念本身固有的行為方法和另外一個概念報警器的行為方法混在了一起。這樣引起的一個問題是那些僅僅依賴于Door這個概念的模塊會因為報警器這個概念的改變（比如：修改alarm方法的參數）而改變，反之依然。

解決方案二：
既然open、close和alarm屬于兩個不同的概念，根據ISP原則應該把它們分別定義在代表這兩個概念的抽象類中。定義方式有：這兩個概念都使用 abstract class方式定義；兩個概念都使用interface方式定義；一個概念使用abstract class方式定義，另一個概念使用interface方式定義。

顯然，由于Java語言不支持多重繼承，所以兩個概念都使用abstract class方式定義是不可行的。后面兩種方式都是可行的，但是對于它們的選擇卻反映出對于問題領域中的概念本質的理解、對于設計意圖的反映是否正確、合理。我們一一來分析、說明。

如果兩個概念都使用interface方式來定義，那么就反映出兩個問題：1、我們可能沒有理解清楚問題領域，AlarmDoor在概念本質上到底是 Door還是報警器？2、如果我們對于問題領域的理解沒有問題，比如：我們通過對于問題領域的分析發現AlarmDoor在概念本質上和Door是一致的，那么我們在實現時就沒有能夠正確的揭示我們的設計意圖，因為在這兩個概念的定義上（均使用interface方式定義）反映不出上述含義。

如果我們對于問題領域的理解是：AlarmDoor在概念本質上是Door，同時它有具有報警的功能。我們該如何來設計、實現來明確的反映出我們的意思呢？前面已經說過，abstract class在Java語言中表示一種繼承關系，而繼承關系在本質上是is a關系。所以對于Door這個概念，我們應該使用abstarct class方式來定義。另外，AlarmDoor又具有報警功能，說明它又能夠完成報警概念中定義的行為，所以報警概念可以通過interface方式定義。如下所示：

abstract class Door {
abstract void open();
abstract void close()；
}
interface Alarm {
void alarm();
}
class AlarmDoor extends Door implements Alarm {
void open() { … }
void close() { … }
void alarm() { … }
}
這種實現方式基本上能夠明確的反映出我們對于問題領域的理解，正確的揭示我們的設計意圖。其實abstract class表示的是is a關系，interface表示的是like a關系，大家在選擇時可以作為一個依據，當然這是建立在對問題領域的理解上的，比如：如果我們認為AlarmDoor在概念本質上是報警器，同時又具有 Door的功能，那么上述的定義方式就要反過來了。
結論
abstract class和interface是Java語言中的兩種定義抽象類的方式，它們之間有很大的相似性。但是對于它們的選擇卻又往往反映出對于問題領域中的概念本質的理解、對于設計意圖的反映是否正確、合理，因為它們表現了概念間的不同的關系（雖然都能夠實現需求的功能）。這其實也是語言的一種的慣用法，希望讀者朋友能夠細細體會。

很多人有過這樣的疑問：為什么有的地方必須使用接口而不是抽象類，而在另一些地方，又必須使用抽象類而不是接口呢？或者說，在考慮Java類的一般化問題時，很多人會在接口和抽象類之間猶豫不決，甚至隨便選擇一種。

　　實際上接口和抽象類的選擇不是隨心所欲的。 要理解接口和抽象類的選擇原則，有兩個概念很重要：對象的行為和對象的實現。如果一個實體可以有多種實現方式，則在設計實體行為的描述方式時，應當達到這樣一個目標：在使用實體的時候，無需詳細了解實體行為的實現方式。也就是說，要把對象的行為和對象的實現分離開來。既然Java的接口和抽象類都可以定義不提供具體實現的方法，在分離對象的行為和對象的實現時，到底應該使用接口還是使用抽象類呢？

通過抽象類建立行為模型

　　在接口和抽象類的選擇上，必須遵守這樣一個原則：行為模型應該總是通過接口而不是抽象類定義。為了說明其原因，下面試著通過抽象類建立行為模型，看看會出現什么問題。

　　假設要為銷售部門設計一個軟件，這個軟件包含一個“發動機”（Motor）實體。顯然無法在發動機對象中詳細地描述發動機的方方面面，只能描述某些對當前軟件來說重要的特征。至于發動機的哪些特征是重要的，則要與用戶（銷售部門）交流才能確定。

　　銷售部門的人要求每一個發動機都有一個稱為馬力的參數。對于他們來說，這是惟一值得關心的參數。基于這一判斷，可以把發動機的行為定義為以下行為。

　　行為1：查詢發動機的馬力，發動機將返回一個表示馬力的整數。

　　雖然現在還不清楚發動機如何取得馬力這個參數，但可以肯定發動機一定支持這個行為，而且這是所有發動機惟一值得關注的行為特征。這個行為特征既可以用接口定義，也可以用抽象類定義。為了說明用抽象類定義可能出現的問題，下面用抽象類建立發動機的行為模型，并用Java方法描述行為1，代碼如下：

public abstract Motor{

abstract public int getHorsepower();

}

　　在Motor抽象類的基礎上構造出多種具體實現，例如A型發動機、B型發動機等，再加上系統的其它部分，最后得到1.0版的軟件并交付使用。一段時間過去了，現在要設計2.0版的軟件。在評估2.0版軟件需求的過程中，發現一小部分發動機是電池驅動的，而電池需要一定的充電時間。銷售部門的人希望能夠通過計算機查閱充電時間。根據這一要求定義一個新的行為，如圖1所示。

　　行為2：查詢電驅動發動機的充電時間，發動機將返回一個表示充電時間的整數。

　　用Java方法來描述這個行為，代碼如下：

public abstract BatteryPoweredMotor extends Motor{

abstract public int getTimeToRecharge();

}

　　在銷售部門的軟件中，電驅動發動機也以類的形式實現，但這些類從BatteryPoweredMotor而不是Motor派生。這些改動加入到2.0版軟件之后，銷售部門很滿意。隨著業務的不斷發展，不久之后光驅動的發動機出現了。銷售部門要求光驅動發動機需要一定光能才能運轉，光能以流明（Lumen）度量。這個信息對客戶很重要，因為下雨或多云的天氣里，某些光驅動發動機可能無法運轉。銷售部門要求為軟件增加對光驅動發動機的支持，所以要定義一個新的行為。

　　行為3：查詢光驅動發動機能夠正常運轉所需要的最小流明數，發動機返回一個整數。

　　再定義一個抽象類并把行為3轉換成Java方法，代碼如下：

public abstract SolarPoweredMotor extends Motor{

abstract public int getLumensToOperate();

}

　　如圖1所示，SolarPoweredMotor和BatteryPoweredMotor都從Motor抽象類派生。在整個軟件中，90％以上的代碼以相同的方式對待所有的發動機。偶爾需要檢查一下發動機是光驅動還是電驅動，使用instanceof實現，代碼如下：

[color=#336600]

if (instanceof SolarPoweredMotor){...}

if (instanceof BatteryPoweredMotor){...}

　　無論是哪種發動機，馬力這個參數都很重要，所以在所有派生的抽象類（SolarPoweredMotor和BatteryPoweredMotor）中，getHorsepower()方法都有效。

　　現在銷售部門又有了一種新的發動機，它是一種既有電驅動又有光驅動的雙重驅動發動機。光驅動和電驅動的行為本身沒有變化，但新的發動機同時支持兩種行為。在考慮如何定義新型的光電驅動發動機時，接口和抽象類的差別開始顯示出來了。新的目標是在增加新型發動機的前提下盡量少改動代碼。因為與光驅動發動機、電驅動發動機有關的代碼已經過全面的測試，不存在已知的Bug。為了增加光電驅動發動機，要定義一個新的SolarBatteryPowered抽象類。如果讓SolarBatteryPowered從Motor抽象類派生，SolarBatteryPowered將不支持針對光驅動發動機和電驅動發動機的instanceof操作。也就是說，如果查詢一個光電驅動的發動機是光驅動的，還是電驅動的，得到的答案是：都不是。

　　如果讓 SolarBatteryPowered從SolarPoweredMotor（或BatteryPoweredMotor）抽象類派生，類似的問題也會出現，SolarBatteryPowered將不支持針對BatteryPoweredMotor（或SolarPoweredMotor）的 instanceof操作。從行為上看，光電驅動的發動機必須同時從兩個抽象類派生，但Java語言不允許多重繼承。之所以會出現這個問題，根本的原因在于使用抽象類不僅意味著定義特定的行為，而且意味著定義實現的模式。也就是說，應該定義一個發動機如何獲得行為的模型，而不僅僅是聲明發動機具有某一個行為。

通過接口建立行為模型

　　如果用接口來建立行為模型，就可以避免隱含地規定實現模式。例如，前面的幾個行為改用接口定義如下。

　　行為1：

public interface Motor(){

public int getHorsepower();

}

行為2：

public interface BatteryPoweredMotor extends Motor(){

public int getTimeToRecharge();

}

行為3：

public interface SolarPoweredMotor extends Motor{

abstract public int getLumensToOperate();

}

　　現在光電驅動的發動機可以描述為：
public DualPoweredMotor implements SolarPoweredMotor, BatteryPoweredMotor{}

　　DualPoweredMotor只繼承行為定義，而不是行為的實現模式，如圖2所示。

　　在使用接口的同時仍舊可以使用抽象類，不過這時抽象類的作用是實現行為，而不是定義行為。只要實現行為的類遵從接口定義，即使它改變了父抽象類，也不用改變其它代碼與之交互的方式。特別是對于公用的實現代碼，抽象類有它的優點。抽象類能夠保證實現的層次關系，避免代碼重復。然而，即使在使用抽象類的場合，也不要忽視通過接口定義行為模型的原則。從實踐的角度來看，如果依賴于抽象類來定義行為，往往導致過于復雜的繼承關系，而通過接口定義行為能夠更有效地分離行為與實現，為代碼的維護和修改帶來方便。