[[329927]]

引言

考慮下面的結構體定義：

 

 

假設這個結構體的成員在內存中是緊湊排列的，且c1的起始地址是0，則s的地址就是1，c2的地址是3，i的地址是4。

現在，我們編寫一個簡單的程序：

 

 

運行后輸出：

 

 

為什么會這樣?這就是字節對齊導致的問題。

本文在參考諸多資料的基礎上，詳細介紹常見的字節對齊問題。因成文較早，資料來源大多已不可考，敬請諒解。

一,什么是字節對齊

現代計算機中，內存空間按照字節劃分，理論上可以從任何起始地址訪問任意類型的變量。但實際中在訪問特定類型變量時經常在特定的內存地址訪問，這就需要各種類型數據按照一定的規則在空間上排列，而不是順序一個接一個地存放，這就是對齊。

二,對齊的原因和作用

不同硬件平臺對存儲空間的處理上存在很大的不同。某些平臺對特定類型的數據只能從特定地址開始存取，而不允許其在內存中任意存放。例如Motorola 68000處理器不允許16位的字存放在其地址，否則會觸發異常，因此在這種架構下編程必須保證字節對齊。

但最常見的情況是，如果不按照平臺要求對數據存放進行對齊，會帶來存取效率上的損失。比如32位的Intel處理器通過總線訪問(包括讀和寫)內存數據。每個總線周期從偶地址開始訪問32位內存數據，內存數據以字節為單位存放。如果一個32位的數據沒有存放在4字節整除的內存地址處，那么處理器就需要2個總線周期對其進行訪問，顯然訪問效率下降很多。

因此，通過合理的內存對齊可以提高訪問效率。為使CPU能夠對數據進行快速訪問，數據的起始地址應具有“對齊”特性。比如4字節數據的起始地址應位于4字節邊界上，即起始地址能夠被4整除。

此外，合理利用字節對齊還可以有效地節省存儲空間。但要注意，在32位機中使用1字節或2字節對齊，反而會降低變量訪問速度。因此需要考慮處理器類型。還應考慮編譯器的類型。在VC/C++和GNU GCC中都是默認是4字節對齊。

三,對齊的分類和準則

主要基于Intel X86架構介紹結構體對齊和棧內存對齊，位域本質上為結構體類型。

對于Intel X86平臺，每次分配內存應該是從4的整數倍地址開始分配，無論是對結構體變量還是簡單類型的變量。

3.1 結構體對齊

在C語言中，結構體是種復合數據類型，其構成元素既可以是基本數據類型(如int、long、float等)的變量，也可以是一些復合數據類型(如數組、結構體、聯合等)的數據單元。編譯器為結構體的每個成員按照其自然邊界(alignment)分配空間。各成員按照它們被聲明的順序在內存中順序存儲，第一個成員的地址和整個結構的地址相同。

字節對齊的問題主要就是針對結構體。

3.1.1 簡單示例

先看個簡單的例子(32位，X86處理器，GCC編譯器)：

【例1】設結構體如下定義：

 

 

已知32位機器上各數據類型的長度為：char為1字節、short為2字節、int為4字節、long為4字節、float為4字節、double為8字節。那么上面兩個結構體大小如何呢?

結果是：sizeof(strcut A)值為8;sizeof(struct B)的值卻是12。

結構體A中包含一個4字節的int數據，一個1字節char數據和一個2字節short數據;B也一樣。按理說A和B大小應該都是7字節。之所以出現上述結果，就是因為編譯器要對數據成員在空間上進行對齊。

3.1.2 對齊準則

先來看四個重要的基本概念：

(1)數據類型自身的對齊值：char型數據自身對齊值為1字節，short型數據為2字節，int/float型為4字節，double型為8字節。

(2)結構體或類的自身對齊值：其成員中自身對齊值最大的那個值。

(3)指定對齊值：#pragma pack (value)時的指定對齊值value。

(4)數據成員、結構體和類的有效對齊值：自身對齊值和指定對齊值中較小者，即有效對齊值=min{自身對齊值，當前指定的pack值}。

基于上面這些值，就可以方便地討論具體數據結構的成員和其自身的對齊方式。

其中，有效對齊值N是最終用來決定數據存放地址方式的值。有效對齊N表示“對齊在N上”，即該數據的“存放起始地址%N=0”。而數據結構中的數據變量都是按定義的先后順序存放。第一個數據變量的起始地址就是數據結構的起始地址。結構體的成員變量要對齊存放，結構體本身也要根據自身的有效對齊值圓整(即結構體成員變量占用總長度為結構體有效對齊值的整數倍)。

