1. c++內存中字節對齊問題詳解
2. 一、什麼是字節對齊,爲什麼要對齊?
3. 現代計算機中內存空間都是按照byte劃分的,從理論上講似乎對任何類型的變量的訪問可以從任何地址開始,但實際情況是在訪問特定類型
變量的時候經常在特 定的內存地址訪問,這就需要各種類型數據按照一定的規則在空間上排列,而不是順序的一個接一個的排放,這就是對 齊。
8. 對齊的作用和原因:各個硬件平臺對存儲空間的處理上有很大的不同。一些平臺對某些特定類型的數據只能從某些特定地址開始存取。比如
有些架構的CPU在訪問 一個沒有進行對齊的變量的時候會發生錯誤,那麼在這種架構下編程必須保證字節對齊.其他平臺可能沒有這種情況,
但是最常見的是如果不按照適合其平臺要求對 數據存放進行對齊,會在存取效率上帶來損失。比如有些平臺每次讀都是從偶地址開始,如果
一個int型(假設爲32位系統)如果存放在偶地址開始的地方,那 麼一個讀週期就可以讀出這32bit,而如果存放在奇地址開始的地方,就
需要2個讀週期,並對兩次讀出的結果的高低字節進行拼湊才能得到該32bit數 據。顯然在讀取效率上下降很多。
17. 二、請看下面的結構:
18. struct MyStruct
19. {
20. double dda1;
21. char dda;
22. int type
23. };
24. 對結構MyStruct採用sizeof會出現什麼結果呢?sizeof(MyStruct)爲多少呢?也許你會這樣求:
25. sizeof(MyStruct)=sizeof(double)+sizeof(char)+sizeof(int)=13
26. 但是當在VC中測試上面結構的大小時,你會發現sizeof(MyStruct)爲16。你知道爲什麼在VC中會得出這樣一個結果嗎?
27. 其實,這是VC對變量存儲的一個特殊處理。爲了提高CPU的存儲速度,VC對一些變量的起始地址做了“對齊”處理。在默認情況下,VC規定
各成員變量存放的起始地址相對於結構的起始地址的偏移量必須爲該變量的類型所佔用的字節數的倍數。下面列出常用類型的對齊方式
31. (vc6.0,32位系統)。
32. 類型
33. 對齊方式(變量存放的起始地址相對於結構的起始地址的偏移量)
34. Char
35. 偏移量必須爲sizeof(char)即1的倍數
36. int
37. 偏移量必須爲sizeof(int)即4的倍數
38. float
39. 偏移量必須爲sizeof(float)即4的倍數
40. double
41. 偏移量必須爲sizeof(double)即8的倍數
42. Short
43. 偏移量必須爲sizeof(short)即2的倍數
44. 各成員變量在存放的時候根據在結構中出現的順序依次申請空間,同時按照上面的對齊方式調整位置,空缺的字節VC會自動填充。同時VC爲
了確保結構的大小爲結構的字節邊界數(即該結構中佔用最大空間的類型所佔用的字節數)的倍數,所以在爲最後一個成員變量申請空間後
還會根據需要自動填充空缺的字節。
49. 下面用前面的例子來說明VC到底怎麼樣來存放結構的。
50. struct MyStruct
51. {
52. double dda1;
53. char dda;
54. int type
55. };
56. 爲上面的結構分配空間的時候,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自動填充的,沒有放任何有意義的東西。
73. 下面再舉個例子,交換一下上面的MyStruct的成員變量的位置,使它變成下面的情況:
74. struct MyStruct
75. {
76. char dda;
77. double dda1;
78. int type
79. };
80. 這個結構佔用的空間爲多大呢?在VC6.0環境下,可以得到sizeof(MyStruc)爲24。結合上面提到的分配空間的一些原則,分析下VC怎麼樣
爲上面的結構分配空間的。(簡單說明)
struct MyStruct
84. {
85. char dda;//偏移量爲0,滿足對齊方式,dda佔用1個字節;
86. double dda1;//下一個可用的地址的偏移量爲1,不是sizeof(double)=8
87. //的倍數,需要補足7個字節才能使偏移量變爲8(滿足對齊
88. //方式),因此VC自動填充7個字節,dda1存放在偏移量爲8
89. //的地址上,它佔用8個字節。
90. int type;//下一個可用的地址的偏移量爲16,是sizeof(int)=4的倍
91. //數,滿足int的對齊方式,所以不需要VC自動填充,type存
92. //放在偏移量爲16的地址上,它佔用4個字節。
93. };//所有成員變量都分配了空間,空間總的大小爲1+7+8+4=20,不是結構
94. //的節邊界數(即結構中佔用最大空間的類型所佔用的字節數sizeof
95. //(double)=8)的倍數,所以需要填充4個字節,以滿足結構的大小爲
96. //sizeof(double)=8的倍數。
97. 所以該結構總的大小爲:sizeof(MyStruc)爲1+7+8+4+4=24。其中總的有7+4=11個字節是VC自動填充的,沒有放任何有意義的東西。
98. VC對結構的存儲的特殊處理確實提高CPU存儲變量的速度,但是有時候也帶來了一些麻煩,我們也屏蔽掉變量默認的對齊方式,自己可以設
定變量的對齊方式。
101. VC 中提供了#pragma pack(n)來設定變量以n字節對齊方式。n字節對齊就是說變量存放的起始地址的偏移量有兩種情況:第一、如果n大於
等於該變量所佔用的字節數,那麼偏移量必須滿足默認的對齊方式,第二、如果n小於該變量的類型所佔用的字節數,那麼偏移量爲n的倍數
不用滿足默認的對齊方式。結構的總大小也有個約束條件,分下面兩種情況:如果n大於所有成員變量類型所佔用的字節數,那麼結構的總
大小必須爲佔用空間最大的變量佔用的空間數的倍數;
108. 否則必須爲n的倍數。下面舉例說明其用法。
109. #pragma pack(push) //保存對齊狀態
110. #pragma pack(4)//設定爲4字節對齊
111. struct test
112. {
113. char m1;
114. double m4;
115. int m3;
116. };
117. #pragma pack(pop)//恢復對齊狀態
118. 以上結構的大小爲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。(請讀者自己分
析)
127. 三、再看下面這個例子
128. #pragma pack(8)
129. struct S1{
130. char a;
131. long b;
132. };
133. struct S2 {
134. char c;
135. struct S1 d;
136. long long e;
137. };
138. #pragma pack()
139. sizeof(S2)結果爲24.
140. 成員對齊有一個重要的條件,即每個成員分別對齊.即每個成員按自己的方式對齊.
141. 也就是說上面雖然指定了按8字節對齊,但並不是所有的成員都是以8字節對齊.其對齊的規則是,每個成員按其類型的對齊參數(通常是這個類
142.
143. 型的大小)和指定對齊參數(這裏是8字節)中較小的一個對齊.並且結構的長度必須爲所用過的所有對齊參數的整數倍,不夠就補空字節.
144. S1中,成員a是1字節默認按1字節對齊,指定對齊參數爲8,這兩個值中取1,a按1字節對齊;成員b是4個字節,默認是按4字節對齊,這時就按4字節
145.
146. 對齊,所以sizeof(S1)應該爲8;
147. S2 中,c和S1中的a一樣,按1字節對齊,而d 是個結構,它是8個字節,它按什麼對齊呢?對於結構來說,它的默認對齊方式就是它的所有成員使用
的對齊參數中最大的一個,S1的就是4.所以,成員d就是按4字節對齊.成員e是8個字節,它是默認按8字節對齊,和指定的一樣,所以它對到8字節
的邊界上,這時,已經使用了12個字節了,所以又添加了4個字節的空,從第16個字節開始放置成員e.這時,長度爲24,已經可以被8(成員e按8字
節對齊)整除.這樣,一共使用了24個字節.
a b S1的內存佈局:11**,1111,
c S1.a S1.b d
S2的內存佈局:1***,11**,1111,****11111111
這裏有三點很重要:
1.每個成員分別按自己的方式對齊,並能最小化長度。
. 2.複雜類型(如結構)的默認對齊方式是它最長的成員的對齊方式,這樣在成員是複雜類型時,可以最小化長度。
3.對齊後的長度必須是成員中最大的對齊參數的整數倍,這樣在處理數組時可以保證每一項都邊界對齊。