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

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

本文关键字：foo 优化 catch try C++ throw      更新时间：2023-10-16

在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

不，两者不相等。

当没有异常处理程序时是否展开堆栈是由实现定义的([exception .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; }被删除时，不再需要，并且在实际系统中可能并且确实发生崩溃。

相关文章：