基类析构函数应声明为虚函数以确保派生类析构函数被正确调用,防止资源泄漏。
在C++中,当通过基类指针删除派生类对象时,如果基类的析构函数不是虚函数,那么只会调用基类的析构函数,而不会调用派生类的析构函数。这可能导致派生类中分配的资源未被正确释放,从而引发内存泄漏或资源泄漏。
将基类的析构函数声明为virtual,可以确保在通过基类指针删除派生类对象时,先调用派生类的析构函数,再调用基类的析构函数,实现完整的清理过程。
例如:
class Base {
public:
virtual ~Base() {
// 基类资源清理
}
};
class Derived : public Base {
public:
~Derived() override {
// 派生类资源清理(如释放new出的内存)
}
};
此时,即使使用Base* ptr = new Derived;,调用
delete ptr;也会正确触发Derived::~Derived()和Base::~Base()。
如果基类析构函数不是虚函数:
示例:
class Base {
public:
~Base() { } // 非虚析构函数
};
class Derived : public Base {
int* data;
public:
Derived() { data = new int[100]; }
~Derived() { delete[] data; } // 不会被调用!
};
执行Base* p = new Derived(); delete p;会导致data未释放,发生内存泄漏。
只要一个类设计用于被继承,并且可能通过基类指针删除对象,就应该把析构函数设为虚函数。
注意:虚函数会带来轻微的性能开销(vtable机制),但与资源安全相比,这种代价通常是可以接受的。
基本上就这些。只要涉及多态和继承体系中的动态对象销毁,记得给基类加上virtual ~ClassName(),就能有效防止内存泄漏。