繼承的構(gòu)造函數(shù)

1. 簡(jiǎn)介：

子類為完成基類初始化，在C++11之前，需要在初始化列表調(diào)用基類的構(gòu)造函數(shù)，從而完成構(gòu)造函數(shù)的傳遞。如果基類擁有多個(gè)構(gòu)造函數(shù)，那么子類也需要實(shí)現(xiàn)多個(gè)與基類構(gòu)造函數(shù)對(duì)應(yīng)的構(gòu)造函數(shù)。

class Base { public:Base(int va) : m_value(va), m_c(‘0’) {}Base(char c) : m_c(c), m_value(0) {} private:int m_value;char m_c; };class Derived : public Base { public:// 初始化基類需要透?jìng)骰惖母鱾€(gè)構(gòu)造函數(shù)，那么這是很麻煩的Derived(int va) : Base(va) {}Derived(char c) : Base(c) {}void display() { /* dosomething */ } //假設(shè)派生類只是添加了一個(gè)普通的函數(shù) };

書寫多個(gè)派生類構(gòu)造函數(shù)只為傳遞參數(shù)完成基類的初始化，這種方式無疑給開發(fā)人員帶來麻煩，降低了編碼效率。從C++11開始，推出了繼承構(gòu)造函數(shù)（Inheriting Constructor），使用using來聲明繼承基類的構(gòu)造函數(shù)，我們可以這樣書寫。

class Base { public:Base(int va) : m_value(va), m_c('0') {}Base(char c) : m_c(c), m_value(0) {} private:int m_value;char m_c; };class Derived : public Base { public: using Base::Base; //使用繼承構(gòu)造函數(shù) void display() { /* dosomething */ } //假設(shè)派生類只是添加了一個(gè)普通的函數(shù) };

上面代碼中，我們通過using Base::Base把基類構(gòu)造函數(shù)繼承到派生類中，不再需要書寫多個(gè)派生類構(gòu)造函數(shù)來完成基類的初始化。更為巧妙的是，C++11標(biāo)準(zhǔn)規(guī)定，繼承構(gòu)造函數(shù)與類的一些默認(rèn)函數(shù)（默認(rèn)構(gòu)造、析構(gòu)、拷貝構(gòu)造函數(shù)等）一樣，是隱式聲明，如果一個(gè)繼承構(gòu)造函數(shù)不被相關(guān)代碼使用，編譯器不會(huì)為其產(chǎn)生真正的函數(shù)代碼。這樣比通過派生類構(gòu)造函數(shù)“透?jìng)鳂?gòu)造函數(shù)參數(shù)”來完成基類初始化的方案，總是需要定義派生類的各種構(gòu)造函數(shù)更加節(jié)省目標(biāo)代碼空間。

?

2. 注意事項(xiàng)

（1）繼承構(gòu)造函數(shù)無法初始化派生類數(shù)據(jù)成員。

繼承構(gòu)造函數(shù)的功能是初始化基類，對(duì)于派生類數(shù)據(jù)成員的初始化則無能為力。解決的辦法主要有兩個(gè)：一是使用C++11特性就地初始化成員變量，可以通過=、{}對(duì)非靜態(tài)成員快速地就地初始化，以減少多個(gè)構(gòu)造函數(shù)重復(fù)初始化變量的工作，注意初始化列表會(huì)覆蓋就地初始化操作。

class Derived :public Base { public:using Base::Base; //使用繼承構(gòu)造函數(shù) void display() { /* dosomethin */ } //假設(shè)派生類只是添加了一個(gè)普通的函數(shù) private:double m_double{ 0.0 }; //派生類新增數(shù)據(jù)成員 };

?

（2）構(gòu)造函數(shù)擁有默認(rèn)值會(huì)產(chǎn)生多個(gè)構(gòu)造函數(shù)版本，且繼承構(gòu)造函數(shù)無法繼承基類構(gòu)造函數(shù)的默認(rèn)參數(shù)，所以我們?cè)谑褂糜心J(rèn)參數(shù)構(gòu)造函數(shù)的基類時(shí)就必須要小心。

class A { public:A(int a = 3, double b = 4) : m_a(a), m_b(b) {}void display() { cout << m_a << " " << m_b << endl; }private:int m_a;double m_b; };class B : public A { public:using A::A; };

那么A中的構(gòu)造函數(shù)會(huì)有下面幾個(gè)版本：

1 2 3 4

A() A(int) A(int,double) A(constA&)

那么B中對(duì)應(yīng)的繼承構(gòu)造函數(shù)將會(huì)包含如下幾個(gè)版本：?

1 2 3 4

B() B(int) B(int,double) B(constB&)

可以看出，參數(shù)默認(rèn)值會(huì)導(dǎo)致多個(gè)構(gòu)造函數(shù)版本的產(chǎn)生，因此在使用時(shí)需格外小心。

?

（3）多繼承的情況下，繼承構(gòu)造函數(shù)會(huì)出現(xiàn)“沖突”的情況，因?yàn)槎鄠€(gè)基類中的部分構(gòu)造函數(shù)可能導(dǎo)致派生類中的繼承構(gòu)造函數(shù)的函數(shù)名、參數(shù)（即函數(shù)簽名）相同。考察如下代碼：

class A { public:A(int i) {} };class B { public:B(int i) {} };class C : public A, public B { public:using A::A;using B::B; //編譯出錯(cuò)，重復(fù)定義C(int)C(int i) :A(i), B(i) {} //顯示定義繼承構(gòu)造函數(shù)C(int) };

為避免繼承構(gòu)造函數(shù)沖突，可以通過顯示定義繼承類沖突的構(gòu)造函數(shù)，組織隱式生成相應(yīng)的繼承構(gòu)造函數(shù)。

此外，使用繼承構(gòu)造函數(shù)時(shí)，還需要注意以下幾點(diǎn)：

• 如果基類構(gòu)造函數(shù)被申明為私有成員函數(shù)，或者派生類是從基類中虛繼承的 ，那么就不能在派生類中申明繼承構(gòu)造函數(shù)；
• 一旦使用繼承構(gòu)造函數(shù)，編譯器就不會(huì)再為派生類生成默認(rèn)構(gòu)造函數(shù)了。

?

3. 測(cè)試代碼：

#include <iostream> using namespace std;class Base { public:Base(int va) : m_value(va), m_c('0') {}Base(char c) : m_c(c), m_value(0) {}int m_value;char m_c; };class Derived : public Base { public:using Base::Base;void display() { cout << m_value << endl << m_c << endl; } };int main() {Derived d(5);d.display();return 0; }

輸出結(jié)果：

?

總結(jié)

以上是生活随笔為你收集整理的【C++ Priemr | 15】构造函数与拷贝控制的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。