為什麼要用虛解構函式
阿新 • • 發佈：2018-12-22
我們知道，用C++開發的時候，用來做基類的類的解構函式一般都是虛擬函式。可是，為什麼要這樣做呢？下面用一個小例子來說明：
有下面的兩個類：
class ClxBase
{
public:
ClxBase() {};
virtual ~ClxBase() {};
virtual void DoSomething() { cout << "Do something in class ClxBase!" << endl;
};
class ClxDerived : public ClxBase
{
public:
ClxDerived() {};
~ClxDerived() {
cout << "Output from the destructor of class ClxDerived!" << endl;
};
void DoSomething() { cout << "Do something in class ClxDerived!" << endl; };
};
程式碼
ClxBase *pTest = new ClxDerived;
pTest->DoSomething();
delete pTest;
的輸出結果是：
Do something in class ClxDerived!
Output from the destructor of class ClxDerived!
這個很簡單，非常好理解。
但是，如果把類ClxBase解構函式前的virtual去掉，那輸出結果就是下面的樣子了：
Do something in class ClxDerived!
也就是說，類ClxDerived的解構函式根本沒有被呼叫！一般情況下類的解構函式裡面都是釋放記憶體資源，而解構函式不被呼叫的話就會造成記憶體洩漏。我想所有的C++程式設計師都知道這樣的危險性。當然，如果在解構函式中做了其他工作的話，那你的所有努力也都是白費力氣。
所以，文章開頭的那個問題的答案就是－－這樣做是為了當用一個基類的指標刪除一個派生類的物件時，派生類的解構函式會被呼叫。
當然，並不是要把所有類的解構函式都寫成虛擬函式。
因為當類裡面有虛擬函式的時候，編譯器會給類新增一個虛擬函式表，裡面來存放虛擬函式指標，這樣就會增加類的儲存空間。所以，只有當一個類被用來作為基類的時候，才把解構函式寫成虛擬函式。
有下面的兩個類：
class ClxBase
{
public:
ClxBase() {};
virtual ~ClxBase() {};
virtual void DoSomething() { cout << "Do something in class ClxBase!" << endl;
};
class ClxDerived : public ClxBase
{
public:
ClxDerived() {};
~ClxDerived() {
cout << "Output from the destructor of class ClxDerived!" << endl;
};
void DoSomething() { cout << "Do something in class ClxDerived!" << endl; };
};
程式碼
ClxBase *pTest = new ClxDerived;
pTest->DoSomething();
delete pTest;
的輸出結果是：
Do something in class ClxDerived!
Output from the destructor of class ClxDerived!
這個很簡單，非常好理解。
但是，如果把類ClxBase解構函式前的virtual去掉，那輸出結果就是下面的樣子了：
Do something in class ClxDerived!
也就是說，類ClxDerived的解構函式根本沒有被呼叫！一般情況下類的解構函式裡面都是釋放記憶體資源，而解構函式不被呼叫的話就會造成記憶體洩漏。我想所有的C++程式設計師都知道這樣的危險性。當然，如果在解構函式中做了其他工作的話，那你的所有努力也都是白費力氣。
所以，文章開頭的那個問題的答案就是－－這樣做是為了當用一個基類的指標刪除一個派生類的物件時，派生類的解構函式會被呼叫。
當然，並不是要把所有類的解構函式都寫成虛擬函式。
因為當類裡面有虛擬函式的時候，編譯器會給類新增一個虛擬函式表，裡面來存放虛擬函式指標，這樣就會增加類的儲存空間。所以，只有當一個類被用來作為基類的時候，才把解構函式寫成虛擬函式。