初識C++之虛函數

可以看到，確實是只調用了基類的析構函數，派生類的析構函數並沒有被調用。

當我把基類的析構函數改成這樣：

virtual ~Base() 
{
　　cout << "~Base()" << endl;
} 

再運行時，結果如下：

可以看到，此時不管是基類還是派生類的的析構函數都被調用了，為什麼呢？
解析如下：
假設Derive類public繼承自Base類，並且基類的析構函數沒有定義為虛函數，有如下調用：
Base* pb = new Derive；
delete pb；
這時候，delete pb時，編譯器會把pb當成Base的一個對象看待，因為pb是Base類型的，所以直接去調用基類的析構函數；
若將基類的析構函數寫成virtual函數，那麼基類和派生類的析構函數會分別存放在自己的虛表中，這時再執行delete pb時，會調用析構函數，但現在虛構函數是虛函數，所以會到虛表中去查找，而此時pb指向的剛好是一個派生類對象，所以通過虛表查找就找到了派生類的虛函數，從而調用派生類的析構函數。

4、純虛函數
①定義：
　　純虛函數是在基類中聲明的虛函數，它在基類中沒有定義，即沒有函數體，但要求任何派生類都要實現自己的函數體。在基類中實現純虛函數的方法是在函數原型後加“=0;“。
virtual void funtion()=0 ;

②引入原因 ：
　　為了方便使用多態特性，我們常常需要在基類中定義虛擬函數。 但在很多情況下，基類本身生成對象是不合情理的。例如，動物作為一個基類可以派生出老虎、孔雀等子類，但動物本身生成對象明顯不合常理。 為了解決上述問題，引入了純虛函數的概念，將函數定義為純虛函數，則編譯器要求在派生類中必須予以重寫以實現多態性。這樣就很好地解決了上述兩個問題。

③作用：
　　純虛函數的作用是在基類中為其派生類保留一個函數的名字，以便派生類根據需要對其進行實現，從而實現多態性。

④抽象類
　　不用來定義對象，只是作為一種基本類型用作繼承的類，稱為抽象類，由於抽象類通常作為基類，所以也稱為抽象基類。包含純虛函數的類就是抽象類，它不能生成對象。

注意：
①純虛函數沒有函數體；
②純虛函數聲明形式最後的“=0;”並不是返回值是0，它只是起一個形式上的作用，告訴編譯器這是虛函數；
③虛函數的聲明形式是一個語句，最後要加上“;”。
④純虛函數只有聲明，沒有函數體，所以它不具有函數功能，因此不能被調用，可以稱其為“徒有其表”。
⑤如果一個類中聲明了虛函數，且在其派生類中沒有被實現，那麼在派生類中它仍為純虛函數。

最後用一個實例來剖析：

class Animal
{
public:
    virtual void Sleep() = 0;   //這裡聲明Sleep為純虛函數
public:
    char sex[5];
    int age;
};

class Person: public Animal
{
public:
    virtual void Sleep()
    {
        cout << "Person lying down to sleep!" << endl;
    }
public:
    char notionality[20];   //國籍
    char name[10];
};

class Horse: public Animal
{
public:
    virtual void Sleep()
    {
        cout << "Horse sleep standing up!" << endl;
    }
public:
    char rase[20];          //種族
};

int main()
{
    Animal a;
    return 0;
}

此時用含有純虛函數Sleep的抽象類Animal來創建對象時，會報錯。

我把主函數改為調用抽象類Animal中的Sleep函數：

int main()
{
    Animal::Sleep();
    return 0;
}

調用一個純虛函數，會報錯。

我把Person修改了，去掉它對Sleep函數的實現：

class Person: public Animal
{
public:
    char notionality[20];   //國籍
    char name[10];
};

此時Person類中沒有對Sleep函數進行實現，因此，Person類中的Sleep函數仍為虛函數，會報錯。