c++ - 析构函数和 noexcept

Question

我对析构函数和 noexcept 有点困惑。我的理解是，在 C++11 中，任何析构函数，包括用户定义的，都是隐含的 noexcept(true)，即使我们从中 throw 也是如此。如果出于某种原因他们希望这样，则必须明确指定 noexcept(false)。

我看到完全相反的情况——在 GCC 4.7.2 中，用户定义的析构函数，无论类和析构函数多么原始，都是隐含的 noexcept(false)。我在这里想念什么？用户定义的析构函数是否存在一些隐藏的问题？

Answer 1

这是 known bug (归功于 OP 查找错误报告)，并且它似乎已在 GCC 4.8.0 中修复。例如，下面的静态断言将在 GCC 4.7.2 上触发，但不会在 GCC 4.8.0 上触发:

struct X
{
    ~X() { };
};

int main()
{
    X x;

    // This will not fire even in GCC 4.7.2 if the destructor is
    // explicitly marked as noexcept(true)
    static_assert(noexcept(x.~X()), "Ouch!");
}