nocept di una funzione che restituisce una classe che ha distruttore di lancio

Question

Nel seguente codice, ho pensato che l'asserzione non dovrebbe sparare ma lo fa.

struct A 
{ 
    ~A() noexcept(false); 
}; 

A f() noexcept; 

int main() 
{ 
    static_assert(noexcept(f()), "f must be noexcept"); 
} 

La funzione f() è noexcept ovviamente, ma noexcept(f()) viene valutata false. (in entrambi gcc e clang)

Mi manca qualcosa o è un bug?

Answer 1

L'operatore noexcept su un'espressione e ti dice se il serie di potenziali eccezioni dell'espressione è vuota. Questo kit contiene i potenziali eccezioni del distruttore, come per [except.spec]/(13.2):

Se e invoca implicitamente una o più funzioni (ad esempio un operatore di overload, una funzione di allocazione in una new- espressione, o un distruttore se e è un full-espressione (1.9)), S è l'unione di: [...] le serie di tipi nelle specifiche di eccezione di tutte le funzioni