C++的虛擬函式是其實現多型的基礎，今天在這裡分享一下我對C++虛擬函式相關知識的系統總結，技術有限，如有不當，歡迎指正。
　　在將內容前，將大致涉及到的內容圖解如下：
　
　
1. 有無虛擬函式在繼承中的區別

//-- Zuo add on 2018-04-07
class A
{
public:
    virtual void fun(){ std::cout << "A::fun"; }
    void fun1(){ std::cout << "A::fun1"; }
};

class B : public A
{
public:
    virtual
 
 void fun(){ std::cout << "B::fun"; }
    void fun1(){ std::cout << "B::fun1"; }
};

void main(char argc, char** argv)
{
  A *a = new A;
  A *b = new B;
  a->fun();
  b->fun();
  a->fun1();
  b->fun1();
}

輸出結果：

A::fun
B::fun
A::fun1
A::fun1

　　可以看到，如果是虛擬函式，在繼承的時候，如果子類有重寫，就會被覆蓋（由子類的實現代替父類的實現），如果是普通成員函式，就不會被子類的實現覆蓋，這也就是多型的原型。
　　例子很簡單，想必大家很容易看懂，但是這裡我提出兩個問題大家思想下，後面會有答案：
　　1.1. 如果將上文的A *a = new B;

修改成 B *a = new B;結果會怎樣變化？
　　1.2. 如果虛擬函式有預設值，預設值會有什麼特點？
2. 虛擬函式的本質
　　虛擬函式的本質是因為C++給有虛擬函式的類增加了一張虛擬函式表，用來儲存所有虛擬函式的入口地址。在子類繼承父類的過程中，首先繼承的是這張虛擬函式表Virtual-Table（以下簡稱VT），如果子類有對父類虛擬函式的重寫，那麼就會在VT中覆蓋對應的函式地址。這樣就可以實現同樣的呼叫，在不同的子類裡，有不同的實現，這也就是多型。
　　注意一個問題，VT是跟著類走的，也就是說，如果是上文中1.1提到的，那麼VT的覆蓋就不會發生，因為A *a = new B;等價於A *a = (A*)new B;正因為VT是跟著類走的，如果是B *a = new B;，那就無任何特別，普通的建立物件，如果是A *a = new B;，那在將B類轉換成A類的時候，也就是VT合併的時候。所以上文的1.1，輸出值就和class A毫無關係了。
　　除了上面講到的，還有兩點特性：
　　　2.1. 只有虛擬函式的入口地址才會被儲存在VT中，如果是普通成員函式，當然不會儲存在裡面。
　　　2.2. 為了提高虛擬函式的呼叫效率，VT的地址被存放在類的最前面。
　　我從網上找了一張圖比較明瞭：
　　
　　在繼承的過程在VT被子類重寫的虛擬函式地址覆蓋父類的虛擬函式地址，也就是同一個指標在不同的物件中可以指向不同的函式實現，這也就是虛擬函式的動態繫結實現多型的過程了。這個可以和普通函式的靜態繫結相對比，普通函式是在編譯期就靜態綁定了，而虛擬函式是在執行期通過VT儲存的函式地址實現動態繫結。
3. 純虛擬函式
　　純虛擬函式是一種比虛擬函式更加極端的函式。它的形式如下：
　　virtual void fun() = 0;
　　它存在的目的是為了規範介面，使得子類必須要實現對應的介面，如果子類沒有實現介面，則會編譯報錯。
　　使用純虛擬函式要注意一點，包含純虛擬函式的類被稱為抽象類，一般被設計為基類，且抽象類不能被例項化（因為有未實現的純虛擬函式）。
4. 安全性-訪問non-public虛擬函式
　　VT的存在固然為實現C++的多型立下汗馬功勞，但是凡事都有雙面性，它的到來，也引入了C++的一些安全上的不足。上文我們說到了，為了提高多型呼叫的效能，C++將VT地址存放在類空間的段首位置，所以我們通過獲取類的地址可以找到VT的地址，也就是可以得到一個類所有虛擬函式的地址，那如果，這裡面的虛擬函式有是non-public的，那就破壞了C++的封裝屬性了。Show Code：

//-- Zuo add on 2018-04-07
class A
{
private:
    virtual void fun(){ qDebug() << "A fun"; }
};

void main(char argc, char** argv)
{
    A *a = new A;
    typedef void(*fun)(void);
    std::cout << "虛擬函式表地址 = " << (int*)(a) << std::endl;
    std::cout << "第一個虛擬函式地址 = " << (int*)(*(int*)a << std::endl;
    //-- 將虛擬函式地址轉換為void fun(void)函式指標
    fun f = (fun)*((int*)(*(int*)a));
    f();
}

可以看到，這裡可以無報錯的訪問到原本為private的虛擬函式。
5. 虛擬函式的預設值不能被覆蓋
　　虛擬函式雖然可以被子類所覆蓋以形成多型，但是有一個細節還是要注意，虛擬函式的預設值是不能被覆蓋的，還是上面的程式碼：

//-- Zuo add on 2018-04-07
class A
{
public:
    virtual void fun(int a = 1){ std::cout << "A::fun && a = " << a; }
};

class B : public A
{
public:
    virtual void fun(int a = 2){ std::cout << "B::fun && a = " << a; }
};

void main(char argc, char** argv)
{
  A *a = new A;
  A *b = new B;
  a->fun();
  b->fun();
}

輸出結果：

A::fun && a = 1
B::fun && a = 1

可以看到這裡的a沒有被改變。