首先看一下結構體對齊的三個概念值:
數據類型的默認對齊值(自身對齊):
1.基本數據類型:為指定平臺上基本類型的長度。如在32位機器中,char對齊值為1,short為2,int,float為4,double為8;
結構體:其數據成員中默認對齊值最大的那個值。
2.指定對齊值:#pragma pack (value)時的指定對齊值value。
3.數據類型的有效對齊值:默認對齊值和指定對齊值中小的那個值。
有了這些值,我們就可以很方便的來討論具體數據結構的成員和其自身的對齊方式。有效對齊值N是最終用來決定數據存放地址方式的值,最重要。有效對齊N,就是表示“對齊在N上”,也就是說該數據的“偏移量%N=0”。而數據結構中的數據變量都是按定義的先后順序來排放的。第一個數據變量的起始地址就是數據結構的起始地址。結構體的成員變量要對齊排放(對于非對齊成員需要在其前面填充一些字節,保證其在對齊位置上),結構體本身也要根據自身的有效對齊值圓整(就是結構體總長度需要是結構體有效對齊值的整數倍)。
通過上面的分析,對結構體進行字節對齊,我們需要知道四個值:
及兩個規則:
1.對齊規則:
offset % vaildLen = 0,其中vaildLen為有效對齊值vaildLen = min(packLen, defaultLen);
2.填充規則:
如成員變量不遵守對齊規則,則需要對其補齊;在其前面填充一些字節保證該成員對齊。需填充的字節數記為padLen:
padLen = getPadLen(offset , defaultLen);int getPadLen(int offsetLen, int defaultLen){ int vaildLen = min(packLen,defaultLen); if(0 == vaildLen || 0 == offsetLen % vaildLen) { return 0; } return vaildLen - (offsetLen % vaildLen);}
結構體對齊算法思想:深度優先填充
先對齊內層結構體;
對每個數據成員計算其defaultLen、memberLen和offset;
再遍歷每個數據成員時計算;
對于基本數據類型成員defaultLen=memberLen;對于結構體成員defaultLen等于它的所有成員的最大的memberLen;
遍歷時對成員的memberLen進行累加,得到當前成員的offsetLen;
運用對齊及填充規則:在當前結構體成員前填充padLen個字節;
舉例說明:
struct{ short a; short b; short c; }A; sizeof(A) = 6;
(vc6與gcc相同)
struct{ long a; short c; }A; sizeof(A) = 8;
(vc6與gcc相同), 它的內存分配為: a1 a2 a3 a4 , c1 c2 x x(a1為a的第一個字節,x為補齊字節,下同)
struct{int a;char b;short c; }A;sizeof(A) = 8;
A的內存分配為:
a1 a2 a3 a4, b1 x c1 c2
struct{char a;int b;short c; }A1;sizeof(A1) = 12;
(vc6與gcc相同)
A1的內存分配為:
a1 x x x, b1 b2 b3 b4, c1 c2 x x
下面是更復雜的情況,結構體作為成員
struct{int a;doubl b;short c; }A; // sizeof(A) = 24 (vc6與gcc相同)struct{ char a,b;int c;double d;short e;struct A h;}B;sizeof(B) = 48 //(vc6與gcc相同)
A的內存分布:
a1 a2 a3 a4 x x x x, b1 b2 b3 b4 b5 b6 b7 b7, c1 c2 x x x x x x
B的內存分布:
a1 b1 x x, c1 c2 c3 c4 , d1 d2 d3 d4 d5 d6 d7 d8, e1 e2 x x x x
|
新聞熱點
疑難解答
圖片精選