位元組對齊與sizeof

2021-09-30 10:18:22 字數 4420 閱讀 4209

本文主要包括二個部分,第一部分重點介紹在vc中,怎麼樣採用sizeof來求結構的大小,以及容易出現的問題,並給出解決問題的方法,第二部分總結出vc中sizeof的主要用法。  

1、   sizeof應用在結構上的情況  

請看下面的結構:  

struct   mystruct  

;  

對結構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    

;  

為上面的結構分配空間的時候,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    

;  

這個結構占用的空間為多大呢?在vc6.0環境下,可以得到sizeof(mystruc)為24。結合上面提到的分配空間的一些原則,分析下vc怎麼樣為上面的結構分配空間的。(簡單說明)  

struct   mystruct    

;//所有成員變數都分配了空間,空間總的大小為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  

;  

#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;//sizeof(test)=4.  

test   *s;//sizeof(s)=4,s為乙個指標。  

class   test1;//sizeof(test1)=1;  

d.   引數為其他。下面舉例說明。  

int   func(char   s[5]);  

sizeof(func(「1234」))=4//因為func的返回型別為int,所以相當於  

//求sizeof(int).  

以上為sizeof的基本用法,在實際的使用中要注意分析vc的分配變數的分配策略,這樣的話可以避免一些錯誤。

struct s1 

; struct s2 

; printf("sizeof(s1)= %d\n", sizeof(s1)); 

printf("sizeof(s2)= %d\n", sizeof(s2)); 

result: 16, 24 

第乙個struct s1 

; 理論上是這樣的,首先是i在相對0的位置,佔8位乙個位元組,然後,j就在相對乙個位元組的位置,由於乙個位置的位元組數是4位的倍數,因此不用對齊,就放在那裡了,然後是a,要在3位的倍數關係的位置上,因此要移一位,在15位的位置上放下,目前總共是18位,折算過來是2位元組2位的樣子,由於double 是8位元組的,因此要在相對0要是8個位元組的位置上放下,因此從18位開始到8個位元組之間的位置被忽略,直接放在8位元組的位置了,因此,總共是16位元組。  

第二個最後會對照是不是結構體內最大資料的倍數,不是的話,會補成是最大資料的倍數。

sizeof 與 位元組對齊

sizeof是運算子,可用於任何變數名 型別名或常量值,當用於變數名 不是陣列名 或常量時,它不需要用圓括號。它在編譯時起作用,而不是執行時。這是初學者問得最多的乙個問題,所以這裡有必要多費點筆墨。讓我們先看乙個結構體 struct s1 問sizeof s1 等於多少聰明的你開始思考了,char佔...

sizeof 位元組對齊

怎麼判斷記憶體對齊規則,sizeof的結果怎麼來的,要牢記以下3條原則 在沒有 pragma pack巨集的情況下,看最後一行 資料成員對齊規則 結構 struct 或聯合 union 的資料成員,第乙個資料成員放在offset為0的地方,以後每個資料成員儲存的起始位置要從該成員大小或者成員的子成員...

結構體sizeof 問題與位元組對齊

32位機器上定義如下結構體 struct xx int xx x5 1請問sizeof xx 的大小是 24 首先 x5是靜態變數可以不用管它 其次是要考慮位元組對齊的問題。對於結構體中沒有含有結構體變數的情況,有兩條原則 1 結構體變數中成員的偏移量必須是成員大小的整數倍 2 結構體的最終大小必須...