在C++中，结构体（struct）的大小并不总是等于各个成员变量大小的直接相加。编译器为了提高内存访问效率，会对结构体成员进行内存对齐，这导致实际占用字节数往往比直觉估算的更大。要准确计算一个结构体的大小，必须理解对齐规则以及编译器补全 padding 的逻辑。
一、什么是内存对齐
内存对齐是指编译器在安排数据结构成员地址时，让成员的起始地址相对于结构体起始地址的偏移量满足一定的倍数要求。这个倍数通常等于该成员类型的大小或编译器指定的对齐系数中的较小值。现代CPU在读取未对齐的数据时可能需要多次内存访问，甚至在某些架构上会直接触发硬件异常，因此对齐能显著提升存取速度。
除了成员自身的对齐，结构体整体也会按照其“对齐值”进行补齐。结构体的对齐值一般取所有成员中最大对齐值，或者受编译指令约束的值。最终 sizeof 返回的结果是补齐后的总字节数，这样在定义结构体数组时，每个元素依然能满足对齐约束。
二、默认对齐规则详解
在没有任何特殊编译指令的情况下，C++结构体的布局遵循三条核心规则。第一，第一个成员位于偏移量0处；第二，每个后续成员存放在“最小整数倍的对齐边界”上，该边界由成员自身大小与默认对齐系数（常见为8或4）的较小值决定；第三，结构体总大小为最大成员对齐值的整数倍。
我们来看一个基础示例，通过手动推算验证规则。假设在64位Linux下默认对齐系数为8：
#include <iostream>
using namespace std;
struct Example {
char a; // 大小1，对齐值1，偏移0
int b; // 大小4，对齐值4，偏移需为4的倍数，故偏移4（中间补3字节）
double c; // 大小8，对齐值8，偏移需为8的倍数，故偏移8
};
int main() {
// a占1字节，padding 3字节，b占4字节，c占8字节
// 当前用到偏移0~15共16字节，最大对齐值8，16是8的倍数
cout << sizeof(Example) << endl; // 输出16
return 0;
}
在上面代码中，char a 之后编译器插入了3个填充字节，使 int b 能从偏移4开始。double c 本来紧接着b结束的偏移8，刚好满足8倍数，无需额外填充。总大小16已经是最大对齐值8的整数倍，所以不再补尾。
如果调换成员顺序，结果会不同。例如把 double c 放在最前面，char a 和 int b 放在后面，由于 double 对齐值8且首偏移0，后续 char 偏移8、int 偏移12，总用到16字节，大小仍为16；但若将 char a 单独放最后，可能仅需补到8倍数，具体需按规则逐步推算。
三、使用对齐指令控制布局
有时为了节省空间或与外部协议匹配，我们需要改变对齐方式。C++提供了 #pragma pack(n) 以及 C++11 的 alignas / alignof 来干预对齐。#pragma pack 能强制将对齐系数改为 n（如1、2、4），n 越小空间越紧凑但可能牺牲访问性能。
以下示例展示 pack(1) 的效果，即取消对齐填充：
#include <iostream>
using namespace std;
#pragma pack(1)
struct Packed {
char a; // 偏移0，占1
int b; // 偏移1，占4（无填充）
double c; // 偏移5，占8
};
#pragma pack()
int main() {
// 1 + 4 + 8 = 13，最大成员对齐值被pack降为1，总大小13
cout << sizeof(Packed) << endl; // 输出13
return 0;
}
当使用 #pragma pack(1) 时，所有成员紧挨着存放，结构体总大小就是成员大小之和。这种方式在网络传输、文件格式解析中很常见，因为接收端通常按字节流还原，不需要对齐。但要注意，某些硬件平台访问未对齐的 int 或 double 会变慢甚至崩溃，因此跨平台代码需谨慎。
除了 pack，C++11 的 alignas 可以提升某个类型或变量的对齐值，例如 alignas(16) struct S 会让 S 至少16字节对齐；alignof 则用于查询类型的对齐值。它们比 pragma 更细粒度且具可移植性。
四、手动计算结构体大小的步骤总结
要在笔试或调试中快速算出结构体尺寸，可以遵循固定流程。先列出成员类型及大小，确定默认对齐系数；再从偏移0开始，为每个成员找“当前偏移向上取整到其对齐值”的位置，并记录已用空间；最后将已用空间向上取整到结构体对齐值（最大成员对齐值与pack值较小者）。
用一个稍复杂的例子巩固：
#include <iostream>
using namespace std;
struct Mixed {
short s; // 大小2，对齐2，偏移0
char c; // 大小1，对齐1，偏移2
int i; // 大小4，对齐4，偏移需4，故偏移4（c后补1）
double d; // 大小8，对齐8，偏移8
};
int main() {
// 用到偏移0~15，共16字节，是8倍数
cout << sizeof(Mixed) << endl; // 输出16
return 0;
}
上述结构体里，short 和 char 共占3字节，为满足 int 的4字节对齐，在 char 后补1字节，使 int 从偏移4开始；double 从偏移8开始自然满足。总大小16。通过反复练习这类推算，你就能在看到结构体定义时迅速心算出 sizeof 结果，也能主动优化成员顺序来降低内存开销。
五、常见误区与注意事项
一个常见误解是认为空结构体大小为0。实际上，C++规定空类或空结构体大小至少为1，以便保证不同对象有唯一地址。另外，包含静态成员的结构体，静态变量不计入 sizeof，因为它存放在全局数据区而非对象实例中。
还有人忽略位域（bit-field）的特殊性。位域成员按位分配，编译器可能将其压缩在同一字节，但其对齐规则与普通成员不同，且不同编译器实现差异较大。若需精确控制，应结合 offsetof 宏在目标平台实测，而非仅依赖理论推算。
#include <iostream>
#include <cstddef>
using namespace std;
struct WithStatic {
int x;
static int y; // 不占对象空间
};
int main() {
cout << sizeof(WithStatic) << endl; // 输出4
cout << offsetof(WithStatic, x) << endl; // 输出0
return 0;
}
最后提醒，在涉及跨模块或跨语言交互时，务必统一对齐约定。比如用 C++ 结构体接收来自 ipipp.com 接口定义的二进制包，若对方按1字节对齐而本地未 pack，就会解析错位。明确对齐原则，才能写出健壮且高效的数据层代码。