c++ - 单独构造结构体的数据成员是否合法？

Question

class A;
class B;
//we have void *p pointing to enough free memory initially
std::pair<A,B> *pp=static_cast<std::pair<A,B> *>(p);
new (&pp->first) A(/*...*/);
new (&pp->second) B(/*...*/);

上面的代码执行后，*pp是否保证处于有效状态？我知道对于我测试过的每个编译器来说答案都是正确的，但问题是根据标准这是否合法。另外，如果A或B在C++98/03中不可移动，是否有其他方法获得这样的pair？ (感谢 @StoryTeller-UnslanderMonica，自 C++11 以来，有一个用于 std::pair 的分段构造函数)

Answer 1

根据 [basic.life]/5，“访问”不存在的 pair 对象的成员是未定义的行为； pair 永远不是 POD 类(具​​有用户声明的构造函数)，因此指向其超出生命周期的存储的指针不能用于其成员。目前尚不清楚形成指向该成员的指针是否已未定义，或者 new 是否已定义。

在 C++98 中也没有办法构造一对不可复制(当然不是可移动)类型，这就是为什么添加了分段构造函数 移动语义。