破壞者和不接受

Question

我有點困惑與破壞者和noexcept。我的理解是，在C++ 11中，包括用戶定義在內的任何析構函數都隱含地是noexcept(true)，即使我們從它那裏得到throw。如果出於某種原因需要這樣做，則必須明確指定noexcept(false)。

我看到的與GCC 4.7.2完全相反，用戶定義的析構函數，無論類和析構函數有多簡單，都暗含noexcept(false)。我在這裏錯過了什麼？是否有一些隱藏的用戶定義的析構函數？

Answer 1

這是一個known bug（用於發現錯誤報告的信用點），它似乎已在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!"); 
}