C++的靜態(tài)聯(lián)編和動態(tài)聯(lián)編
最近在看析構函數(shù)的內(nèi)容,看到一些講的比較好的文章,這里我也有了一些我自己的體會,在這里一并記錄一下。
聯(lián)編是指一個計算機程序自身彼此關聯(lián)的過程,在這個聯(lián)編過程中,需要確定程序中的 操作調(diào)用(函數(shù)調(diào)用) 與 執(zhí)行該操作(函數(shù)) 的代碼段之間的映射關系。
意思就是這個函數(shù)的實現(xiàn)有多種,聯(lián)編就是把調(diào)用和對應的實現(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í)行該操作代碼間的關系。
動態(tài)聯(lián)編
編譯程序在編譯階段并不能確切地指導將要調(diào)用的函數(shù),只有在程序執(zhí)行時才能確定將要調(diào)用的函數(shù),為此要確切地指導將要調(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ù)時,程序將查看存儲在對象中的vtbl地址,然后轉向相應的函數(shù)地址表,如果使用類聲明中定義的第一個虛函數(shù),則程序將使用數(shù)組中的第一個函數(shù)地址,并執(zhí)行具有該地址的函數(shù),如果使用類聲明中的第三個虛函數(shù),程序將使用地址位數(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ù)。
虛析構函數(shù)
虛析構函數(shù)顧名思義就是將析構函數(shù)定義為虛函數(shù)。如果我們在派生中分配了內(nèi)存空間,但是基類的析構函數(shù)不是虛析構函數(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; }
輸出結果:
$ ./a.out destroying Base data[]
在這個例子中,派生類的析構函數(shù)并沒有被調(diào)用,這在大的項目中就是一個災難。究其原因是我們在main函數(shù)中定義了一個Base的指針,當我們delete一個動態(tài)分配的Base指針時,Base指針此時卻指向了Derive類型的對象,但編譯器還是按照Base類型調(diào)用了析構函數(shù),沒有執(zhí)行Derive類型的虛析構函數(shù)。修改Base類的析構函數(shù)為虛析構函數(shù)即可以確保執(zhí)行正確的析構函數(shù)版本。
最后總結一下關于虛函數(shù)的一些常見問題:
- 虛函數(shù)是動態(tài)綁定的,也就是說,使用虛函數(shù)的指針和引用能夠正確找到實際類的對應函數(shù),而不是執(zhí)行定義類的函數(shù),這就是虛函數(shù)的基本功能。
- 構造函數(shù)不能是虛函數(shù)。而且,在構造函數(shù)中調(diào)用虛函數(shù),實際執(zhí)行的是父類的對應函數(shù),因為自己還么有構造好,多態(tài)此時是被disable的。
- 析構函數(shù)可以是虛函數(shù),而且,在一個復雜類結構中,這往往是必須的。
- 將基類中的一個函數(shù)定義為純虛函數(shù),實際上是將這個類定義位抽象類,不能實例化對象。
- 純虛函數(shù)通常沒有定義體,但也可以擁有。(如果Base的析構函數(shù)為純虛函數(shù),那么在類外定義Base::~Base(){…}的方式來定義其定義體)
- 析構函數(shù)可以是純虛的,但純虛析構函數(shù)必須有定義體,因為析構函數(shù)的調(diào)用是在子類中隱含的。
- 非純的虛函數(shù)必須有定義體,不然是一個錯誤。
- 派生類的override虛函數(shù)定義必須和父類完全一致,除了一個特例,如果父類返回值是一個指針或引用,子類override時可以返回這個指針(或引用)的派生。如在Base中定義了virtual Base clone();在Derive中可以定義virtual Derive clone()。
相關文章
strings命令分析淺談Go和C++編譯時的一點小區(qū)別
今天小編就為大家分享一篇關于strings命令分析淺談Go和C++編譯時的一點小區(qū)別,小編覺得內(nèi)容挺不錯的,現(xiàn)在分享給大家,具有很好的參考價值,需要的朋友一起跟隨小編來看看吧2019-04-04詳解C語言中的wait()函數(shù)和waitpid()函數(shù)
這篇文章主要介紹了C語言中的wait()函數(shù)和waitpid()函數(shù),注意其在中斷進程方面用法的不同,需要的朋友可以參考下2015-08-08