c++ - 如何防止从 c++03 中的类型派生？

Question

C++11 引入了关键字final，这使得从类型派生是非法的。

有没有办法用 C++03 实现类似的结果，也许是通过制作某些成员函数private？

Answer 1

有两种解决方案C++03：

---

第一个解决方案：私有的虚拟朋友基类，带有私有的默认构造函数：

基于这个答案，不同之处在于不使用模板 - 因此我们可以使虚拟基类成为“最终”类的朋友。

class A;
class MakeAFinal {
private: 
  MakeAFinal() {}   
  // just to be sure none uses copy ctor to hack this solution!
  MakeAFinal(const MakeAFinal&) {}   
  friend class A;
};

class A : private virtual MakeAFinal {
// ...
};

坦率地说，我不喜欢这种解决方案，因为它增加了不必要的虚拟主义。所有这些都可以包含在宏中，以增加可读性和易用性：

#define PREPARE_CLASS_FINALIZATION(CN) \
  class CN; \
  class Make##CN##Final { \
    Make##CN##Final() {} \
    Make##CN##Final(const Make##CN##Final&) {} \
    friend class CN; }

#define MAKE_CLASS_FINAL(CN) private virtual Make##CN##Final

PREPARE_CLASS_FINALIZATION(A);
class A : MAKE_CLASS_FINAL(A) {
// ...
};

---

第二种解决方案：所有构造函数都是私有的（包括复制构造函数）。类的实例是在朋友类的帮助下创建的：

class AInstance;
class A {
// ...
private:
// make all A constructors private (including copy constructor) to achieve A is final
  A() {}
  A(const A&) {} // if you like to prevent copying - achieve this in AFinal
  // ...
  friend class AInstance;
};
struct AInstance {
  AInstance() : obj() {}
  AInstance(const AInstance& other) : obj(other.obj) {}
  // and all other constructors
  A obj;
};

// usage:
AInstance globalA;
int main() {
  AInstance localA;
  AInstance ptrA = new AInstance();
  std::vector<AInstance> vecA(7);
  localA = globalA;
  *ptrA = localA;
}