c++ - placement new 运算符的问题

Question

我了解placement new 运算符允许在特定/特定内存位置构造对象。所以我尝试了这个；

#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？它与可用内存有关吗？

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

Answer 1

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

类型的对象。

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

您可能想使用 POD 类型，例如 char mem1[sizeof(Any)] 来存储对象，这样您就可以确定 mem1 有足够的能力存储 Any，并且在 main()

末尾调用 mem1 的析构函数不会有任何问题

同样，您可能想要探索用于此类事情的标准设施，std::aligned_storage