好幾次遇到此類問題了：便不得不找些資料弄明白它； 具體代碼是：

2345678910

class A {protected:????int n_;};class B : public A {public:????B() : n_(0)????{}};

這是簡(jiǎn)化的，作為分析問題的。 然后無情的報(bào)錯(cuò)：|error: class 'B' does not have any field named 'n_'

不解，瞪了幾秒鐘后以為是access level的問題，于是把protected改成了public，但是問題依舊。

又瞪了一段時(shí)間才反應(yīng)過來剛才腦殘了，并不是由access level導(dǎo)致的問題。

這個(gè)問題的本質(zhì)是：子類的初始化列表不能初始化父類或者祖先類的成員。

這是標(biāo)準(zhǔn)規(guī)定的，至于為什么會(huì)有這樣一個(gè)規(guī)定，以及上述的奇怪現(xiàn)象，一個(gè)可以參考的解釋如下

1)首先是初始化列表的作用

初始化列表其實(shí)是一種后天強(qiáng)加的初始化語義。

編譯器處理后，會(huì)把初始化列表的內(nèi)容先轉(zhuǎn)化，然后插入到構(gòu)造函數(shù)的開頭，之后的內(nèi)容才是你在構(gòu)造函數(shù)里寫的語句，如果你有寫的話。

但是，這兩部分是截然不同的語義：前者是編譯器插入的初始化語句，且開始執(zhí)行用戶自己的語句時(shí)，編譯期要保證所有需要初始化的成員都已經(jīng)初始化了，這也是各大書籍推薦使用初始化列表顯式初始化成員的原因。

2)繼承情況下的初始化順序

對(duì)應(yīng)一個(gè)基類在上的繼承樹，一個(gè)子類對(duì)象的初始化順序是自頂向下。

子類對(duì)象的構(gòu)造函數(shù)會(huì)首先利用父類的構(gòu)造函數(shù)創(chuàng)建一個(gè)父類對(duì)象，然后再父類對(duì)象的基礎(chǔ)之上再把自己創(chuàng)建出來。（想象一個(gè)遞歸調(diào)用棧或者后序遍歷）

所以，在子類利用構(gòu)造函數(shù)初始化的時(shí)候，其父類對(duì)象已經(jīng)是確定構(gòu)造完畢的

3)標(biāo)準(zhǔn)要求，每個(gè)對(duì)象在其生命周期內(nèi)只能被初始化一次. 這是一個(gè)非常顯然的要求

所以，如果我們?cè)谧宇惖某跏蓟斜碇袑?duì)父類成員進(jìn)行初始化，那么在子類構(gòu)造函數(shù)開始時(shí)，這個(gè)對(duì)象已經(jīng)可能被父類構(gòu)造函數(shù)初始化了（內(nèi)建類型需要顯式初始化，帶有Non-trivial默認(rèn)構(gòu)造的函數(shù)就算不指定也會(huì)被初始化），因此此時(shí)如果子類在初始化，就違反了上述要求3)。

那么這里有個(gè)問題：編譯器能否檢查父類的對(duì)象是否已經(jīng)被初始化，如果是則提示，不是則編譯通過？

我個(gè)人覺得是完全可以的，intellisense甚至都可以做到。但是如果允許這種行為的話，可能會(huì)出現(xiàn)，當(dāng)你從一個(gè)類繼承時(shí)，你需要沿著繼承鏈向上，判斷你需要初始化的父類成員是否已經(jīng)被他的某個(gè)子孫類給初始化了。這顯然不是一種好的做法。

而且無論從哪個(gè)設(shè)計(jì)角度，子類初始化父類成員這種越俎代庖的行為都不合理。

至于解決方案，可以對(duì)父類的構(gòu)造函數(shù)傳參數(shù)對(duì)其進(jìn)行初始化。或者結(jié)合1)和2)可以推出，在構(gòu)造函數(shù)體里內(nèi)直接賦值也是可以的

總結(jié)

以上是生活随笔為你收集整理的为什么不能在子类的初始化列表里初始化父类的成员的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問題。

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