impulso :: ninguna optimización typeid para C++ 11

Question

Duplicar posible:
When can typeid return different type_info instances for same type?

Si cambio de la línea operand->type() == typeid(ValueType) abajo en &operand->type() == &typeid(ValueType), el código sigue funcionando con gcc y toma menos espacio en el ejecutable (y lo hizo durante muchos años), pero ¿el estándar C++ 11 ofrece alguna garantía de que esta optimización funcione en diferentes compiladores?

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, no se garantiza. Esta aserción puede desencadenar:

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

Mientras que tomaría un compilador bastante estúpido para hacer que el fuego, que podría suceder. En la práctica, sólo se producirá un error cuando el jugador de TypeId están siendo comparados a través de límites de bibliotecas dinámicas:

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

Esto es casi seguro que desencadenar.