c++ 中的virtual

1:virtual關鍵字主要有什么作用

　　c++中的函數調用默認不適用動態綁定，要觸發動態綁定，必須滿足兩個條件：第一指定為虛函數; 第二通過基類類型的引用或指針調用。

 

2：哪些情況下可以使用virtual關鍵字呢

　　virtual可用來定義類函數和應用到虛繼承中

注意：有元函數、構造函數、static靜態函數不能用virtual關鍵字修飾。普通成員函數和析構函數可以用virtual關鍵字修飾。

舉一個例子：

#include "stdafx.h"
#include<stdlib.h>
#include<iostream>
using namespace std;

class GrandFather
{
public:
    GrandFather() {}
    virtual void fun()
    {
        cout << "GrandFather call function" << endl;
    }
};

class Father:public GrandFather
{
public:
    Father() {}
    void fun()
    {
        cout << "Father call function"<< endl;
    }
};

class Son : public Father
{
public:
    Son() {}
    void fun()
    {
        cout << "Son call function" << endl;
    }
};

void Print( GrandFather* father )
{
    father->fun();
}

int main(int argc, _TCHAR* argv[])
{
    Father* pfather = new Son;
    pfather->fun();

    GrandFather* grandfather = new Father;
    Print(grandfather);

    return 0;
}

3:virtual的繼承性

　　只要虛基類定義了virtual，繼承類的該函數也就有virtual屬性。

即GrandFather Father Son同時定義了virtual void fun() 與 GrandFather 一個定義virtual void fun效果是一樣的。

4：虛析構函數

#include "stdafx.h"
#include<stdlib.h>
#include<iostream>
using namespace std;

class GrandFather
{
public:
    GrandFather() {}
    virtual void fun()
    {
        cout << "GrandFather call function" << endl;
    }
    ~GrandFather()
    {
        cout << "GrandFather dstruction " << endl;
    }
};

class Father:public GrandFather
{
public:
    Father() {}
    void fun()
    {
        cout << "Father call function"<< endl;
    }
    ~Father()
    {
        cout << " Father destruction " << endl;
    }
};

class Son : public Father
{
public:
    Son() { cout << "son hello" << endl; }
    void fun()
    {
        cout << "Son call function" << endl;
    }
    ~Son()
    {
        cout << " Son destruction " << endl;
    }
};

void Print( GrandFather* father )
{
    father->fun();
}

int main(int argc, _TCHAR* argv[])
{
    //Father* pfather = new Son;
    //pfather->fun();

    //GrandFather* grandfather = new Father;
    //Print(grandfather);

    Father* father = new Son;
    delete father;
    return 0;
}

運行結果為：

我們發現執行了Son的構造函數，沒執行Son的析構函數，故把GrandFather的析構函數設置為virtual，如下例：

#include "stdafx.h"
#include<stdlib.h>
#include<iostream>
using namespace std;

class GrandFather
{
public:
    GrandFather() {}
    virtual void fun()
    {
        cout << "GrandFather call function" << endl;
    }
    virtual ~GrandFather()
    {
        cout << "GrandFather dstruction " << endl;
    }
};

class Father:public GrandFather
{
public:
    Father() {}
    void fun()
    {
        cout << "Father call function"<< endl;
    }
    ~Father()
    {
        cout << " Father destruction " << endl;
    }
};

class Son : public Father
{
public:
    Son() { cout << "son hello" << endl; }
    void fun()
    {
        cout << "Son call function" << endl;
    }
    ~Son()
    {
        cout << " Son destruction " << endl;
    }
};

void Print( GrandFather* father )
{
    father->fun();
}

int main(int argc, _TCHAR* argv[])
{
    //Father* pfather = new Son;
    //pfather->fun();

    //GrandFather* grandfather = new Father;
    //Print(grandfather);

    Father* father = new Son;
    delete father;
    return 0;
}

5：純虛函數

純虛函數的定義如下：

class CVirtual

{

public:

    CVirtual() {}

    virtual void fun() = 0

    {

        cout << " CVirtual call function " << endl;

    }

    virtual ~CVirtual()

    {

        cout << " CVirtual destruction " << endl;

    }

};

 

純虛函數為后代類提供可覆蓋的接口，但這個類中的版本決不會調用。

含有（或繼續）一個或多個純虛函數的類是抽象基類，抽象基類不能實例化！

繼承類只有重寫這個接口才能被實例化.

 

這也許會讓人聯想到函數的重載，但是我們一比較就會發現兩者是完全不同的。

1):重載的幾個函數必須在同一個類中。而覆蓋的函數必須在有繼承關系的不同的類中。

2):覆蓋的幾個函數必須函數名、參數、返回值都相同。而重載的函數必須函數名相同，參數不同。參數不同的目的就是為了在函數調用的時候編譯器能夠通過參數來判斷程序是在調用哪個函數。這也很自然的解釋了為什么函數不能通過返回值類重載，因為程序在調用函數時很有可能不關心返回值的，編譯器就無法從代碼中看出程序在調用哪個函數了。

3):覆蓋的函數前必須加關鍵字virtual;重載和virtual沒有任何瓜葛，加不加都不影響重載的運作。