C 物件模型解析二

編譯器對於物件構造過程的干涉，以及對於程式形式和程式效率的衝擊

對於乙個class x，如果沒有任何user-declared constructor，那麼會有乙個預設的constructor被隱式的宣告出來....乙個被隱式宣告出來的建構函式是乙個trivial constructor（無用的constructor）。

編譯器會合成non-trivival constructor 的4中情況：

1.帶有"default constructor"的member class object

由於類中帶有自帶預設建構函式的成員變數，所以初始化這些物件是編譯器的責任，所以這時候編譯器會合成non-trivial constructor完成對成員變數的初始化，但是需要注意的是，如果成員變數還帶了int 或者指標，編譯器是沒有責任對他進行初始化的，所以這些變數時為被初始化的。

如果這個類已經有了建構函式，但是並沒有顯示的呼叫成員變數的預設建構函式，那麼編譯器也需要會為這些函式安插構造這些成員變數的函式。

2.帶有「default constructor」的base class

這個跟帶有de****t constructor 的member class object的情況一致的呼叫這些基類的函式是編譯器的責任所以編譯器會合成non-trivial建構函式，同樣如果派生類定義了建構函式，那麼編譯器也會為這些建構函式安插相應基類初始化**。

3.帶有虛函式的class

編譯器有責任為每乙個帶有虛函式的物件設定vptr初始值，放置適當的虛表的位址。如果類已經定義了建構函式也要安插相應的虛指標的初始化**。

4.帶有乙個虛基類的類

編譯器有責任初始化相應的虛基類指標。安插相應**

以上四種情況，會造成"編譯器必須未宣告constructor的class合成乙個預設建構函式"。c++標準把那些合成物稱為implicit nontrivial default contructor。