c++的多型性用一句話概括就是：在基類的函式前加上virtual關鍵字，在派生類中重寫該函式，執行時將會根據物件的實際型別來呼叫相應的函式。如果物件型別是派生類，就呼叫派生類的函式；如果物件型別是基類，就呼叫基類的函式
1：用virtual關鍵字申明的函式叫做虛函式，虛函式肯定是類的成員函式。
2：存在虛函式的類都有乙個一維的虛函式表叫做虛表，類的物件有乙個指向虛表開始的虛指標。虛表是和類對應的，虛表指標是和物件對應的。
3：多型性是乙個介面多種實現，是物件導向的核心，分為類的多型性和函式的多型性。
4：多型用虛函式來實現，結合動態繫結.
5:純虛函式是虛函式再加上 = 0；
6：抽象類是指包括至少乙個純虛函式的類。
存在純虛函式:virtual void fun()=0;即抽象類！必須在子類實現這個函式，即先有名稱，沒有內容，在派生類實現內容。
我們先看個例子，注意下面的例子並沒有使用真正的多型(動態多型)，而是使用的靜態多型。
#include
"stdafx.h"
#include
#include
using namespace std;
class father
void
say()}
;class son:public father};
void
main()
從編譯的角度來看:
c++編譯器在編譯的時候，要確定每個物件呼叫的函式（非虛函式）的位址，這稱為早期繫結，當我們將son類的物件son的位址賦給pfather時，c++編譯器進行了型別轉換，此時c++編譯器認為變數pfather儲存的就是father物件的位址，當在main函式中執行pfather->say(),呼叫的當然就是father物件的say函式。
從記憶體角度看
正如很多人那麼認為，在上面的**中，我們知道pfather實際上指向的是son類的物件，我們希望輸出的結果是son類的say方法，那麼想到達到這種結果，就要用到虛函式了。
前面輸出的結果是因為編譯器在編譯的時候，就已經確定了物件呼叫的函式的位址，要解決這個問題就要使用繫結，當編譯器使用晚繫結時候，就會在執行時再去確定物件的型別以及正確的呼叫函式，而要讓編譯器採用晚繫結，就要在基類中宣告函式時使用virtual關鍵字，這樣的函式我們就稱之為虛函式，一旦某個函式在基類中宣告為virtual，那麼在所有的派生類中該函式都是virtual，而不需要再顯式地宣告為virtual。
**稍微改動一下，看一下執行結果
#include
"stdafx.h"
#include
#include
using namespace std;
class father
virtual void
say()}
;class son:public father};
void
main()
編譯器在編譯的時候，發現father類中有虛函式，此時編譯器會為每個包含虛函式的類建立乙個虛表(即 vtable)，該表是乙個一維陣列，在這個陣列中存放每個虛函式的位址，
那麼如何定位虛表呢？編譯器另外還為每個物件提供了乙個虛表指標(即vptr)，這個指標指向了物件所屬類的虛表，在程式執行時，根據物件的型別去初始化vptr，從而讓vptr正確的指向了所屬類的虛表，從而在呼叫虛函式的時候，能夠找到正確的函式，對於第二段**程式，由於pfather實際指向的物件型別是son，因此vptr指向的son類的vtable，當呼叫pfather->son()時，根據虛表中的函式位址找到的就是son類的say()函式.
正是由於每個物件呼叫的虛函式都是通過虛表指標來索引的，也就決定了虛表指標的正確初始化是非常重要的，換句話說，在虛表指標沒有正確初始化之前，我們不能夠去呼叫虛函式，那麼虛表指標是在什麼時候，或者什麼地方初始化呢？
答案是在建構函式中進行虛表的建立和虛表指標的初始化，在構造子類物件時，要先呼叫父類的建構函式，此時編譯器只「看到了」父類，並不知道後面是否還有繼承者，它初始化父類物件的虛表指標，該虛表指標指向父類的虛表，當執行子類的建構函式時，子類物件的虛表指標被初始化，指向自身的虛表。
現在我們看乙個體現c++多型性的例子，看看輸出結果:
#include
"stdafx.h"
#include
#include
using namespace std;
class ca
virtual voidff(
)}; class cb : public ca
voidff(
)}; class cc : public cb };
intmain()
1:每乙個類都有虛表
2:虛表可以繼承，如果子類沒有重寫虛函式，那麼子類虛表中仍然會有該函式的位址，只不過這個位址指向的是基類的虛函式實現，如果基類有3個虛函式，那麼基類的虛表中就有三項(虛函式位址)，派生類也會虛表，至少有三項，如果重寫了相應的虛函式，那麼虛表中的位址就會改變，指向自身的虛函式實現，如果派生類有自己的虛函式，那麼虛表中就會新增該項。
3：派生類的虛表中虛位址的排列順序和基類的虛表中虛函式位址排列順序相同。
這就是c++中的多型性，當c++編譯器在編譯的時候，發現father類的say()函式是虛函式，這個時候c++就會採用晚繫結技術，也就是編譯時並不確定具體呼叫的函式，而是在執行時，依據物件的型別來確認呼叫的是哪乙個函式，這種能力就叫做c++的多型性，我們沒有在say()函式前加virtual關鍵字時，c++編譯器就確定了哪個函式被呼叫，這叫做早期繫結。
c++的多型性就是通過晚繫結技術來實現的。
c++的多型性用一句話概括就是:在基類的函式前加上virtual關鍵字，在派生類中重寫該函式，執行時將會根據物件的實際型別來呼叫相應的函式，如果物件型別是派生類，就呼叫派生類的函式，如果物件型別是基類，就呼叫基類的函式。
虛函式是在基類中定義的，目的是不確定它的派生類的具體行為，例如:
定義乙個基類:class animal //動物，它的函式為breathe()
再定義乙個類class fish //魚。它的函式也為breathe()
再定義乙個類class sheep //羊，它的函式也為breathe()
將fish，sheep定義成animal的派生類，然而fish與sheep的breathe不一樣，乙個是在水中通過水來呼吸，乙個是直接呼吸，所以基類不能確定該如何定義breathe，所以在基類中只定義了乙個virtual breathe，它是乙個空的虛函式，具體的函式在子類中分別定義，程式一般執行時，找到類，如果它有基類，再找到它的基類，最後執行的是基類中的函式，這時，它在基類中找到的是virtual標識的函式，它就會再回到子類中找同名函式，派生類也叫子類，基類也叫父類，這就是虛函式的產生，和類的多型性的體現。
這裡的多型性是指類的多型性。
函式的多型性是指乙個函式被定義成多個不同引數的函式。當你呼叫這個函式時，就會呼叫不同的同名函式。
一般情況下(不涉及虛函式)，當我們用乙個指標/引用呼叫乙個函式的時候，被呼叫的函式是取決於這個指標/引用的型別。
當設計到多型性的時候，採用了虛函式和動態繫結，此時的呼叫就不會在編譯時候確定而是在執行時確定。不在單獨考慮指標/引用的型別而是看指標/引用的物件的型別來判斷函式的呼叫，根據物件中虛指標指向的虛表中的函式的位址來確定呼叫哪個函式。c++ 虛函式表解析
c++ 物件的記憶體布局
由於以上兩篇部落格的內容存在爭議，由於本人暫時也沒有對多型做過深入的研究，並不能確定文章觀點內容的正確與否。所以暫時不對多型做很深入的討論，留待以後深入討論過時候再做討論。
C 多型及其實現原理
1.多型的定義 多型含義為乙個事物有多種形態。在c 程式設計中，多型性是指具有不同功能的函式可以用同乙個函式名，這樣就可以用乙個函式名呼叫不同內容的函式，主要分為靜態多型和動態多型 動態多型 就是通過繼承重寫基類的虛函式實現的多型，因為是在執行時確定決議，所以稱為動態多型。執行時在虛函式表中尋找呼叫...
c 中多型及其實現原理
有繼承 有虛函式 virtual 重寫 有父類指標 引用 指向子類物件。在基類中使用virtual定義虛函式，告訴編譯器這個函式要支援多型 而不是根據指標型別判斷如何呼叫 而是要根據引用或指標所繫結的物件的真實型別。一旦某個函式被宣告為虛函式，則在所有派生類中它都是虛函式 不管有沒有virtual ...
C C 多型及其實現原理
c c 多型及其實現原理 多型的介紹 多型含義為乙個事物有多種形態。在c 程式設計中，多型性是指具有不同功能的函式可以用同乙個函式名，這樣就可以用乙個函式名呼叫不同內容的函式。一般來說多型分為兩種 靜態多型 也稱為編譯時多型，主要包括引數多型，過載多型和強制多型。引數多型 採用引數化模板，通過給出不...