#include <cstdio>
class Base
{
public:
~Base() { ::printf("base\n"); }
};
class Derived
: public Base
{
public:
~Derived() { ::printf("derived\n"); }
};
Base *ptr = new Derived;
delete ptr;
由于父类析构函数不是虚函数,因此编译器只能找到父类析构函数,而无法通过续表找到子类析构函数,因此上例会造成内存泄漏,子类中的数据成员没法得到释放。最重要的是这种行为并不会被编译器察觉
因此effective c++
建议,一个类一旦确认要被继承就应该在其析构函数前加上关键字virtual
因此得到下面的写法:
#include <cstdio>
class Base
{
public:
virtual ~Base() { ::printf("base\n"); }
};
class Derived
: public Base
{
public:
~Derived() { ::printf("derived\n"); }
};
如此,就不会出现多态下的内存泄漏问题。
但是!如果父类设计者忘记加关键字virtual
,或者由于业务的需要,当前类必须被子类实现某些功能( interface-implement ),岂不是就会再次造成泄漏?
因此,作为子类的设计者,有义务提醒父类设计者,缺少关键字virtual
,从而避免内存泄漏
C++11
新特性中的关键字override
,编译器会检查基类中的虚函数和派生类中带有override
的虚函数有没有相同的函数签名,一旦不匹配便会报错
因此子类设计者可以在其析构函数后增加关键字override
,一旦父类缺少关键字virtual
就会被编译器发现并报错
#include <cstdio>
class Base
{
public:
virtual ~Base() { ::printf("base\n"); }
};
class Derived
: public Base
{
public:
~Derived() override { ::printf("derived\n"); }
};