Clang rifiutare type_info come incompleto anche se <typeinfo> è incluso

Question

Mi sono perso il motivo per cui Clang rifiuta il seguente codice:

#include <typeinfo> 
#include <exception> 

const char* get_name(const std::exception_ptr eptr) 
{ 
    return eptr.__cxa_exception_type()->name(); 
} 

int main() {} 

E 'OK con GCC, ma Clang lamenta type_info essere un tipo incompleto:

$ g++-4.7 -std=c++0x -O3 -Wall -Wextra t.cc -o t 
$ clang++-3.2 -std=c++0x -O3 -Wall -Wextra t.cc -o t 
t.cc:6:37: error: member access into incomplete type 'const class type_info' 
    return eptr.__cxa_exception_type()->name(); 
            ^
/usr/bin/../lib/gcc/x86_64-linux-gnu/4.7/../../../../include/c++/4.7/bits/exception_ptr.h:144:19: note: forward declaration of 
     'std::__exception_ptr::type_info' 
     const class type_info* 
       ^
1 error generated. 
$ 

Domanda: Come posso risolvere il problema con Clang? O mi sto perdendo qualcosa e Clang ha ragione nel rifiutare il codice?

Answer 1

Grazie al commento di @ HowardHinnant, sono riuscito a risolvere il problema. Il problema è diventato evidente nell'output del preprocessore: libstdC++ include <exception> da <type_info> prima ancora di dichiaratostd::type_info. Ciò ha fatto assumere a Clang una nuova dichiarazione anticipata std::__exception_ptr::type_info. La soluzione è semplice come è illegale:

namespace std { class type_info; } 

#include <typeinfo> 
#include <exception> 

const char* get_name(const std::exception_ptr eptr) 
{ 
    return eptr.__cxa_exception_type()->name(); 
} 

int main() {} 

Sembra come dovrei controllare se libstdC++ ha già un bug report per questo e, in caso contrario, crearne uno.

UPDATE: Bug #56468 è ora fissata per GCC 4.7.3+