Effective C++ 中,条款 07 提到:“如果你曾经企图继承一个标准容器或任何其他“带有 non-virtual 析构函数”的 class,拒绝诱惑吧!”。
直接来看代码,再作出解释:
struct Base {
~Base() {}
};
struct Derived : public Base {
int *x;
Derived(int *_x) : x(x) {}
~Derived() {
delete x;
}
};
上诉代码,定义了基类 Base
和派生类 Derived
。 然而,如果我们执行如下的代码,就会发生内存泄漏的错误。
int *x = new int;
Derived *d = new Derived(x);
Base *pb = d;
delete pb;
Derived*
转换为 Base*
,然后删除 Base*
。 删除操作将会调用 Base
的析构函数,而不是 Derived
的析构函数,这将导致 Derived
的成员变量 x
的内存不会释放,导致内存泄漏。
因此,如果在 Base
中加入 final
关键字,就可以防止“不应该”的继承发生。