學習結構體和union大小的問題

５分鐘搞定內存字節對齊
轉載：http://blog.csdn.net/hairetz/archive/2009/04/16/4084088.aspx

請牢記以下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



本文來自CSDN博客，轉載請標明出處：http://blog.csdn.net/vincent_1011/archive/2009/08/25/4479965.aspx