安置新运营商的问题

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 类型的 abject ....

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

您可能希望使用 POD 类型，例如 char mem1[sizeof(Any)] 来存储对象，这样您就可以确定 mem1 有足够的能力存储 Any，并且您对 @ 的析构函数没有任何问题987654328@ 在main() 结束时被调用

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