相关疑难解决方法(0)

cppreference ^†声明:

具有普通默认构造函数的对象可以通过reinterpret_cast在任何适当对齐的存储上使用来创建,例如在分配有的存储器上std::malloc.

这意味着以下是明确定义的代码:

struct X { int x; };
alignas(X) char buffer[sizeof(X)];    // (A)
reinterpret_cast<X*>(buffer)->x = 42; // (B)

以下是三个问题:

1. 这个引用是否正确？
2. 如果是,那么X开始的生命周期是什么时候？如果在线(B),它是否被视为获取存储？如果在线(A),如果有一个分支(A)和(B)有条件地构建一个X或其他一些pod,Y怎么办？
3. 在这方面,C++ 11和C++ 1z之间有什么变化吗？

^†请注意,这是一个旧链接.针对这个问题,措辞发生了变化.它现在写道:

但是,与C不同,通过简单地重新解释适当对齐的存储来创建具有普通默认构造函数的对象,例如分配的内存std::malloc:placement-new是正式引入新对象并避免潜在的未定义行为所必需的.