为什么c++11的标准中对于class要加入final?

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

原创文章，作者：306829225，如若转载，请注明出处：https://blog.ytso.com/tech/pnotes/272097.html