c++ - 异常处理中的冗余代码

Question

我有一个反复出现的问题，我没有找到避免资源清理代码重复的优雅解决方案:

resource allocation:

try {
  f()
} catch (...) {
  resource cleaning code;
  throw;
}

resource cleaning code;
return rc;

所以，我知道我可以做一个清理析构函数的临时类，但我不太喜欢它，因为它破坏了代码流，我需要为类提供对所有堆栈变量的引用以进行清理，一个函数也有同样的问题，我不知道为什么不存在解决这个反复出现的问题的优雅解决方案。

Answer 1

这个问题就是发明RAII的原因。最佳做法是确保每个 可释放资源都在一个对象内。或者，您可以使用 Boost.ScopeExit 或定义一个通用哨兵类(一个在构造函数中接收仿函数并在析构函数中调用它的类)

编辑:在@Jackson指出的文章中，这叫做ScopeGuard。通过将文章中的实现与 boost::function 和 boost::bind 或 std::tr1::function 相结合，可以大大增强它> 和 std::tr1::bind).

基本上，您的实现将如下所示，而不是文章中的整个架构:

class scoped_guard
{
    boost::function<void(void)> atScopeExit;
public:
    scoped_guard(const boost::function<void(void)>& func) : atScopeExit(func) {}
    ~scoped_guard() { try { atScopeExit(); } catch(...) {} }
};

你可以通过添加关闭它或其他东西的能力来进一步增强它(在堆栈展开的情况下安全地捕获异常？)但是 我懒得 了，留给读者作为练习 ;)。