在 scoped_ptr 异常的情况下不调用析构函数

Question

我刚刚开始使用 c++ boost 库。我在很多地方读到，当使用 scoped_ptr 时，即使出现异常，对象也总是会被销毁。

They behave much like built-in C++ pointers except that they automatically delete the object pointed to at the appropriate time. Smart pointers are particularly useful in the face of exceptions as they ensure proper destruction of dynamically allocated objects.

我尝试了以下代码。

#include<boost/scoped_ptr.hpp>

class B
{
  public:
    B(){ std::cout<< "B constructor call\n"; }
    ~B(){ std::cout<<"B destructor call\n"; }
};

class A
{
  public:
  boost::scoped_ptr<B> b;
  A():b(new B())  
  {
    throw 1;
  }
};

int main()
{
    A a; return 0;
}

output:
B constructor call
terminate called after throwing an instance of 'int'
Aborted (core dumped)

没有调用 B 的析构函数。但是我使用了 scoped_ptr，所以它应该调用 B 的析构函数，还是我误解了 scoped_ptr 的使用。

但如果 a 用 try catch 包围它，则调用 B 的析构函数。

try{
  A a;
} catch( ... ) {
}

在这种情况下，将调用 A 的析构函数，因为在 try 块中出现异常的情况下，所有本地分配的对象都将从堆栈中删除，并且我将指针包裹在 scoped_ptr 的对象中，因此当作用域对象的析构函数破坏时最终是指针。 scoped_ptr 也很有用，因为我们不必显式删除分配的内存，否则我误解了 scoped_ptr 的描述。

如果使用 scoped_ptr 发生异常，我如何调用 B 类的析构函数

Answer 1

没有匹配的异常处理程序，所以直接调用std::terminate，在这种情况下没有展开堆栈。将try/catch 放入捕获int 的main 中，您将看到您的析构函数调用，即使该处理程序重新抛出。

C++11 §15.1/2：

当抛出异常时，控制权被转移到最近的具有匹配类型的处理程序； “最近的”是指try 关键字后面的compound-statement 或ctor-initializer 最近被控制线程输入但尚未退出的处理程序。

和§15.3/9：

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

_{Online demo}

Answer 2

C++ 在展开堆栈时销毁一个局部变量（从函数返回，使用return 关键字或异常），所以它应该看到一个销毁你的scoped_ptr。但是在您的特殊情况下，main 中发生了异常，因此 terminate 将在 C++ 展开堆栈之前被调用并终止您的程序。

void test() {throw 1;}
void main() {
    string sMain;
    test();
}

在上面的例子中，sMain 不会被销毁，因为异常导致调用terminate：

sMain constructed
exception occurred: main has no where to go, and it has no handler to handle
    the exception, so it will call `terminate`, but wait we are still at `main`
    so we have no stack unwinding here and sMain will never destroyed!!