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

Question

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

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

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 意味着始终清理；例外与否。

您想要的要简单得多：仅在未引发异常时才释放资源，这是一个简单的函数序列。

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

Answer 2

我会用另一种方式来做——如果没有抛出异常，明确地告诉它去做它的工作：

RAII_Class pending;

doSomeWorkThatMayThrowException();

pending.commit(); // do or prepare actual work

Answer 3

这似乎是规避使用 RAII 的主要原因。 RAII 的要点是，如果代码中间发生异常，您仍然可以正确释放资源/销毁资源。

如果这不是您想要的语义，则不要使用 RAII。

因此，不要：

void myFunction() {
    WrapperClass wc(acquireResource());

    // code that may throw
}

只是这样做：

void myFunction() {
    Resource r = acquireResource();

    // code that may throw

    freeResource(r);
}

如果中间的代码抛出异常，则资源将不会被释放。这就是您想要的，而不是保留 RAII（并保留名称）但不实现 RAII 语义。

Answer 4

看起来像 bool std::uncaught_exception();如果您希望对每个异常（而不仅仅是特殊异常）都有这种行为，那么就可以实现这一点！

Answer 5

您可以不使用 try-catch：

RAII_Class pending;
doSomeWorkThatMayThrowException();  // intentional: don't release if throw
pending.releaseResource();

或者，您可以使用 RAII 更努力地尝试：

struct RAII_Class {
    template<class Op>
    void execute(Op op) {
        op();
        releaseResources();
    }

private:
    void releaseResources() { /* ... */ }
};

int main(int argc, char* argv[])
{
    RAII_Class().execute(doSomeWorkThatMayThrowException);
    return 0;
}

Answer 6

虽然这充其量只是一个拼凑，但如果您拥有您感兴趣的异常类的代码，您可以向该类添加一个静态数据成员（bool），该成员将在对象的构造函数中设置为“true”该类的值，析构函数中为 false（可能需要是您递增/递减的 int）。然后在 RAII 类的析构函数中，您可以检查 std::uncaught_exception()，如果为 true，则查询异常类中的静态数据成员。如果返回 true（或 > 0），则说明您遇到了这些异常之一，否则您将忽略它。

不是很优雅，但它可能会达到目的（只要你没有多个线程）。

Answer 7

我发现这个网站有一个关于 std::uncaught_exception() 的有趣讨论，以及您问题的替代解决方案，对我来说似乎更加优雅和正确：

http://www.gotw.ca/gotw/047.htm

//  Alternative right solution
//
T::Close() {
  // ... code that could throw ...
}

T::~T() /* throw() */ {
  try {
    Close();
  } catch( ... ) {
  }
}

通过这种方式，你的析构函数只做一件事，并且可以防止在一个例外（我认为这是您要解决的问题）。