更简单的“防止派生类”在 C++

Question

假设存在阻止从某个类派生的合理理由，Bjarne 在此处 获取“我可以阻止人们从我的班级派生吗？”的答案

然而，我想到：

class final {
protected:
  final() { }         // line 3
};

class B : private virtual final {
};

class D : public B {  // line 9
};

int main() {
  B b;
  D d;                // line 14
}

当尝试编译时，人们会得到：

foo.cpp: In constructor ‘D::D()’:
foo.cpp:3: error: ‘final::final()’ is protected
foo.cpp:9: error: within this context
foo.cpp: In function ‘int main()’:
foo.cpp:14: note: synthesized method ‘D::D()’ first required here 

我的解决方案适用于所有情况吗？恕我直言，它更好，因为类 final 是通用的，不需要预先了解该类来防止派生。

Answer 1

该解决方案相当糟糕，可以使用 CRTP 对其进行改进（adobe 就是这样做的），但它不会是一个完整的解决方案。您的代码的问题在于，另一个不想破坏您的合同（她是一个好人）但不知道她不应该从您的类派生的程序员可能想要锁定其他人从她自己的类派生：

class YourSealedClass : private virtual final {};
class HerSealedClass : public YourSealedClass, private virtual final {
};

请注意连恶意都没有，契约就毁了。 CRTP 的改进是：

template <typename T>
class seal
{
protected:
   seal(){}
   ~seal(){}
};
class YourSealedClass : private virtual seal<YourSealedClass> {};

这将捕获之前的错误，因为她的代码将是：

class HerSealedClass : public YourSealedClass, private virtual seal<HerSealedClass> {};

由于她不是从 seal继承，编译器将捕获它。

这种方法的问题在于，它不会阻止某些顽固（或恶意）的程序员编写：

class MalignClass : public YourSealedClass, private virtual seal<YourSealedClass> {};

成为密封类的子级，并因此获得对您自己的类的访问权限。

在 C++0x 中，我相信（必须重新检查）他们会提出模板不能与模板参数交友的限制，这将是迈向通用类型安全解决方案的良好一步。 class sealer：

template <typename T>
class seal {
   friend class T; // illegal in C++03
   seal() {};
   ~seal() {};
};
class MySealedClass : private virtual seal<MySealedClass>
{};

这种方法的优点（目前不可用）是因为构造函数和析构函数是私有的，只有朋友才能实例化该类型。因为您使用 CRTP 从特定实例继承，并将您自己的类型作为参数传递，所以您告诉编译器只有您可以实际实例化您的基类，并且所有部分都就位。

Answer 2

尝试：

class D : public B, public virtual final
{
};