[c/c++] 结构体对齐

在 c 语言中，结构体的大小并不是结构体每个成员的大小之和，结构体的大小往往比结构体的成员大小之和要大。如下结构体，每个成员的大小分别是 1、4、1，但是结构体的大小却不是 6，而是 12。

struct Test {

  char a;

  int b;

  char c;

};

自然对齐：

如果一个数据的内存地址正好是这个数据大小的整数倍，那么说这个数据是自然对齐的。比在 64 位机器上，一个 int 类型的数据地址是 4 的整数倍，一个 long 类型的数据地址是 8 的整数倍，那么说这两个数据是自然对齐的。

有些处理器要求访问的数据是自然对齐的。gcc 编译器编译之后，默认情况下数据也是对齐的。

（1）数组

按照数组元素自然对齐，而不是按照数组整体的大小进行对齐

（2）union

长度最大的元素对齐

（3）结构体

结构体中每个元素对齐即可，结构体有填补机制。

本文主要讨论结构体中的对齐。

1 结构体对齐

（1）结构体中每个成员都是自然对齐的

（2）结构体最后存在补偿，以结构体对齐的长度进行补偿

（3）结构体中如果有结构体成员，那么并不是以结构体成员的长度进行对齐的，而是结构体成员里边的最大的成员进行对齐的，最终还是以最长的基本数据类型对齐的

（4）结构体中包含数组，并不是以数组的整体大小进行对齐的，而是以数组的元素进行对齐的

#include <stdlib.h>
#include <stdio.h>
#include <string.h>

struct A {
  char a; // 1 --> 8, 后边的 b 是 long 类型，8 个字节，所以 a 后边空出了 7 个字节没用
  long b; // 8
  int  c; // 4
  char d; // 1 --> 4，结构体是 8 字节对齐的，后边要补偿 3 字节
}; // 24

struct B {
  char a; // 1 --> 4 // 后边 b 是 int 类型的，b 要求其，a 后边空出 3 个字节
  int b; // 4
  char c; // 1 --> 4 // 结构体是 4 字节对其的，所以 c 后边补偿 3 个字节
}; // 12

struct C {
  char a; // 1 --> 8
  struct A b; // 24
  char c; // 8
}; // 40

struct D {
  char a; // 1 --> 4
  struct B b; // 12
  char c; // 1 --> 4, 结构体里边包括另一个结构体，大小为 12，但是 struct D 并不是按照 12 对齐的，仍然是按照基本数据类型的最大值进行对齐的
}; // 20

struct E {
  char a; // 1
  char b[13]; // 13，数组不是以数组整体的大小对齐的，而是以数据的元素进行对齐的
  char c; // 1
}; // 15

union F { // union 不同的成员共享一块内存地址，以最长的成员进行对齐
  char a; // 1
  long b; // 8
  int c; // 4
}; // 8

union G {
  char a; // 1
  struct A b; // 24
}; // 24

struct H {
  long a; // 8
  char b; // 1 --> 8
  union F c; // 8
}; // 24

int main() {
  printf("sizeof(struct A) = %lu\n", sizeof(struct A));
  printf("sizeof(struct B) = %lu\n", sizeof(struct B));
  printf("sizeof(struct C) = %lu\n", sizeof(struct C));
  printf("sizeof(struct D) = %lu\n", sizeof(struct D));
  printf("sizeof(struct E) = %lu\n", sizeof(struct E));
  printf("sizeof(union F) = %lu\n", sizeof(union F));
  printf("sizeof(union G) = %lu\n", sizeof(union G));
  printf("sizeof(struct H) = %lu\n", sizeof(struct H));
  return 0;
}

运行结果如下：

2 函数中的形参和局部变量

如下代码中，test 函数中的入参和局部变量，也是自然对齐的。

#include <stdlib.h>
#include <stdio.h>
#include <string.h>


void test(char a, long b, int c) {
  long la = 100;
  char lb = 'a';
  int lc = 200;
  printf("&a = %p, &b = %p, &c = %p\n", &a, &b, &c);
  printf("&la = %p, &lb = %p, &lc = %p\n", &la, &lb, &lc);
}

int main() {
  test(10, 20, 30);
  return 0;
}

运行结果如下，从地址来看，为了节省空间，编译器还对入参和局部变量进行了重新排序。入参在内存中的地址并不是完全按照 a、b、c 的正序或者反序进行排列的，而是按照 b、c、a 的顺序进行排列的；局部变量也存在这样的规律。

结构体中的变量，编译器并不会进行重新排序，这是 ANSI C 中明确规定的，不允许编译器改变结构体成员的次序。

运行结果如下：