std::is_layout_compatible 是 C++20 引入的编译期类型特征，用于判断两个标准布局类是否内存布局完全一致（成员顺序、类型、对齐、偏移、填充均相同，且无虚函数、位域、访问控制差异），是 reinterpret_cast 或 memcpy 安全互转的必要前提。
std::is_layout_compatible 是什么，它能验证什么
std::is_layout_compatible 是 C++20 引入的类型特性，用于判断两个类（或结构体）是否具有「布局兼容性」——即它们在内存中的字节排列方式完全一致，且满足严格条件：相同非静态数据成员顺序、类型、对齐、填充，且都为标准布局类型（standard-layout），且无虚函数、无虚基类、所有非静态成员访问控制一致。
它不能验证逻辑等价性，也不能替代 std::is_same 或 std::is_trivially_copyable。它只回答一个问题：能否安全地用 reinterpret_cast 或 memcpy 在两者间交换二进制表示而不引发未定义行为。
常见误用场景包括：拿带虚函数的类去测、比较 public/private 成员混排的 struct、或忽略对齐差异。
必须满足的前置条件，否则结果无意义
std::is_layout_compatible 的模板参数 T 和 U 必须同时满足：
- 都是标准布局类型（
std::is_standard_layout_v<t> && std::is_standard_layout_v<u></u></t> 为 true）
- 都无虚函数、无虚基类
- 所有非静态数据成员声明顺序完全一致
- 对应成员类型本身也 layout-compatible（递归要求）
- 对应成员访问控制（public/protected/private）必须相同；哪怕只是顺序一致但一处是
public、另一处是 private，结果就是 false
std::is_standard_layout_v<t> && std::is_standard_layout_v<u></u></t> 为 true）public、另一处是 private，结果就是 false例如以下两个 struct 看似一样，但因访问控制不同，std::is_layout_compatible_v<a b></a> 返回 false：
struct A { int x; float y; };
struct B { public: int x; float y; };
因为 A 默认是 private，而 B 显式 public，成员访问级别不匹配。
实际验证时怎么写，常见错误写法
直接使用 std::is_layout_compatible_v<t u></t> 即可，但它在编译期求值，无法运行时调用。典型用法是配合 static_assert 或 SFINAE 约束模板。
正确写法示例：
struct Point2D { float x, y; };
struct Vec2 { float x, y; };
static_assert(std::is_layout_compatible_v<point2d vec2>, "must be layout-compatible");</point2d>
容易踩的坑：
- 忘记检查
std::is_standard_layout_v—— 若任一类型不满足，std::is_layout_compatible仍可能返回 false，但原因不是布局差异，而是前提不成立 - 用在有 bit-field 的结构上：bit-field 布局高度实现相关，几乎必然不兼容
- 跨平台验证失效：即使代码中两个 struct 完全一样，若编译器对齐策略不同（如
alignas(16)在某些平台被忽略），实际二进制布局仍可能不同 - 误以为能用于 union 切换：它只保证布局一致，不保证 reinterpret_cast 后读取语义合法（需额外满足 strict aliasing 规则）
它和 memcpy / reinterpret_cast 的关系到底是什么
std::is_layout_compatible 是 memcpy 或 reinterpret_cast 安全的前提，但不是充分条件。
比如：
- 若
std::is_layout_compatible_v<a b></a>为 true，则memcpy(&b, &a, sizeof(A))将A对象二进制复制到B对象是定义良好的（假设B已构造） - 但
reinterpret_cast<b>(a)</b>仍然违反 strict aliasing，除非B是A的「可别名类型」（如 char 类型） - 真正安全的 reinterpret_cast 场景极少，更推荐用
std::bit_cast（C++20），它要求源目标类型 trivially copyable 且 size 相同——而 layout-compatible 比它更严，还要求成员结构一致
所以别把它当成“可以随便 cast”的许可证。它只说明内存排布没坑，不等于语义可互换。字段顺序对了，不代表 float 字段在 A 里是坐标，在 B 里就自动变成速度向量。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
