抽象與普通超類

Question

如果我能用抽象類做的所有事情，我可以做一個普通的超類， 爲什麼我會使用抽象類，當我可以使用一個普通的超類？

Answer 1

基類提供它們自己的方法實現。這些實現有時可以被覆蓋（取決於語言）。

抽象類不提供默認實現，每個繼承類都需要根據具體情況實現方法。

以上細節可能因語種而異。閱讀相應的文檔。

考慮這個例子：
甲Number抽象類具有add()方法。 A OddNumber和EvenNumber子類需要實現幾乎相同的add()方法，因此存在一些代碼重複。在這裏，擁有一個超類更有意義（或者至少具有Number的子類RealNumber）。

然而，考慮Complex爲的Number一個子類，如果人數分別爲不是抽象的，在Number發現（假設它是一個真正的數相加的算法）將毫無意義爲複數的add()方法。這裏抽象類更有意義。有些語言可以讓你重寫超類方法，但在這種情況下這有點笨拙。

Answer 2

我認爲評論和回答已經暗示了這一點，但我想更直白地說：你不能用一個普通的超類來做所有事情，你可以用一個抽象類來做。一個抽象類可以讓你定義一個方法的簽名而不包含它的實現，而一個抽象類將不允許你直接實例化它。

因此，如果我有一個類簽名記住3種方法，我不想分享任何他們的實現，我會使用一個接口。 如果我想共享這些方法之一的實現，我將使用一個抽象類，然後使該類中的兩個方法抽象化。 如果我想共享方法的所有實現，我將使用一個抽象類，如果它直接實例化它永遠沒有意義，或者如果它真的使用常規類。

（這是基於我在C＃中的經驗。詳情語言之間的差異。）

Answer 3

抽象類是非常有用的，當你需要代表一種常見的方式很多類似的事情。

例如，假設您想用代碼表示一個動物園，並且您需要購買食品雜貨清單以確保您有合適的食物。你如何代表所有動物最喜歡的食物？什麼噪音都造成了？他們如何移動？你可以嘗試使用超持有的食物，噪音和運動的大名單，但它更容易有共同定義的動物，然後讓每個動物提供它自己的實現細節：

public class Zoo { 
     public Animals[] AnimalsInZoo { get; set;} 

     public List<Food> GetGroceryList(){ 
     List<Food> groceries = new List<Food>(); 
     foreach(Animal a in Animals[]){ 
      groceries.Add(a.FavoriteFood); 
     } 
     return groceries; 
     } 

     public void MakeAnimalsSing(){ 

     foreach(Animal a in Animals[]){ 
      a.MakeNoise(); 
     } 

     } 
    } 

抽象動物類會是什麼樣子：

public abstract class Animal { 
     public abstract void MakeNoise(); 
     public abstract Food FavoriteFood { get; } 
     public abstract void Move(); 
    } 

並說動物園有兩種類型的動物：

public class Panda : Animal{ 
     public override void MakeNoise(){ 
     // grunt 
     } 

     public override void Move(){ 
     // walk 
     } 

     public override Food FavoriteFood { 
     get { 
       return new Bamboo(); 
     } 
     } 
    } 

     public class Parrot: Animal{ 
     public override void MakeNoise(){ 
     // talk 
     } 

     public override void Move(){ 
     // fly 
     } 

     public override Food FavoriteFood { 
     get { 
       return new Cracker(); 
     } 
     } 
    } 

由於具有共同的抽象類，我可以很容易地與任何NU工作許多不同的動物類型，而不必明確地知道我正在使用哪一種動物類型，但每種類型都可以以他們自己的方式行事。

超類無法提供這種靈活性或細節。