一、字節(jié)對(duì)齊基本概念

? ? 現(xiàn)代計(jì)算機(jī)中內(nèi)存空間都是按照byte劃分的，從理論上講似乎對(duì)任何類型的變量的訪問可以從任何地址開始，但實(shí)際情況是在訪問特定類型變量的時(shí)候經(jīng)常在特定的內(nèi)存地址訪問，這就需要各種類型數(shù)據(jù)按照一定的規(guī)則在空間上排列，而不是順序的一個(gè)接一個(gè)的排放，這就是對(duì)齊。 對(duì)齊的作用和原因：各個(gè)硬件平臺(tái)對(duì)存儲(chǔ)空間的處理上有很大的不同。一些平臺(tái)對(duì)某些特定類型的數(shù)據(jù)只能從某些特定地址開始存取。比如有些架構(gòu)的CPU在訪問一個(gè)沒有進(jìn)行對(duì)齊的變量的時(shí)候會(huì)發(fā)生錯(cuò)誤,那么在這種架構(gòu)下編程必須保證字節(jié)對(duì)齊.其他平臺(tái)可能沒有這種情況，但是最常見的是如果不按照適合其平臺(tái)要求對(duì)數(shù)據(jù)存放進(jìn)行對(duì)齊，會(huì)在存取效率上帶來?yè)p失。比如有些平臺(tái)每次讀都是從偶地址開始，如果一個(gè)int型（假設(shè)為32位系統(tǒng)）如果存放在偶地址開始的地方，那 么一個(gè)讀周期就可以讀出這32bit，而如果存放在奇地址開始的地方，就需要2個(gè)讀周期，并對(duì)兩次讀出的結(jié)果的高低字節(jié)進(jìn)行拼湊才能得到該32bit數(shù)據(jù)。顯然在讀取效率上下降很多。

請(qǐng)看下面的結(jié)構(gòu)：

struct struct1?
{?
? ?double dda;?
? ?char cda;?
? ?int ida;?
};?
sizeof(struct1) = ?
錯(cuò)誤的求法：
sizeof(struct1)=sizeof(double)+sizeof(char)+sizeof(int)=13
但是當(dāng)你運(yùn)行如下測(cè)試代碼：
#include<stdio.h>
struct mystruct
{
? ? double dda;
? ? char cda;
? ? int ida;
};

int main()
{
? ? struct mystruct ss;
? ? printf("%d\n",sizeof(ss));
? ? return 0;
}
運(yùn)行結(jié)果為：16

其實(shí)，這是編譯器對(duì)變量存儲(chǔ)的一個(gè)特殊處理。為了提高CPU的存儲(chǔ)速度，編譯器對(duì)一些變量的起始地址做了“對(duì)齊”處理。在默認(rèn)情況下，編譯器規(guī)定各成員變量存放的起始地址相對(duì)于結(jié)構(gòu)的起始地址的偏移量必須為該變量的類型所占用的字節(jié)數(shù)的倍數(shù)。下面列出常用類型的對(duì)齊方式：

類型 ? ? ? ? ? ?對(duì)齊方式（變量存放的起始地址相對(duì)于結(jié)構(gòu)的起始地址的偏移量）
char ? ? ? ? ? ? ?偏移量必須為sizeof(char)即1的倍數(shù)
int ? ? ? ? ? ? ? ?偏移量必須為sizeof(int)即4的倍數(shù)
float ? ? ? ? ? ? 偏移量必須為sizeof(float)即4的倍數(shù)
double ? ? ? ? ?偏移量必須為sizeof(double)即8的倍數(shù)
Short ? ? ? ? ? ?偏移量必須為sizeof(short)即2的倍數(shù)

各成員變量在存放的時(shí)候根據(jù)在結(jié)構(gòu)中出現(xiàn)的順序依次申請(qǐng)空間，同時(shí)按照上面的對(duì)齊方式調(diào)整位置，空缺的字節(jié)編譯器會(huì)自動(dòng)填充。同時(shí)編譯器為了確保結(jié)構(gòu)的大小為結(jié)構(gòu)的字節(jié)邊界數(shù)（即該結(jié)構(gòu)中占用最大空間的類型所占用的字節(jié)數(shù)）的倍數(shù)，所以在為最后一個(gè)成員變量申請(qǐng)空間后，還會(huì)根據(jù)需要自動(dòng)填充空缺的字節(jié)

