在C++中，不能聲明虛構(gòu)造函數(shù),但可以聲明虛析構(gòu)函數(shù)。多態(tài)性是指不同的對象對同一消息有不同的行為特性。虛函數(shù)作為運行時多態(tài)性的基礎(chǔ)，主要是針對對象的，而構(gòu)造函數(shù)是在對象產(chǎn)生之前運行的，因此虛構(gòu)造函數(shù)是沒有意義的。
析構(gòu)函數(shù)的功能是在該類對象消亡之前進行一些必要的清理工作，析構(gòu)函數(shù)最好都是virtual的。
首先解釋一下虛構(gòu)函數(shù)和指針之間是如何交互的，以及虛析構(gòu)函數(shù)的具體含義。例如以下代碼，其中SomeClass是含有非virtual析構(gòu)函數(shù)的一個類：
SomeClass *p= new SomeClass;
. . .  . . .
delect p;
為p調(diào)用delect時，會自動調(diào)用SomeClass類的析構(gòu)函數(shù)。現(xiàn)在，再來看看將析構(gòu)函數(shù)標記為virtual之后，會發(fā)生什么事情。
描述析構(gòu)函數(shù)與虛函數(shù)機制的交互時，最簡單的表述是：將所有析構(gòu)函數(shù)都視為具有相同的名字（即使它們并非真的同名）。例如，假定Derived類是Base類的一個派生類，并假定Base類中的析構(gòu)函數(shù)標記為virtual?，F(xiàn)在來分析以下代碼：
Base *pBase= new Derived;
. . .  . . .
delect pBase;
為Base調(diào)用delect時,會調(diào)用一個析構(gòu)函數(shù)。由于Base類中的析構(gòu)函數(shù)標記為virtual，而且指向的對象屬于Derived類型，所以會調(diào)用Derived類中的析構(gòu)函數(shù)。
應(yīng)注意的一點是，將析構(gòu)函數(shù)標記為virtual后，派生類所有的析構(gòu)函數(shù)都自動成為virtual的（不管時候用virtual來標記它們）。同樣地，這種行為就好象所有析構(gòu)函數(shù)都具有相同的名字（即使事實上不同名）。
下面說的是將所有析構(gòu)函數(shù)都標記為virtual的好處。假定Base類有一個指針類型的成員變量pB,Base類的構(gòu)造函數(shù)會創(chuàng)建由pB指向的一個動態(tài)變量，而Base類的析構(gòu)函數(shù)會刪除pB指向的動態(tài)變量。另外，假定Base類沒有標記為virtual，并假定Derived類(它從Base派生)有一個指針類型的成員變量pD,Derived類的構(gòu)造函數(shù)會創(chuàng)建有pD指向的一個動態(tài)變量，而Derived類的析構(gòu)函數(shù)會刪除pD指向的動態(tài)變量。分析一下以下代碼：
Base *pBase= new Derived;
. . .  . . .
delect pBase;
由于基類中的析構(gòu)函數(shù)沒有標記為virtual，所以只會調(diào)用Base類的析構(gòu)函數(shù)。它會將pB指向的動態(tài)變量占用的內(nèi)存返還給自由存儲。但是，對于pD指向的動態(tài)變量來說，它占用的內(nèi)存永遠不會返還給自由存儲（除非程序終止）。
另一方面，如果基類Base的析構(gòu)函數(shù)標記為virtual，那么為pBase調(diào)用delect時，就會調(diào)用Derived類的析構(gòu)函數(shù)（因為指向的對象屬于Derived類型）。Derived類的析構(gòu)函數(shù)會刪除pD指向的動態(tài)變量，再自動調(diào)用基類Base的析構(gòu)函數(shù)。后者會刪除pB指向的動態(tài)變量。因此，將基類析構(gòu)函數(shù)標記為virtual之后，所有內(nèi)存都能成功地由自由存儲回收。為了準備好迎接這種情況，最好總是將析構(gòu)函數(shù)標記為virtual。
舉個例子說明一下：