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

C++: Can "try { foo(); } catch (...) { throw; }" be optimized to "foo();"?