C C 虛函式純虛函式和抽象類

定義乙個函式為虛函式，不代表函式為不被實現的函式，定義這個函式為虛函式是為了允許用基類的指標來呼叫子類的這個函式。

定義乙個函式為純虛函式，才代表函式沒有被實現。定義純虛函式是為了實現乙個介面，起到乙個規範的作用，規範繼承這個類的程式設計師必須實現這個函式。

我們直接看下面的**：

classa}
;classb:
public a};
intmain
(void
)

上面這個例子是虛函式的乙個典型應用，通過這個例子，我們可以知道，虛函式虛就虛在所謂「推遲聯編」或者「動態聯編」上，乙個類函式的呼叫並不是在編譯時刻被確定的，而是在執行時刻被確定的。

由於在編寫**的時候並不能確定被呼叫的是基類的函式還是哪個派生類的函式，所以被稱為「虛」函式。

虛函式只能借助於指標或者引用來達到多型的效果。

純虛函式是在基類中宣告的虛函式，它在基類中沒有定義，但要求任何派生類都要定義自己的實現方法。在基類中實現純虛函式的方法是在函式原型後加「=0」。

virtual void function1() = 0

為什麼要引入純虛函式呢？

因為我們為了方便使用多型特性，我們常常需要在基類中定義虛函式。在很多情況下，基類本身生成物件是不合情理的。例如動物作為乙個基類可以派生出老虎、孔雀等子類，但動物本身生成物件明顯不合常理。

為了解決上面的問題，我們引入了純虛函式的概念，將函式定義為純虛函式（方法：virtual returntype function()= 0;），則編譯器要求在派生類中必須給予重寫已實現多型性。同時含有純虛函式的類稱為抽象類，它不能生成物件。這樣就很好地解決了上述兩個問題。

宣告了純虛函式的類是乙個抽象類。所以，使用者不能建立類的例項，只能建立它的派生類的例項。

純虛函式最顯著的特徵是：它們必須在繼承中重新宣告函式（不要後面的 =0，否則該派生類也不能例項化），而且它們在抽象類中往往沒有定義。

定義純虛函式的目的在於，使派生類僅僅只是繼承函式的介面。

引入純虛函式可以避免任何需要明確但是因為不小心而導致的未知的結果，提醒子類去做實現。引入純虛函式可也以提高編碼的效率。

純虛函式的意義，讓所有的類物件（主要是派生類物件）都可以執行純虛函式的動作，但類無法為純虛函式提供乙個合理的預設實現。所以類純虛函式的宣告就是在告訴子類的設計者：「你必須提供乙個純虛函式的實現，但我不知道你會怎麼樣實現它」。

抽象類是一種特殊的類，它是為了抽象和設計的目的而建立的，它處於繼承層次結構的較上層。

稱帶有純虛函式的類為抽象類。

抽象類的主要作用是將有關的操作作為結果介面組織在乙個繼承層次結構中，由它來為派生類提供乙個公共的根，派生類將具體實現在其基類中作為介面的操作。

所以抽象類實際上刻畫了一組子類的操作介面的通用語義，這些語義也傳給子類，子類可以具體實現這些語義，也可以再將這些語義傳給自己的子類。

抽象類只能作為基類來使用，其純虛函式的實現由派生類給出。如果派生類中沒有重新定義純虛函式，而只是繼承基類的純虛函式，則這個派生類仍然還是乙個抽象類。如果派生類中給出了基類純虛函式的實現，則該派生類就不再是抽象類了，它是乙個可以建立物件的具體的類。

抽象類是不能定義物件的。

純虛函式宣告如下： virtual void funtion1()=0; 純虛函式一定沒有定義，純虛函式用來規範派生類的行為，即介面。包含純虛函式的類是抽象類，抽象類不能定義例項，但可以宣告指向實現該抽象類的具體類的指標或引用。

虛函式宣告如下：virtual returntype functionname(parameter)；虛函式必須實現，如果不實現，編譯器將報錯，錯誤提示為：

error lnk****: unresolved external symbol 「public: virtual void __thiscall classname::virtualfunctionname(void)」

對於虛函式來說，父類和子類都有各自的版本。由多型方式呼叫的時候動態繫結。

實現了純虛函式的子類，該純虛函式在子類中就變成了虛函式，子類的子類即孫子類可以覆蓋該虛函式，由多型方式呼叫的時候動態繫結。

虛函式是c++中用於實現多型(polymorphism)的機制。核心理念就是通過基類訪問派生類定義的函式。

在有動態分配堆上記憶體的時候，析構函式必須是虛函式，但沒有必要是純虛的。

友元不是成員函式，只有成員函式才可以是虛擬的，因此友元不能是虛函式。但可以通過讓友元函式呼叫虛擬成員函式來解決友元的虛擬問題。

析構函式應當是虛函式，將呼叫相應物件型別的析構函式，因此，如果指標指向的是子類物件，將呼叫子類的析構函式，然後自動呼叫基類的析構函式。

C C 虛函式 純虛函式和抽象類