歡迎來到Linux教程網
Linux教程網
Linux教程網
Linux教程網
您现在的位置: Linux教程網 >> UnixLinux >  >> Linux編程 >> Linux編程

C語言字節對齊

文章最後本人做了一幅圖,一看就明白了,這個問題網上講的不少,但是都沒有把問題說透。

  一、概念
  
   對齊跟數據在內存中的位置有關。如果一個變量的內存地址正好位於它長度的整數倍,他就被稱做自然對齊。比如在32位cpu下,假設一個整型變量的地址為0x00000004,那它就是自然對齊的。
  
  二、為什麼要字節對齊
  
   需要字節對齊的根本原因在於CPU訪問數據的效率問題。假設上面整型變量的地址不是自然對齊,比如為0x00000002,則CPU如果取它的值的話需要訪問兩次內存,第一次取從0x00000002-0x00000003的一個short,第二次取從0x00000004-0x00000005的一個short然後組合得到所要的數據,如果變量在0x00000003地址上的話則要訪問三次內存,第一次為char,第二次為short,第三次為char,然後組合得到整型數據。而如果變量在自然對齊位置上,則只要一次就可以取出數據。一些系統對對齊要求非常嚴格,比如sparc系統,如果取未對齊的數據會發生錯誤,舉個例:
  
  char ch[8];
  char *p = &ch[1];
  int i = *(int *)p;
  
  
  運行時會報segment error,而在x86上就不會出現錯誤,只是效率下降。
  
  三、正確處理字節對齊
  
   對於標准數據類型,它的地址只要是它的長度的整數倍就行了,而非標准數據類型按下面的原則對齊:
  
  數組 :按照基本數據類型對齊,第一個對齊了後面的自然也就對齊了。
  聯合 :按其包含的長度最大的數據類型對齊。
  結構體: 結構體中每個數據類型都要對齊。
  比如有如下一個結構體:
  
  struct stu{
   char sex;
   int length;
   char name[10];
  };
  struct stu my_stu;
  
  
  由於在x86下,GCC默認按4字節對齊,它會在sex後面跟name後面分別填充三個和兩個字節使length和整個結構體對齊。於是我們sizeof(my_stu)會得到長度為20,而不是15.
  
  四、__attribute__選項
  
  我們可以按照自己設定的對齊大小來編譯程序,GNU使用__attribute__選項來設置,比如我們想讓剛才的結構按一字節對齊,我們可以這樣定義結構體
  
  struct stu{
   char sex;
   int length;
   char name[10];
  }__attribute__ ((aligned (1)));
  
  struct stu my_stu;
  
  
  則sizeof(my_stu)可以得到大小為15。
  
  上面的定義等同於
  
  struct stu{
   char sex;
   int length;
   char name[10];
  }__attribute__ ((packed));
  struct stu my_stu;
  
  
  __attribute__((packed))得變量或者結構體成員使用最小的對齊方式,即對變量是一字節對齊,對域(field)是位對齊.
  
  五、什麼時候需要設置對齊
  
   在設計不同CPU下的通信協議時,或者編寫硬件驅動程序時寄存器的結構這兩個地方都需要按一字節對齊。即使看起來本來就自然對齊的也要使其對齊,以免不同的編譯器生成的代碼不一樣.

C++ Primer Plus 第6版 中文版 清晰有書簽PDF+源代碼 http://www.linuxidc.com/Linux/2014-05/101227.htm

讀C++ Primer 之構造函數陷阱 http://www.linuxidc.com/Linux/2011-08/40176.htm

讀C++ Primer 之智能指針 http://www.linuxidc.com/Linux/2011-08/40177.htm

讀C++ Primer 之句柄類 http://www.linuxidc.com/Linux/2011-08/40175.htm

