strano comportamento di std :: is_nothrow_destructible

Question

Il codice seguente attiva static_assert anche se non credo che dovrebbe:

#include <type_traits> 

template< typename T > 
struct Tmp 
{ 
    ~Tmp() noexcept(std::is_nothrow_destructible<T>::value) {} 
}; 

struct Foo; 

struct Bar 
{ 
    // Comment this out for the problem to go away 
    Tmp<Foo> xx; 

    // ..or this 
    Bar() {} 
}; 

struct Foo {}; 

// This triggers 
static_assert(std::is_nothrow_destructible<Foo>::value, "That's odd"); 

int main() 
{ 
} 

quando viene compilato con:

g++-4.9 -std=c++11 nothrow_destructible_bug.cc 

accade quanto segue:

nothrow_destructible_bug.cc:20:1: error: static assertion failed: That's odd 
static_assert(std::is_nothrow_destructible<Foo>::value, "That's odd"); 
^ 

Come mai utilizzare semplicemente Foo per creare un'istanza di un modello in una classe non correlata, perde lo stato noexcept? Ho pensato che fosse un bug del compilatore, ma l'ho provato con tutte le versioni recenti di gcc e clang e sembrano dare lo stesso errore.

Answer 1

Dove si utilizza Tmp<Foo> xx, Foo è un tipo incompleto. Ciò viola una delle condizioni preliminari per l'uso di is_nothrow_destructible e il suo utilizzo è un comportamento non definito. Una possibilità di tale UB è per is_nothrow_destructible essere falsa.

Commentando l'uso di Tmp si eviterà questo problema. Poiché il modello non viene istanziato fino a quando non viene utilizzato, anche il commento del costruttore eviterà il problema poiché il modello non verrà ancora istanziato.

Spostare la definizione di struct Foo prima del Bar dovrebbe inoltre evitare il problema.