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!的區別。