c++ - C++ 析构函数在抛出特定异常时跳过工作的方式？

Question

我在堆栈上有一个对象，我希望它的析构函数在调用析构函数时跳过一些工作，因为由于在堆栈上对象的范围内抛出特定异常而正在展开堆栈。

现在我可以在堆栈项的范围内添加一个 try catch block 并捕获有问题的异常并通知堆栈对象不要运行要跳过的工作然后重新抛出异常，如下所示:

RAII_Class pending;

try {
  doSomeWorkThatMayThrowException();
} catch (exceptionToSkipPendingDtor &err) {
  pending.notifySkipResourceRelease();
  throw;
}

不过，我希望有一种更优雅的方式来做到这一点。例如想象一下:

RAII_Class::~RAII_Class {
  if (detectExceptionToSkipPendingDtorBeingThrown()) {
    return;
  }
  releaseResource();
}

Answer 1

你几乎可以用 std::uncaught_exception() 做到这一点，但不完全是。

Herb Sutter 比我更好地解释了“几乎”:http://www.gotw.ca/gotw/047.htm

在极端情况下，当从析构函数调用时 std::uncaught_exception() 返回 true 但所讨论的对象实际上并未被堆栈展开过程销毁。

没有 RAII 可能会更好，因为它不符合您的用例。 RAII 表示始终清理；是否异常(exception)。

你想要的要简单得多:只有在没有抛出异常时才释放资源，这是一个简单的函数序列。

explicitAllocateResource();
doSomeWorkThatMayThrowException();
explicitReleaseResource(); // skipped if an exception is thrown
                           // by the previous function.