請牢記以下3條原則:(在沒有#pragma pack巨集的情況下)

１:資料成員對齊規則：結構(struct)(或聯合(union))的資料成員，第一個資料成員放在offset為0的地方，以後每個資料成員儲存的起始位置要從該成員大小的整數倍開始(比如int在３２位機為４位元組,則要從４的整數倍地址開始儲存。

２:結構體作為成員:如果一個結構裡有某些結構體成員,則結構體成員要從其內部最大元素大小的整數倍地址開始儲存.(struct a裡存有struct b,b裡有char,int ,double等元素,那b應該從8的整數倍開始儲存.)

３:收尾工作:結構體的總大小,也就是sizeof的結果,.必須是其內部最大成員的整數倍.不足的要補齊.

等你看完此３條原則,２分鐘已經過去,抓緊時間,實戰３分鐘:

typedef struct bb
{
 int id;             //[0]....[3]
 double weight;      //[8].....[15]　　　　　　原則１
 float height;      //[16]..[19],總長要為８的整數倍,補齊[20]...[23]　　　　　原則３
}BB;

typedef struct aa
{
 char name[2];     //[0],[1]
 int  id;         //[4]...[7]　　　　　　　　　　原則１

 double score;     //[8]....[15]　　　　
 short grade;    //[16],[17]　　　　　　　　
 BB b;             //[24]......[47]　　　　　　　　　　原則２
}AA;

int main()
{
  AA a;
  cout<<sizeof(a)<<" "<<sizeof(BB)<<endl;
  return 0;
}

結果是

48 24
ok,上面的全看明白了,記憶體對齊基本過關.

再講講#pragma pack().

在程式碼前加一句#pragma pack(1),你會很高興的發現,上面的程式碼輸出為

32 16
bb是4+8+4=16,aa是2+4+8+2+16=32;

這不是理想中的沒有記憶體對齊的世界嗎.沒錯,#pragma pack(1),告訴編譯器,所有的對齊都按照1的整數倍對齊,換句話說就是沒有對齊規則.

明白了不?

那#pragma pack(2)的結果又是多少呢?對不起,５分鐘到了,自己去測試吧.

===============================================================

一會搞定union記憶體位元組對齊
也是轉載一個論壇的回覆：

其實union(共用體)的各個成員是以同一個地址開始存放的,每一個時刻只可以儲存一個成員,這樣就要求它在分配記憶體單元時候要滿足兩點:   
  1.一般而言,共用體型別實際佔用儲存空間為其最長的成員所佔的儲存空間；   
  2.若是該最長的儲存空間對其他成員的元型別(如果是陣列,取其型別的資料長度,例int   a[5]為4)不滿足整除關係,該最大空間自動延伸;   
    
  我們來看看這段程式碼:   
  union   mm{   
  char   a;//元長度1   
  int   b[5];//元長度4   
  double   c;//元長度8   
  int   d[3];   
  };   
  本來mm的空間應該是sizeof(int)*5=20;但是如果只是20個單元的話,那可以存幾個double型(8位)呢?兩個半?當然不可以,所以mm的空間延伸為既要大於20,又要滿足其他成員所需空間的整數倍,即24   
    
  所以union的儲存空間先看它的成員中哪個佔的空間最大,拿他與其他成員的元長度比較,如果可以整除,ok