C++:可以将 "try { foo(); } catch (...) { throw; }"优化为 "foo();"吗？

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; 已删除，不再需要，并且在真实系统上可能并且确实会发生崩溃。