C语言中结构体中包含字符数组，内存对齐问题

Question

定义了结构体类型Student，具体如下:

struct Student {
    int num;//0
    char name[8];
    double score;
} stu;
printf("%d\n", sizeof(stu));  //输出24，这个没有疑问
printf("%d\n", offsetof(student, name));  //输出偏移量为4
printf("%d", offsetof(student, score));     //输出偏移量为16

  不理解的是：为什么成员name数组的偏移量为4，根据规则对齐数为成员自身大小与默认对齐数的最小值的整数倍，所以name数组的偏移量不是应该为8吗？
  例如下面的例子：

struct Test {
    int x;
    double y;
} t1;
printf("%d\n", sizeof(t1));//输出16
printf("%d\n", offsetof(Test, y));  //输出8

这个例子中，double类型的成员y的偏移量就为8，而如果把y换成同样长度为8字节的字符数组，偏移量又变为4了，这是为什么呢？

Answer 1

在结构体中，成员的内存布局是需要考虑内存对齐的。
内存对齐是指在内存中，为了让数据读写更快，成员在内存中的布局需要满足某些特定的对齐规则。
通常，一个成员的对齐数等于它的大小，或者是默认对齐数的整数倍。

    在上面的代码中，结构体student中的成员num的大小为4个字节，因此其对齐数为4。

而默认对齐数通常是4或8，因此结构体student的对齐数为4。
在结构体student中，成员name是一个字符数组，大小为8个字节，
因此它的对齐数为4（与默认对齐数相同）。因此，成员name的偏移量为4。

    同样地，成员score是一个double类型，大小为8个字节，

因此它的对齐数为8（大于默认对齐数）。因此，成员score的偏移量为16，以便它与其他数据对齐。

  可以看出，为了满足内存对齐，结构体中的某些成员的偏移量可能比它们的大小更大。

在这种情况下，在结构体的布局中会有一些“空隙”，以满足对齐要求。