今日的c++不再是個單純的「帶類的c」語言，它已經發展成為乙個多種次語言所組成的語言集合，其中泛型程式設計與基於它的stl是c++發展中最為出彩的那部分。在物件導向c++程式設計中，多型是oo三大特性之一，這種多型稱為執行期多型，也稱為動態多型；在泛型程式設計中，多型基於template(模板)的具現化與函式的過載解析，這種多型在編譯期進行，因此稱為編譯期多型或靜態多型。在本文中，我們將了解：
什麼是執行期多型
什麼是編譯期多型
它們的優缺點在哪
執行期多型的設計思想要歸結到類繼承體系的設計上去。對於有相關功能的物件集合，我們總希望能夠抽象出它們共有的功能集合，在基類中將這些功能宣告為虛介面（虛函式），然後由子類繼承基類去重寫這些虛介面，以實現子類特有的具體功能。典型地我們會舉下面這個例子：
()執行期多型的實現依賴於虛函式機制。當某個類宣告了虛函式時，編譯器將為該類物件安插乙個虛函式表指標，並為該類設定一張唯一的虛函式表，虛函式表中存放的是該類虛函式位址。執行期間通過虛函式表指標與虛函式表去確定該類虛函式的真正實現。
執行期多型的優勢還在於它使處理異質物件集合稱為可能：
//我們有個動物園，裡面有一堆動物
intmain
() //delete物件
//...
return
0;}
相比較於執行期多型，實現編譯期多型的類之間並不需要成為乙個繼承體系，它們之間可以沒有什麼關係，但約束是它們都有相同的隱式介面。我們將上面的例子改寫為:
class
animal;};
class
dog};class
cat};class
bird
};template
t>
void
animalshout
(t & t)
intmain
()
oo設計中重要的特性，對客觀世界直覺認識。
能夠處理同乙個繼承體系下的異質類集合。
執行期間進行虛函式繫結，提高了程式執行開銷。
龐大的類繼承層次，對介面的修改易影響類繼承層次。
由於虛函式在執行期在確定，所以編譯器無法對虛函式進行優化。
虛表指標增大了物件體積，類也多了一張虛函式表，當然，這是理所應當值得付出的資源消耗，列為缺點有點勉強。
它帶來了泛型程式設計的概念，使得c++擁有泛型程式設計與stl這樣的強大**。
在編譯器完成多型，提高執行期效率。
具有很強的適配性與松耦合性，對於特殊型別可由模板偏特化、全特化來處理。
程式可讀性降低，**除錯帶來困難。
無法實現模板的分離編譯，當工程很大時，編譯時間不可小覷。
無法處理異質物件集合。
回到頂部
所謂的顯式介面是指類繼承層次中定義的介面或是某個具體類提供的介面，總而言之，我們能夠在源**中找到這個介面.顯式介面以函式簽名為中心，例如
void
animalshot
(animal & anim)
而對模板引數而言，介面是隱式的，奠基於有效表示式。例如：
template
t>
void
animalshot
(t & anim)
編譯期多型和執行期多型
所謂的多型是通過乙個單一的識別符號支援不同的特定行為的能力。靜態多型 編譯期多型 動態多型 執行期多型 虛函式過載 模板 轉換 型別別名 今天我們就只討論從繫結時間來分的多型種類，即編譯期多型和執行期多型。執行期多型可以說只要學了c 的人都是知道的。因為執行期多型就是我通俗所說的多型，它的提出可以歸...
編譯期多型和執行期多型
執行期多型 runtime polymorphism 也稱為顯式多型，是指類中成員函式是virtual，類將對這些函式表現出執行期多型，也就是說將於執行期根據基類指標或者引用的動態型別決定究竟呼叫哪乙個函式。編譯期多型 cmpile time polymorphisms 也稱為隱式多型，是指以不同的...
C 編譯期多型與執行期多型
閱讀目錄 關於顯式介面與隱式介面 正文 回到頂部 今日的c 不再是個單純的 帶類的c 語言，它已經發展成為乙個多種次語言所組成的語言集合，其中泛型程式設計與基於它的stl是c 發展中最為出彩的那部分。在物件導向c 程式設計中，多型是oo三大特性之一，這種多型稱為執行期多型，也稱為動態多型 在泛型程式...