C++中不能聲明爲虛函數的有哪些函數

轉載：http://blog.csdn.net/ta893115871/article/details/8194836

常見的不不能聲明爲虛函數的有：普通函數（非成員函數）；靜態成員函數；內聯成員函數；構造函數；友元函數。

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++不支持友元函數的繼承，對於沒有繼承特性的函數沒有虛函數的說法。友元函數不屬於類的成員函數，不能被繼承。

/*
 * main.cpp
 *
 *  Created on: 2012-11-17
 *      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;
}