現(xiàn)在來分析編譯器是怎樣來存放結(jié)構(gòu)的：

struct struct1?
{?
? ?double dda;?
? ?char cda;?
? ?int ida;?
};?
第一個(gè)成員dda分配空間，其起始地址跟結(jié)構(gòu)的起始地址相同（偏移量0剛好為sizeof(double)的倍數(shù)），該成員變量占用sizeof(double)=8個(gè)字節(jié)；接下來為第二個(gè)成員cda分配空間，這時(shí)下一個(gè)可以分配的地址對(duì)于結(jié)構(gòu)的起始地址的偏移量為8，是sizeof(char)的倍數(shù)，所以把cda存放在偏移量為8的地方滿足對(duì)齊方式，該成員變量占用 sizeof(char)=1個(gè)字節(jié)；接下來為第三個(gè)成員ida分配空間，這時(shí)下一個(gè)可以分配的地址對(duì)于結(jié)構(gòu)的起始地址的偏移量為9，不是sizeof (int)=4的倍數(shù)，為了滿足對(duì)齊方式對(duì)偏移量的約束問題，VC自動(dòng)填充3個(gè)字節(jié)（這三個(gè)字節(jié)沒有放什么東西），這時(shí)下一個(gè)可以分配的地址對(duì)于結(jié)構(gòu)的起始地址的偏移量為12，剛好是sizeof(int)=4的倍數(shù)，所以把ida存放在偏移量為12的地方，該成員變量占用sizeof(int)=4個(gè)字節(jié)；這時(shí)整個(gè)結(jié)構(gòu)的成員變量已經(jīng)都分配了空間，總的占用的空間大小為：8+1+3+4=16，剛好為結(jié)構(gòu)的字節(jié)邊界數(shù)（即結(jié)構(gòu)中占用最大空間的類型所占用的字節(jié)數(shù)sizeof(double)=8）的倍數(shù)，沒有空缺的字節(jié)需要填充。所以整個(gè)結(jié)構(gòu)的大小為：sizeof(struct1)=8+1+ 3+4=16，其中有3個(gè)字節(jié)是VC自動(dòng)填充的，沒有放任何有意義的東西。

下面再舉個(gè)例子，交換一下上面的struct1的成員變量的位置，使它變成下面的情況：

struct mystruct2
{
? ? char cda;
? ? double dda;
? ? int ida;
};
?運(yùn)行結(jié)果為：24

struct mystruct2
{
? ? char cda; ? ?//偏移量為0，滿足對(duì)齊方式，cda占用1個(gè)字節(jié)；
? ? double dda; ?//下一個(gè)可用的地址的偏移量為1，不是sizeof(double)=8?
? ? ? ? ? ? ? ? ?//的倍數(shù)，需要補(bǔ)足7個(gè)字節(jié)才能使偏移量變?yōu)?（滿足對(duì)齊?
? ? ? ? ? ? ? ? ?//方式），因此VC自動(dòng)填充7個(gè)字節(jié)，dda存放在偏移量為8?
? ? ? ? ? ? ? ? ?//的地址上，它占用8個(gè)字節(jié)。?
? ? int ida; ? ? //下一個(gè)可用的地址的偏移量為16，是sizeof(int)=4的倍?
? ? ? ? ? ? ? ? ?//數(shù)，滿足int的對(duì)齊方式，所以不需要VC自動(dòng)填充，type存?
? ? ? ? ? ? ? ? ?//放在偏移量為16的地址上，它占用4個(gè)字節(jié)。
? ?
? ?//所有成員變量都分配了空間，空間總的大小為1+7+8+4=20，不是結(jié)構(gòu)?
? ?//的節(jié)邊界數(shù)（即結(jié)構(gòu)中占用最大空間的類型所占用的字節(jié)數(shù)sizeof?
? ?//(double)=8）的倍數(shù)，所以需要填充4個(gè)字節(jié)，以滿足結(jié)構(gòu)的大小為?
? ?//sizeof(double)=8的倍數(shù)。
};
?所以該結(jié)構(gòu)總的大小為：sizeof(struct2)為1+7+8+4+4=24。其中總的有7+4=11個(gè)字節(jié)是VC自動(dòng)填充的，沒有放任何有意義的東西。

