placement new 运算符的问题

Question

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

#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

placement new 运算符的问题

Problems with the placement new operator

c++

placement-new