包含std::pair的类与pair间reinterpret_cast：非标准布局时是否安全？

首先得锚定原场景的安全基础：当A、B都是标准布局类，且B的第一个非静态数据成员是A时，reinterpret_cast<B*>(&a)之所以安全，是因为C++标准明确规定：标准布局类的第一个非静态数据成员的地址，与类对象的起始地址完全重合（不会有前置padding）。这是标准布局内存布局规则的核心保证之一。

现在把A换成std::pair<T1,T2>，咱们分两种情况拆解：

1. 当std::pair<T1,T2>是标准布局时 #

你已经提到，当T1、T2均为标准布局类型时，std::pair<T1,T2>也会是标准布局。这时候只要B满足标准布局的要求（比如没有虚函数/虚基类、所有非静态数据成员的访问控制一致、没有非标准布局的基类等——毕竟原问题里明确B是标准布局），那么原场景的安全逻辑完全适用：std::pair<T1,T2>作为B的第一个非静态数据成员，它的地址和B对象的起始地址必然重合，所以reinterpret_cast<B*>(&a)是标准保证的安全操作，后续访问b->a也完全符合标准要求。

2. 当std::pair<T1,T2>不是标准布局时 #

一旦T1或T2不是标准布局（比如T1是带虚函数的类、或者有不同访问级别的非静态数据成员的类），std::pair<T1,T2>也会失去标准布局属性。这时候麻烦来了：

• 首先，B无法再成为标准布局类——因为标准布局类要求所有非静态数据成员必须是标准布局类型，而现在B的成员是一个非标准布局的pair，直接违反了这个规则。原问题里“类A、B均为标准布局”的前提彻底失效。
• 更关键的是，对于非标准布局类，C++标准完全不保证第一个非静态数据成员的地址与类对象起始地址重合。编译器完全可以根据自身实现插入前置padding、调整内存布局，这时候reinterpret_cast<B*>(&a)得到的B*指向的内存布局根本不符合B的预期，后续任何对b的操作（比如访问b->a）都是未定义行为——哪怕某些编译器在特定情况下碰巧让布局重合，这也只是编译器的非标准扩展，绝对不能移植或依赖。

总结 #

这个转换并非对所有T1、T2都有效：

• 仅当T1、T2均为标准布局类型（此时std::pair<T1,T2>是标准布局），且B严格符合标准布局类的所有要求时，reinterpret_cast是标准保证安全的。
• 只要T1或T2不是标准布局，std::pair<T1,T2>就不是标准布局，B也无法成为标准布局类，此时该转换的行为是未定义的，安全性完全无法保证。

内容的提问来源于stack exchange，提问作者csk