二、#pragma pack(n)來設(shè)定變量以n字節(jié)對(duì)齊方式

VC對(duì)結(jié)構(gòu)的存儲(chǔ)的特殊處理確實(shí)提高CPU存儲(chǔ)變量的速度，但是有時(shí)候也帶來了一些麻煩，我們也屏蔽掉變量默認(rèn)的對(duì)齊方式，自己可以設(shè)定變量的對(duì)齊方式。VC 中提供了#pragma pack(n)來設(shè)定變量以n字節(jié)對(duì)齊方式。n字節(jié)對(duì)齊就是說變量存放的起始地址的偏移量有兩種情況：

第一、如果n大于等于該變量所占用的字節(jié)數(shù)，那么偏移量必須滿足默認(rèn)的對(duì)齊方式；
第二、如果n小于該變量的類型所占用的字節(jié)數(shù)，那么偏移量為n的倍數(shù)，不用滿足默認(rèn)的對(duì)齊方式。

結(jié)構(gòu)的總大小也有個(gè)約束條件，分下面兩種情況：如果n大于所有成員變量類型所占用的字節(jié)數(shù)，那么結(jié)構(gòu)的總大小必須為占用空間最大的變量占用的空間數(shù)的倍數(shù)；否則必須為n的倍數(shù)。下面舉例說明其用法：

#pragma pack(push) //保存對(duì)齊狀態(tài)?
#pragma pack(4)//設(shè)定為4字節(jié)對(duì)齊?
struct test?
{?
　　char m1;?
　　double m4;?
　　int m3;?

};?

#pragma pack(pop)//恢復(fù)對(duì)齊狀態(tài)?
以上結(jié)構(gòu)的大小為16，下面分析其存儲(chǔ)情況，首先為m1分配空間，其偏移量為0，滿足我們自己設(shè)定的對(duì)齊方式（4字節(jié)對(duì)齊），m1占用1個(gè)字節(jié)。接著開始為 m4分配空間，這時(shí)其偏移量為1，需要補(bǔ)足3個(gè)字節(jié)，這樣使偏移量滿足為n=4的倍數(shù)（因?yàn)閟izeof(double)大于n）,m4占用8個(gè)字節(jié)。接著為m3分配空間，這時(shí)其偏移量為12，滿足為4的倍數(shù)，m3占用4個(gè)字節(jié)。這時(shí)已經(jīng)為所有成員變量分配了空間，共分配了4+8+4=16個(gè)字節(jié)，滿足為n的倍數(shù)。如果把上面的#pragma pack(4)改為#pragma pack(16)，那么我們可以得到結(jié)構(gòu)的大小為24。

再看下面這個(gè)例子：

#pragma pack(8)
struct S1{
? ? char a;
? ? long b;
};

struct S2 {
? ? char c;
? ? struct S1 d;
? ? long long e;
};

#pragma pack()

成員對(duì)齊有一個(gè)重要的條件,即每個(gè)成員分別對(duì)齊.即每個(gè)成員按自己的方式對(duì)齊.

也就是說上面雖然指定了按8字節(jié)對(duì)齊,但并不是所有的成員都是以8字節(jié)對(duì)齊.其對(duì)齊的規(guī)則是,每個(gè)成員按其類型的對(duì)齊參數(shù)(通常是這個(gè)類型的大小)和指定對(duì)齊參數(shù)(這里是8字節(jié))中較小的一個(gè)對(duì)齊.并且結(jié)構(gòu)的長(zhǎng)度必須為所用過的所有對(duì)齊參數(shù)的整數(shù)倍,不夠就補(bǔ)空字節(jié).

S1中,成員a是1字節(jié)默認(rèn)按1字節(jié)對(duì)齊,指定對(duì)齊參數(shù)為8,這兩個(gè)值中取1,a按1字節(jié)對(duì)齊;成員b是4個(gè)字節(jié),默認(rèn)是按4字節(jié)對(duì)齊,這時(shí)就按4字節(jié)對(duì)齊,所以sizeof(S1)應(yīng)該為8;

