考虑一个结构体
struct S{
char a;
int b;
char c;
}s;
编译器按照成员列表的顺序一个个给成员分配内存,同时内存还需要满足边界对齐的要求,边界的大小就是占用内存最大的成员的大小,在这个例子中,是int类型的b,大小为4字节。所以该结构体的边界对齐要求为4字节。
- 编译器首先给a分配一个字节的内存
- 接着由于b需要占用4个字节内存,所以分配另外3个字节的内存来满足对齐的要求,这三个字节的内存只起填充作用
- 为b分配4个字节的内存
- 最后为c分配一个字节内存,再分配额外3个字节满足对齐。
(绿色表示填充的内存)
很明显,造成了6个字节的内存浪费,合理的结构体定义应该先定义内存较大的成员:
struct S{
int b;
char a;
char c;
}s;
- 编译器首先给b分配四个字节的内存
- 接着为a分配一个字节内存
- 由于c只占一个字节,所以给c分配一个字节内存
- 最后为满足对齐,分配两个字节内存作为填充
这样的结构体只占用了8个字节的内存。