应使用标准宏offsetof计算struct成员偏移，它返回编译期常量且反映实际布局；手动计算易错，尤其在混用double、指针或alignas时，因不同编译器和架构对齐规则不一致。
struct成员偏移怎么算？用offsetof别手算
手算偏移容易错，尤其当结构体里混着double、long long、指针或alignas修饰成员时。不同编译器（GCC/MSVC）、不同架构（x86_64 vs ARM64）对“默认对齐数”的定义可能不一致——比如double在某些ARM配置下对齐要求是4而非8。
真正可靠的方式是用标准宏offsetof：
#include <cstddef>
struct S { char a; int b; double c; };
static_assert(offsetof(S, a) == 0);
static_assert(offsetof(S, b) == 4); // 不是1！因为int要4字节对齐
static_assert(offsetof(S, c) == 8); // 不是8？等等，得实测——它依赖当前最大对齐值
</cstddef>
-
offsetof返回的是编译期常量，可直接用于static_assert做断言 - 它不依赖你“以为”的对齐规则，只反映当前编译器+平台的实际布局
- 若结构体含位域、虚函数或非POD类型，
offsetof行为未定义，慎用
sizeof(struct)为什么比成员加起来大？末尾填充必须存在
结构体总大小不是各成员sizeof之和，而是满足两个条件后的结果：每个成员按自身对齐要求放置 + 整体大小必须是最大成员对齐值的整数倍。这个“整数倍”要求强制在末尾补填充（trailing padding）。
例如：
struct X { char a; int b; }; // sizeof(X) == 8（x86_64 GCC）
// 布局：a@0, pad@1~3, b@4~7 → 当前已用8字节，max_align = alignof(int) = 4 → 8 % 4 == 0，OK
但换成：
struct Y { char a; double b; }; // sizeof(Y) == 16（x86_64 GCC）
// a@0, pad@1~7, b@8~15 → 已用16字节，max_align = alignof(double) = 8 → 16 % 8 == 0，OK
- 末尾填充不是“浪费”，而是为
struct Y arr[2]中arr[1]的首地址仍满足alignof(double)所必需 - ARM等严格对齐架构上，若跳过末尾填充，访问
arr[1].b会触发硬件异常 -
memset(&s, 0, sizeof(s))安全；但memset(&s, 0, offsetof(T, last)+sizeof(last))会漏掉末尾填充，导致memcmp比较失败
怎么控制对齐？优先用alignas，慎用#pragma pack
#pragma pack(n)能强制压缩结构体，但它破坏自然对齐——可能导致性能下降甚至运行时崩溃（尤其在ARM或启用-mstrict-align时）。而alignas是C++11标准特性，显式提升对齐要求，不影响其他成员布局逻辑。
struct alignas(16) Vec4 { float x,y,z,w; }; // 强制16字节对齐，方便SSE指令
static_assert(alignof(Vec4) == 16);
-
alignas值必须是2的幂，且不能小于该类型自然对齐（如alignas(2) double非法） -
#pragma pack(1)虽能去掉所有填充，但会让int成员落在奇地址，x86可能容忍，ARM直接报错 - 跨平台代码中，避免
#pragma pack；序列化场景可用alignas+固定布局+static_assert(sizeof(T) == N)双重保障
成员顺序真的影响sizeof？重排能省空间但有边界
把大成员放前面、小成员放后面，通常能减少内部填充。但重排无法消除末尾填充，也不能绕过最大对齐约束。
struct Bad { char a; int b; char c; }; // sizeof == 12（x86_64）
struct Good { int b; char a; char c; }; // sizeof == 8（a和c共享同一cache line，无内部填充）
- 重排后
Good节省4字节，但它的alignof仍是4，数组Good[2]总长仍是16字节 - 若结构体含
double（对齐8），即使你把char全堆前面，末尾仍可能补到16字节 - 成员重排可能破坏ABI兼容性（如DLL导出结构体），生产环境改前务必检查二进制接口
offsetof，但决定数组能否安全索引、内存映射是否越界、序列化字节流是否可逆。验证时别只看单个对象sizeof，一定要测sizeof(T[2]) / 2是否等于sizeof(T)。C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
