常見的不不能聲明為虛函數(shù)的有:普通函數(shù)(非成員函數(shù));靜態(tài)成員函數(shù);內(nèi)聯(lián)成員函數(shù);構(gòu)造函數(shù);友元函數(shù)。
1.為什么C++不支持普通函數(shù)為虛函數(shù)?
普通函數(shù)(非成員函數(shù))只能被overload,不能被override,聲明為虛函數(shù)也沒有什么意思,因此編譯器會(huì)在編譯時(shí)邦定函數(shù)。多態(tài)的運(yùn)行期行為體現(xiàn)在虛函數(shù)上,虛函數(shù)通過繼承方式來體現(xiàn)出多態(tài)作用,頂層函數(shù)不屬于成員函數(shù),是不能被繼承的
2.為什么C++不支持構(gòu)造函數(shù)為虛函數(shù)?
這個(gè)原因很簡單,主要是從語義上考慮,所以不支持。因?yàn)闃?gòu)造函數(shù)本來就是為了明確初始化對象成員才產(chǎn)生的,然而virtual function主要是為了再不完全了解細(xì)節(jié)的情況下也能正確處理對象。另外,virtual函數(shù)是在不同類型的對象產(chǎn)生不同的動(dòng)作,現(xiàn)在對象還沒有產(chǎn)生,如何使用virtual函數(shù)來完成你想完成的動(dòng)作。(這不就是典型的悖論)
1)構(gòu)造函數(shù)不能被繼承,因而不能聲明為virtual函數(shù)
2)構(gòu)造函數(shù)一般是用來初始化對象,只有在一個(gè)對象生成之后,才能發(fā)揮多態(tài)作用,如果將構(gòu)造函數(shù)聲明為virtual函數(shù),則表現(xiàn)為在對象還沒有生成的情況下酒使用了多態(tài)機(jī)制,因而是行不通的。
3.為什么C++不支持內(nèi)聯(lián)成員函數(shù)為虛函數(shù)?
其實(shí)很簡單,那內(nèi)聯(lián)函數(shù)就是為了在代碼中直接展開,減少函數(shù)調(diào)用花費(fèi)的代價(jià),虛函數(shù)是為了在繼承后對象能夠準(zhǔn)確的執(zhí)行自己的動(dòng)作,這是不可能統(tǒng)一的。(再說了,inline函數(shù)在編譯時(shí)被展開,虛函數(shù)在運(yùn)行時(shí)才能動(dòng)態(tài)的邦定函數(shù))inline函數(shù)和virtual函數(shù)有著本質(zhì)的區(qū)別,inline函數(shù)是在程序被編譯時(shí)就展開,在函數(shù)調(diào)用處用整個(gè)函數(shù)體去替換,而virtual函數(shù)是在運(yùn)行期才能夠確定如何去調(diào)用的,因而inline函數(shù)體現(xiàn)的是一種編譯期機(jī)制,virtual函數(shù)體現(xiàn)的是一種運(yùn)行期機(jī)制。此外,一切virtual函數(shù)都不可能是inline函數(shù)。
4.為什么C++不支持靜態(tài)成員函數(shù)為虛函數(shù)?
這也很簡單,靜態(tài)成員函數(shù)對于每個(gè)類來說只有一份代碼,所有的對象都共享這一份代碼,他也沒有要?jiǎng)討B(tài)邦定的必要性。不能被繼承,只屬于該類。
5.為什么C++不支持友元函數(shù)為虛函數(shù)?
因?yàn)镃++不支持友元函數(shù)的繼承,對于沒有繼承特性的函數(shù)沒有虛函數(shù)的說法。友元函數(shù)不屬于類的成員函數(shù),不能被繼承。