“Short a:4”——指定位数的成员变量

“Short a:4”——指定位数的成员变量

结构体或类中有时会见到下面的写法

struct s
{
    short a:4;
    short b:6;
    short c:8;
};

这是结构体和类的一种性质，在声明变量的同时指明变量的位数。

short类型在32位机上本来是16位的，但从节约空间等角度的考虑，我们觉得用16位来存储有些浪费，有个4位的变量就够用了，怎么办？

当然有办法，我们在声明变量的同时，在变量后面加上冒号，再加上数字，表示这个变量只占用这么多位。注意数字不能大于原类型的位数。

 

关于这种结构体在内存中的结构（边界对齐问题）

代码	内存图示
struct s {     short a:4;     short b:6;     s()     {         a=2;         b=4;     } };
struct s {     short a:4;     short b:6;     short c:8;     s()     {         a=2;         b=4;         c=6;     } };

我们第一段代码中可看到，内存中6位的数据b紧挨着4位的数据a存储，而且是基于小端的存储方式。Sizeof(s)的结果为2。

在第二段代码中，8位的数据c并没有像刚才一样紧挨着b存储，这是由于编译器的字节对齐属性决定的，当编译器发现8位的c要是仍紧挨着b存储的话，数据会横跨2个2字节块（多少个字节块在没有特殊指定下是以结构体中最长的数据类型计算的，也叫做自然对界），这样就不满足字节对齐，所以舍弃了图中左边黑色0部分的空间，从下一个2字节块处开始存放数据c，这样是以空间来换取速度。Sizeof(s)的结果为4。

 

字节对齐有两种方式，除了自然对界外，另一种叫指定对界。

· 使用伪指令#pragma pack (n)，编译器将按照n个字节对齐；
· 使用伪指令#pragma pack ()，取消自定义字节对齐方式。

注意：如果#pragma pack (n)中指定的n大于结构体中最大成员的size，则其不起作用，结构体仍然按照size最大的成员进行对界。

 

 今天你菊子曰了么？