Question

在C ++中，是以下代码

try {
  foo();
} catch (...) {
  throw;
}

在语义上只是像这样调用foo一样吗？

foo();

如果是这样，我是否可以期待最先进的编译器避免第一个版本到第二个版本（在启用优化的情况下进行编译时）？

换句话说，如果我使用NDEBUG编译此代码并启用优化

try {
  foo();
} catch (...) {
  assert(some_check());
  throw;
}

我可以假设它应该永远不会慢这个丑陋的版本

#ifndef NDEBUG
  try {
#endif
    foo();
#ifndef NDEBUG
  } catch (...) {
    assert(some_check());
    throw;
  }
#endif

Answer 1

不，两者不相同。

当没有异常处理程序时，堆栈是否展开是实现定义的（[except.handle] p9）。当处理程序在那里，但它只是重新抛出异常时，堆栈必须至少解开，直到重新抛出异常为止。

那是：

struct S { ~S(); };
void foo() { S s; throw 0; }
int main() {
  try { foo(); }
  catch(...) { throw; }
}

这必须调用s的析构函数。移除try { ... } catch (...) { throw; }后，不再需要调用s的析构函数。

甚至可能，取决于s的析构函数所执行的操作，执行永远不会重新抛出异常，例如添加：。

#include <stdlib.h>
S::~S() { exit(0); }

现在，程序必须成功运行，但是当try { ... } catch (...) { throw; }被删除时，不再需要它，并且在真实系统上可能发生崩溃。