C++20中是否允许在无关联的标准布局类型之间使用reinterpret_cast？

嘿，这个问题问到点子上了——C20里能不能在无关联的标准布局类型之间用reinterpret_cast？咱们得把“语法允许”和“行为合法”分开说，毕竟C里很多操作语法上能过，但跑起来可能是未定义行为。

先从你给出的代码聊起：你定义了继承关系的struct A和struct B，还通过static_assert确认了它们都是标准布局类型。不过咱们要聚焦的是无关联的标准布局类型——也就是完全没有继承、成员重叠这类亲缘关系的类型，比如另一个struct C { float val; }和struct D { int num; }这种。

核心结论先摆出来： #

• 语法上，C++20允许你在无关联的标准布局类型的指针/引用之间做reinterpret_cast转换；
• 但转换之后，如果你尝试访问目标类型的成员，除非两个类型满足布局兼容的严格条件（比如成员序列完全一致、类型完全匹配），否则行为是未定义的——C++20并没有改变这个核心规则。

再拆开来细说： #

1. reinterpret_cast的本质：它本身是一个编译期的类型转换操作，负责把一种指针/引用类型“重新解释”成另一种，语法上几乎不做限制（除了少数比如函数指针转对象指针这类特殊情况）。所以哪怕是无关联的标准布局类型，写reinterpret_cast<D*>(&c)这种代码，编译器不会报错。

2. 为什么访问会出问题：标准布局只保证类型的内存布局遵循特定规则，但两个无关联的标准布局类型，它们的成员类型、偏移量可能完全不同。比如float和int的内存表示逻辑天差地别，强行把C*转成D*后去读num，本质是在乱读内存，这种行为C++标准完全不做保证，可能出现任何结果（崩溃、垃圾值、甚至看起来“正常”但实际隐含风险）。

3. C++20的新增点：C++20确实加了和类型转换相关的新工具——std::bit_cast，但它和reinterpret_cast不是一回事。std::bit_cast是直接把一个对象的比特位复制到另一个类型的对象里，要求两个类型大小相同且都是平凡可复制的，是更安全的比特级转换方式，但它也不是用来替代reinterpret_cast做指针转换的。

对比你例子里的关联类型： #

你代码里的A和B是有继承关系的标准布局类型，这种情况比较特殊——标准布局的派生类会把基类的成员放在内存布局的最开头，所以reinterpret_cast<B*>(&a)（a是A对象）之后访问index成员是合法的，因为它们的布局是兼容的。但这属于有亲缘关系的情况，和无关联类型完全不同。

举个无关联类型的反例：

struct C { float value; };
struct D { int num; };

C c{3.14f};
// 语法上允许转换
D* d_ptr = reinterpret_cast<D*>(&c);
// 下面这行是未定义行为！绝对不能这么写
// int x = d_ptr->num;

备注：内容来源于stack exchange，提问作者Maurice