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