《深度探索C 物件模型》第三章 Data語意學

首先給出以下例子：

y,z的記憶體大小受三個因素的影響：

1.語言本身造成的額外負擔，指的是虛繼承中在類中會產生乙個指向虛表的指標，這個指標在32位的系統下是4個位元組。

2.編譯器對特殊情況提供的優化處理。

3.alignment限制。

class a的大小由以下幾點決定

1.被共享的 class x，為1位元組。

2.class y的大小，要減去因virtual base class x而配置的大小，結果是4bit，z同理，y+z=8。

3.class a自身是0位元組。

4.class a的記憶體對齊，8+1=9位元組，要調整為4的邊界，需要補充3個位元組，所以結果是12個位元組。

data member的布局

static data members只有乙個實體，存放在程式的data segment中，每次程式取用static member，都會被內部轉化為對該唯一的extern實體的直接參考操作。

origin.chunksize=50
;//等價於這個
point3d::chunksize=50
;

若取乙個static data member的位址，會得到乙個指向其資料型別的指標，而不是乙個指向其class member 的指標，因為static member並不內含在乙個class object之中。

&point3d::chunksize;
//會得到const int*型別

如何區分乙個」沒有指向任何data member「的指標和乙個指向」第乙個data member「的指標？例如：

float point::*p1=0;
float point::*p2=&point::x;
if(p1==p2)

為了區分p1和p2，每乙個真正的member offset值都要加上1，如果要使用該值來指出乙個member，要先減去1.

指向members的指標的效率問題

為每乙個「member訪問操作」加上一層間接性（經由已經繫結的指標）會使得執行時間多出1倍不止，以「指向member的指標」來訪問資料，再一次幾乎用掉了雙倍的時間，要把「指向member的指標」繫結到class object上，需要額外地把offset減去1.