问题描述
我有一个析构函数为noexcept(false)
的类。我知道它仅在某些情况下会抛出,并且我想将其用作具有noexcept
析构函数的类的成员变量。从https://en.cppreference.com/w/cpp/language/function-try-block中,我读到“从函数体中的任何语句引发的每个异常,或者从任何成员或基本构造函数(对于析构函数),或者从任何成员或基本析构函数(对于析构函数)引发的每个异常都将控制权转移到处理程序-顺序与在常规try块中引发异常的方式相同。”这使我认为这应该是正确的:
#include <exception>
class ConditionallyThrowingDtor {
public:
bool willThrow = true;
ConditionallyThrowingDtor() = default;
~ConditionallyThrowingDtor() noexcept(false) {
if (willThrow) {
throw std::exception();
}
}
};
class NonThrowingDtor {
public:
ConditionallyThrowingDtor x;
~NonThrowingDtor() noexcept try {
x.willThrow = false;
} catch (...) {
// Ignore because we kNow it will never happen.
}
};
int main() {
// ConditionallyThrowingDtor y; // Throws on destruction as expected.
NonThrowingDtor x;
}
https://godbolt.org/z/ez17fx(MSVC)
我对noexcept
和~NonThrowingDtor()
上的function-try-block的理解是,noexcept
保证它不会抛出(并且它实际上是通过执行{{1} } https://en.cppreference.com/w/cpp/language/noexcept_spec。但是带有try { ... } catch (...) { std::terminate(); }
并且没有其他抛出的function-try-block应该保证它永远不会抛出。Clang可以接受,但是正如Godbolt链接所示,MSVC说
catch (...)
解决方法
~NonThrowingDtor() noexcept try {
x.willThrow = false;
} catch (...) {
// Ignore because we know it will never happen.
}
等同于“ prong”
~NonThrowingDtor() noexcept try {
x.willThrow = false;
} catch (...) {
throw;
}
很简单
~NonThrowingDtor() noexcept
{
x.willThrow = false;
}
要不传播异常,必须显式使用return
:
~NonThrowingDtor() noexcept try {
x.willThrow = false;
} catch (...) {
return; // Required to not propagate exception.
}
不幸的是,msvc仍会以这种不会抛出的形式发出警告。
(另一方面,clang / gcc不会警告隐式(但是会警告)(throw
)。