为什么我无法处理从外部析构函数抛出的异常？

Question

我在 C++ 入门第 5 版第 18 章的异常处理中读到，析构函数通常不应该像 STL 容器那样抛出异常，如果应该抛出的表达式应该包装在 try-catch 块中（catch 必须处理那个例外）。

• 为了理解目的，我已经尝试过这个：

    struct Foo{
        Foo(){
            std::cout << "Foo()\n";
        }
        ~Foo(){
            std::cout << "~Foo()\n";
            throw "exception thrown from Foo::~Foo()\n";
            std::cout << "Back in Foo::~Foo()\n";
        }
    };
  
  
    int main(){
  
        try{
            Foo f{};
            Foo* pFoo = new Foo{};
            delete pFoo; // normally exception caught here nad handled by the following catch
        }
        catch(char const* const& cp){
            std::cout << cp << '\n';
        }
  
        std::cout << '\n';
    }
  

• 恕我直言Foo 的析构函数不应该在这里抛出该异常，因为析构函数之外的处理程序永远无法捕获该异常；因为每当对象超出范围并且try-catch块总是在块内时都会调用析构函数，换句话说，析构函数是在try-catch blcok之后调用的。

• 但正如我们所知，我们可以过早地调用析构函数，例如显式调用它或删除指向有效动态内存的类/结构类型的指针。所以在这种情况下，我们可以在 try-block 中调用该析构函数，通常可以由相应的处理程序处理。

• 但是我的程序总是调用terminate()（作为未处理异常的标志）并且我收到警告：

warning: throw will always call 'terminate' [-wterminate].

• 如您所见，我在try-block 中调用Foo 析构函数main:delete Foo。如果我写的话，我也可以这样做：f.~Foo();。

• 那么有人能解释一下这背后的原因吗？谢谢！

Answer 1

我认为您误解了建议：

析构函数通常不应该像 STL 容器那样抛出异常，如果应该抛出的表达式应该包装在 try-catch 块中（catch 必须处理该异常）。

换句话说，它说：

你不应该从析构函数中抛出异常。

现在问题来了，如果析构函数是：

~Bar() {  
   do_something();
}

和do_something() 可能会抛出异常。在这种情况下，建议是捕获异常并处理它：

~Bar() {
    try {
        do_something();
    } catch(...) {
       // handle exception, eg write a log message
       // but do not retrow it or a different one!
    }
}

现在异常无法离开析构函数。

---

正如您所发现的，在析构函数之外捕获异常无助于解决一般问题，因为这里：

 try{
          Foo f{};
          Foo* pFoo = new Foo{};
          delete pFoo; // normally exception caught here nad handled by the following catch
      }

对delete pFoo; 的调用会引发异常。在堆栈展开期间，Foo f{}; 将被销毁，并且从析构函数中抛出另一个异常。如果在堆栈展开期间抛出异常，std::terminate 将被调用。避免这种情况发生的方法是不要从析构函数中抛出异常。