复制代码
struct foo2 {
char a : 2;
char b : 3;
char c : 1;
};
struct foo3 {
char a : 2;
char b : 3;
char c : 7;
};
复制代码
我们来打印一下这两个结构体的大小，我们得到的结果是：
sizeof(struct foo2) = 1
sizeof(struct foo3) = 2
显然都不是我们期望的，如果按照正常的内存对齐规则， 这两个结构体大小均应该为3才对，那么问题出在哪了呢？首先通过这种现象我们可以肯定的是：带有'位域'的结构体并不是按照每个域对齐的，而是将一些位域 成员'捆绑'在一起做对齐的。以foo2为例，这个结构体中所有的成员都是char型的，而且三个位域占用的总空间为6 bit < 8 bit(1 byte)，这时编译器会将这三个成员'捆绑'在一起做对齐，并且以最小空间作代价，这就是为什么我们得到sizeof(struct foo2) = 1这样的结果的原因了。再看看foo3这个结构体，同foo2一样，三个成员类型也都是char型，但是三个成员位域所占空间之和为9 bit > 8 bit(1 byte)，这里位域是不能跨越两个成员基本类型空间的，这时编译器将a和b两个成员'捆绑'按照char做对齐，而c单独拿出来以char类型做对齐， 这样实际上在b和c之间出现了空隙，但这也是最节省空间的方法了。我们再看一种结构体定义：
struct foo4 {
char a : 2;
char b : 3;
int c : 1;
};
在foo4中虽然三个位域所占用空间之和为6 bit < 8 bit(1 byte)，但是由于char和int的对齐系数是不同的，是不能捆绑在一起，那是不是a、b捆绑在一起按照char对齐，c单独按照int对齐呢？我们 打印一下sizeof(struct foo4)发现结果为8，也就是说编译器把a、b、c一起捆绑起来并以int做对齐了。就是说不够一个类型的size时，将按其中最大的那个类型对齐。此 处按int对齐。