將C語言梳理一下,分布在以下10個章節中:

  1. Linux-C成長之路(一):Linux下C編程概要 http://www.linuxidc.com/Linux/2014-05/101242.htm
  2. Linux-C成長之路(二):基本數據類型 http://www.linuxidc.com/Linux/2014-05/101242p2.htm
  3. Linux-C成長之路(三):基本IO函數操作 http://www.linuxidc.com/Linux/2014-05/101242p3.htm
  4. Linux-C成長之路(四):運算符 http://www.linuxidc.com/Linux/2014-05/101242p4.htm
  5. Linux-C成長之路(五):控制流 http://www.linuxidc.com/Linux/2014-05/101242p5.htm
  6. Linux-C成長之路(六):函數要義 http://www.linuxidc.com/Linux/2014-05/101242p6.htm
  7. Linux-C成長之路(七):數組與指針 http://www.linuxidc.com/Linux/2014-05/101242p7.htm
  8. Linux-C成長之路(八):存儲類,動態內存 http://www.linuxidc.com/Linux/2014-05/101242p8.htm
  9. Linux-C成長之路(九):復合數據類型 http://www.linuxidc.com/Linux/2014-05/101242p9.htm
  10. Linux-C成長之路(十):其他高級議題

 

一、快速理解

1. 什麼是字節對齊?

在C語言中,結構是一種復合數據類型,其構成元素既可以是基本數據類型(如int、long、float等)的變量,也可以是一些復合數據類型(如數組、結構、聯合等)的數據單元。在結構中,編譯器為結構的每個成員按其自然邊界(alignment)分配空間。各個成員按照它們被聲明的順序在內存中順序存儲,第一個成員的地址和整個結構的地址相同。

為了使CPU能夠對變量進行快速的訪問,變量的起始地址應該具有某些特性,即所謂的”對齊”. 比如4字節的int型,其起始地址應該位於4字節的邊界上,即起始地址能夠被4整除.

2. 字節對齊有什麼作用?

字節對齊的作用不僅是便於cpu快速訪問,同時合理的利用字節對齊可以有效地節省存儲空間。

對於32位機來說,4字節對齊能夠使cpu訪問速度提高,比如說一個long類型的變量,如果跨越了4字節邊界存儲,那麼cpu要讀取兩次,這樣效率就低了。但是在32位機中使用1字節或者2字節對齊,反而會使變量訪問速度降低。所以這要考慮處理器類型,另外還得考慮編譯器的類型。在vc中默認是4字節對齊的,GNU gcc 也是默認4字節對齊。

3. 更改C編譯器的缺省字節對齊方式

在缺省情況下,C編譯器為每一個變量或是數據單元按其自然對界條件分配空間。一般地,可以通過下面的方法來改變缺省的對界條件:
· 使用偽指令#pragma pack (n),C編譯器將按照n個字節對齊。
· 使用偽指令#pragma pack (),取消自定義字節對齊方式。

另外,還有如下的一種方式:
· __attribute((aligned (n))),讓所作用的結構成員對齊在n字節自然邊界上。如果結構中有成員的長度大於n,則按照最大成員的長度來對齊。
· __attribute__ ((packed)),取消結構在編譯過程中的優化對齊,按照實際占用字節數進行對齊。

4. 舉例說明

例1

struct test
{
char x1;
short x2;
float x3;
char x4;
};

由於編譯器默認情況下會對這個struct作自然邊界(有人說“自然對界”我覺得邊界更順口)對齊,結構的第一個成員x1,其偏移地址為0,占據了第1個字節。第二個成員x2為short類型,其起始地址必須2字節對界,因此,編譯器在x2和x1之間填充了一個空字節。結構的第三個成員x3和第四個成員x4恰好落在其自然邊界地址上,在它們前面不需要額外的填充字節。在test結構中,成員x3要求4字節對界,是該結構所有成員中要求的最大邊界單元,因而test結構的自然對界條件為4字節,編譯器在成員x4後面填充了3個空字節。整個結構所占據空間為12字節。

例2

#pragma pack(1) //讓編譯器對這個結構作1字節對齊
struct test
{
char x1;
short x2;
float x3;
char x4;
};
#pragma pack() //取消1字節對齊,恢復為默認4字節對齊

這時候sizeof(struct test)的值為8。

例3

#define GNUC_PACKED __attribute__((packed))
struct PACKED test
{
char x1;
short x2;
float x3;
char x4;
}GNUC_PACKED;

這時候sizeof(struct test)的值仍為8。

更多詳情見請繼續閱讀下一頁的精彩內容: http://www.linuxidc.com/Linux/2014-11/109205p2.htm

Copyright © Linux教程網 All Rights Reserved