最新在看深入探索C++物件模型（Inside C++ object model），看的同時針對一些之前沒有留意或者理解不深的內容整理一下讀書筆記，方便之後複習，也希望可以幫助到有同樣疑惑的人。

下面是第一章的內容整理，注：以下圖片來源於原書：

關於物件（Object Lessons）

1. C++在佈局以及存取時間上的額外負擔是由virtual引起。

這裡指的是C++中虛擬函式以及虛繼承機制，虛擬函式是C++中實現多型的主要手段，虛繼承則是為了解決諸如菱形繼承爺爺以上類在孫子以下類中出現多分重複資料提出的，詳細的內容在後面的章節中由介紹，之後的筆記會再詳細做整理。

2. 幾種可能的物件模型

a. 簡單物件模型：所有實際的成員不儲存在物件本身的空間中，而是物件中通過指標的形式指向實際儲存的成員，雖然該模型沒有實際應用於真正的C++編譯器上，但是關於索引和slot數目的觀念，被應用到了C++的“指向成員的指標”觀念之中（成員的指標在第三章中有詳細討論，之後會做記錄）。

b. 表驅動物件模型：這個模型與上面的模型有一些類似，不過在這個模型中，成員資訊被分成兩部分，資料成員和成員函式，，雖然這個模型也沒有應用於實際的C++編譯器上，但是成員函式表這個概念卻是大部分的虛函數借鑑的實現方式。

c. C++物件模型：這個是目前實際編譯器所採用的物件模型，是由Stroustrup經由簡單物件模型而來，在此模型中，非靜態成員配置於每一個類物件中，靜態成員則被存放類物件之外（靜態儲存區），成員函式（靜態以及非靜態）也被放置在類物件之外，至於虛擬函式，則通過如下兩個步驟實現：一、每個類產生一堆指向虛擬函式的指標放在一個表格中，該表格稱為虛表（virtual table: vtbl），注意這個虛表不會放到類物件中。二、每個類物件會加入一個指標（vptr），指向相關的虛表，該指標的設定和重置會由相應類的建構函式，解構函式，以及拷貝建構函式自動完成，每個類所關聯的type_info object（用以支援RTTI： runtime type identification），通常會儲存在表格的第一個slot

一個實際的例子，類X定義了一個拷貝建構函式，一個虛解構函式，一個虛擬函式foo()，則一個典型的X例項化物件的沒存佈局如下：

3. 關於類物件的大小（之後還會有詳細的討論），一般而言，一個類物件要考慮，所有非靜態成員大小的總和 + 任何由於對齊（為了保證匯流排的運輸量的最高效率，物件大小會向上調整為某個值的整數倍，對於32bit機器，該值通常為4）操作而加上去的空間 + 為了支援虛擬（virtual）機制而產生的額外負擔（指向虛表的指標，指向虛基類的指標）。

4. 關於指標（或者引用，因為本質上來講引用是通過指標來實現的），以記憶體需求的觀點來說，指向一個整數的指標和指向某個物件的指標，或者指向某個模板物件的指標，他們沒有什麼不同，他們的內容都是一個機器地址，指向不同型別的指標，既不在其指標的表示法不同，也不在其內容（一個地址）不同，而是在其所定址出來物件型別不同，也就是說，“指標型別”會教導編譯器如何解釋某個特定地址中的記憶體內容及其大小，在C++中，多型的一種使用方法就是使用基類的指標或者引用指向派生類， 例如 ZoomAnimal za("Joey"); ZoomAnimal* pza = &za; 則目前的記憶體佈局可能如下：

加上多型之後的記憶體佈局：