为什么当对象构造函数抛出新表达式时不调用释放函数？

Question

如果我将 operator delete 定义如下，并且如果对象构造函数抛出 new 表达式，我希望看到调用定义的 operator delete 的结果：

#include <new>
#include <cstdlib>
#include <iostream>

void*
operator new(std::size_t s){
  std::cout << "alloc " << std::endl;
return std::malloc(s);
}

void
operator delete(void* p) noexcept {
  std::cout << "dealloc " << std::endl;
  std::free(p);
}
void
operator delete(void* p,std::size_t) noexcept{
    std::free(p);
    std::cout << "dealloc s" << std::endl;
}

struct A{
  A(int i){
     if(i>0)
       throw 10;
  }
};

int main(int argc// will equal 10
        ,char* arg[])
{
  for(int i=0;i<argc;++i)
     auto p=new A{argc};
  return 0;
}

这个程序只是输出alloc，为什么没有调用操作符delete？在标准 [expr.new] 中规定：

如果上述对象初始化的任何部分通过抛出异常和合适的 可以发现deallocation函数，调用deallocation函数释放对象所在的内存 正在构造，之后异常继续在 new-expression 的上下文中传播。

Answer 1

正如其他人已经指出的那样，这是因为您没有捕获异常。作为标准注释：

C++11 §15.3/9：
“如果没有找到匹配的处理程序，则调用函数std::terminate()；在此调用 std::terminate() 之前是否展开堆栈是实现定义的。”

虽然我认为这与您的情况下的堆栈没有特别相关，但同样的原则也适用于此。因此，是否清理任何内存实际上取决于实现。正如我们在这里看到的，通常情况并非如此，因为操作系统无论如何都会清理内存。

Answer 2

如果您修复代码以引发异常，它会按预期工作：

int main(int argc,char* arg[])
{
    try {
        new A(2);
    }
    catch (...)
    {}
}

Demo

Answer 3

如果在使用new构造过程中，构造函数抛出异常，C++运行时库：

1. 如果找不到合适的 catch 处理程序，则调用 std::terminate()。是否调用 delete 由实现定义。

或

1. 调用delete 之前为您“发送”该异常到合适的catch 处理程序（如果找到），虽然没有调用析构函数- 即~A()，如果你有一个，当i 时不会被调用大于 1。