常見的不不能宣告為虛擬函式的有:普通函式(非成員函式);靜態成員函式;內聯成員函式;建構函式;友元函式。
1、為什麼C++不支援普通函式為虛擬函式?
普通函式(非成員函式)只能被overload,不能被override,宣告為虛擬函式也沒有什麼意思,因此編譯器會在編譯時邦定函式。
2、為什麼C++不支援建構函式為虛擬函式?
這個原因很簡單,主要是從語義上考慮,所以不支援。因為建構函式本來就是為了明確初始化物件成員才產生的,然而virtual function主要是為了再不完全瞭解細節的情況下也能正確處理物件。另外,virtual函式是在不同型別的物件產生不同的動作,現在物件還沒有產生,如何使用virtual函式來完成你想完成的動作。(這不就是典型的悖論)
3、為什麼C++不支援內聯成員函式為虛擬函式?
其實很簡單,那行內函數就是為了在程式碼中直接展開,減少函式呼叫花費的代價,虛擬函式是為了在繼承後物件能夠準確的執行自己的動作,這是不可能統一的。(再說了,inline函式在編譯時被展開,虛擬函式在執行時才能動態的邦定函式)
4、為什麼C++不支援靜態成員函式為虛擬函式?
這也很簡單,靜態成員函式對於每個類來說只有一份程式碼,所有的物件都共享這一份程式碼,他也沒有要動態邦定的必要性。
5、為什麼C++不支援友元函式為虛擬函式?
因為C++不支援友元函式的繼承,對於沒有繼承特性的函式沒有虛擬函式的說法。
*********************************************************************
1、頂層函式:多型的執行期行為體現在虛擬函式上,虛擬函式通過繼承方式來體現出多型作用,頂層函式不屬於成員函式,是不能被繼承的。
2、建構函式:
(1)建構函式不能被繼承,因而不能宣告為virtual函式。
(2)建構函式一般是用來初始化物件,只有在一個物件生成之後,才能發揮多型的作用,如果將建構函式宣告為virtual函式,則表現為在物件還沒有生成的情況下就使用了多型機制,因而是行不通的,如下例:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 |
#include <iostream> using namespace std; class B { public: B() {} virtual void show() { cout<<"***"<<endl; } }; class D:public B { public: D() {} void show() { cout<<"==="<<endl; } }; int main(void) { B *pb; D d; //先生成物件 pb=&d; pb->show(); //再體現多型 pb=new D(); //先呼叫建構函式 pb->show(); //再多型 delete pb; return 0; } |
3、static函式:不能被繼承,只屬於該類。
4、友元函式:友元函式不屬於類的成員函式,不能被繼承。
5、inline函式:inline函式和virtual函式有著本質的區別,inline函式是在程式被編譯時就展開,在函式呼叫處用整個函式體去替換,而virtual函式是在執行期才能夠確定如何去呼叫的,因而inline函式體現的是一種編譯期機制,virtual函式體現的是一種執行期機制。此外,一切virtual函式都不可能是inline函式。