offsetof 可安全获取标准布局类型成员偏移，sizeof 返回含尾部填充的总大小；需用 reinterpret_cast<char*> 或 std::bit_cast 验证实际内存布局，注意对齐、字节序及 padding 安全性。
用 offsetof 和 sizeof 验证成员偏移与整体大小
C++ 标准不保证对象内存布局完全可预测，但对标准布局类型（POD 的子集），可以安全使用 offsetof 获取非静态数据成员的字节偏移。注意：offsetof 只能用于标准布局类，且不能用于引用、非公共/非静态成员或含虚函数/虚基类的类型。
- 确保类满足标准布局要求：所有非静态成员同为 public / private / protected；无虚函数；无虚基类；所有基类也是标准布局；首个非静态成员类型不能是该类本身（避免递归）
-
offsetof(MyClass, member)返回的是从对象起始地址到该成员首字节的字节距离，结果是size_t - 配合
sizeof(MyClass)可确认总大小，但要注意末尾可能有尾部填充（padding），sizeof包含它，而offsetof不体现
struct S {
char a;
int b;
short c;
};
// 假设 int 为 4 字节、对齐要求为 4
// offsetof(S, a) == 0
// offsetof(S, b) == 4 （a 后补 3 字节 padding）
// offsetof(S, c) == 8 （b 占 4 字节，c 对齐到 2 字节边界，无需额外 pad）
// sizeof(S) == 12 （c 后可能补 2 字节使总大小满足最大对齐要求）
用 reinterpret_cast<char*> 打印原始字节验证实际布局
编译器生成的实际布局，可能和理论推算有出入（尤其涉及位域、空基类优化、对齐属性等）。最直接的方式是把对象地址 reinterpret 成 char*，逐字节读取并打印。
- 必须确保对象生命周期有效、未被优化掉（例如加
volatile或用asm volatile("" ::: "memory")阻止重排序） - 注意平台字节序：多字节成员（如
int）在内存中是小端还是大端，会影响字节顺序解读 - 推荐用
std::memcpy拷贝到std::array<unsigned char, sizeof(T)>再打印，避免直接访问未定义行为的 padding 字节（虽然读取 padding 通常安全，但写入不行）
S s{.a = 0x01, .b = 0x02030405, .c = 0x0607};
auto bytes = std::bit_cast<std::array<unsigned char, sizeof(S)>>(s);
for (size_t i = 0; i < bytes.size(); ++i) {
printf("%02x ", bytes[i]);
}
// 输出类似：01 00 00 00 05 04 03 02 07 06 00 00 （小端 x86_64）
遇到 static_assert(!std::is_standard_layout_v<T>) 怎么办
如果类含虚函数、虚继承、非公有非静态成员、或成员类型本身不是标准布局，offsetof 行为未定义，编译器可能静默接受但结果不可靠。
- 改用
std::is_trivially_copyable_v<T>判断能否安全 memcpy；若为 true，至少可做字节级观察，但成员偏移仍不保证 - 若需精确控制布局（如对接 C ABI 或硬件寄存器），显式添加
[[no_unique_address]]（C++20）、alignas、或用#pragma pack（MSVC/GCC）强制对齐——但后者是非标准扩展，跨平台时需谨慎 - 空基类优化（EBO）会让空基类不占空间，此时
offsetof对基类成员无效；应改用static_cast到基类指针再减法计算（前提是标准布局）
为什么 sizeof 和手动累加成员大小不一致
因为结构体内存布局受对齐约束驱动，不是简单拼接。每个成员有自身对齐要求（alignof(T)），编译器会在前一成员后插入 padding，使下一成员地址满足其对齐要求；整个结构体的 sizeof 还要满足其自身对齐要求（即最大成员对齐值），因此末尾也可能补 padding。
立即学习“C++免费学习笔记（深入）”；
- 查看各成员对齐：用
alignof(member_type)或alignof(decltype(obj.member)) - 编译器通常提供调试信息辅助分析：GCC/Clang 加
-fdump-lang-class或-grecord-gcc-switches，配合readelf -wi或llvm-dwarfdump查 DWARF 结构描述 - 实际开发中，别依赖手算；用
offsetof+sizeof+ 字节 dump 三者交叉验证，比纯推理更可靠
真实项目里最容易被忽略的是：即使类满足标准布局，不同编译器或同一编译器不同优化级别下，padding 策略可能变化；而一旦用了 [[maybe_unused]]、[[no_unique_address]] 或位域，布局就彻底脱离直觉。动手前先确认 std::is_standard_layout_v<T> 和 std::has_unique_object_representations_v<T>。