以此分析3.1.1節中的結構體B：

假設B從地址空間0x0000開始存放，且指定對齊值默認為4(4字節對齊)。成員變量b的自身對齊值是1，比默認指定對齊值4小，所以其有效對齊值為1，其存放地址0x0000符合0x0000%1=0。成員變量a自身對齊值為4，所以有效對齊值也為4，只能存放在起始地址為0x0004~0x0007四個連續的字節空間中，符合0x0004%4=0且緊靠第一個變量。變量c自身對齊值為2，所以有效對齊值也是2，可存放在0x0008~0x0009兩個字節空間中，符合0x0008%2=0。所以從0x0000~0x0009存放的都是B內容。

再看數據結構B的自身對齊值為其變量中最大對齊值(這里是b)所以就是4，所以結構體的有效對齊值也是4。根據結構體圓整的要求，0x0000~0x0009=10字節，(10+2)%4=0。所以0x0000A~0x000B也為結構體B所占用。故B從0x0000到0x000B共有12個字節，sizeof(struct B)=12。

之所以編譯器在后面補充2個字節，是為了實現結構數組的存取效率。試想如果定義一個結構B的數組，那么第一個結構起始地址是0沒有問題，但是第二個結構呢?按照數組的定義，數組中所有元素都緊挨著。如果我們不把結構體大小補充為4的整數倍，那么下一個結構的起始地址將是0x0000A，這顯然不能滿足結構的地址對齊。因此要把結構體補充成有效對齊大小的整數倍。其實對于

char/short/int/float/double等已有類型的自身對齊值也是基于數組考慮的，只是因為這些類型的長度已知，所以他們的自身對齊值也就已知。

上面的概念非常便于理解，不過個人還是更喜歡下面的對齊準則。

結構體字節對齊的細節和具體編譯器實現相關，但一般而言滿足三個準則：

(1)結構體變量的首地址能夠被其最寬基本類型成員的大小所整除;

(2)結構體每個成員相對結構體首地址的偏移量(offset)都是成員大小的整數倍，如有需要編譯器會在成員之間加上填充字節(internal adding);

(3)結構體的總大小為結構體最寬基本類型成員大小的整數倍，如有需要編譯器會在最末一個成員之后加上填充字節{trailing padding}。

對于以上規則的說明如下:

(1)編譯器在給結構體開辟空間時，首先找到結構體中最寬的基本數據類型，然后尋找內存地址能被該基本數據類型所整除的位置，作為結構體的首地址。將這個最寬的基本數據類型的大小作為上面介紹的對齊模數。

(2)為結構體的一個成員開辟空間之前，編譯器首先檢查預開辟空間的首地址相對于結構體首地址的偏移是否是本成員大小的整數倍，若是，則存放本成員，反之，則在本成員和上一個成員之間填充一定的字節，以達到整數倍的要求，也就是將預開辟空間的首地址后移幾個字節。

(3)結構體總大小是包括填充字節，最后一個成員滿足上面兩條以外，還必須滿足第三條，否則就必須在最后填充幾個字節以達到本條要求。

【例2】假設4字節對齊，以下程序的輸出結果是多少?

 

 

執行后輸出如下：

 

 

下面來具體分析：

首先char a占用1個字節，沒問題。

short b本身占用2個字節，根據上面準則2，需要在b和a之間填充1個字節。

char c占用1個字節，沒問題。

int d本身占用4個字節，根據準則2，需要在d和c之間填充3個字節。

char e[3];本身占用3個字節，根據原則3，需要在其后補充1個字節。

因此，sizeof(T_Test) = 1 + 1 + 2 + 1 + 3 + 4 + 3 + 1 = 16字節。

3.1.3 對齊的隱患

3.1.3.1 數據類型轉換

代碼中關于對齊的隱患，很多是隱式的。例如，在強制類型轉換的時候：

 

 

最后兩句代碼，從奇數邊界去訪問unsigned short型變量，顯然不符合對齊的規定。在X86上，類似的操作只會影響效率;但在MIPS或者SPARC上可能導致error，因為它們要求必須字節對齊。

又如對于3.1.1節的結構體struct B，定義如下函數：

 

 

