Destructeurs et noexcept

Je suis un peu confondu avec les destructeurs et noexcept . D’après ce que noexcept(true) compris, en C ++ 11, tout destructeur, y compris celui défini par l’utilisateur, est implicitement noexcept(true) , même si on en throw . Et il faut spécifier explicitement noexcept(false) s’ils veulent qu’il en soit ainsi pour une raison quelconque.

Ce que je constate, c’est tout le contraire: avec GCC 4.7.2, le destructeur défini par l’utilisateur, quelle que soit la primitive de la classe et du destructeur, est implicitement noexcept(false) . Qu’est-ce que j’oublie ici? Existe-t-il des pièges cachés avec des destructeurs définis par l’utilisateur?

• L’optimisation de la valeur de retour (RVO) n’est-elle pas un bogue?
• Pourquoi dans g ++ std :: intmax_t n’est pas un __int128_t?
• GDB saute sur de mauvaises lignes de manière désordonnée
• Pourquoi QVector :: size renvoie int?
• Faire une recette pour empêcher la reconstruction de cibles non dépendantes

 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!"); }