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