C++ 中不能被继承的类实现,及从中体现virtual 继承的一个特性
C++ view第一期中给出了如何实现一个不能被继承的类的方法。
如下:
#ifdef NDEBUG
#define FINAL_CLASS
#else
#define FINAL_CLASS : public virtual Private::NonDerivableHelper //这里的关键是virtual 只要是virtual就不能继承
#endif
namespace Private
{
class NonDerivableHelper
{
protected:
NonDerivableHelper(int) { cout << "a" << endl;} //ADDED CTOR ARGUMENT
};
}
class NonDerivable FINAL_CLASS
{
public:
NonDerivable() : NonDerivableHelper(0) {cout << "b" << endl;} //PASS A DUMMY VALUE
};
class A: public NonDerivable
{
public:
A() { cout << "c" << endl;}
};
int main(int argc, char *argv[])
{
NonDerivable n;
A a;
return 0;
}
这里A试图继承 NonDerivable 类,但是编译器会报错
underivable.cc|55| 错误: 对‘Private::NonDerivableHelper::NonDerivableHelper()’的调用没有匹配的函数
underivable.cc|40| 附注: 备选为: Private::NonDerivableHelper::NonDerivableHelper(int)
underivable.cc|38| 附注: Private::NonDerivableHelper::NonDerivableHelper(const Private::NonDerivableHelper&)
这也就是选择virtual 继承的原因,选择virtual继承,构造函数时会跳过NonDerivable() : NonDerivableHelper(0) 而直接去调用
NonDerivableHelper(int)
在虚继承出现的继承层次中,总是在构造非虚基类之前构造虚基类。参考http://tech.ddvip.com/2009-07/1246614951125275.html。
即使是非virtual继承也是基类先被构造,但是构造函数的选择是要由子类决定的,如果子类不提供信息则才调用基类的默认构造函数。
而在这里的virtual继承使得首先就越过NonDerivable,直接去构造NonDerivableHelper。
做个小实验就清楚了
#ifdef NDEBUG
#define FINAL_CLASS
#else
#define FINAL_CLASS : public virtual Private::NonDerivableHelper //这里的关键是virtual 只要是virtual就不能继承
#endif
namespace Private
{
class NonDerivableHelper
{
protected:
NonDerivableHelper(int) { cout << "a" << endl;} //ADDED CTOR ARGUMENT
NonDerivableHelper() { cout << "a!" << endl;}
};
}
class NonDerivable FINAL_CLASS
{
public:
NonDerivable() : NonDerivableHelper(0) {cout << "b" << endl;} //PASS A DUMMY VALUE
};
class A: public NonDerivable
{
public:
A() { cout << "c" << endl;}
};
int main(int argc, char *argv[])
{
//A a;
NonDerivable n;
A a;
return 0;
}
运行结果
a
b
a!
b
c
将virtual 去掉
即 #define FINAL_CLASS : public Private::NonDerivableHelper //这里的关键是virtual 只要是virtual就不能继承
运行结果
a
b
a
b
c
OK, virtual 继承和非virtual继承在构造函数调用上的不同已经很清楚了,a与a!的区别。