本文共 1218 字，大约阅读时间需要 4 分钟。

C语言中的结构体内存对齐问题是许多开发者在日常编程中会遇到的一个常见问题。特别是在结构体的第一个字段是字符类型(char)时，如果紧跟着的是其他类型（如整型int、长整型long、双精度double或浮点型float），结构体的大小会发生变化。以下是一个示例：

#include 
   
    
struct person {
    char sex;
    int age;
    char name[8];
};
int main() {
    printf("sizeof(person) = %d\n", sizeof(struct person));
    return 0;
}
   

在上述代码中，结构体person包含三个字段：char类型的sex、int类型的age以及char数组类型的name。从直觉上讲，结构体的大小应该是1字节（char）+4字节（int）+8字节（char[8]）=13字节。然而，当我们将代码编译并运行时，实际输出的结果却是16字节。这种现象的原因在于C语言对结构体字段的内存对齐进行了优化。

在C语言中，结构体的内存布局需要满足机器的字节对齐要求，这意味着字段的起始位置必须是字节的倍数（即对齐到字节的边界）。如果结构体的第一个字段是char类型，而后面跟着的是一个int类型的字段，那么为了确保int字段的起始位置对齐到字节边界，char字段实际会占用4个字节，而不是预期的1个字节。这种现象在Linux系统下可以通过在结构体声明时添加特定的属性来解决。

例如，可以在结构体定义前添加__attribute__((__packed__))，这样可以禁用内存对齐，确保每个字段占用的字节数正好等于字段所占的空间。修改后的代码如下：

#include 
   
    
__attribute__((__packed__))
struct person {
    char sex;
    int age;
    char name[8];
};
int main() {
    printf("sizeof(person) = %d\n", sizeof(struct person));
    return 0;
}
   

在这种情况下，编译并运行代码后，输出的结果会是13字节，正好符合我们的预期。除了__attribute__((__packed__))，还有一种方法可以通过指定字段对齐大小为1来实现同样的效果。例如，可以在int字段前添加#pragma pack(1)，这样可以确保int字段对齐到1字节的边界，从而避免内存浪费。

需要注意的是，这两种方法在Linux系统下是可行的，但在Windows系统下可能会导致编译错误。因此，在跨平台开发时，需要特别注意这一点。

通过以上方法，我们可以更好地控制结构体的内存布局，避免内存浪费，同时提高代码的兼容性和效率。

转载地址：http://bthy.baihongyu.com/