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

c++內存中字節對齊問題詳解

編輯:C++入門知識

一、什麼是字節對齊,為什麼要對齊?
    現代計算機中內存空間都是按照byte劃分的,從理論上講似乎對任何類型的變量的訪問可以從任何地址開始,但實際情況是在訪問特定類型變量的時候經常在特 定的內存地址訪問,這就需要各種類型數據按照一定的規則在空間上排列,而不是順序的一個接一個的排放,這就是對齊。
    對齊的作用和原因:各個硬件平台對存儲空間的處理上有很大的不同。一些平台對某些特定類型的數據只能從某些特定地址開始存取。比如有些架構的CPU在訪問 一個沒有進行對齊的變量的時候會發生錯誤,那麼在這種架構下編程必須保證字節對齊。其他平台可能沒有這種情況,但是最常見的是如果不按照適合其平台要求對 數據存放進行對齊,會在存取效率上帶來損失。比如有些平台每次讀都是從偶地址開始,如果一個int型(假設為32位系統)如果存放在偶地址開始的地方,那 麼一個讀周期就可以讀出這32bit,而如果存放在奇地址開始的地方,就需要2個讀周期,並對兩次讀出的結果的高低字節進行拼湊才能得到該32bit數 據。顯然在讀取效率上下降很多。
    二、請看下面的結構:
    struct MyStruct
    {
    double dda1;
    char dda;
    int type
    };
    對結構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
    {
    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) //保存對齊狀態www.2cto.com
    #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。(請讀者自己分析)
    三、再看下面這個例子
    #pragma pack(8)
    struct S1{
    char a;
    long b;
    };
    struct S2 {
    char c;
    struct S1 d;
    long long e;
    };
    #pragma pack()
    sizeof(S2)結果為24.
    成員對齊有一個重要的條件,即每個成員分別對齊。即每個成員按自己的方式對齊。
    也就是說上面雖然指定了按8字節對齊,但並不是所有的成員都是以8字節對齊。其對齊的規則是,每個成員按其類型的對齊參數(通常是這個類型的大小)和指定對齊參數(這裡是8字節)中較小的一個對齊。並且結構的長度必須為所用過的所有對齊參數的整數倍,不夠就補空字節。
    S1中,成員a是1字節默認按1字節對齊,指定對齊參數為8,這兩個值中取1,a按1字節對齊;成員b是4個字節,默認是按4字節對齊,這時就按4字節對齊,所以sizeof(S1)應該為8;
    S2 中,c和S1中的a一樣,按1字節對齊,而d 是個結構,它是8個字節,它按什麼對齊呢?對於結構來說,它的默認對齊方式就是它的所有成員使用的對齊參數中最大的一個,S1的就是4.所以,成員d就是按4字節對齊。成員e是8個字節,它是默認按8字節對齊,和指定的一樣,所以它對到8字節的邊界上,這時,已經使用了12個字節了,所以又添加了4個字節的空,從第16個字節開始放置成員e.這時,長度為24,已經可以被8(成員e按8字節對齊)整除。這樣,一共使用了24個字節。
    a b
    S1的內存布局:11**,1111,
    c S1.a S1.b d
    S2的內存布局:1***,11**,1111,****11111111
    這裡有三點很重要:
    1.每個成員分別按自己的方式對齊,並能最小化長度。
    2.復雜類型(如結構)的默認對齊方式是它最長的成員的對齊方式,這樣在成員是復雜類型時,可以最小化長度。
    3.對齊後的長度必須是成員中最大的對齊參數的整數倍,這樣在處理數組時可以保證每一項都邊界對齊。

 

摘自  十分愛 - 網絡技術博客
 

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