c++ - 为什么不能在 dtor 中使用 uncaught_exception？

Question

Herb Sutter 在他的文章中 http://www.gotw.ca/gotw/047.htm指出我们不能在析构函数中使用uncaught_exception，

//  Why the wrong solution is wrong
//
U::~U() {
  try {
    T t;
    // do work
  } catch( ... ) {
    // clean up
  }
}

如果 U 对象在异常传播期间由于堆栈展开而被销毁，T::~T 将无法使用“可能抛出的代码”路径，即使它可以安全地使用。

但是我写了一个测试程序，而T::~T其实并没有使用“可能抛出的代码”

#include <exception>
#include <iostream>
using namespace std;

class T {
  public:
  ~T() {
  if( !std::uncaught_exception() )
  {
    cout<<"can throw"<<endl;
    throw 1;
  } else
  {
    cout<<"cannot throw"<<endl; 
  }
}


};

struct U
{
~U() {
  try 
  {
    T t;
  }
  catch( ... ) 
  {
  }
}
};

void f()
{
  U u;
  throw 2;
} 

int main()
{
    try
    {
      f();
    }
    catch(...)
    {}
}

输出是:不能扔

我错过了什么吗？

谢谢

Answer 1

这正是他的意思:“will fail to throw”的意思是“不会抛出，因为它会认为在当前上下文中抛出是不安全的”(not“会崩溃”；在这里失败意味着不会发生)。因为析构函数作为异常引起的堆栈展开的一部分被调用 std::uncaught_exception() 返回 true，而 T::~T() 没有使用可能抛出的代码(用他的话说:T::~T 将无法使用“可能抛出的代码”路径，即使它安全地可以)因为它认为它不应该扔。关键是因为 T 包裹在 try{}catch(...){} block 中，它是可以安全抛出的，即使存在未决的异常。