在函數體內如果直接訪問p->a，則很可能會異常。因為MIPS認為a是int，其地址應該是4的倍數，但p->a的地址很可能不是4的倍數。

如果p的地址不在對齊邊界上就可能出問題，比如p來自一個跨CPU的數據包(多種數據類型的數據被按順序放置在一個數據包中傳輸)，或p是經過指針移位算出來的。因此要特別注意跨CPU數據的接口函數對接口輸入數據的處理，以及指針移位再強制轉換為結構指針進行訪問時的安全性。

解決方式如下：

定義一個此結構的局部變量，用memmove方式將數據拷貝進來。

 

 

注意：如果能確定p的起始地址沒問題，則不需要這么處理;如果不能確定(比如跨CPU輸入數據、或指針移位運算出來的數據要特別小心)，則需要這樣處理。

用#pragma pack (1)將STRUCT_T定義為1字節對齊方式。

3.1.3.2 處理器間數據通信

處理器間通過消息(對于C/C++而言就是結構體)進行通信時，需要注意字節對齊以及字節序的問題。

大多數編譯器提供內存對其的選項供用戶使用。這樣用戶可以根據處理器的情況選擇不同的字節對齊方式。例如C/C++編譯器提供的#pragma pack(n) n=1，2，4等，讓編譯器在生成目標文件時，使內存數據按照指定的方式排布在1，2，4等字節整除的內存地址處。

然而在不同編譯平臺或處理器上，字節對齊會造成消息結構長度的變化。編譯器為了使字節對齊可能會對消息結構體進行填充，不同編譯平臺可能填充為不同的形式，大大增加處理器間數據通信的風險。

下面以32位處理器為例，提出幾種內存對齊方法以解決上述問題。

對于本地使用的數據結構，為提高內存訪問效率，采用四字節對齊方式;同時為了減少內存的開銷，合理安排結構體成員的位置，減少四字節對齊導致的成員之間的空隙，降低內存開銷。

對于處理器之間的數據結構，需要保證消息長度不會因不同編譯平臺或處理器而導致消息結構體長度發生變化，使用一字節對齊方式對消息結構進行緊縮;為保證處理器之間的消息數據結構的內存訪問效率，采用字節填充的方式自己對消息中成員進行四字節對齊。

數據結構的成員位置要兼顧成員之間的關系、數據訪問效率和空間利用率。順序安排原則是：四字節的放在最前面，兩字節的緊接最后一個四字節成員，一字節緊接最后一個兩字節成員，填充字節放在最后。

舉例如下：

 

 

3.1.3.3 排查對齊問題

如果出現對齊或者賦值問題可查看：

編譯器的字節序大小端設置;

處理器架構本身是否支持非對齊訪問;

如果支持看設置對齊與否，如果沒有則看訪問時需要加某些特殊的修飾來標志其特殊訪問操作。

3.1.4 更改對齊方式

主要是更改C編譯器的缺省字節對齊方式。

在缺省情況下，C編譯器為每一個變量或是數據單元按其自然對接條件分配空間。一般地，可以通過下面的方法來改變缺省的對接條件：

使用偽指令#pragma pack(n)：C編譯器將按照n個字節對齊;

使用偽指令#pragma pack()： 取消自定義字節對齊方式。

另外，還有如下的幾種方式(GCC特有語法)：

__attribute((aligned (n)))： 讓所作用的結構成員對齊在n字節自然邊界上。如果結構體中有成員的長度大于n，則按照最大成員的長度來對齊。

__attribute__ ((packed))：取消結構在編譯過程中的優化對齊，按照實際占用字節數進行對齊。

【注】__attribute__機制是GCC的一大特色，可以設置函數屬性(Function Attribute)、變量屬性(Variable Attribute)和類型屬性(Type Attribute)。

下面具體針對MS VC/C++ 6.0編譯器介紹下如何修改編譯器默認對齊值。

VC/C++ IDE環境中，可在[Project]|[Settings]，C/C++選項卡Category的Code Generation選項的Struct Member Alignment中修改，默認是8字節。

VC/C++中的編譯選項有/Zp[1|2|4|8|16]，/Zpn表示與n字節邊界對齊。n字節邊界對齊是指一個成員的地址必須安排在成員的尺寸的整數倍地址上或者是n的整數倍地址上，取它們中的最小值。亦即：min(sizeof(member), n)。實際上，1字節邊界對齊也就表示結構成員之間沒有空洞。

