為什么內(nèi)聯(lián)函數(shù),構(gòu)造函數(shù),靜態(tài)成員函數(shù)不能為virtual函數(shù)?
1> 內(nèi)聯(lián)函數(shù)
內(nèi)聯(lián)函數(shù)是在編譯時期展開,而虛函數(shù)的特性是運行時才動態(tài)聯(lián)編,所以兩者矛盾,不能定義內(nèi)聯(lián)函數(shù)為虛函數(shù)
2> 構(gòu)造函數(shù)
構(gòu)造函數(shù)用來創(chuàng)建一個新的對象,而虛函數(shù)的運行是建立在對象的基礎(chǔ)上,在構(gòu)造函數(shù)執(zhí)行時,對象尚未形成,所以不能將構(gòu)造函數(shù)定義為虛函數(shù)
3> 靜態(tài)成員函數(shù)
靜態(tài)成員函數(shù)屬于一個類而非某一對象,沒有this指針,它無法進行對象的判別
這個可以從兩個角度去理解:
1。virtual意味著在執(zhí)行時期進行綁定,所以在編譯時刻需確定信息的不能為virtual
構(gòu)造函數(shù)需在編譯時刻,因為需構(gòu)造出個對象,才能執(zhí)行動作,
靜態(tài)成員函數(shù)不屬于任何一個對象,編譯時刻確定不存在執(zhí)行的時候選擇執(zhí)行哪個的情形
內(nèi)聯(lián)函數(shù),由于屬于編譯器的建議機制,所以可以virtual
2。virtual意味著派生類可以改寫其動作
派生類的構(gòu)造函數(shù)會先執(zhí)行基類的構(gòu)造函數(shù)而不是代基類構(gòu)造函數(shù),也就是說基類的構(gòu)造函數(shù)可以看作派生類構(gòu)造函數(shù)的組成,所以并不能改寫這個函數(shù)
靜態(tài)成員函數(shù)不屬于任何一個對象,所以更不能改寫其動作了
inline和virtual不會同時起作用。
帶virtual的函數(shù)在不需要動態(tài)綁定調(diào)用的時候,就可以inline。
虛構(gòu)造函數(shù)(virtual constructor)
當你可能通過基類指針刪除派生類對象時,建議使用虛析構(gòu)函數(shù)。虛函數(shù)綁定到對象的類的代碼,而不是指針/引用的類。如果基類有虛析構(gòu)函數(shù),delete basePtr(基類指針)時,*basePtr 的對象類型的析構(gòu)函數(shù)被調(diào)用,而不是該指針的類型的析構(gòu)函數(shù)。
簡單講,這個類有虛函數(shù)就應(yīng)該有虛析構(gòu)函數(shù)。一旦你在類中加上了一個虛函數(shù),你就已經(jīng)需要為每一個對象支付空間代價(每個對象一個指針),所以這時使析構(gòu)函數(shù)成為虛擬的通常不會額外付出什么。
對于那些trivial且沒有子類的類,虛析構(gòu)函數(shù)只會增加開銷,不要使用。