通過下面的程式碼來說明：

#include <iostream>

}

當兩個virtual都不加的時候，輸出結果：

Animal
A
Dog
4
0x7ffc94887060
0x7ffc94887060
0x7ffc94887064
p++: 0x7ffc94887068
2491969640
~Dog
~A
~Animal

當加上其中一個virtual以後，比如Animal的解構函式成了虛解構函式，輸出結果：

Animal
A
Dog
16
0x7fffaf8dd880
0x7fffaf8dd880
0x7fffaf8dd884
p++: 0x7fffaf8dd888
4
~Dog
~A
~Animal
 

如果再將類A的virtual加上，其實不光是解構函式，宣告其他函式為虛擬函式也一樣，這時，輸出的結果如下：

Animal
A
Dog
24
0x7ffe2707d310
0x7ffe2707d310
0x7ffe2707d314
p++: 0x7ffe2707d318
4198544
~Dog
~A
~Animal

這裡注意兩點：

（1）高位對齊！就是輸出的大小都是高位的整數倍，這個例子中都是8的整數倍；

（2）在物件的記憶體空間中，按照繼承順序，指向繼承來的兩個虛擬函式表的虛擬函式表指標將排在第一位和第二位，佔據前16個位元組，然後才是int型的成員變數佔用四個位元組，所以p要p++四次才能到達int型變數的首地址，才能輸出正確的值4，p++一次前進4個位元組。如下程式碼所示：

  Dog dog(4);
    cout<<sizeof(dog)<<endl;
    
    int * p = (int*)&dog;
    cout<<&dog<<endl;
    cout<<p<<endl;
    p++;
    cout<<p<<endl;
    p++;
      cout<<p<<endl;
    p++;
      cout<<p<<endl;
    p++;
    cout<<"p++: "<<p<<endl;
    cout<<(unsigned int)(*p)<<endl;

輸出結果為：

Animal
A
Dog
24
0x7ffe12b78160
0x7ffe12b78160
0x7ffe12b78164
0x7ffe12b78168
0x7ffe12b7816c
p++: 0x7ffe12b78170
4
~Dog
~A
~Animal

1.總結虛擬函式的實現原理：

當類中有虛擬函式或者虛解構函式時，在例項化類的物件時，物件記憶體中除了成員變數的大小，還有一個虛擬函式表指標，而且虛擬函式表指標放在記憶體的最前面，虛擬函式表指標會指向一個虛擬函式表，而以為Shape類中含有虛擬函式，這個虛擬函式表將於Shape類的定義同時出現，在計算機中虛擬函式表也是佔用一定到的記憶體空間的，且虛擬函式表由於一旦產生就具有不變性，所以編譯器就會經量把它放到穩定（或者說是隻讀）的記憶體區。虛擬函式表vtable在Linux/Unix中存放在可執行檔案的只讀資料段中(rodata)。

在上例中虛擬函式表的起始位置是0xCCFF，那麼虛擬函式表指標的值就是0xCCFF，每個類只有一張虛擬函式表，所有類的物件都共用同一張虛擬函式表。所有物件都含有相同的虛擬函式表指標值0xCCFF，以確保所有的物件含有的虛擬函式表指標都指向正確的虛擬函式表。虛擬函式表中存放的是所有的虛擬函式地址。計算時，先找到虛擬函式表指標，通過指標的偏移找到虛擬函式的指標，然後就可以呼叫虛擬函式。

上例圖中，Circle派生自Shape，Circle從父類派生了虛擬函式，於是它也有了自己的虛擬函式表，這兩個表的起始地址是不一樣的，但是表中calcArea()函式的起始地址是一樣的，這也就是說，兩張不同的虛擬函式表中的函式指標可能指向同一個函式。

當Circle類定義了自己的虛擬函式，如下圖所示，

由於此時，Circle類自己定義了calcArea()函式，所以將會覆蓋掉父類的函式。

2.總結虛解構函式的是實現原理：

虛解構函式的特點是當將父類的解構函式宣告為虛解構函式以後，再用父類的指標去指向子類的物件，並用delete去銷燬父類的指標的時候，不會再只調用父類的解構函式，而是會先呼叫子類的解構函式再呼叫父類的解構函式，即會釋放掉子類物件了，不會再因為子類物件得不到釋放而產生記憶體洩露。這種情況也和虛擬函式表有關。實現過程如下：當宣告父類解構函式為虛解構函式以後，在子類和父類的虛擬函式表中將都出現虛解構函式的函式指標，如下兩幅圖所示。當用父類的指標指向子類的物件，用delete Shape釋放物件時，會通過Shape指標找到子類Circle的虛擬函式表指標，從而找到虛擬函式表，從而通過偏移找到虛解構函式的地址，從而呼叫子類Circle的解構函式，然後也會呼叫父類的解構函式。

多型的實現原理如下：當用父類的指標去指向子類物件時，會拿到子類的虛擬函式表指標，然後找到虛擬函式表，通過虛擬函式表指標的偏移，找到要呼叫的虛擬函式的函式指標，從而實現函式的呼叫。注意這裡的偏移必須是和父類的偏移量是一樣的。

與本節內容有關，補充兩個概念：函式的隱藏和覆蓋

函式的隱藏：沒有定義多型的情況下，即沒有加virtual的前提下，如果定義了父類和子類，父類和子類出現了同名的函式，就稱子類的函式把同名的父類的函式給隱藏了。

函式的覆蓋：是針對多型來說的。如果定義了父類和子類，父類中定義了公共的虛擬函式，如果此時子類中沒有定義同名的虛擬函式，那麼在子類的虛擬函式表中將會寫上父類的該虛擬函式的函式入口地址，如果在子類中定義了同名虛擬函式的話，那麼在子類的虛擬函式表中將會把原來的父類的虛擬函式地址覆蓋掉，覆蓋成子類的虛擬函式的函式地址，這種情況就稱為函式的覆蓋。