/Zpn選項應用于整個工程，影響所有參與編譯的結構體。在Struct member alignment中可選擇不同的對齊值來改變編譯選項。

在編碼時，可用#pragma pack動態修改對齊值。具體語法說明見附錄5.3節。

自定義對齊之后要用#pragma pack()來還原，否則會對后面的結構造成影響。

【例3】分析如下結構體C：

 

 

變量b自身對齊值為1，指定對齊值為2，所以有效對齊值為1，假設C從0x0000開始，則b存放在0x0000，符合0x0000%1= 0;變量a自身對齊值為4，指定對齊值為2，所以有效對齊值為2，順序存放在0x0002~0x0005四個連續字節中，符合0x0002%2=0。變量c的自身對齊值為2，所以有效對齊值為2，順序存放在0x0006~0x0007中，符合0x0006%2=0。所以從0x0000到0x00007共八字節存放的是C的變量。C的自身對齊值為4，所以其有效對齊值為2。又8%2=0，C只占用0x0000~0x0007的八個字節。所以sizeof(struct C) = 8。

注意，結構體對齊到的字節數并非完全取決于當前指定的pack值，如下：

 

 

另外，GNU GCC編譯器中按1字節對齊可寫為以下形式：

 

 

此時sizeof(struct C)的值為7。

3.2 棧內存對齊

在VC/C++中，棧的對齊方式不受結構體成員對齊選項的影響。總是保持對齊且對齊在4字節邊界上。

【例4】

 

 

結果如下：

 

 

可以看出都是對齊到4字節。并且前面的char和short并沒有被湊在一起(成4字節)，這和結構體內的處理是不同的。

至于為什么輸出的地址值是變小的，這是因為該平臺下的棧是倒著“生長”的。

3.3 位域對齊

3.3.1 位域定義

有些信息在存儲時，并不需要占用一個完整的字節，而只需占幾個或一個二進制位。例如在存放一個開關量時，只有0和1兩種狀態，用一位二進位即可。為了節省存儲空間和處理簡便，C語言提供了一種數據結構，稱為“位域”或“位段”。

位域是一種特殊的結構成員或聯合成員(即只能用在結構或聯合中)，用于指定該成員在內存存儲時所占用的位數，從而在機器內更緊湊地表示數據。每個位域有一個域名，允許在程序中按域名操作對應的位。這樣就可用一個字節的二進制位域來表示幾個不同的對象。

位域定義與結構定義類似，其形式為：

 

 

其中位域列表的形式為：

 

 

位域的使用和結構成員的使用相同，其一般形式為：

 

 

位域允許用各種格式輸出。

位域在本質上就是一種結構類型，不過其成員是按二進位分配的。位域變量的說明與結構變量說明的方式相同，可先定義后說明、同時定義說明或直接說明。

位域的使用主要為下面兩種情況：

①當機器可用內存空間較少而使用位域可大量節省內存時。如把結構作為大數組的元素時。

②當需要把一結構體或聯合映射成某預定的組織結構時。如需要訪問字節內的特定位置。

3.3.2 對齊準則

位域成員不能單獨被取sizeof值。下面主要討論含有位域的結構體的sizeof。

C99規定int、unsigned int和bool可以作為位域類型，但編譯器幾乎都對此作了擴展，允許其它類型的存在。位域作為嵌入式系統中非常常見的一種編程工具，優點在于壓縮程序的存儲空間。

其對齊規則大致為：

(1)如果相鄰位域字段的類型相同，且其位寬之和小于類型的sizeof大小，則后面的字段將緊鄰前一個字段存儲，直到不能容納為止;

(2)如果相鄰位域字段的類型相同，但其位寬之和大于類型的sizeof大小，則后面的字段將從新的存儲單元開始，其偏移量為其類型大小的整數倍;

(3)如果相鄰的位域字段的類型不同，則各編譯器的具體實現有差異，VC6采取不壓縮方式，Dev-C++和GCC采取壓縮方式;

(4)如果位域字段之間穿插著非位域字段，則不進行壓縮;

(5)整個結構體的總大小為最寬基本類型成員大小的整數倍，而位域則按照其最寬類型字節數對齊。

【例5】

 

 

位域類型為char，第1個字節僅能容納下element1和element2，所以element1和element2被壓縮到第1個字節中，而element3只能從下一個字節開始。因此sizeof(BitField)的結果為2。

【例6】

 

 

