boost :: alcuna ottimizzazione typeid per C++ 11

Question

Eventuali duplicati:
When can typeid return different type_info instances for same type?

Se cambio la linea operand->type() == typeid(ValueType) basso nella &operand->type() == &typeid(ValueType), il codice funziona ancora con gcc e prende meno spazio nel file eseguibile (e lo ha fatto per molti anni), ma lo standard C++ 11 offre qualche garanzia, che questa ottimizzazione dovrebbe funzionare su diversi compilatori?

template<typename ValueType> 
ValueType * any_cast(any * operand) 
{ 
    return operand && 
#ifdef BOOST_AUX_ANY_TYPE_ID_NAME 
     std::strcmp(operand->type().name(), typeid(ValueType).name()) == 0 
#else 
     operand->type() == typeid(ValueType) 
#endif 
     ? &static_cast<any::holder<ValueType> *>(operand->content)->held 
     : 0; 
} 

Answer 1

No, non è garantito. Questa asserzione può scatenare:

assert(&typeid(int) == &typeid(int)); 

Mentre ci vorrebbe un compilatore abbastanza stupido per fare quel fuoco, potrebbe accadere. In pratica, sarà solo esito negativo quando TypeId di sono messi a confronto attraverso i confini librerie dinamiche:

assert(&typeid_of_int_in_lib1() == &typeid_of_int_in_lib2()); 

Questo sarà quasi certamente innescare.