结构体对齐的步骤:
1、结构体各成员对齐
2、整个结构体圆整
结构体对齐的特定对齐值:
1、自身对齐值: 自身对齐值就是结构体变量里每个成员的自身大小;
2、指定对齐值: 指定对齐值是由宏#pragma pack (N)指定的值,里面的N必须是2的幂次方,如1,2,4,8,16等。如果没有通过#pragma pack宏那么在32位的Linux主机上默认指定对齐值为4,64位的Linux主机上默认指定对齐值为8,ARM CPU默认指定对齐值为8;
3、有效对齐值: ① 结构体成员自身对齐时有效对齐值为自身对齐值与指定对齐值中较小的一个,
② 结构体圆整时,为所有成员中自身对齐值最大的与指定对齐值较小的一个;
下面举两个简单的例子(32位系统):
typedef struct _st_struct1 typedef struct _st_struct2
{ {
char a; short b;
short b; int c;
int c; char a;
}st_struct1; }st_struct2;
这两个结构体内部的数据类型是相同的,那是不是也意味着这两个结构体所占用的存储空间也是相同的呢?答案是不同的。
我们先运用上面讲解的流程来对这两个结构体分别进行对齐。首先将确定自身对齐值以及指定对齐值:
- 自身对齐值:char 1byte、short 2bytes、int 4bytes
- 指定对齐值:4bytes(指定为32位系统)
下面对结构体st_struct1进行对齐:
下面对结构体st_struct2进行对齐:
可见虽然含有的数据类型相同,但是结构体st_struct1和结构体st_struct2所占用的存储空间却不同。
以上就是结构体对齐的简单举例。
另外需要注意的是,Windows操作系统与Linux操作系统关于结构体对齐会有一点差别,Windows操作系统中在结构体对齐的第二步也就是整个结构体圆整时,所用的是成员自身对齐值中最大的那一个。这个小的差别是在牛客网上做笔试题时发现的。
//32位机器上定义如下结构体:
struct xx
{
long long _x1;
char _x2;
int _x3;
char _x4[2];
static int _x5;
//注:_x5为静态变量,程序未编译时就存在,其存储在代码数据段中的bss区中
};
int xx::_x5;
//请问sizeof(xx)的大小是()
A、19 B、20 C、15 D、24
按照前面所讲的,并且在Linux下编译通过后,得到的结果是20(4字节对齐)。同样也在Windows下编译通过后,得到的结果是24(8字节对齐)。