1分鐘瞭解C語言正確使用位元組對齊及#pragma pack的方法

Sharemaker發表於2023-05-05
​  C/C++編譯器的預設位元組對齊方式為自然對界。即在預設情況下,編譯器為每一個變數或是資料單元按其自然對界條件分配空間。

  在結構中,編譯器為結構的每個成員按其自然對界(alignment)條件分配空間。各個成員按照它們被宣告的順序在記憶體中順序儲存(成員之間可能有插入的空位元組),第一個成員的地址和整個結構的地址相同。

  編譯器預設的結構成員自然對界條件為“N位元組對齊”,N即該成員資料型別的長度。如int型成員的自然對界條件為4位元組對齊,而double型別的結構成員的自然對界條件為8位元組對齊。若該成員的起始偏移不位於該成員的“預設自然對界條件”上,則在前一個節面後面新增適當個數的空位元組。

        編譯器預設的結構整體的自然對界條件為:該結構所有成員中要求的最大自然對界條件。若結構體各成員長度之和不為“結構整體自然對界條件的整數倍”,則在最後一個成員後填充空位元組。

        例子1(分析結構各成員的預設位元組對界條界條件和結構整體的預設位元組對界條件):

1 struct Test
2 { 
3   char x1; // 成員x1為char型(其起始地址必須1位元組對界),其偏移地址為0 
4   char x2; // 成員x2為char型(其起始地址必須1位元組對界,其偏移地址為1 
5   float x3; // 成員x3為float型(其起始地址必須4位元組對界),編譯器在x2和x3之間填充了兩個空位元組,其偏移地址為4 
6   char x4; // 成員x4為char型(其起始地址必須1位元組對界),其偏移地址為8 
7 };

1分鐘瞭解C語言正確使用位元組對齊及#pragma pack的方法

        在Test結構體中,最大的成員為float x3,因此結構體的自然對界條件為4位元組對齊。則結構體長度就為12位元組,記憶體佈局為1100 1111 1000。

 1 #include <stdio.h>
 2 typedef struct
 3 {
 4   int aa1; //4個位元組對齊 1111
 5   char bb1;//1個位元組對齊 1
 6   short cc1;//2個位元組對齊 011
 7   char dd1; //1個位元組對齊 1
 8 } testlength1;
 9 int length1 = sizeof(testlength1); //4個位元組對齊,佔用位元組1111 1011 1000,length = 12
10 
11 typedef struct
12 {
13   char bb2;//1個位元組對齊 1
14   int aa2; //4個位元組對齊 01111
15   short cc2;//2個位元組對齊 11
16   char dd2; //1個位元組對齊 1
17 } testlength2;
18 int length2 = sizeof(testlength2); //4個位元組對齊,佔用位元組1011  1111 1000,length = 12
19 
20 typedef struct
21 {
22   char bb3; //1個位元組對齊 1
23   char dd3; //1個位元組對齊 1
24   int aa3; //4個位元組對齊 001111
25   short cc23//2個位元組對齊 11
26 
27 } testlength3;
28 int length3 = sizeof(testlength3); //4個位元組對齊,佔用位元組1100 1111 1100,length = 12
29 
30 typedef struct
31 {
32   char bb4; //1個位元組對齊 1
33   char dd4; //1個位元組對齊 1
34   short cc4;//2個位元組對齊 11
35   int aa4; //4個位元組對齊 1111
36 } testlength4;
37 int length4 = sizeof(testlength4); //4個位元組對齊,佔用位元組1111 1111,length = 8
38 
39 int main(void)
40 {
41   printf("length1 = %d.\n",length1);
42   printf("length2 = %d.\n",length2);
43   printf("length3 = %d.\n",length3);
44   printf("length4 = %d.\n",length4);
45   return 0;
46 }

        改變預設的對界條件(指定對界)
