一 引入
有的時候，在腦海中停頓了很久的“顯而易見”的東西，其實根本上就是錯誤的。就拿下面的問題來看：
struct T
{
char ch;
int i ;
};
使用sizeof(T)，將得到什麼樣的答案呢？要是以前，想都不用想，在32位機中，int是4個字節，char是1個字節，所以T一共是5個字節。實
踐出真知，在VC6中測試了下，答案確實8個字節。哎，反正受傷的總是我，我已經有點麻木了，還是老老實實的接受吧！爲什麼答案和自己想象的有出入呢？這
裏將引入內存對齊這個概念。
二 內存對齊概念及其提出的原因
許多計算機系統對其內置類型的存放位置有一定的限制，通常會按照一定的倍數k存放相應的類型，這種方式即爲內存對齊。其中k稱爲內存模數。
DEF：若sizeof(struct S1)/sizeof(struct S2)>1 則稱S1的對齊要比S2的對齊嚴格，反之相反。
爲什麼要提出內存對齊？
比如這麼一種處理器，它每次 讀寫內存的時候都從某個8倍數的地址開始，一次讀出或寫入8個字節的數據，假如軟件能保證double類型的數據都從8倍數地址開始，那麼讀或寫一個 double類型數據就只需要一次內存操作。否則，我們就可能需要兩次內存操作才能完成這個動作，因爲數據或許恰好橫跨在兩個符合對齊要求的8字節內存塊 上。（在有謝處理器上內存不對齊的話可能會出現錯誤）
三 一些例子（在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。（請讀者自己分析）
2、 sizeof用法總結
在VC中，sizeof有着許多的用法，而且很容易引起一些錯誤。下面根據sizeof後面的參數對sizeof的用法做個總結。
A．參數爲數據類型或者爲一般變量。例如sizeof(int),sizeof(long)等等。這種情況要注意的是不同系統系統或者不同編譯器得到的結果可能是不同的。例如int類型在16位系統中佔2個字節，在32位系統中佔4個字節。
B．參數爲數組或指針。下面舉例說明.
int a[50]; //sizeof(a)=4*50=200;求數組所佔的空間大小
int *a=new int[50];// sizeof(a)=4; a爲一個指針，sizeof(a)是求指針
//的大小,在32位系統中，當然是佔4個字節。
C．參數爲結構或類。Sizeof應用在類和結構的處理情況是相同的。但有兩點需要注意，第一、結構或者類中的靜態成員不對結構或者類的大小產生影響，因爲靜態變量的存儲位置與結構或者類的實例地址無關。
第二、沒有成員變量的結構或類的大小爲1，因爲必須保證結構或類的每一
個實例在內存中都有唯一的地址。
下面舉例說明，
Class Test{int a;static double c};//sizeof(Test)=4.
Test *s;//sizeof(s)=4,s爲一個指針。
Class test1{ };//sizeof(test1)=1;
原文地址：http://blog.csdn.net/xinjixjz/article/details/6769344