在C++中,析构顺序总是先析构派生类,再析构基类。
介绍
如果基类的析构函数没有声明为virtual
,当使用基类指针(或引用)删除派生类对象时,可能只会调用基类的析构函数,而不会调用派生类的析构函数,这会导致派生类的资源没有被正确释放,从而产生内存泄漏。这是为什么我们常常在基类中声明虚析构函数的原因。
基类加virtual,子类加override:
这是一个非常奇怪的用法,因为在C++标准中,析构函数实际上不能使用override
关键词。如果你尝试这样做,编译器会给出错误。基类的析构函数应声明为virtual
,并在子类中实现析构函数,但无需添加override
。
基类不加virtual,子类加override:
这种情况是无法编译的,因为override
关键词用于指示编译器检查基类中是否存在一个可以被重写的虚函数。由于基类中的析构函数没有声明为virtual
,因此子类中的析构函数不能使用override
关键词。
基类加virtual,子类不加override:
这是正常和安全的用法。基类的析构函数声明为virtual
,子类自动继承这个虚析构函数,即使子类没有显式地定义析构函数。这样,当使用基类指针(或引用)删除派生类对象时,会先调用派生类的析构函数,然后调用基类的析构函数,从而正确地释放所有的资源。
基类不加virtual,子类不加override:
这种情况在基类和派生类之间不存在多态的情况下是安全的。但如果存在多态,那么就可能引发问题。当你用一个基类指针(或引用)删除一个派生类对象时,只会调用基类的析构函数,而不会调用派生类的析构函数,可能会引发内存泄漏。所以,一般来说,我们建议在可能被其他类继承的基类中声明虚析构函数,以避免可能的问题。