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

How to prevent derivation from a type in c++03?

本文关键字:类型 派生 c++03 何防止      更新时间:2023-10-16

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

有没有办法通过C++03实现类似的结果,也许是通过使某些成员函数private

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;
}