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

                                
                                
構(gòu)造函數(shù)：為對象分配存儲空間，使一個(gè)對象初始化；
析構(gòu)函數(shù)：在該對象生命期完結(jié)時(shí)做相應(yīng)的掃尾工作并釋放由構(gòu)造函數(shù)分配的內(nèi)存；
                                 
                                
構(gòu)造函數(shù)不能是虛函數(shù)的原因：
l          從概念上來說，如前所述，虛函數(shù)機(jī)制只有在應(yīng)用于地址時(shí)才有效，因?yàn)榈刂吩诰幾g階段提供的類型信息不完全。構(gòu)造函數(shù)的功能是為一個(gè)對象在內(nèi)存中分配空間，也就是說，此時(shí)該對象的類型已經(jīng)確定了，編譯系統(tǒng)確切的知道應(yīng)該調(diào)用哪一個(gè)類的構(gòu)造函數(shù)，不需要也不可能應(yīng)用動態(tài)綁定。
l          從實(shí)現(xiàn)上來說，每個(gè)對象的VPTR是需要構(gòu)造函數(shù)來初始化的（當(dāng)然是由編譯系統(tǒng)自動加進(jìn)去的代碼來實(shí)現(xiàn)），在構(gòu)造函數(shù)沒有調(diào)用之前，VPTR沒有形成，根本就不可能實(shí)現(xiàn)動態(tài)綁定。
                                                                
當(dāng)構(gòu)造函數(shù)內(nèi)部有虛函數(shù)時(shí)，會出現(xiàn)什么情況呢？結(jié)果是，只有在該類中的虛函數(shù)版本被調(diào)用，也就是說，在構(gòu)造函數(shù)中，虛函數(shù)機(jī)制不起作用了，調(diào)用虛函數(shù)如同調(diào)用一般的成員函數(shù)一樣。
                                
                                
析構(gòu)函數(shù)可以是虛函數(shù)：
l          析構(gòu)函數(shù)可以是虛函數(shù)，而且應(yīng)該被聲明為虛函數(shù)。與一般成員函數(shù)相似，析構(gòu)函數(shù)被調(diào)用時(shí)，對象的構(gòu)造已經(jīng)完成，VPTR和VTABLE也已被正確初始化，因此虛析構(gòu)函數(shù)在實(shí)現(xiàn)上是可能的。
l          從設(shè)計(jì)角度來看，析構(gòu)函數(shù)的任務(wù)是釋放內(nèi)存，因此它必須確切知道被釋放的對象的類型，否則可能破壞有用的數(shù)據(jù)，產(chǎn)生不可預(yù)知的后果。例如，我們用基類指針指向了派生類對象，那么釋放內(nèi)存時(shí)，必須是釋放派生類對象的存儲空間。所以，析構(gòu)函數(shù)經(jīng)常被聲明為虛函數(shù)。由于效率上的原因，并不把析構(gòu)函數(shù)缺省為虛函數(shù)。但作為一條實(shí)踐經(jīng)驗(yàn)，可以給有虛函數(shù)的每個(gè)基類聲明虛析構(gòu)函數(shù)。
                                 
　　當(dāng)析構(gòu)函數(shù)內(nèi)部有虛函數(shù)時(shí)，又如何工作呢？與構(gòu)造函數(shù)相同，只有“局部”的版本被調(diào)用。但是，行為相同，原因是不一樣的。構(gòu)造函數(shù)只能調(diào)用“局部”版本，是因?yàn)檎{(diào)用時(shí)還沒有派生類版本的信息。析構(gòu)函數(shù)則是因?yàn)榕缮惏姹镜男畔⒁呀?jīng)不可靠了。我們知道，析構(gòu)函數(shù)的調(diào)用順序與構(gòu)造函數(shù)相反，是從派生類的析構(gòu)函數(shù)到基類的析構(gòu)函數(shù)。當(dāng)某個(gè)類的析構(gòu)函數(shù)被調(diào)用時(shí)，其下一級的析構(gòu)函數(shù)已經(jīng)被調(diào)用了，相應(yīng)的數(shù)據(jù)也已被丟失，如果再調(diào)用虛函數(shù)的最后一級的版本，就相當(dāng)于對一些不可靠的數(shù)據(jù)進(jìn)行操作，這是非常危險(xiǎn)的。因此，在析構(gòu)函數(shù)中，虛函數(shù)機(jī)制也是不起作用的。

文章出處：飛諾網(wǎng)(www.diybl.com):http://www.diybl.com/course/3_program/c++/cppxl/2008320/105849.html