Question

我可以传递对未初始化内存的引用，获取地址，然后调用placement-new或在获取的内存位置调用析构函数。换句话说，以下程序是合法的C ++还是具有未定义的行为：

#include <string>
#include <iostream>

void ctor (std::string &s)
{
  new (&s) std::string ("Hello, world!");
}

void dtor (std::string &s)
{
  (&s)->std::string::~string ();
}

int main ()
{
  std::string * memory = static_cast<std::string *> (
    operator new (sizeof (std::string) * 10));

  ctor (memory [0]);

  std::cout << memory [0] << '\n';

  dtor (memory [0]);

  operator delete (memory);
}

当然，它有效，我尝试了gcc的未定义行为消毒剂，它没有产生任何错误。但任何人都可以根据标准确认/反驳。

Answer 1

上面的代码在[0]双重构造一个字符串，这是一个潜在的资源泄漏，并且双重破坏它，这是未定义的行为。

new string[10]构造数组中的对象。 delete[]会破坏对象。你在另一个上面创建一个新对象，然后销毁它，然后在delete[]时再次销毁它。

没有其他错误;我的意思是它使用原始分配，这通常是不好的做法，代码是异常不安全的等等。

Answer 2

dtor (memory [0]);

delete [] memory;

绝对是未定义的行为。

行

中构造的对象的生命周期

std::string * memory = new std::string [10];

在您使用展示位置新运算符时结束。

因此，

delete [] memory;

是未定义的行为。

<强>更新

更新后的代码行

dtor (memory [0]);

operator delete (reinterpret_cast<void *> (memory));

表现得很好。

使用placement new运算符分配的对象的析构函数只调用一次。

operator new调用分配的内存将被operator delete调用解除分配。

Answer 3

编辑后，似乎不再存在未定义的行为。

但是，您的代码仍存在危险：
您的memory变量具有指向构造的字符串的指针类型，即使在指针初始化后该指针后面没有字符串也是如此。指针也不是nullptr。这很危险。您正在向编译器断言某些东西是正确构造的对象，而不是。因此，您的编译器不会错误地使用未构造的对象。

我强烈建议使用char*变量跟踪未初始化的内存，并且只对已经正确构造的对象使用类型类型的指针。

我可以通过引用调用placement-new和析构函数吗？

3 个答案: