c++struct sizeof大小對齊方式
阿新 • • 發佈：2019-01-10
先讓我們看四個重要的基本概念：1.資料型別自身的對齊值：對於char型資料，其自身對齊值為1，對於short型為2，對於int,float,double型別，其自身對齊值為4，單位位元組。2.結構體或者類的自身對齊值：其成員中自身對齊值最大的那個值。3.指定對齊值：#pragma pack (value)時的指定對齊值value。4.資料成員、結構體和類的有效對齊值：自身對齊值和指定對齊值中小的那個值。有了這些值，我們就可以很方便的來討論具體資料結構的成員和其自身的對齊方式。有效對齊值N是最終用來決定資料存放地址方式的值，最重要。有效對齊N，就是表示“對齊在N上”，也就是說該資料的"存放起始地址
struct B
{
char b;
int a;
short c;
};
假設B從地址空間0x0000開始排放。該例子中沒有定義指定對齊值，在筆者環境下，該值預設為4。第一個成員變數b的自身對齊值是1，比指定或者預設指定對齊值4小，所以其有效對齊值為1，所以其存放地址
同理,分析上面例子C：
#pragma pack (2) /*指定按2位元組對齊*/
struct C
{
char b;
int a;
short c;
};
#pragma pack () /*取消指定對齊，恢復預設對齊*/
第一個變數b的自身對齊值為1，指定對齊值為2，所以，其有效對齊值為1，假設C從0x0000開始，那麼b存放在0x0000，符合0x0000%1= 0;第二個變數，自身對齊值為4，指定對齊值為2，所以有效對齊值為2，所以順序存放在0x0002、0x0003、0x0004、0x0005四個連續位元組中，符合0x0002%2=0。第三個變數c的自身對齊值為2，所以有效對齊值為2，順序存放在0x0006、0x0007中，符合 0x0006%2=0。所以從0x0000到0x00007共八位元組存放的是C的變數。又C的自身對齊值為4，所以C的有效對齊值為2。又8%2=0,C只佔用0x0000到0x0007的八個位元組。所以sizeof(structC)=8.
struct B
{
char b;
int a;
short c;
};
假設B從地址空間0x0000開始排放。該例子中沒有定義指定對齊值，在筆者環境下，該值預設為4。第一個成員變數b的自身對齊值是1，比指定或者預設指定對齊值4小，所以其有效對齊值為1，所以其存放地址
同理,分析上面例子C：
#pragma pack (2) /*指定按2位元組對齊*/
struct C
{
char b;
int a;
short c;
};
#pragma pack () /*取消指定對齊，恢復預設對齊*/
第一個變數b的自身對齊值為1，指定對齊值為2，所以，其有效對齊值為1，假設C從0x0000開始，那麼b存放在0x0000，符合0x0000%1= 0;第二個變數，自身對齊值為4，指定對齊值為2，所以有效對齊值為2，所以順序存放在0x0002、0x0003、0x0004、0x0005四個連續位元組中，符合0x0002%2=0。第三個變數c的自身對齊值為2，所以有效對齊值為2，順序存放在0x0006、0x0007中，符合 0x0006%2=0。所以從0x0000到0x00007共八位元組存放的是C的變數。又C的自身對齊值為4，所以C的有效對齊值為2。又8%2=0,C只佔用0x0000到0x0007的八個位元組。所以sizeof(structC)=8.