在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
最佳答案
不,两者不等同。
当没有异常处理程序时是否展开堆栈是实现定义的([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++:可以将 "try { foo(); } catch (...) { throw; }"优化为 "foo();"吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/39885813/