威尔 C++不带参数的 throw 在另一个框架内工作以重新抛出异常？

Question

如果我有如下代码：

try {
  doSomething();
} catch (...) {
  noteError();
}

void noteError() {
  try {
    throw;
  } catch (std::exception &err) {
    std::cerr << "Note known error here: " << err.what();
  } catch (...) {
    std::cerr << "Note unknown error here.";
  }
  throw;
}

原始异常会从 noteError() 下框架内的两个地方抛出吗？

Answer 1

你原来的代码没问题。您捕获了不同的异常类型并调用了一个函数来记录消息并重新抛出。 throw 语句不需要直接出现在相应的 catch 块内。如果您调用这些“note”函数之一并且您当前没有处理异常，那么您的程序将调用terminate()。

你的新代码也很好。可以捕获所有内容，然后调用另一个重新抛出异常的函数以转到更具体的处理程序。这是异常调度程序中描述的习惯用法C++ 常见问题解答。在调度块完成之后重新抛出异常看起来有点奇怪，但是如果在 noteError 返回之后发生了相同的 throw 语句（在原来的catch块）而不是现在的位置，那么它将是完全普通的；标准 §15.1/6 中对此进行了演示。

Answer 2

标准（§15.1/2）中的措辞是（强调我的）：

当抛出异常时，控制权将转移到最近的具有匹配类型的处理程序（15.3）； “最近”表示 try 关键字后面的复合语句、构造函数初始化程序或函数体最近由控制线程输入且尚未退出的处理程序。

何时尝试阻止“退出”？根据语法 (§15/1)，try 块以处理程序序列结束，因此块在最后一个处理程序结束时结束。换句话说：

try // <- start of try block
{
}
catch (whatever) // <- first handler
{
}
// ... more handlers
catch (whatever_again) // <- last handler
{
} // <- end of try block

所以是的，你的代码没问题。当重新抛出时，最近的 try 块有一个匹配的处理程序（即 catch (...)），因此进入该处理程序。