结构体字节对齐的原则

在C语言中，结构体字节对齐是按照编译器的特定规定来执行的，目的是提高内存访问效率。其原则包括：

1. **最小对齐**: 数据类型会尽可能地按其自身的大小对齐，比如char通常是1字节，int通常是4字节。

2. **最大对齐**: 如果一个字段大于当前对齐限制，它会被对齐到下一个更大的边界，如如果一个int需要对齐到4字节，那么即使是16字节的long也会被对齐到4字节。

3. **平台依赖**: 字节对齐取决于目标平台，不同体系结构可能有不同的对齐要求。例如，x86架构通常对齐到4字节，而某些嵌入式系统可能只对齐到1字节。

对于例题1，尽管char只有1字节，由于int需对齐到4字节，所以即使char后面有3个空位，整个struct STUDENT也需要占用8字节（因为最后一个int的位置是在第4个字节之后，正好是对齐的）。

对于例题2，两个char紧邻在一起，它们本身不需要额外对齐，但由于随后的int需要对齐，结果整个struct STUDENT也是占8字节，其中b后的3个字节为空。

要演示这一点，你可以尝试编写代码并查看实际的内存布局。然而，这超出了本平台的直接支持范围。在大多数现代IDE或编译器中，可以通过生成汇编代码或使用调试工具观察结构体的实际内存布局。请注意，实际操作可能需要特定的环境配置[^1]。