如何防止从 c++03 中的类型派生
How to prevent derivation from a type in c++03?
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;
}
相关文章:
- 存储模板类型以强制转换回派生<T>
- 在 C++ 中用派生类型重写成员函数
- 检查一个类型是否直接派生自"enable if"上下文中的另一个类型(是其子类型)
- 给定一个类型,如何派生一个泛型更广泛的类型(例如,用于溢出安全求和)?
- 在 C++ 中将对象转换为派生类型
- 如何检查派生类的类型?(C++实例)
- 创建派生自可变参数模板包的类型元组
- C++如果采用类类型的函数被传递派生类型,有没有办法给出错误?
- 返回派生类型时出现协变类型错误
- 静态自动 constexpr t = { "red" , "black" , "green" } 是什么类型;派生到?
- 如何模板化堆栈分配的多态指针数组到接口,包括派生类型的相应点?
- 在从仅移动类型派生的类中定义析构函数在使用 std::vector emplace_back或push_back创建时会
- (C++);动态决定函数的类型(派生类)
- 如何使variadic模板类方法以函数指针为参数,类型派生自函数模板
- 如何防止从 c++03 中的类型派生
- 如何为从特定类型派生的类型专门化模板
- 为什么在返回从函数的返回类型派生的类型本地对象时不选择 move 构造函数?
- 如何在模板类型中强制静态成员初始化?或如何获取从模板类型派生的所有类的计数
- 有没有任何方法可以从C++中的成员指针类型派生对象类型
- 在c++中基于另一个变量类型派生一个变量类型