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保证处于有效状态？我知道我测试过的每个编译器的答案都是正确的，但问题是根据标准这是否合法，因此是否合法。另外，有没有其他方法可以得到这样的 pair如果 A或 B在 C++98/03 中不能移动？ (感谢 @StoryTeller-UnslanderMonica ，从 C++11 开始就有 std::pair 的分段构造函数)

Answer 1

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

也没有办法在 C++98 中构造一对不可复制(当然不可移动)类型——这就是分段构造函数与移动语义一起添加的原因。