1. 程式人生 > >C struct 中位元組對齊問題

C struct 中位元組對齊問題

VC中下面幾個結構體大小分別是多少呢
struct MyStruct
{
    double m4;
    char m1;
    int  m3;
};

struct MyStruct {
    char m1;
    double m4;
    int m3;
};

#pragma pack(push)//儲存對齊狀態
#pragma pack(16)  //設定為16位元組對齊
struct test
{
   char m1;
   int m3; 
   double m4;    
}; 
#pragma pack(pop)//恢復對齊狀態
如果你的答案不是16,24和16,相信下面的內容對你很有幫助。

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的倍數
Short     偏移量必須為sizeof(short)即2的倍數
int   偏移量必須為sizeof(int)即4的倍數
float 偏移量必須為sizeof(float)即4的倍數
double  偏移量必須為sizeof(double)即8的倍數
各成員變數在存放的時候根據在結構中出現的順序依次申請空間,同時按照上面的對

齊方式調整位置,空缺的位元組VC會自動填充。同時VC為了確保結構的大小為結構的位元組邊

界數(即該結構中佔用最大空間的型別所佔用的位元組數)的倍數,所以在為最後一個成員

變數申請空間後,還會根據需要自動填充空缺的位元組。
下面用前面的例子來說明VC到底怎麼樣來存放結構的。
struct MyStruct
{
double dda1;
char dda;
int type
};
為上面的結構分配空間的時候,VC根據成員變量出現的順序和對齊方式,先為第一個

成員dda1分配空間,其起始地址跟結構的起始地址相同(剛好偏移量0剛好為sizeof(doub

le)的倍數),該成員變數佔用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
 //(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。

(請讀者自己分析)

2、 sizeof用法總結

在VC中,sizeof有著許多的用法,而且很容易引起一些錯誤。下面根據sizeof後面的

引數對sizeof的用法做個總結。 
A. 引數為資料型別或者為一般變數。例如sizeof(int),sizeof(long)等等。這種情

況要注意的是不同系統系統或者不同編譯器得到的結果可能是不同的。例如int型別在16位

系統中佔2個位元組,在32位系統中佔4個位元組。
B. 引數為陣列或指標。下面舉例說明.
int a[50]; //sizeof(a)=4*50=200; 求陣列所佔的空間大小
int *a=new int[50];// sizeof(a)=4; a為一個指標,sizeof(a)是求指標
 //的大小,在32位系統中,當然是佔4個位元組。
C. 引數為結構或類。Sizeof應用在類和結構的處理情況是相同的。但有兩點需要注

意,第一、結構或者類中的靜態成員不對結構或者類的大小產生影響,因為靜態變數的存

儲位置與結構或者類的例項地址無關。
第二、沒有成員變數的結構或類的大小為1,因為必須保證結構或類的每一
個例項在記憶體中都有唯一的地址。
下面舉例說明,
Class Test{int a;static double c};//sizeof(Test)=4.
Test *s;//sizeof(s)=4,s為一個指標。
Class test1{ };//sizeof(test1)=1;
D. 引數為其他。下面舉例說明。
 int func(char s[5]);
 {
 cout< //數的引數在傳遞的時候系統處理為一個指標,所
 //以sizeof(s)實際上為求指標的大小。
 return 1;
}
sizeof(func(“1234”))=4//因為func的返回型別為int,所以相當於
 //求sizeof(int).
以上為sizeof的基本用法,在實際的使用中要注意分析VC的分配變數的分配策略,這

樣的話可以避免一些錯誤