如何避免在 catch 块中编写重复代码？

Question

我在桌面应用项目中使用 QT 4.8 (C++)，编写异常处理如下：

void callerMethod()
{
  try
  {
   method1();
  }
  catch(Exception1& e)
  {
    // display critcal error message
    // abort application
  }
  catch(std::Exception& e)
  {
   // print exception error message
  }
  catch(...)
  {
   // print unknown exception message
  } 
}

void method1()
{
  try
  {
   // some initializations
   // some operations (here exceptions can occur)
   // clean-up code (for successful operation i.e no exception occurred)
  }
  catch(Exception1& e)
  {
   // clean-up code
   throw e;
  }
  catch(Exception2& e)
  {
   // clean-up code
   throw e;
  }
  catch(Exception3& e)
  {
   // clean-up code
   throw e;
  }
  catch(...)
  {
   // clean-up code
   throw;
  }
}

所以我的问题是我需要在每个 catch 块中编写清理代码吗？ 有什么办法可以避免重复编写代码？

注意:: [ In method1() ] 我想重新抛出发生的异常 给我的来电者。所以我无法在单个捕获块中捕获它们， 因为那样类型信息将会丢失。

Answer 1

您应该尽可能低地抛出异常，并在调用链中尽可能高地捕获它们。这会自动减少代码重复，并集中错误处理。你在一个地方扔/接，这似乎有点……强迫。

我经常做这种事情（尤其是程序结束异常：

int main()
try
{
    function_calls_that_may_throw();
    // ...
}
catch(my_exception& e)
{
    e.do_exception_stuff();
}
catch(std::exception& e)
{
    std::cout << e.what();
}
catch(...)
{
    std::cout << "Something bad happened.\n";
}

这仅适用于抛出您不打算更好地处理的异常或重试失败的操作等。

这种方法的优点是所有/大多数错误处理代码都位于程序的顶层，调用链中的所有函数都不必担心这些东西，它们所做的只是当他们愿意时抛出异常。

Answer 2

方法1可以通过两个概念大大简化：

1. RAII。将任何清理代码放入析构函数中，清理代码将被集中。
2. 使用不合格的throw，你就不需要知道抛出的异常类型。

所以，method1() 应该是这样的：

void method1()
{
     // some initializations of RAII objects
     // some operations (here exceptions can occur)
}

如果您从std::exception 派生Exception1，则可以删除callerMethod 中的第一个catch 子句，因为what() 方法是虚拟的。

Answer 3

如果您的所有清理代码完全相同，您可以在 catch (...) 块中执行所有操作：

try {
   // code
} catch (...) {
   // cleanup
   throw;
}

如果您的代码略有不同，您可以随时调用清理函数：

try {
   // code
} catch (exc1 ex) {
   cleanup(args);
   // exc1 specific
   throw;
} catch (exc2 ex) {
   cleanup(args);
   // exc2 specific
   throw;
} catch (...) {
   cleanup(args);
   throw;
}