選擇自 soloist 的 Blog 作者:不詳? 如原作者發(fā)現(xiàn)并不允許轉(zhuǎn)載請通知我，我會(huì)刪除！
當(dāng)在C中定義了一個(gè)結(jié)構(gòu)類型時(shí)，它的大小是否等于各字段(field)大小之和？編譯器將如何在內(nèi)存中放置這
些字段？ANSI
C對結(jié)構(gòu)體的內(nèi)存布局有什么要求？而我們的程序又能否依賴這種布局？這些問題或許對不少朋友來說還有點(diǎn)模糊，那么本文就試著探究它們背后的秘密。??? 首先，至少有一點(diǎn)可以肯定，那就是ANSI
C保證結(jié)構(gòu)體中各字段在內(nèi)存中出現(xiàn)的位置是隨它們的聲明順序依次遞增的，并且第一個(gè)字段的首地址等于整個(gè)結(jié)構(gòu)體實(shí)例的首地址。比如有這樣一個(gè)結(jié)構(gòu)體：
?
? struct vector{int x,y,z;} s;
? int *p,*q,*r;
? struct vector
*ps;
?
? p = &s.x;
? q = &s.y;
? r = &s.z;
? ps =
&s;
? assert(p < q);
?
assert(p < r);
? assert(q < r);
? assert((int*)ps == p);
? // 上述斷言一定不會(huì)失敗
??? 這時(shí)，有朋友可能會(huì)問:"標(biāo)準(zhǔn)是否規(guī)定相鄰字段在內(nèi)存中也相鄰?"。
唔，對不起，ANSI C沒有做出保證，你的程序在任何時(shí)候都不應(yīng)該依賴這個(gè)假設(shè)。那這是否意味著我們永遠(yuǎn)無法勾勒出一幅更清晰更精確的結(jié)構(gòu)體內(nèi)存布局圖？哦，當(dāng)然不是。不過先讓我們從這個(gè)問題中暫時(shí)抽身，關(guān)注一下另一個(gè)重要問題————內(nèi)存對齊。
???
許多實(shí)際的計(jì)算機(jī)系統(tǒng)對基本類型數(shù)據(jù)在內(nèi)存中存放的位置有限制，它們會(huì)要求這些數(shù)據(jù)的首地址的值是某個(gè)數(shù)k(通常它為4或8)的倍數(shù)，這就是所謂的內(nèi)存對齊，而這個(gè)k則被稱為該數(shù)據(jù)類型的對齊模數(shù)(alignment modulus)。當(dāng)一種類型S的對齊模數(shù)與另一種類型T的對齊模數(shù)的比值是大于1的整數(shù)，我們就稱類型S的對齊要求比T強(qiáng)(嚴(yán)格)，而稱T比S弱(寬松)。這種強(qiáng)制的要求一來簡化了處理器與內(nèi)存之間傳輸系統(tǒng)的設(shè)計(jì)，二來可以提升讀取數(shù)據(jù)的速度。比如這么一種處理器，它每次讀寫內(nèi)存的時(shí)候都從某個(gè)8倍數(shù)的地址開始，一次讀出或?qū)懭?個(gè)字節(jié)的數(shù)據(jù)，假如軟件能保證double類型的數(shù)據(jù)都從8倍數(shù)地址開始，那么讀或?qū)懸粋€(gè)double類型數(shù)據(jù)就只需要一次內(nèi)存操作。否則，我們就可能需要兩次內(nèi)存操作才能完成這個(gè)動(dòng)作，因?yàn)閿?shù)據(jù)或許恰好橫跨在兩個(gè)符合對齊要求的8字節(jié)內(nèi)存塊上。某些處理器在數(shù)據(jù)不滿足對齊要求的情況下可能會(huì)出錯(cuò)，但是Intel的IA32架構(gòu)的處理器則不管數(shù)據(jù)是否對齊都能正確工作。不過Intel奉勸大家，如果想提升性能，那么所有的程序數(shù)據(jù)都應(yīng)該盡可能地對齊。Win32平臺(tái)下的微軟C編譯器(cl.exe for 80x86)在默認(rèn)情況下采用如下的對齊規(guī)則:
任何基本數(shù)據(jù)類型T的對齊模數(shù)就是T的大小，即sizeof(T)。比如對于double類型(8字節(jié))，就要求該類型數(shù)據(jù)的地址總是8的倍數(shù)，而char類型數(shù)據(jù)(1字節(jié))則可以從任何一個(gè)地址開始。Linux下的GCC奉行的是另外一套規(guī)則(在資料中查得，并未驗(yàn)證，如錯(cuò)誤請指正):任何2字節(jié)大小(包括單字節(jié)嗎?)的數(shù)據(jù)類型(比如short)的對齊模數(shù)是2，而其它所有超過2字節(jié)的數(shù)據(jù)類型(比如long,double)都以4為對齊模數(shù)。
??? 現(xiàn)在回到我們關(guān)心的struct上來。ANSI
C規(guī)定一種結(jié)構(gòu)類型的大小是它所有字段的大小以及字段之間或字段尾部的填充區(qū)大小之和。嗯？填充區(qū)？對，這就是為了使結(jié)構(gòu)體字段滿足內(nèi)存對齊要求而額外分配給結(jié)構(gòu)體的空間。那么結(jié)構(gòu)體本身有什么對齊要求嗎？有的，ANSI
C標(biāo)準(zhǔn)規(guī)定結(jié)構(gòu)體類型的對齊要求不能比它所有字段中要求最嚴(yán)格的那個(gè)寬松，可以更嚴(yán)格(但此非強(qiáng)制要求，VC7.1就僅僅是讓它們一樣嚴(yán)格)。我們來看一個(gè)例子(以下所有試驗(yàn)的環(huán)境是Intel Celeron 2.4G + WIN2000 PRO +
vc7.1，內(nèi)存對齊編譯選項(xiàng)是"默認(rèn)"，即不指定/Zp與/pack選項(xiàng)):
? typedef struct ms1
?
{
???? char a;
???? int b;
? } MS1;
???
假設(shè)MS1按如下方式內(nèi)存布局(本文所有示意圖中的內(nèi)存地址從左至右遞增):
??????
_____________________________
?????? |?????? |?????????????????? |
??????
|?? a?? |??????? b????????? |
?????? |?????? |?????????????????? |
??????
+---------------------------+
?Bytes:??? 1???????????? 4
???
因?yàn)镸S1中有最強(qiáng)對齊要求的是b字段(int)，所以根據(jù)編譯器的對齊規(guī)則以及ANSI C標(biāo)準(zhǔn)，MS1對象的首地址一定是4(int類型的對齊模數(shù))的倍數(shù)。那么上述內(nèi)存布局中的b字段能滿足int類型的對齊要求嗎？嗯，當(dāng)然不能。如果你是編譯器，你會(huì)如何巧妙安排來滿足CPU的癖好呢？呵呵，經(jīng)過1毫秒的艱苦思考，你一定得出了如下的方案：
??????
_______________________________________
?????? |??????
|\\\\\\\\\\\|???????????????? |
?????? |?? a?? |\\padding\\|?????? b????????
|
?????? |?????? |\\\\\\\\\\\|???????????????? |
??????
+-------------------------------------+
?Bytes:??? 1???????? 3????????????
4
???
這個(gè)方案在a與b之間多分配了3個(gè)填充(padding)字節(jié)，這樣當(dāng)整個(gè)struct對象首地址滿足4字節(jié)的對齊要求時(shí)，b字段也一定能滿足int型的4字節(jié)對齊規(guī)定。那么sizeof(MS1)顯然就應(yīng)該是8，而b字段相對于結(jié)構(gòu)體首地址的偏移就是4。非常好理解，對嗎？現(xiàn)在我們把MS1中的字段交換一下順序:
? typedef struct ms2
?
{
???? int a;
???? char b;
? } MS2;
??? 或許你認(rèn)為MS2比MS1的情況要簡單，它的布局應(yīng)該就是
??????
_______________________
?????? |???????????? |?????? |
?????? |????
a?????? |?? b?? |
?????? |???????????? |?????? |
??????
+---------------------+
?Bytes:????? 4?????????? 1
???
因?yàn)镸S2對象同樣要滿足4字節(jié)對齊規(guī)定，而此時(shí)a的地址與結(jié)構(gòu)體的首地址相等，所以它一定也是4字節(jié)對齊。嗯，分析得有道理，可是卻不全面。讓我們來考慮一下定義一個(gè)MS2類型的數(shù)組會(huì)出現(xiàn)什么問題。C標(biāo)準(zhǔn)保證，任何類型(包括自定義結(jié)構(gòu)類型)的數(shù)組所占空間的大小一定等于一個(gè)單獨(dú)的該類型數(shù)據(jù)的大小乘以數(shù)組元素的個(gè)數(shù)。換句話說，數(shù)組各元素之間不會(huì)有空隙。按照上面的方案，一個(gè)MS2數(shù)組array的布局就是:
|<-??? array[1]????
->|<-??? array[2]???? ->|<-?array[3] .....
__________________________________________________________
|????????????
|?????? |????????????? |????? |
|???? a?????? |?? b?? |????? a?????? |?? b?
|.............
|???????????? |?????? |????????????? |?????
|
+----------------------------------------------------------
Bytes:?
4???????? 1????????? 4?????????? 1
???
當(dāng)數(shù)組首地址是4字節(jié)對齊時(shí)，array[1].a也是4字節(jié)對齊，可是array[2].a呢？array[3].a ....呢？可見這種方案在定義結(jié)構(gòu)體數(shù)組時(shí)無法讓數(shù)組中所有元素的字段都滿足對齊規(guī)定，必須修改成如下形式:
??????
___________________________________
?????? |???????????? |??????
|\\\\\\\\\\\|
?????? |???? a?????? |?? b?? |\\padding\\|
??????
|???????????? |?????? |\\\\\\\\\\\|
??????
+---------------------------------+
?Bytes:????? 4?????????? 1????????
3
???
現(xiàn)在無論是定義一個(gè)單獨(dú)的MS2變量還是MS2數(shù)組，均能保證所有元素的所有字段都滿足對齊規(guī)定。那么sizeof(MS2)仍然是8，而a的偏移為0，b的偏移是4。
???
好的，現(xiàn)在你已經(jīng)掌握了結(jié)構(gòu)體內(nèi)存布局的基本準(zhǔn)則，嘗試分析一個(gè)稍微復(fù)雜點(diǎn)的類型吧。
? typedef struct ms3
?
{
???? char a;
???? short b;
???? double c;
? }
MS3;
??? 我想你一定能得出如下正確的布局圖:
????????
??????? padding?
?????????? |
?????
_____v_________________________________
????? |?? |\|????
|\\\\\\\\\|?????????????? |
????? | a |\|? b? |\padding\|?????? c??????
|
????? |?? |\|???? |\\\\\\\\\|?????????????? |
?????
+-------------------------------------+
Bytes:? 1? 1?? 2?????? 4???????????
8
??????????
???
sizeof(short)等于2，b字段應(yīng)從偶數(shù)地址開始，所以a的后面填充一個(gè)字節(jié)，而sizeof(double)等于8，c字段要從8倍數(shù)地址開始，前面的a、b字段加上填充字節(jié)已經(jīng)有4
bytes，所以b后面再填充4個(gè)字節(jié)就可以保證c字段的對齊要求了。sizeof(MS3)等于16，b的偏移是2，c的偏移是8。接著看看結(jié)構(gòu)體中字段還是結(jié)構(gòu)類型的情況:
? typedef struct ms4
?
{
???? char a;
???? MS3 b;
? } MS4;
???
MS3中內(nèi)存要求最嚴(yán)格的字段是c，那么MS3類型數(shù)據(jù)的對齊模數(shù)就與double的一致(為8)，a字段后面應(yīng)填充7個(gè)字節(jié)，因此MS4的布局應(yīng)該是:
??????
_______________________________________
?????? |??????
|\\\\\\\\\\\|???????????????? |
?????? |?? a?? |\\padding\\|?????? b????????
|
?????? |?????? |\\\\\\\\\\\|???????????????? |
??????
+-------------------------------------+
?Bytes:??? 1???????? 7????????????
16
??? 顯然，sizeof(MS4)等于24，b的偏移等于8。
???
在實(shí)際開發(fā)中，我們可以通過指定/Zp編譯選項(xiàng)來更改編譯器的對齊規(guī)則。比如指定/Zpn(VC7.1中n可以是1、2、4、8、16)就是告訴編譯器最大對齊模數(shù)是n。在這種情況下，所有小于等于n字節(jié)的基本數(shù)據(jù)類型的對齊規(guī)則與默認(rèn)的一樣，但是大于n個(gè)字節(jié)的數(shù)據(jù)類型的對齊模數(shù)被限制為n。事實(shí)上，VC7.1的默認(rèn)對齊選項(xiàng)就相當(dāng)于/Zp8。仔細(xì)看看MSDN對這個(gè)選項(xiàng)的描述，會(huì)發(fā)現(xiàn)它鄭重告誡了程序員不要在MIPS和Alpha平臺(tái)上用/Zp1和/Zp2選項(xiàng)，也不要在16位平臺(tái)上指定/Zp4和/Zp8(想想為什么？)。改變編譯器的對齊選項(xiàng)，對照程序運(yùn)行結(jié)果重新分析上面4種結(jié)構(gòu)體的內(nèi)存布局將是一個(gè)很好的復(fù)習(xí)。
???
到了這里，我們可以回答本文提出的最后一個(gè)問題了。結(jié)構(gòu)體的內(nèi)存布局依賴于CPU、操作系統(tǒng)、編譯器及編譯時(shí)的對齊選項(xiàng)，而你的程序可能需要運(yùn)行在多種平臺(tái)上，你的源代碼可能要被不同的人用不同的編譯器編譯(試想你為別人提供一個(gè)開放源碼的庫)，那么除非絕對必需，否則你的程序永遠(yuǎn)也不要依賴這些詭異的內(nèi)存布局。順便說一下，如果一個(gè)程序中的兩個(gè)模塊是用不同的對齊選項(xiàng)分別編譯的，那么它很可能會(huì)產(chǎn)生一些非常微妙的錯(cuò)誤。如果你的程序確實(shí)有很難理解的行為，不防仔細(xì)檢查一下各個(gè)模塊的編譯選項(xiàng)。
???
思考題:請分析下面幾種結(jié)構(gòu)體在你的平臺(tái)上的內(nèi)存布局，并試著尋找一種合理安排字段聲明順序的方法以盡量節(jié)省內(nèi)存空間。
??? A. struct P1 { int a;
char b; int c; char d; };
??? B. struct P2 { int
a; char b; char c; int d; };
??? C. struct P3 {
short a[3]; char b[3]; };
??? D. struct P4 { short
a[3]; char *b[3]; };
??? E. struct P5 { struct P2
*a; char b; struct P1 a[2];? };
參考資料:
??? 【1】《深入理解計(jì)算機(jī)系統(tǒng)(修訂版)》，
????????
(著)Randal E.Bryant; David O'Hallaron，
???????? (譯)龔奕利 雷迎春，
????????
中國電力出版社，2004
???
??? 【2】《C: A Reference Manual》(影印版)，
????????
(著)Samuel P.Harbison; Guy L.Steele，
???????? 人民郵電出版社，2003