常見的不不能聲明為虛函數的有:普通函數(非成員函數);靜態成員函數;內聯成員函數;構造函數;友元函數。
1.為什么C++不支持普通函數為虛函數?
普通函數(非成員函數)只能被overload,不能被override,聲明為虛函數也沒有什么意思,因此編譯器會在編譯時邦定函數。
多態的運行期行為體現在虛函數上,虛函數通過繼承方式來體現出多態作用,頂層
函數不屬于成員函數,是不能被繼承的
2.為什么C++不支持構造函數為虛函數?
這個原因很簡單,主要是從語義上考慮,所以不支持。因為構造函數本來就是為了明確初始化對象成員才產生的,然而virtual function主要是為了再不完全了解細節的情況下也能正確處理對象。另外,virtual函數是在不同類型的對象產生不同的動作,現在對象還沒有產生,如何使用virtual函數來完成你想完成的動作。(這不就是典型的悖論)
(1)構造函數不能被繼承,因而不能聲明為virtual函數
(2)構造函數一般是用來初始化對象,只有在一個對象生成之后,才能發揮多態
作用,如果將構造函數聲明為virtual函數,則表現為在對象還沒有生成的情
況下酒使用了多態機制,因而是行不通的。
3.為什么C++不支持內聯成員函數為虛函數?
其實很簡單,那內聯函數就是為了在代碼中直接展開,減少函數調用花費的代價,虛函數是為了在繼承后對象能夠準確的執行自己的動作,這是不可能統一的。(再說了,inline函數在編譯時被展開,虛函數在運行時才能動態的邦定函數)
inline函數和virtual函數有著本質的區別,inline函數是在程序被編譯時就展開,在函數調用處用整個函數體去替換,而virtual函數是在運行期才能夠確定如何去調用的,因而inline函數體現的是一種編譯期機制,virtual函數體現的是一種運行期機制。此外,一切virtual函數都不可能是inline函數。
4.為什么C++不支持靜態成員函數為虛函數?
這也很簡單,靜態成員函數對于每個類來說只有一份代碼,所有的對象都共享這一份代碼,他也沒有要動態邦定的必要性。不能被繼承,只屬于該類。
5.為什么C++不支持友元函數為虛函數?
因為C++不支持友元函數的繼承,對于沒有繼承特性的函數沒有虛函數的說法。友元函數不屬于類的成員函數,不能被繼承。
eg:
/* * main.cpp * * Author: china */ #include <iostream> using namespace std; class B { public: B() { cout << "基類構造" << endl; } /*在類的繼承中,如果有基類指針指向派生類,那么用基類指針delete時,如果不定義成虛函數,派生類中派生的那部分無法析構。 * 你可以吧virtual去掉試一下 * 因此在類的繼承體系中,基類的析構函數不聲明為虛函數容易造成內存泄漏。所以如果你設計一定類可能是基類的話,必須要聲明其為虛函數。 * */ virtual ~B() { cout << "基類析構" << endl; } virtual void func() { cout << "基類的func()" << endl; } private: }; class D :public B{ public: D() { cout << "派生類構造" << endl; } ~D() { cout << "派生類析構" << endl; } void func() { cout << "派生類的func()" << endl; } private: }; int main(int argc, char **argv) { D d; //調用構造先有對象 B*p = &d; p->func(); //再體現多態機制 p = new D(); //再調用構造 p->func(); //再體現多態機制 delete p; return 0; }
以上就是小編為大家帶來的探討C++中不能聲明為虛函數的有哪些函數全部內容了,希望大家多多支持VEVB武林網~
新聞熱點
疑難解答