最近在看析構(gòu)函數(shù)的內(nèi)容，看到一些講的比較好的文章，這里我也有了一些我自己的體會，在這里一并記錄一下。

聯(lián)編是指一個計算機程序自身彼此關(guān)聯(lián)的過程，在這個聯(lián)編過程中，需要確定程序中的 操作調(diào)用(函數(shù)調(diào)用) 與 執(zhí)行該操作(函數(shù)) 的代碼段之間的映射關(guān)系。

意思就是這個函數(shù)的實現(xiàn)有多種，聯(lián)編就是把調(diào)用和對應(yīng)的實現(xiàn)進行映射的操作。

按照聯(lián)編進行的階段不同，可分為靜態(tài)聯(lián)編和動態(tài)聯(lián)編。

靜態(tài)聯(lián)編

靜態(tài)聯(lián)編工作是在程序編譯連接階段進行的，這種聯(lián)編又稱為早期聯(lián)編，因為這種聯(lián)編實在 程序開始運行之前 完成的。在程序編譯階段進行的這種聯(lián)編在編譯時就解決了程序的操作調(diào)用與執(zhí)行該操作代碼間的關(guān)系。

動態(tài)聯(lián)編

編譯程序在編譯階段并不能確切地指導(dǎo)將要調(diào)用的函數(shù)，只有在程序執(zhí)行時才能確定將要調(diào)用的函數(shù)，為此要確切地指導(dǎo)將要調(diào)用的函數(shù)，要求聯(lián)編工作在程序運行時進行，這種在 程序運行時進行的 聯(lián)編工作被稱為動態(tài)聯(lián)編。 C++中，動態(tài)聯(lián)編是在虛函數(shù)的支持下實現(xiàn)的 。

靜態(tài)聯(lián)編和動態(tài)聯(lián)編都是屬于多態(tài)性的，他們在不同的階段對不同的實現(xiàn)進行不同的選擇。

動態(tài)聯(lián)編需要虛函數(shù)的支持，這是因為虛函數(shù)的工作原理決定的，而正是因為使用了虛函數(shù)來實現(xiàn)動態(tài)聯(lián)編，也讓動態(tài)聯(lián)編的效率略低于靜態(tài)聯(lián)編。通常，編譯器處理虛函數(shù)的方法是： 給每個對象添加一個隱藏成員，隱藏成員保存了一個指向函數(shù)地址數(shù)組的指針 ，這個數(shù)組就是虛函數(shù)表(virtual function table, vtbl)。虛函數(shù)表中存儲了為類對象進行聲明的虛函數(shù)的地址，調(diào)用虛函數(shù)時，程序?qū)⒉榭创鎯υ趯ο笾械膙tbl地址，然后轉(zhuǎn)向相應(yīng)的函數(shù)地址表，如果使用類聲明中定義的第一個虛函數(shù)，則程序?qū)⑹褂脭?shù)組中的第一個函數(shù)地址，并執(zhí)行具有該地址的函數(shù)，如果使用類聲明中的第三個虛函數(shù)，程序?qū)⑹褂玫刂肺粩?shù)組中第三個元素的函數(shù)。

虛函數(shù)這個概念是C++的精華之一。遇到虛函數(shù)時要注意：

定義一個函數(shù)為虛函數(shù)，不代表函數(shù)為不被實現(xiàn)的函數(shù)(可以有自己的實現(xiàn))

定義他位虛函數(shù)是為了允許用基類的指針來調(diào)用子類的這個函數(shù)(提供了基類調(diào)用子類函數(shù)的方式)

定義一個函數(shù)為純虛函數(shù)，才代表函數(shù)沒有被實現(xiàn)(聲明后面接=0 virtual func() = 0 此時派生類必須要實現(xiàn)此虛函數(shù))

具有純虛函數(shù)的類是 抽象類 ，不能用于生成對象（即不能實例化），只能派生，他派生的類如果沒有實現(xiàn)純虛函數(shù)，那么他的派生類還是抽象函數(shù)。

虛析構(gòu)函數(shù)

虛析構(gòu)函數(shù)顧名思義就是將析構(gòu)函數(shù)定義為虛函數(shù)。如果我們在派生中分配了內(nèi)存空間，但是基類的析構(gòu)函數(shù)不是虛析構(gòu)函數(shù)，就會發(fā)生內(nèi)存泄漏。先看一個例子

#include <iostream>

using namespace std;

class Base
{
  public:
    Base(){ data = new char[10];}

    ~Base(){ cout << "destroying Base data[]\n";delete []data;}
  private:
    char *data;
};

class Derive: public Base
{
  public:
    Derive(){ D_data = new char[10];}

    ~Derive(){ cout << "destroying Derive data[]\n";delete []D_data;}
  private:
    char *D_data;
 };

int main()
{
Base *basePtr = new Derive();

delete basePtr;
return 0;
}

輸出結(jié)果：

$ ./a.out
destroying Base data[]

在這個例子中，派生類的析構(gòu)函數(shù)并沒有被調(diào)用，這在大的項目中就是一個災(zāi)難。究其原因是我們在main函數(shù)中定義了一個Base的指針，當(dāng)我們delete一個動態(tài)分配的Base指針時，Base指針此時卻指向了Derive類型的對象，但編譯器還是按照Base類型調(diào)用了析構(gòu)函數(shù)，沒有執(zhí)行Derive類型的虛析構(gòu)函數(shù)。修改Base類的析構(gòu)函數(shù)為虛析構(gòu)函數(shù)即可以確保執(zhí)行正確的析構(gòu)函數(shù)版本。

最后總結(jié)一下關(guān)于虛函數(shù)的一些常見問題：

1. 虛函數(shù)是動態(tài)綁定的，也就是說，使用虛函數(shù)的指針和引用能夠正確找到實際類的對應(yīng)函數(shù)，而不是執(zhí)行定義類的函數(shù)，這就是虛函數(shù)的基本功能。
2. 構(gòu)造函數(shù)不能是虛函數(shù)。而且，在構(gòu)造函數(shù)中調(diào)用虛函數(shù)，實際執(zhí)行的是父類的對應(yīng)函數(shù)，因為自己還么有構(gòu)造好，多態(tài)此時是被disable的。
3. 析構(gòu)函數(shù)可以是虛函數(shù)，而且，在一個復(fù)雜類結(jié)構(gòu)中，這往往是必須的。
4. 將基類中的一個函數(shù)定義為純虛函數(shù)，實際上是將這個類定義位抽象類，不能實例化對象。
5. 純虛函數(shù)通常沒有定義體，但也可以擁有。（如果Base的析構(gòu)函數(shù)為純虛函數(shù)，那么在類外定義Base::~Base(){…}的方式來定義其定義體）
6. 析構(gòu)函數(shù)可以是純虛的，但純虛析構(gòu)函數(shù)必須有定義體，因為析構(gòu)函數(shù)的調(diào)用是在子類中隱含的。
7. 非純的虛函數(shù)必須有定義體，不然是一個錯誤。
8. 派生類的override虛函數(shù)定義必須和父類完全一致，除了一個特例，如果父類返回值是一個指針或引用，子類override時可以返回這個指針(或引用)的派生。如在Base中定義了virtual Base clone();在Derive中可以定義virtual Derive clone()。

最新評論