時間：2014.06.19

地點：基地

-------------------------------------------------------------------------

一、問題描述

  在繼承體系中，如果派生類想要使用基類的建構函式，需要在建構函式中顯式宣告。如下：

struct A
{
   A(int i){}
}；

struct B:A
{
  B(int i):A(i){}
};

struct A
{
   A(int i){}
}；

struct B:A
{
  B(int i)：A(i),d(i){}
  int d;
};
 

struct A
{
  A(int i) {}
  A(double d,int i){}
  A(float f,int i,const char* c){}
  //...等等系列的建構函式版本
}；
struct B:A
{
  B(int i):A(i){}
  B(double d,int i):A(d,i){}
  B(folat f,int i,const char* c):A(f,i,e){}
  //......等等好多個和基類建構函式對應的建構函式
}；
 

很明顯當基類建構函式一多，派生類建構函式的寫法就顯得很累贅，相當不方便。

-------------------------------------------------------------------------

二、問題的解決

  我們可以通過using宣告來完成這個問題的簡化，看一個例子

<pre name="code" class="cpp"><pre name="code" class="cpp">struct Base
{
  void f(double i){
  cout<<"Base:"<<i<<endl;
  }
};

struct Drived:Base
{
  using Base::f;
  void f(int i){
    cout<<"Drived:"<<i<<endl;
  }
};
 

程式碼中基類和派生類都聲明瞭同名的函式f，但派生類中辦法和基類的版本不同，這裡使用using宣告，說明派生類中也使用基類版本的函式f，這樣派生類中就擁有兩個f函式的版本了。在這裡需要說明的是，如果沒有使用using宣告繼承父類同名函式，那麼派生類中定義的f函式將會遮蔽父類的f函式，當然若派生類根本就沒有定義這個f同名函式，還會選擇用基類的f函式。
這種方法，我們一樣可遷移到建構函式的繼承上，即派生類可以通過using語句宣告要在子類中繼承基類的所有建構函式。如下：

struct A
{
  A(int i) {}
  A(double d,int i){}
  A(float f,int i,const char* c){}
  //...等等系列的建構函式版本
}；
struct B:A
{
  using A::A;
  //關於基類各建構函式的繼承一句話搞定
  //......
}；

但此時還有一個問題：

當使用using語句繼承基類建構函式時，派生類無法對類自身定義的新的類成員進行初始化，我們可使用類成員的初始化表示式，為派生類成員設定一個預設初始值。比如：

struct A
{
  A(int i) {}
  A(double d,int i){}
  A(float f,int i,const char* c){}
  //...等等系列的建構函式版本
}；
struct B:A
{
  using A::A;
  int d{0};
}；

注意：

  1.對於繼承建構函式來說，引數的預設值是不會被繼承的，而且，預設值會 導致基類產生多個建構函式版本（即引數從後一直往前面減，直到包含無參建構函式，當然如果是預設複製建構函式也包括在內），這些函式版本都會被派生類繼承。

  2.繼承建構函式中的衝突處理：當派生類擁有多個基類時，多個基類中的部分建構函式可能導致派生類中的繼承建構函式的函式名。引數都相同，那麼繼承類中的繼承建構函式將導致不合法的派生類程式碼，比如：

struct A
{
  A(int){}
};
struct B
{
  B(int){}
};
struct C:A,B
{
  using A::A;
  using B::B;
};

struct C:A,B
{
  using A::A;
  using B::B;
  C(int){}
};

4.如果一旦使用了繼承建構函式，編譯器就不會為派生類生成預設建構函式。這樣，我們得注意繼承建構函式無參版本是不是有需要。