C++ sizeof 深入解析：结构体与内存对齐

"深入理解C++中的sizeof操作符及其在处理结构体时的内存对齐机制" 在C++编程中，`sizeof`是一个非常重要的运算符，用于返回一个类型或者表达式所占据的内存字节数。对于基本数据类型，如int、char、float等，`sizeof`的结果是固定的，与编译器和平台有关。然而，当`sizeof`应用于构造类型，如结构体、联合体和类时，情况会变得复杂，主要涉及到内存对齐的问题。 1. 内存对齐原理 内存对齐是为了优化数据访问效率，确保CPU可以高效地读取内存中的数据。遵循以下原则： - 结构体变量的首地址应能被其最宽基本成员类型大小整除。 - 每个成员相对于结构体首地址的偏移量都是其自身大小的整数倍，不足时会添加填充字节。 - 结构体的总大小是其最宽基本成员类型大小的整数倍，末尾可能添加填充字节以满足这一条件。 举个例子，考虑以下结构体`S1`： ```cpp struct S1 { char c; int i; }; ``` 由于`int`通常为4字节，且内存对齐规则要求结构体的起始地址和每个成员的地址都应该是4的倍数，所以在`char`和`int`之间会填充3个字节，使得`int`的地址为4的倍数。所以`sizeof(S1)`等于8字节，而不是5字节。 2. 嵌套结构体和内存对齐 对于嵌套结构体，内存对齐规则同样适用。以`S2`为例： ```cpp struct S2 { char c1; S1 s; char c2; }; ``` 在这里，`S2`的最宽基本类型是`int`，所以按照4字节对齐。`S1`内部已经进行了对齐，因此`S1`后的`char c2`也需要按照4字节对齐，所以会在`S1`和`c2`之间填充3个字节。这样`sizeof(S2)`就是16字节。 3. `offsetof`宏 `offsetof`宏用于获取结构体中成员相对于结构体首地址的偏移量，定义在`<stddef.h>`头文件中。例如： ```cpp size_t pos = offsetof(S1, i); // pos等于4 ``` 4. 修改对齐方式 C++提供了一种方式通过`#pragma pack`来改变默认的内存对齐规则。`#pragma pack(n)`可以设置n字节对齐，n的值可以是1、2、4、8、16。这将影响结构体成员的偏移量和结构体的总大小。例如： ```cpp #pragma pack(push, 1) // 临时设置为1字节对齐 struct S3 { char c; int i; }; #pragma pack(pop) // 恢复之前的对齐设置 ``` 在`S3`中，`int i`的地址将是`char c`地址加1，`sizeof(S3)`可能变为5字节，因为没有了额外的填充。 总结来说，`sizeof`在处理结构体时要考虑内存对齐的影响，这不仅关乎到存储空间的使用，更关乎程序执行的效率。了解内存对齐的规则和如何调整对齐方式，对于编写高效且跨平台的C++代码至关重要。