有一天有個同事在通過vld調試一個內存泄漏問題,折騰了很久然后找到我。我瞥了一眼他的代碼,發現問題和我曾經遇到的一模一樣:
class Base {
public:
~Base();
};
class Derived : public Base {
privated:
std::vector<int> m_data;
};
Base *obj = new Derived();
delete obj;
當然,實際代碼比這個復雜得多(這也是導致從發現問題到找到問題耗費大量時間的原因)。vld在報內存泄漏時,當然報的位置是new
的地方。這個同事檢查了這個對象的整個生命周期,確定他正確地釋放了這個對象。
問題的關鍵就在于:Base
類的析構函數不是virtual
的。因為不是virtual
,所以在對一個Base
類型的指針進行delete
時,就不會調用到派生類Derived
的析構函數。而派生類里的析構函數會用于析構其內部的子對象,也就是這里的m_data
。這樣,就造成了內存泄漏。
這其實是一個很低級的失誤。但毫不客氣地說C++中有很多這種少個關鍵字或者代碼位置不對就會造成另一個結果的例子。事實上,針對這些悲劇也有很多書提出一些準則來讓大家去無腦遵守。例如針對這個例子,我就記得曾有書說,只要你覺得你的類會被繼承,那么最好給析構函數加上virtual。