S2 中,c和S1中的a一樣,按1字節(jié)對(duì)齊,而d 是個(gè)結(jié)構(gòu),它是8個(gè)字節(jié),它按什么對(duì)齊呢?對(duì)于結(jié)構(gòu)來說,它的默認(rèn)對(duì)齊方式就是它的所有成員使用的對(duì)齊參數(shù)中最大的一個(gè),S1的就是4.所以,成員d就是按4字節(jié)對(duì)齊.成員e是8個(gè)字節(jié),它是默認(rèn)按8字節(jié)對(duì)齊,和指定的一樣,所以它對(duì)到8字節(jié)的邊界上,這時(shí),已經(jīng)使用了12個(gè)字節(jié)了,所以又添加了4個(gè)字節(jié)的空,從第16個(gè)字節(jié)開始放置成員e.這時(shí),長(zhǎng)度為24,已經(jīng)可以被8(成員e按8字節(jié)對(duì)齊)整除.這樣,sizeof(S2)為24個(gè)字節(jié).

這里有三點(diǎn)很重要:

1.每個(gè)成員分別按自己的方式對(duì)齊,并能最小化長(zhǎng)度。
2.復(fù)雜類型(如結(jié)構(gòu))的默認(rèn)對(duì)齊方式是它最長(zhǎng)的成員的對(duì)齊方式,這樣在成員是復(fù)雜類型時(shí),可以最小化長(zhǎng)度。
3.對(duì)齊后的長(zhǎng)度必須是成員中最大的對(duì)齊參數(shù)的整數(shù)倍,這樣在處理數(shù)組時(shí)可以保證每一項(xiàng)都邊界對(duì)齊。
三、minix的stdarg.h文件中對(duì)齊方式
在minix的stdarg.h文件中，定義了如下一個(gè)宏：
/* Amount of space required in an argument list for an arg of type TYPE.
?* TYPE may alternatively be an expression whose type is used.
?*/

#define __va_rounded_size(TYPE) ?\
? (((sizeof (TYPE) + sizeof (int) - 1) / sizeof (int)) * sizeof (int))
從注釋以及宏的名字可以看出是有關(guān)內(nèi)存對(duì)齊方面的作用。根據(jù)前面關(guān)于C語言內(nèi)存對(duì)齊方面的理論可知


n字節(jié)對(duì)齊就是說變量存放的起始地址的偏移量有兩種情況：

第一、如果n大于等于該變量所占用的字節(jié)數(shù)，那么偏移量必須滿足默認(rèn)的對(duì)齊方式（各成員變量存放的起始地址相對(duì)于結(jié)構(gòu)的起始地址的偏移量必須為該變量的類型所占用的字節(jié)數(shù)的倍數(shù)）；

第二、如果n小于該變量的類型所占用的字節(jié)數(shù)，那么偏移量為n的倍數(shù)，不用滿足默認(rèn)的對(duì)齊方式。
此時(shí)n = 4,對(duì)于sizeof(TYPE)一定為自然數(shù)，sizeof(int) - 1 = 3
sizeof(TYPE)只可能出現(xiàn)如下兩種情況：
(1) 當(dāng)sizeof(TYPE) >= 4，偏移量 = (sizeof(TYPE)/4)*4
(2) 當(dāng)sizeof(TYPE) < 4，偏移量 = 4
此時(shí)sizeof(TYPE) = 1 or 2 or 3，而(sizeof(TYPE) + 3) / 4 ?= 1
為了將上述兩種情況統(tǒng)一，偏移量 = ((sizeof(TYPE) + 3) / 4) * 4

zai you的源代碼中，將內(nèi)存對(duì)齊宏__va_rounded_size通過位操作來實(shí)現(xiàn)，代碼如下：

#define __va_rounded_size(TYPE) ?\
? ?((sizeof(TYPE)+sizeof(int)-1)&~(sizeof(int)-1))
?由于 ~(sizeof(int) – 1) ) = ~（4-1）=~（00000011B）=11111100B

(sizeof(TYPE) + sizeof(int) – 1）就是將大于4m但小于等于4（m+1）的數(shù)提高到大于等于4（m+1）但小于4(m+2)，這樣再& ~(sizeof(int) – 1) )后就正好將原長(zhǎng)度補(bǔ)齊到4的倍數(shù)了。

總結(jié)

以上是生活随笔為你收集整理的字节、半字、字对齐方式的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。