數(shù)據(jù)對(duì)齊，是指數(shù)據(jù)所在的內(nèi)存地址必須是該數(shù)據(jù)長(zhǎng)度的整數(shù)倍。比如DWORD數(shù)據(jù)的內(nèi)存其實(shí)地址能被4除盡，WORD數(shù)據(jù)的內(nèi)存地址能被2除盡。x86 CPU能直接訪問(wèn)對(duì)齊的數(shù)據(jù)，當(dāng)它試圖訪問(wèn)一個(gè)未對(duì)齊的數(shù)據(jù)時(shí)，會(huì)在內(nèi)部進(jìn)行一系列的調(diào)整，這些調(diào)整對(duì)于程序來(lái)說(shuō)是透明的，但是會(huì)降低運(yùn)行速度，所以編譯器在編譯程序時(shí)會(huì)盡量保持?jǐn)?shù)據(jù)對(duì)齊。

C/C++編譯器在內(nèi)存分配時(shí)也保持了數(shù)據(jù)對(duì)齊，請(qǐng)看下例：

struct{

short a1;

short a2;

short a3;

}A;

struct{

long  a1;

short a2;

}B;

cout<<sizeof(A)<<","<<sizeof(B)<<endl;//其它代碼略去

結(jié)構(gòu)體A和B的大小分別是多少呢？

默認(rèn)情況下，為了方便對(duì)結(jié)構(gòu)體元素的訪問(wèn)和管理，當(dāng)結(jié)構(gòu)體內(nèi)的元素都小于處理器長(zhǎng)度的時(shí)候，便以結(jié)構(gòu)體里面最長(zhǎng)的數(shù)據(jù)為對(duì)齊單位，也就是說(shuō)，結(jié)構(gòu)體的長(zhǎng)度一定是最長(zhǎng)數(shù)據(jù)長(zhǎng)度的整數(shù)倍。

如果結(jié)構(gòu)體內(nèi)部存在長(zhǎng)度大于處理器位數(shù)時(shí)就以處理器位數(shù)為對(duì)齊單位。

結(jié)構(gòu)體內(nèi)類(lèi)型相同的連續(xù)元素將存在連續(xù)的空間內(nèi)，和數(shù)組一樣。

上例中:

A有3個(gè)short類(lèi)型變量，各自占2字節(jié)，總和為6，6是2的倍數(shù)，所以sizeof(A)=6;

B有一個(gè)long類(lèi)型變量，占4字節(jié)，一個(gè)short類(lèi)型的變量，占2字節(jié)，總和6不是最大長(zhǎng)度4的倍數(shù)，所以要補(bǔ)空字節(jié)以增至8實(shí)現(xiàn)對(duì)齊，所以sizeof(8)=8。

在C++類(lèi)的設(shè)計(jì)中遵循同樣的道理，但需注意，空類(lèi)需要占1個(gè)字節(jié)，靜態(tài)變量(static)由于在棧中分配，不在sizeof計(jì)算范圍內(nèi)。