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!的区别。