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

2345678910

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

這是簡化的，作為分析問題的。 然后無情的報錯：|error: class 'B' does not have any field named 'n_'

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

又瞪了一段時間才反應過來剛才腦殘了，并不是由access level導致的問題。

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

這是標準規定的，至于為什么會有這樣一個規定，以及上述的奇怪現象，一個可以參考的解釋如下

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

初始化列表其實是一種后天強加的初始化語義。

編譯器處理后，會把初始化列表的內容先轉化，然后插入到構造函數的開頭，之后的內容才是你在構造函數里寫的語句，如果你有寫的話。

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

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

對應一個基類在上的繼承樹，一個子類對象的初始化順序是自頂向下。

子類對象的構造函數會首先利用父類的構造函數創建一個父類對象，然后再父類對象的基礎之上再把自己創建出來。（想象一個遞歸調用棧或者后序遍歷）

所以，在子類利用構造函數初始化的時候，其父類對象已經是確定構造完畢的

3)標準要求，每個對象在其生命周期內只能被初始化一次. 這是一個非常顯然的要求

所以，如果我們在子類的初始化列表中對父類成員進行初始化，那么在子類構造函數開始時，這個對象已經可能被父類構造函數初始化了（內建類型需要顯式初始化，帶有Non-trivial默認構造的函數就算不指定也會被初始化），因此此時如果子類在初始化，就違反了上述要求3)。

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

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

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

至于解決方案，可以對父類的構造函數傳參數對其進行初始化。或者結合1)和2)可以推出，在構造函數體里內直接賦值也是可以的

總結

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

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。