放置新运算符的问题

Question

我了解展示位置新运算符允许在特定/特定内存位置构造对象。所以我尝试了这个;

#include <iostream>
#include <new>

using namespace std;

struct Any {
    int x;
    string y;
};

int main() {

    string mem1[1];
    int mem2[5];

    Any *p1 = new (mem1) Any;
    Any *p2 = new (mem2) Any;

    p1->y = "Hello";
    //p2->x = 20;

    cout << p1->y << endl;
    //cout << p2->x;

    return 0;
}

我意识到，我可以将一个字符串设置为一个我预留的位置，以保留正好1个字符串，但我不能为这样的整数做同样的事情;

int mem2[1];
Any *p2 = new (mem2) Any;
p2->x = 20;

我收到缓冲区溢出错误，即使它设法向我显示我在该位置放置的值20;

为什么？

另外，通过上面显示的完整代码，我已经预留了2个不同的内存位置来保存2个对象，这使得p1->y打印没有任何问题。但是当我减少这个位置时

int mem2[5];到5以下的任何数字，我认为这与我放置字符串并尝试打印字符串的位置无关，我得到了分段错误错误。为什么>= 5？它与内存有关吗？

有没有办法检查是否使用展示位置新运算符将对象放置在特定的内存位置是否成功？

Answer 1

您的代码中有一组未定义的行为。 首先，不能保证声明string mem[1];留出足够的内存来包含Any类型的卑鄙.......

其次，即使第一个有足够的内存来容纳这样的对象，数组string mem[1];的析构函数仍然会在main的末尾运行，但是你用其他东西覆盖了那个数组，因此你的程序在最好的情况下，应该崩溃。

您可能希望使用POD类型（例如char mem1[sizeof(Any)]）来存储对象，这样您确信mem1能够存储Any，并且您将拥有在mem1

结束时调用main()的析构函数没有问题

同样，您可能希望探索此类事件的标准工具std::aligned_storage