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 关键字,就可以防止“不应该”的继承发生。
浙公网安备 33010602011771号