Destructors e n. Eccetto

Question

Sono un po 'confuso con i distruttori e noexcept. La mia comprensione è stata che in C++ 11 qualsiasi distruttore, incluso definito dall'utente, è implicitamente noexcept(true), anche se abbiamo throw da esso. E si deve specificare esplicitamente noexcept(false) se vogliono che sia così per qualche motivo.

Quello che sto vedendo è che al contrario - con GCC 4.7.2, il distruttore definito dall'utente, non importa quanto primitiva sia la classe e il distruttore, è implicitamente noexcept(false). Cosa mi manca qui? C'è qualche trucco nascosto con i distruttori definiti dall'utente?

Answer 1

Questo è un known bug (crediti all'OP per la ricerca del bug report), e sembra che sia stato corretto in GCC 4.8.0. Per esempio, l'affermazione statica sotto scatterà il GCC 4.7.2, ma non su 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!"); 
}