內聯函數,構造函數,靜態函數都不能是虛函數

inline, static, constructor三種函數都不能帶有virtual關鍵字。

inline是編譯時展開,必須有實體;
static屬於class自己的,也必須有實體;
virtual函數基於vtable(內存空間),constructor函數如果是virtual的,調用時也需要根據vtable尋找,但是constructor是virtual的情況下是找不到的,因爲constructor自己本身都不存在了,創建不到class的實例,沒有實例,class的成員(除了public static/protected static for friend class/functions,其餘無論是否virtual)都不能被訪問了。

 

 C++函數中那些不可以被聲明爲虛函數

常見的不不能聲明爲虛函數的有:普通函數(非成員函數);靜態成員函數;內聯成員函數;構造函數;友元函數。

1.爲什麼C++不支持普通函數爲虛函數?

普通函數(非成員函數)只能被overload,不能被override,聲明爲虛函數也沒有什麼意思,因此編譯器會在編譯時邦定函數。

2.爲什麼C++不支持構造函數爲虛函數?

這個原因很簡單,主要是從語義上考慮,所以不支持。因爲構造函數本來就是爲了明確初始化對象成員才產生的,然而virtual function主要是爲了再不完全瞭解細節的情況下也能正確處理對象。另外,virtual函數是在不同類型的對象產生不同的動作,現在對象還沒有產生,如何使用virtual函數來完成你想完成的動作。(這不就是典型的悖論)

3.爲什麼C++不支持內聯成員函數爲虛函數?

其實很簡單,那內聯函數就是爲了在代碼中直接展開,減少函數調用花費的代價,虛函數是爲了在繼承後對象能夠準確的執行自己的動作,這是不可能統一的。(再說了,inline函數在編譯時被展開,虛函數在運行時才能動態的邦定函數)

4.爲什麼C++不支持靜態成員函數爲虛函數?

這也很簡單,靜態成員函數對於每個類來說只有一份代碼,所有的對象都共享這一份代碼,他也沒有要動態邦定的必要性。

5.爲什麼C++不支持友元函數爲虛函數?

因爲C++不支持友元函數的繼承,對於沒有繼承特性的函數沒有虛函數的說法

*********************************************************************

1.頂層函數:多態的運行期行爲體現在虛函數上,虛函數通過繼承方式來體現出多態作用,頂層函數不屬於成員函數,是不能被繼承的。

2.構造函數:(1)構造函數不能被繼承,因而不能聲明爲virtual函數

                        (2)構造函數一般是用來初始化對象,只有在一個對象生成之後,才能發揮多態作用,如果將構造函數聲明爲virtual函數,則表現爲在對象還沒有生成的情況下酒使用了多態機制,因而是行不通的,如下例:

#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()
{
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函數。

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章