2

这是libstdc++ 中 new 运算符的实现：

_GLIBCXX_WEAK_DEFINITION void *
operator new (std::size_t sz) _GLIBCXX_THROW (std::bad_alloc)
{
  void *p;

  /* malloc (0) is unpredictable; avoid it.  */
  if (__builtin_expect (sz == 0, false))
    sz = 1;

  while ((p = malloc (sz)) == 0)
    {
      new_handler handler = std::get_new_handler ();
      if (! handler)
        _GLIBCXX_THROW_OR_ABORT(bad_alloc());
      handler ();
    }

  return p;
}

谁保证构造函数中的异常会释放分配的内存？

Upd：感谢评论员——实际上我的意思是新表达式的异常安全。

4

1 回答 1

5

您正在混合您的问题“新表达式”和“新运算符”。

新表达式是这样的：A* a = new A(); C++ 语言定义，这个表达式被评估为这样的东西（过度简化的伪代码）：

void* __a = operator new(sizeof(A));
try {
   A::A(this = static_cast<A*>(__a));
} catch (...) {  operator delete (__a); throw; }

如您所见 - 如果发生异常，内存将被释放。

更详细的解释：

如果初始化通过抛出异常终止（例如从构造函数中），如果 new-expression 分配了任何存储空间，它会调用适当的释放函数：对于非数组类型的操作符 delete，对于数组类型的操作符 delete[]。

对于编译器生成的真实代码 - 请参阅此处。您可能会注意到对 operator delete 的调用 - 即使源代码不包含它：

struct A { A(); };
A::A() { throw 13; }

int main()
{
    auto a = new A();
}

汇编器：

 call 401040 <operator new(unsigned long)@plt>
...
 call 401172 <A::A()>
...
 call 401050 <operator delete(void*, unsigned long)@plt>
...
 call 401080 <_Unwind_Resume@plt>
于 2020-12-10T13:56:00.517 回答