c++記憶體中位元組對齊問題詳解
阿新 • • 發佈：2019-02-04
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的倍數
int
偏移量必須為sizeof(int)即4的倍數
float
偏移量必須為sizeof(float)即4的倍數
double
偏移量必須為sizeof(double)即8的倍數
Short
偏移量必須為sizeof(short)即2的倍數
各成員變數在存放的時候根據在結構中出現的順序依次申請空間，同時按照上面的對齊方式調整位置，空缺的位元組VC會自動填充。同時VC為了確保結構的大小為結構的位元組邊界數（即該結構中佔用最大空間的型別所佔用的位元組數）的倍數，所以在為最後一個成員變數申請空間後，還會根據需要自動填充空缺的位元組。
下面用前面的例子來說明VC到底怎麼樣來存放結構的。
struct MyStruct
{
double dda1;
char dda;
int type
}；
為上面的結構分配空間的時候，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自動填充的，沒有放任何有意義的東西。
下面再舉個例子，交換一下上面的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。（請讀者自己分析）
{
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的倍數
int
偏移量必須為sizeof(int)即4的倍數
float
偏移量必須為sizeof(float)即4的倍數
double
偏移量必須為sizeof(double)即8的倍數
Short
偏移量必須為sizeof(short)即2的倍數
各成員變數在存放的時候根據在結構中出現的順序依次申請空間，同時按照上面的對齊方式調整位置，空缺的位元組VC會自動填充。同時VC為了確保結構的大小為結構的位元組邊界數（即該結構中佔用最大空間的型別所佔用的位元組數）的倍數，所以在為最後一個成員變數申請空間後，還會根據需要自動填充空缺的位元組。
下面用前面的例子來說明VC到底怎麼樣來存放結構的。
struct MyStruct
{
double dda1;
char dda;
int type
}；
為上面的結構分配空間的時候，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自動填充的，沒有放任何有意義的東西。
下面再舉個例子，交換一下上面的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。（請讀者自己分析）