考虑一个结构体

struct S{
char a;
int b;
char c;
}s;

编译器按照成员列表的顺序一个个给成员分配内存,同时内存还需要满足边界对齐的要求,边界的大小就是占用内存最大的成员的大小,在这个例子中,是int类型的b,大小为4字节。所以该结构体的边界对齐要求为4字节。


  • 编译器首先给a分配一个字节的内存
  • 接着由于b需要占用4个字节内存,所以分配另外3个字节的内存来满足对齐的要求,这三个字节的内存只起填充作用
  • 为b分配4个字节的内存
  • 最后为c分配一个字节内存,再分配额外3个字节满足对齐。
    c语言结构体的内存分布_结构体
    (绿色表示填充的内存)
    很明显,造成了6个字节的内存浪费,合理的结构体定义应该先定义内存较大的成员:

struct S{
int b;
char a;
char c;
}s;

  • 编译器首先给b分配四个字节的内存
  • 接着为a分配一个字节内存
  • 由于c只占一个字节,所以给c分配一个字节内存
  • 最后为满足对齐,分配两个字节内存作为填充
    c语言结构体的内存分布_c_02

这样的结构体只占用了8个字节的内存。