技術群的筒子們有時候會提到結構體對齊，說實話這個問題還不是幾句話能講清楚的。這個問題網上一搜一大把，已經有無數的前輩總結過。看了很多網上的資料，根據我個人的一些理解，再總結一下，配了些圖片，希望大家能看懂。

首先是結構體對齊規則：

1、對於n個位元組的元素，它的首地址要能被n整除

         eg：int—4個位元組的元素，它為結構體的第一個元素時，起始地址應能被4整除

                  double—8個位元組的元素，它為結構體的第一個元素時，起始地址應能被8整除

2、結構體成員在記憶體中順序存放，所佔記憶體地址依次增高，第一個成員處在低地址處，最後一個成員處在高地址處，但結構體成員之間的記憶體分配不一定是連續的

3、對待每個成員，類似於對待單個n位元組元素一樣，依次為每個元素找一個合適的首地址，使其符合第一條對齊原則

4、編譯器可設定對齊引數X，但這個X並不是結構體成員的實際對齊引數，結構體中每個成員的對齊引數N這樣計算

         N= min（sizeof（成員型別），X）

5、整個結構體的長度必須是各成員所使用的對齊引數N中最大的那個值的整數倍

         即總長度LEN= {max(N1,N2,……，N)}的最小整數倍

6、當結構體成為為陣列時，將陣列的每個元素當一個成員來看待

7、當結構體成為類結構型別時，那麼該過程是個遞迴過程，且把該成員當成一個整體來看待

上面的規則有點暈，對照著看下面的例子

#pragma pack(8)   //設定編譯器以8位元組對齊
struct A
{
char c;//①成員的對齊引數N1=  min(sizeof(char) , 8)     = 1
double d;//②成員的對齊引數N2 = min(sizeof(double) , 8) = 8
short s;//③成員的對齊引數N3 = min(sizeof(short) , 8)    = 2
int i;//④成員的對齊引數N4 = min(sizeof(int) , 8)      = 4
}
結構體的總成都LEN = {max(N1,N2,N3,N4)}的整數倍 ，所以長度LEN必須是8的整數倍，從下面的記憶體分佈圖中可看出，總長度是24位元組

#pragma pack(4)  //設定編譯器以4位元組對齊
struct A
{
char c;//①成員的對齊引數N1=  min(sizeof(char) , 4)     = 1
double d;//②成員的對齊引數N2 = min(sizeof(double) , 4) = 4
short s;//③成員的對齊引數N3 = min(sizeof(short) , 4)    = 2
int i;/④成員的對齊引數N4 = min(sizeof(int) , 4)       = 4
}
結構體的總成都LEN = {max(N1,N2,N3,N4)}的整數倍 ，所以長度LEN必須是4的整數倍，從下面的記憶體分佈圖中可看出，總長度是20位元組

#pragma pack(2)  //設定編譯器以2位元組對齊
struct A
{
char c;//①成員的對齊引數N1=  min(sizeof(char) , 2)     = 1
double d;//②成員的對齊引數N2 = min(sizeof(double) , 2) = 2
short s;//③成員的對齊引數N3 = min(sizeof(short) , 2)    = 2
int i;//④成員的對齊引數N4 = min(sizeof(int) , 2)       = 2
}
結構體的總成都LEN = {max(N1,N2,N3,N4)}的整數倍 ，所以長度LEN必須是2的整數倍，從下面的記憶體分佈圖中可看出，總長度是16位元組

#pragma pack(1)  //設定編譯器以1位元組對齊
struct A
{
char c;//①成員的對齊引數N1=  min(sizeof(char) , 1)     = 1
double d;//②成員的對齊引數N2 = min(sizeof(double) , 1) = 1
short s;//③成員的對齊引數N3 = min(sizeof(short) , 1)    = 1
int i;//④成員的對齊引數N4 = min(sizeof(int) , 1)        = 1
}

這個就不多說了，結構體總長15位元組

以上的例子都是在32位的系統上試的，這裡兩個結構體成員之間的“空隙”我用“cc”來填充，這純粹是畫起來方便，VS2010中這些“空隙”裡的值都是0。

當然我之前在單步執行別的C程式的時候發現，很多初始化的記憶體、棧空間，都以"cc"字元來填充。最近在一本書上看到了解釋，抄錄在此：

對於X86處理器來說，0xcc是不錯的填充數值，因為它是斷點中斷（int 03h）的機器碼，如果你在偵錯程式中執行程式並試圖執行一段資料而不是執行程式碼時，就會陷入斷點。

另外，使用0xcc的另一個好處是它可以很容易從記憶體轉儲的資訊中識別出來