程序師世界是廣大編程愛好者互助、分享、學習的平台,程序師世界有你更精彩!
首頁
編程語言
C語言|JAVA編程
Python編程
網頁編程
ASP編程|PHP編程
JSP編程
數據庫知識
MYSQL數據庫|SqlServer數據庫
Oracle數據庫|DB2數據庫
 程式師世界 >> 編程語言 >> C語言 >> C++ >> C++入門知識 >> c/c++字節對齊

c/c++字節對齊

編輯:C++入門知識

在 相同的對齊方式下 ,結構體內部數據 定義的順序不同 ,結構體整體占據內存空間也 不同 ,如下:
設結構體如下定義:
struct A
{
     int      a;
     char    b;
     short c;
};
結構體A中包含了4字節長度的int一個,1字節長度的char一個和2字節長度的short型數據一個。所以A用到的空間應該是7字節。但是因為編譯器要對數據成員在空間上進行對齊。所以使用sizeof(strcut A)值為8 。
現在把該結構體調整成員變量的順序。
struct B
{
     char    b;
      int      a;
      short c;
};
這時候同樣是總共7個字節的變量,但是sizeof(struct B)的值卻是12 。
 
 
下面我們使用預編譯指令#progma pack (value)來告訴編譯器,使用我們指定的對齊值來取代缺省的。
#progma pack (2) /*指定按2字節對齊,等價於#pragma pack(push,2)*/
struct C
{
      char b;
     int      a;
     short c;
};
#progma pack () /*取消指定對齊,恢復缺省對齊,等價於#pragma pack(pop)*/
sizeof(struct C)值是8 。
 
修改對齊值為1:
#progma pack (1) /*指定按1字節對齊*/
struct D
{
      char b;
      int      a;
      short c;
};
#progma pack () /*取消指定對齊,恢復缺省對齊*/
sizeof(struct D)值為7 。
 
對於char型數據,其自身對齊值為1,對於short型為2,對於int,float,double類型,其自身對齊值為4,單位字節。 
 
這裡面有四個概念值:
1.數據類型自身的對齊值:就是上面交代的基本數據類型的自身對齊值。
2.指定對齊值:#progma pack (value)時的指定對齊值value。
3.結構體或者類的自身對齊值:其數據成員中自身對齊值最大的那個值。
4.數據成員、結構體和類的有效對齊值:自身對齊值和指定對齊值中小的那個值。
有了這些值,我們就可以很方便的來討論具體數據結構的成員和其自身的對齊方式。有效對齊值N是最終用來決定數據存放地址方式的值,最重要。有效對齊N,就是表示“對齊在N上”,也就是說該數據的"存放起始地址%N=0". 而數據結構中的數據變量都是按定義的先後順序來排放的。第一個數據變量的起始地址就是數據結構的起始地址。結構體的成員變量要對齊排放,結構體本身也要根據自身的有效對齊值圓整(就是結構體成員變量占用總長度需要是對結構體有效對齊值的整數倍,結合下面例子理解)。這樣就不能理解上面的幾個例子的值了。
例子分析:
分析例子B;
struct B
{
      char b;
      int      a;
     short c;
};
假設B從地址空間0x0000 開始排放。該例子中沒有定義指定對齊值,在筆者環境下,該值 默認為4 。
 
第一個成員變量b的自身對齊值是1 ,比指定或者默認指定對齊值4 小,所以其有效對齊值為1 ,所以其存放地址0x0000 符合0x0000%1=0 .
 
第二個成員變量a,其自身對齊值為4 ,所以有效對齊值也為4 ,所以只能存放在起始地址為0x0004 到0x0007 這四個連續的字節空間中,符合0x0004%4=0 , 且緊靠第一個變量。
 
第三個變量c,自身對齊值為2 ,所以有效對齊值也是2 ,可以存放在0x0008 到0x0009 這兩個字節空間中,符合0x0008%2=0 。所以從0x0000到0x0009存放的都是B內容。
 
再看數據結構B的自身對齊值 為其變量中最大對齊值( 這裡是b )所以就是4,所以結構體的有效對齊值也是4。根據結構體圓整的要求,0x0009到0x0000=10字節 ,(10+2)%4=0 。所以0x0000A 到0x000B 也為結構體B所占用。故B從0x0000到0x000B共有12個字節, sizeof(struct B)=12 ;
 
 
 
-----------------------
 
對齊方式(變量存放的起始地址相對於結構的起始地址的偏移量)
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。(請讀者自己分析)
 

  1. 上一頁:
  2. 下一頁:
Copyright © 程式師世界 All Rights Reserved