#include <stdio.h>
struct s {
char ch, *ptr;
union {
short a, b;
unsigned int c:2, d:1;
};
struct s * next;
};
int main()
{
printf(”%d\n”,sizeof(struct s));
return 1;
}
答案:16
1byte ch 3bytes補齊
4bytes ptr
4bytes union
4bytes next
————————————————————————————————————————-
知道struct的sizeof不是成員類型大小的簡單相加,對”對界”問題搞的不是很明白,請高手詳細解答一下。
struct A
{
int a;
char b;
double c;
};
sizeof(A)=?
還有利用#pragma pack設置對齊方式是怎麼回事?
轉載文章:
—————–
1、 sizeof應用在結構上的情況
請看下面的結構:
struct MyStruct
{
double dda1;
char dda;
int type
};
對結構MyStruct採用sizeof會出現什麼結果呢?sizeof(MyStruct)爲多少呢?也許你會這樣求:
sizeof(MyStruct)=sizeof(double) sizeof(char) sizeof(int)=13
但是當在VC中測試上面結構的大小時,你會發現sizeof(MyStruct)爲16。你知道爲什麼在VC中會得出這樣一個結果嗎?
其 實,這是VC對變量存儲的一個特殊處理。爲了提高CPU的存儲速度,VC對一些變量的起始地址做了”對齊”處理。在默認情況下,VC規定各成員變量存放的 起始地址相對於結構的起始地址的偏移量必須爲該變量的類型所佔用的字節數的倍數。下面列出常用類型的對齊方式(vc6.0,32位系統)。
類型
對齊方式(變量存放的起始地址相對於結構的起始地址的偏移量)
Char
偏移量必須爲sizeof(char)即1的倍數
int
偏移量必須爲sizeof(int)即4的倍數
float
偏移量必須爲sizeof(float)即4的倍數
double
偏移量必須爲sizeof(double)即8的倍數
Short
偏移量必須爲sizeof(short)即2的倍數
各 成員變量在存放的時候根據在結構中出現的順序依次申請空間,同時按照上面的對齊方式調整位置,空缺的字節VC會自動填充。同時VC爲了確保結構的大小爲結 構的字節邊界數(即該結構中佔用最大空間的類型所佔用的字節數)的倍數,所以在爲最後一個成員變量申請空間後,還會根據需要自動填充空缺的字節。
下面用前面的例子來說明VC到底怎麼樣來存放結構的。
struct MyStruct
{
double dda1;
char dda;
int type
};
爲 上面的結構分配空間的時候,VC根據成員變量出現的順序和對齊方式,先爲第一個成員dda1分配空間,其起始地址跟結構的起始地址相同(剛好偏移量0剛好 爲sizeof(double)的倍數),該成員變量佔用sizeof(double)=8個字節;接下來爲第二個成員dda分配空間,這時下一個可以分 配的地址對於結構的起始地址的偏移量爲8,是sizeof(char)的倍數,所以把dda存放在偏移量爲8的地方滿足對齊方式,該成員變量佔用 sizeof(char)=1個字節;接下來爲第三個成員type分配空間,這時下一個可以分配的地址對於結構的起始地址的偏移量爲9,不是sizeof
(int)=4的倍數, 爲了滿足對齊方式對偏移量的約束問題,VC自動填充3個字節(這三個字節沒有放什麼東西),這時下一個可以分配的地址對於結構的起 始地址的偏移量爲12,剛好是sizeof(int)=4的倍數,所以把type存放在偏移量爲12的地方,該成員變量佔用sizeof(int)=4個 字節;這時整個結構的成員變量已經都分配了空間,總的佔用的空間大小爲:8 1 3 4=16,剛好爲結構的字節邊界數(即結構中佔用最大空間的類型所佔用的字節數sizeof(double)=8)的倍數,所以沒有空缺的字節需要填充。
所以整個結構的大小爲:sizeof(MyStruct)=8 1 3 4=16,其中有3個字節是VC自動填充的,沒有放任何有意義的東西。
下面再舉個例子,交換一下上面的MyStruct的成員變量的位置,使它變成下面的情況:
struct MyStruct
{
char dda;
double dda1;
int type
};
這個結構佔用的空間爲多大呢?在VC6.0環境下,可以得到sizeof(MyStruc)爲24。結合上面提到的分配空間的一些原則,分析下VC怎麼樣爲上面的結構分配空間的。(簡單說明)
struct MyStruct
{
char dda;//偏移量爲0,滿足對齊方式,dda佔用1個字節;
double dda1;//下一個可用的地址的偏移量爲1,不是sizeof(double)=8
//的倍數,需要補足7個字節才能使偏移量變爲8(滿足對齊
//方式),因此VC自動填充7個字節,dda1存放在偏移量爲8
//的地址上,它佔用8個字節。
int type;//下一個可用的地址的偏移量爲16,是sizeof(int)=4的倍
//數,滿足int的對齊方式,所以不需要VC自動填充,type存
//放在偏移量爲16的地址上,它佔用4個字節。
};//所有成員變量都分配了空間,空間總的大小爲1 7 8 4=20,不是結構
//的節邊界數(即結構中佔用最大空間的類型所佔用的字節數sizeof 字串2
//(double)=8)的倍數,所以需要填充4個字節,以滿足結構的大小爲
//sizeof(double)=8的倍數。
所以該結構總的大小爲:sizeof(MyStruc)爲1 7 8 4 4=24。其中總的有7 4=11個字節是VC自動填充的,沒有放任何有意義的東西。
VC對結構的存儲的特殊處理確實提高CPU存儲變量的速度,但是有時候也帶來了一些麻煩,我們也屏蔽掉變量默認的對齊方式,自己可以設定變量的對齊方式。
VC 中提供了#pragma pack(n)來設定變量以n字節對齊方式。n字節對齊就是說變量存放的起始地址的偏移量有兩種情況:第一、如果n大於等於該變量所佔用的字節數,那麼偏 移量必須滿足默認的對齊方式,第二、如果n小於該變量的類型所佔用的字節數,那麼偏移量爲n的倍數,不用滿足默認的對齊方式。結構的總大小也有個約束條 件,分下面兩種情況:如果n大於所有成員變量類型所佔用的字節數,那麼結構的總大小必須爲佔用空間最大的變量佔用的空間數的倍數;
否則必須爲n的倍數。下面舉例說明其用法。
#pragma pack(push) //保存對齊狀態
#pragma pack(4)//設定爲4字節對齊
struct test
{
char m1;
double m4;
int m3;
};
#pragma pack(pop)//恢復對齊狀態
以 上結構的大小爲16,下面分析其存儲情況,首先爲m1分配空間,其偏移量爲0,滿足我們自己設定的對齊方式(4字節對齊),m1佔用1個字節。接着開始爲 m4分配空間,這時其偏移量爲1,需要補足3個字節,這樣使偏移量滿足爲n=4的倍數(因爲sizeof(double)大於n),m4佔用8個字節。接 着爲m3分配空間,這時其偏移量爲12,滿足爲4的倍數,m3佔用4個字節。這時已經爲所有成員變量分配了空間,共分配了16個字節,滿足爲n的倍數。如 果把上面的#pragma pack(4)改爲#pragma pack(16),那麼我們可以得到結構的大小爲24。
struct 關於sizeof的大小-內存對齊問
缺省的對齊方式。
在結構中,編譯器爲結構的每個成員按其自然對界(alignment)條件分配空間;各個成員按照它們被聲明的順序在內存中順序存儲,第一個成員的地址和整個結構的地址相同。在缺省情況下,C編譯器爲每一個變量或是數據單元按其自然對界條件分配空間。
例如,下面的結構各成員空間分配情況。
struct test {
char x1;
short x2;
float x3;
char x4;
};
結構的第一個成員x1,其偏移地址爲0,佔據了第1個字節。第二個成員x2爲short類型,其起始地址必須2字節對界,因此,編譯器在x2和x1之間 填充了一個空字節。結構的第三個成員x3和第四個成員x4恰好落在其自然對界地址上,在它們前面不需要額外的填充字節。在test結構中,成員x3要求4 字節對界,是該結構所有成員中要求的最大對界單元,因而test結構的自然對界條件爲4字節,編譯器在成員x4後面填充了3個空字節。整個結構所佔據空間 爲12字節。
字節對齊的細節和編譯器實現相關,但一般而言,滿足三個準則:
1) 結構體變量的首地址能夠被其最寬基本類型成員的大小所整除;
2) 結構體每個成員相對於結構體首地址的偏移量(offset)都是成員大小的整數倍,如有需要編譯器會在成員之間加上填充字節(internal adding);
3) 結構體的總大小爲結構體最寬基本類型成員大小的整數倍,如有需要編譯器會在最末一個成員之後加上填充字節(trailing padding)。
注意的是:
基 本類型是指前面提到的像char、short、int、float、double這樣的內置數據類型,這裏所說的”數據寬度”就是指其sizeof的大 小。由於結構體的成員可以是複合類型,比如另外一個結構體,所以在尋找最寬基本類型成員時,應當包括複合類型成員的子成員,而不是把複合成員看成是一個整 體。但在確定複合類型成員的偏移位置時則是將複合類型作爲整體看待。
更改C編譯器的缺省分配策略
一般地,可以通過下面的方法改變缺省的對界條件:
? 使用僞指令#pragma pack ([n])
#pragma pack ([n])僞指令允許你選擇編譯器爲數據分配空間所採取的對界策略。
例如,在使用了#pragma pack (1)僞指令後,test結構各成員的空間分配情況就是按照一個字節對齊了,格式如下:
#pragma pack(push) //保存對齊狀態
#pragma pack(1)
//定義你的結構
//…………
#pragma pack(pop)
附:c中各基本類型的字節數
C++的基本類型:
類型 字節數
- int 4
- short int 2
- long int 4
- unsigned int 4
- unsigned short int 2
- unsigned long int 4
- char 1
- unsigned char 1
- float 4
- double 8
- long double 8
- int * 4
- int & 4