C++ 中放置 new VS 显式构造函数调用

Question

最近我遇到了这两种在内存中特定位置创建对象的方法：
1.

void* mem = malloc(sizeof(T));
T* obj = new(mem) T();

2.

T* obj = (T*)malloc(sizeof(T));
*obj = T();

第二种方式有点短...还有其他区别吗？ 问候 马特乌什

Answer 1

第二种方法是错误的，第一种方法是正确的。

您正在包含垃圾数据的 T 实例上调用赋值运算符。赋值运算符期望实例已正确初始化 - 例如，它可能会在赋值之前删除成员变量，这会导致各种有趣的崩溃。请参见例如：

struct Foo {
  std::string * Data;
  Foo() : Data(0) {}
  Foo(Foo const & R)  { Data = new std::string(*R.Data); }
  ~Foo() { delete Data; }
  Foo & operator=(Foo const & R) {
    delete Data;
    Data = new std::string(*R.Data);
    return *this;
  }

};

第一种方法将确保调用 Foo::Foo() - 从而正确初始化 Data。第二种方式将导致delete Data;，其中Data指向内存中的某个随机位置。

编辑：

您可以通过以下方式测试：

void* mem = malloc(sizeof(Foo));
memset(mem, 0xCC, sizeof(Foo)); // malloc doesn't guarantee 0-init
Foo* obj = new(mem) Foo();

并且：

Foo * obj = (Foo*)malloc(sizeof(Foo));
memset(obj, 0xCC, sizeof(Foo)); // malloc doesn't guarantee 0-init
*obj = Foo(); // Crash

Answer 2

*obj = T();

此语句在堆栈上构造一个 T 对象，然后对 *obj 进行赋值。它会带来意想不到的后果。

另一方面，

T* obj = new (mem) T();

该语句按预期通过执行 T() 构造函数方法来初始化指定的内存缓冲区 mem。