offsetof宏是获取标准布局类型成员偏移的唯一标准且安全方式，需包含、确保类型满足标准布局要求、不可用于位域或虚继承类型。
用 offsetof 宏是最直接的方式
标准 C++ 提供了 offsetof 宏（定义在 <cstddef></cstddef> 中），它专为获取结构体/类中非静态数据成员的字节偏移量而设计。只要类型是标准布局（standard-layout），结果就是可靠且可移植的。
常见错误是把它用在非标准布局类型上，比如含虚函数、多重继承、或非公有非静态成员的类——此时行为未定义，编译器可能不报错但结果不可信。
- 必须包含
#include <cstddef></cstddef> - 目标类型需满足标准布局：所有非静态成员同为公有、无虚函数/虚基类、基类也必须是标准布局
-
offsetof返回的是std::size_t，不是int或ptrdiff_t，别直接和指针算术混用 - 不能用于位域（bit-field）成员——标准明确禁止，GCC/Clang 会报错
#include <cstddef>
struct S { int a; char b; double c; };
static_assert(std::is_standard_layout_v<s>);
constexpr std::size_t off_b = offsetof(S, b); // 结果通常是 4（假设 4 字节对齐）
</s></cstddef>
为什么不能用取地址减法模拟 offsetof
有人会写 (char*)&((S*)nullptr->b) - (char*)nullptr 来“手动算偏移”，这在绝大多数编译器上看似能跑，但属于未定义行为（UB）。C++ 标准禁止对空指针解引用，哪怕只是取地址；优化器可能直接删掉整条表达式，或在调试/发布模式下给出不同结果。
- Clang 在
-fsanitize=undefined下会立即报null pointer dereference - 即使没崩溃，这种写法在 constexpr 上下文中完全不合法（C++20 起
constexpr函数禁止空指针解引用） - 某些嵌入式平台或严格模式编译器（如 IAR、ARM Compiler）会直接拒绝编译
offsetof 在模板元编程中的安全用法
想在编译期拿到偏移并参与计算？可以，但得小心类型约束。直接把 offsetof 放进 constexpr 函数没问题，前提是传入的类型在调用点已确定为标准布局。
- 用
static_assert(std::is_standard_layout_v<t>)</t>主动拦截非法类型，比让编译器静默 UB 更可靠 - 避免在模板参数推导中隐式依赖
offsetof：比如template<auto off> struct X {};</auto>传offsetof(T, m)可能因类型未实例化失败 - 注意：
offsetof不是常量表达式关键字，但它的展开结果在满足条件下是字面值常量（literal constant），可用于数组大小、switch分支等
template<typename t typename m>
constexpr std::size_t member_offset() {
static_assert(std::is_standard_layout_v<t>, "T must be standard-layout");
return offsetof(T, M);
}
// 使用：member_offset<mystruct decltype>();
</mystruct></t></typename>
结构体有继承时的偏移计算要格外小心
单继承下，若基类是标准布局，派生类也满足标准布局条件（比如公有继承、无虚函数），那么 offsetof 仍可用。但一旦出现虚继承，整个类型就不再是标准布局，offsetof 失效。
- 虚基类的偏移在运行时才确定，不可能在编译期用
offsetof得到 - 多重继承中，若多个基类含同名成员，
offsetof必须指定完整作用域（如offsetof(Derived, Base1::x)），否则编译失败 - 建议用
static_assert(std::is_standard_layout_v<t>)</t>把检查写死在代码里，而不是靠文档提醒“请确保是标准布局”
实际项目里最容易被忽略的是：标准布局判定不是看有没有继承，而是看内存布局是否与 C 兼容。哪怕一个结构体只有一层公有继承，只要基类有非公有成员，它就不是标准布局，offsetof 就不该用。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
