二.字节对齐对程序的影响:
 
    先让我们看几个例子吧(32bit,x86环境,gcc编译器):
 
设结构体如下定义：
struct A
{
    int a;
    char b;
    short c;
};
struct B
{
    char b;
    int a;
    short c;
};
 
现在已知32位机器上各种数据类型的长度如下:
 
char:1(有符号无符号同)    
short:2(有符号无符号同)    
int:4(有符号无符号同)    
long:4(有符号无符号同)    
float:4    
double:8
 
那么上面两个结构大小如何呢?
 
结果是:
 
sizeof(strcut A)值为8
sizeof(struct B)的值却是12
 
    结构体A中包含了4字节长度的int一个，1字节长度的char一个和2字节长度的short型数据一个,B也一样;按理说A,B大小应该都是7字节。
    之所以出现上面的结果是因为编译器要对数据成员在空间上进行对齐。上面是按照编译器的默认设置进行对齐的结果,那么我们是不是可以改变编译器的这种默认对齐设置呢,当然可以.例如:
 
#pragma pack (2)    /*指定按2字节对齐*/
struct C
{
    char b;
    int a;
    short c;
};
#pragma pack ()    /*取消指定对齐，恢复缺省对齐*/
 
sizeof(struct C)值是8。
 
修改对齐值为1：
 
#pragma pack (1)   /*指定按1字节对齐*/
struct D
{
    char b;
    int a;
    short c;
};
#pragma pack ()   /*取消指定对齐，恢复缺省对齐*/
sizeof(struct D)值为7。
 
后面我们再讲解#pragma pack()的作用.
 
三.编译器是按照什么样的原则进行对齐的?

    先让我们看四个重要的基本概念：
 
1.数据类型自身的对齐值：
  对于char型数据，其自身对齐值为1，对于short型为2，对于int,float,double类型，其自身对齐值为4，单位字节。
 
2.结构体或者类的自身对齐值：其成员中自身对齐值最大的那个值。
 
3.指定对齐值：#pragma pack (value)时的指定对齐值value。
 
4.数据成员、结构体和类的有效对齐值：自身对齐值和指定对齐值中小的那个值。
 
    有了这些值，我们就可以很方便的来讨论具体数据结构的成员和其自身的对齐方式。有效对齐值N是最终用来决定数据存放地址方式的值，最重要。有效对齐N，就是表示“对齐在N上”，也就是说该数据的"存放起始地址%N=0".而数据结构中的数据变量都是按定义的先后顺序来排放的。第一个数变量的起始地址就是数 据结构的起始地址。结构体的成员变量要对齐排放，结构体本身也要根据自身的有效对齐值圆整(就是结构体成员变量占用总长度需要是对结构体有效对齐值的整数倍，结合下面例子理解)。这样就不能理解上面的几个例子的值了。
 
例子分析：
分析例子B；
struct B
{
    char b;
    int a;
    short c;
};
 
    假设B从地址空间0x0000开始排放。该例子中没有定义指定对齐值，在笔者环境下，该值默认为4。
    第一个成员变量b的自身对齐值是1，比指定或者默认指定对齐值4小，所以其有效对齐值为1，所以其存放地址0x0000符合0x0000%1=0.
    第二个成员变量a，其自身对齐值为4，所以有效对齐值也为4， 所以只能存放在起始地址为0x0004到0x0007这四个连续的字节空间中，符合0x0004%4=0,且紧靠第一个变量。
    第三个变量c,自身对齐值为 2，所以有效对齐值也是2，可以存放在0x0008到0x0009这两个字节空间中，符合0x0008%2=0。所以从0x0000到0x0009存放的都是B内容。
    再看数据结构B的自身对齐值为其变量中最大对齐值(这里是a）所以就是4，所以结构体的有效对齐值也是4。根据结构体圆整的要求，0x0009到0x0000=10字节，（10＋2）％4＝0。所以0x0000A到0x000B也为结构体B所占用。故B从0x0000到0x000B 共有12 ......

>>返回讨论的主题