記憶體位元組對齊

struct chatFirst 
{
char a;
int e;
short f;
char b;
double d;
int c;
int g;

};

其中sizeof(charFirst)=32;

怎麼判斷記憶體對齊規則,sizeof的結果怎麼來的,請牢記以下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)的結果又是多少呢?對不起,５分鐘到了,自己去測試吧.

 

ps:Vc,Vs等編譯器預設是#pragma pack(8)，所以測試我們的規則會正常；注意gcc預設是#pragma pack(4)，並且gcc只支援1,2,4對齊。套用三原則裡計算的對齊值是不能大於#pragma pack指定的n值。