· 使用偽指令#pragma pack (n),編譯器將按照n個位元組對齊。
· 使用偽指令#pragma pack (),取消自定義位元組對齊方式。

        這時,對齊規則為:

        1、資料成員對齊規則:結構(struct)(或聯合(union))的資料成員,第一個資料成員放在offset為0的地方,以後每個資料成員的對齊按照#pragma pack指定的數值和這個資料成員自身長度中,比較小的那個進行。

        2、結構(或聯合)的整體對齊規則:在資料成員完成各自對齊之後,結構(或聯合)本身也要進行對齊,對齊將按照#pragma pack指定的數值和結構(或聯合)最大資料成員長度中,比較小的那個進行。

        結合1、2推斷:當#pragma pack的n值等於或超過所有資料成員長度的時候,這個n值的大小將不產生任何效果。

        因此,當使用偽指令#pragma pack (2)時,Test結構體的大小為8,記憶體佈局為11 11 11 10。

        需要注意一點,當結構體中包含一個子結構體時,子結構中的成員按照#pragma pack指定的數值和子結構最大資料成員長度中,比較小的那個進行進行對齊。例子如下:

 1 #pragma pack(8)
 2 struct s1
 3 {
 4   short a;
 5   long b;
 6 };
 7 
 8 struct s2
 9 {
10   char c;
11   s1 d;
12   long long e;
13 };
14 #pragma pack()

        sizeof(s2)的結果為24。S1的記憶體佈局為1100 1111,S2的記憶體佈局為1000 1100 1111 0000 1111 1111。

        例子2按照2個位元組對齊時:

 1 #include <stdio.h>
 2 #pragma pack(2)
 3 typedef struct
 4 {
 5   int aa1; //2個位元組對齊 1111
 6   char bb1;//1個位元組對齊 1
 7   short cc1;//2個位元組對齊 011
 8   char dd1; //1個位元組對齊 1
 9 } testlength1;
10 int length1 = sizeof(testlength1); //2個位元組對齊,佔用位元組11 11 10 11 10,length = 10
11 
12 typedef struct
13 {
14   char bb2;//1個位元組對齊 1
15   int aa2; //2個位元組對齊 01111
16   short cc2;//2個位元組對齊 11
17   char dd2; //1個位元組對齊 1
18 } testlength2;
19 int length2 = sizeof(testlength2); //2個位元組對齊,佔用位元組10 11 11 11 10,length = 10
20 
21 typedef struct
22 {
23   char bb3; //1個位元組對齊 1
24   char dd3; //1個位元組對齊 1
25   int aa3; //2個位元組對齊 11 11
26   short cc23//2個位元組對齊 11
27 
28 } testlength3;
29 int length3 = sizeof(testlength3); //2個位元組對齊,佔用位元組11 11 11 11,length = 8
30 
31 typedef struct
32 {
33   char bb4; //1個位元組對齊 1
34   char dd4; //1個位元組對齊 1
35   short cc4;//2個位元組對齊 11
36   int aa4; //2個位元組對齊 11 11
37 } testlength4;
38 int length4 = sizeof(testlength4); //2個位元組對齊,佔用位元組11 11 11 11,length = 8
39 #pragma pack()
40 int main(void)
41 {
42   printf("length1 = %d.\n",length1);
43   printf("length2 = %d.\n",length2);
44   printf("length3 = %d.\n",length3);
45   printf("length4 = %d.\n",length4);
46   return 0;
47 }
1分鐘瞭解C語言正確使用位元組對齊及#pragma pack的方法

        另外,還有如下的一種方式:

        · __attribute((aligned (n))),讓所作用的結構成員對齊在n位元組自然邊界上。如果結構中有成員的長度大於n,則按照最大成員的長度來對齊。

        · __attribute__ ((packed)),取消結構在編譯過程中的最佳化對齊,按照實際佔用位元組數進行對齊。

       以上的n = 1, 2, 4, 8, 16... 第一種方式較為常見。


↓↓↓更多技術內容和書籍資料獲取,入群技術交流敬請關注“明解嵌入式”↓↓↓ 

 

相關文章