[[442919]]

多態(tài)

在我們之前介紹的繼承的情況當(dāng)中，派生類調(diào)用基類的方法都是不做任何改動的調(diào)用。

但有的時候會有一些特殊的情況，我們會希望同一個方法在不同的派生類當(dāng)中的行為是不同的。舉個簡單的例子，比如speak方法，在不同的類當(dāng)中的實(shí)現(xiàn)肯定是不同的。如果是Human類，就是正常的說話，如果是Dog類可能是汪汪，而Cat類則是喵喵。

在這種情況下只是簡單地使用繼承是無法滿足我們的要求的，最好能夠有一個機(jī)制可以讓方法有多種形態(tài)，不同的對象去調(diào)用的邏輯不同。這樣的行為稱為多態(tài)。

這里稍微強(qiáng)調(diào)一下，多態(tài)是一種面向?qū)ο蟮脑O(shè)計思路，本身和C++不是強(qiáng)綁定的，其他語言當(dāng)中一樣有多態(tài)，只不過實(shí)現(xiàn)的方式可能有所不同。

在C++當(dāng)中有兩種重要的機(jī)制用于實(shí)現(xiàn)多態(tài)：

• 在派生類當(dāng)中重新定義基類的方法
• 使用虛方法

我們來看一個例子：

class Mammal { 
 private: 
  string name; 
 public: 
  Mammal(string n): name(n) {} 
     string Name() const{ 
            return name; 
        } 
  virtual void speak() const { 
   cout << "can't say anything" << endl; 
  } 
     virtual ~Mammal() {}; 
}; 
 
class Human : public Mammal{ 
 private: 
  string job; 
 public: 
  Human(string n, string j): Mammal(n), job(j) {} 
  virtual void speak() const { 
   cout << "i'm human" << endl; 
  } 
}; 

由于示例比較簡單，所以我們把類的聲明和實(shí)現(xiàn)寫在一起了。

從結(jié)構(gòu)上來看，這就是一個簡單的繼承，我們實(shí)現(xiàn)了兩個類，一個叫做Mammal，一個叫做Human，然后給它們各自定義了一些成員變量。

值得注意的是speak函數(shù)，我們在函數(shù)聲明前面加上了一個關(guān)鍵字virtual，這表示這是一個虛函數(shù)。

方法被定義成虛方法之后，在程序執(zhí)行的時候，將會根據(jù)派生類的類型來選擇執(zhí)行的方法版本。在進(jìn)行調(diào)用的時候，程序是根據(jù)對象類型而不是引用和指針的類型來選擇執(zhí)行的方法，如：

Mammal *m = new Human("man", "spiderman"); 
m->speak(); 

這里我們用一個Mammal的指針指向了一個Human類型的對象，當(dāng)我們調(diào)用方法的時候，由于speak方法是一個虛方法。因此執(zhí)行的時候程序會根據(jù)對象的類型也就是Human去執(zhí)行Human對象中的speak方法，而不是Mammal中的。

通常我們會將析構(gòu)函數(shù)也設(shè)置成虛方法，因?yàn)榕缮惍?dāng)中往往有一些專屬成員，這是一種慣例。因?yàn)槿绻鰳?gòu)函數(shù)不是虛函數(shù)，那么只會調(diào)用對應(yīng)指針類型的析構(gòu)函數(shù)，這意味著可能在一些情況下產(chǎn)生錯誤和問題。

在上述的示例當(dāng)中，我們是將類方法的實(shí)現(xiàn)和聲明寫在一起了，如果還是采取和之前一樣分開實(shí)現(xiàn)的方式，需要注意我們無需在函數(shù)簽名中加上virtual關(guān)鍵字。

本文轉(zhuǎn)載自微信公眾號「Coder梁」，可以通過以下二維碼關(guān)注。轉(zhuǎn)載本文請聯(lián)系Coder梁公眾號。