C++虛函數與多態性

標籤：

• 多態性可以簡單地概括為“一個介面，多種方法”，程式在運行時才決定調用的函數，它是物件導向編程領域的核心概念。多態(polymorphism)，字面意思多種形狀。
• 虛函數是在基類中被聲明為virtual，並在衍生類別中重新定義的成員函數，可實現成員函數的動態覆蓋（Override）。
• 包含純虛函數的類稱為抽象類別。由於抽象類別包含了沒有定義的純虛函數，所以不能定義抽象類別的對象。
• C++中的虛函數的作用主要是實現了多態的機制。關於多態，簡而言之就是用父類型別的指標指向其子類的執行個體，然後通過父類的指標調用實際子類的成員函數。這種技術可以讓父類的指標有“多種形態”，這是一種泛型技術。所謂泛型技術，說白了就是試圖使用不變的代碼來實現可變的演算法。比如：模板技術，RTTI技術，虛函數技術，要麼是試圖做到在編譯時間決議，要麼試圖做到運行時決議。
• 任何妄圖使用父類指標想調用子類中的未覆蓋父類的成員函數的行為都會被編譯器視為非法，所以，這樣的程式根本無法編譯通過。
• 多態指同一個實體同時具有多種形式。它是物件導向程式設計（OOP）的一個重要特徵。如果一個語言只支援類而不支援多態，只能說明它是基於對象的，而不是物件導向的。C++中的多態性具體體現在運行和編譯兩個方面。運行時多態是動態多態，其具體引用的對象在運行時才能確定。編譯時間多態是靜態多態，在編譯時間就可以確定對象使用的形式。多態性在C++中都是通過虛函數實現的。

C++虛函數與多態性