由于相鄰位域類型不同，在VC6中其sizeof為6，在Dev-C++中為2。

【例7】

 

 

非位域字段穿插在其中，不會產生壓縮，在VC6和Dev-C++中得到的大小均為3。

【例8】

 

 

位域中最寬類型int的字節數為4，因此結構體按4字節對齊，在VC6中其sizeof為16。

3.3.3 注意事項

關于位域操作有幾點需要注意：

(1)位域的地址不能訪問，因此不允許將&運算符用于位域。不能使用指向位域的指針也不能使用位域的數組(數組是種特殊指針)。

例如，scanf函數無法直接向位域中存儲數據：

intmain(void){structBitField1tBit;scanf("%d", &tBit.element2);//error: cannot take address of bit-field 'element2'return0;}

可用scanf函數將輸入讀入到一個普通的整型變量中，然后再賦值給tBit.element2。

(2)位域不能作為函數返回的結果。

(3)位域以定義的類型為單位，且位域的長度不能夠超過所定義類型的長度。例如定義int a:33是不允許的。

(4)位域可以不指定位域名，但不能訪問無名的位域。

位域可以無位域名，只用作填充或調整位置，占位大小取決于該類型。例如，char :0表示整個位域向后推一個字節，即該無名位域后的下一個位域從下一個字節開始存放，同理short :0和int :0分別表示整個位域向后推兩個和四個字節。

當空位域的長度為具體數值N時(如int :2)，該變量僅用來占位N位。

【例9】

 

 

結構體大小為3。因為element1占3位，后面要保留6位而char為8位，所以保留的6位只能放到第2個字節。同樣element3只能放到第3字節。

 

 

長度為0的位域告訴編譯器將下一個位域放在一個存儲單元的起始位置。如上，編譯器會給成員element1分配3位，接著跳過余下的4位到下一個存儲單元，然后給成員element3分配5位。故上面的結構體大小為2。

(5)位域的表示范圍。

位域的賦值不能超過其可以表示的范圍;

位域的類型決定該編碼能表示的值的結果。

對于第二點，若位域為unsigned類型，則直接轉化為正數;若非unsigned類型，則先判斷最高位是否為1，若為1表示補碼，則對其除符號位外的所有位取反再加一得到最后的結果數據(原碼)。如：

 

 

(6)帶位域的結構在內存中各個位域的存儲方式取決于編譯器，既可從左到右也可從右到左存儲。

【例10】在VC6下執行下面的代碼：

 

 

輸入i值為11，則輸出為i = 11, cba = -2 -1 -1。

Intel x86處理器按小字節序存儲數據，所以bits中的位域在內存中放置順序為ccba。當num.i值為11時，bits的最低有效位(即位域a)的值為1，a、b、c按低地址到高地址分別存儲為10、1、1(二進制)。

但為什么最后的打印結果是a=-1而不是1?

因為位于a定義的類型signed char是有符號數，所以盡管a只有1位，仍要進行符號擴展。1作為補碼存在，對應原碼-1。

如果將a、b、c的類型定義為unsigned char，即可得到cba = 2 1 1。1011即為11的二進制數。

注：C語言中，不同的成員使用共同的存儲區域的數據構造類型稱為聯合(或共用體)。聯合占用空間的大小取決于類型長度最大的成員。聯合在定義、說明和使用形式上與結構體相似。

(7)位域的實現會因編譯器的不同而不同，使用位域會影響程序可移植性。因此除非必要否則最好不要使用位域。

(8)盡管使用位域可以節省內存空間，但卻增加了處理時間。當訪問各個位域成員時，需要把位域從它所在的字中分解出來或反過來把一值壓縮存到位域所在的字位中。

四,總結

讓我們回到引言部分的問題。

缺省情況下，C/C++編譯器默認將結構、棧中的成員數據進行內存對齊。因此，引言程序輸出就變成c1 -> 0, s -> 2, c2 -> 4, i -> 8。

編譯器將未對齊的成員向后移，將每一個都成員對齊到自然邊界上，從而也導致整個結構的尺寸變大。盡管會犧牲一點空間(成員之間有空洞)，但提高了性能。

也正是這個原因，引言例子中sizeof(T_ FOO)為12，而不是8。

總結說來，就是：

(1)在結構體中，綜合考慮變量本身和指定的對齊值;

(2)在棧上，不考慮變量本身的大小，統一對齊到4字節。