#include <iostream>
template<typename T>
class MakeFinally {
private:
MakeFinally() {}//只有MakeFinally的友类才可以构造MakeFinally
~MakeFinally() {}
friend T;
};
class MyClass : public virtual MakeFinally<MyClass> {
public:
void Test() {
}
};//MyClass是不可派生类
//由于虚继承,所以D要直接负责构造MakeFinally类,从而导致编译报错,所以D作为派生类是不合法的。
class D : public MyClass {
};
//另外,如果D类没有实例化对象,即没有被使用,实际上D类是被编译器忽略掉而不报错
int main() {
MyClass c1;
// D var2; //这一行编译将导致错误,因为D类的默认构造函数不合法
}