¿C++ 11 proporciona funciones de hash para std :: type_info?

Question

Todavía estoy trabajando en una buena solución para mi One-Of-A-Type Container Problem - y después de reflexionar creo que sería bueno poder usar algo como un std::map<std::type_info, boost::any>. Desafortunadamente, std::type_info no define un operator<, y creo que no sería razonable que definiera uno.

Sin embargo, parece razonable definir una función hash para ello, porque simplemente podría usar la dirección singleton del objeto std::type_info como un "hash" razonable. Por lo tanto, podría poner un std::type_info en un std::unordered_map como la clave.

¿C++ 11 proporciona una función hash? ¿Sería una mala estrategia hash usar la dirección de memoria del singleton std::type_info?

Answer 1

El hecho de que type_info no sea menos que comparable no es tanto un problema para usarlo como clave de mapa como el hecho de que type_info no se puede copiar. :-)

En C++ 03, type_info tiene una función de miembro before() que proporciona un pedido de objetos type_info.

en C++ 11, type_info tiene una hash_code() de función miembro (C++ 11 §18.7.1/7):

size_t hash_code() const throw(); 

Devuelve: un valor fi ed no especificada, excepto que dentro de una única ejecución del programa, devolverá el mismo valor para dos objetos type_info que se igualen.

Observación: una implementación debería devolver valores diferentes para dos objetos type_info que no son iguales. existen

type_info objetos resultantes del operador typeid hasta el final del programa, por lo que es seguro de usar un type_info* como una clave del mapa. Sin embargo, a mi leal saber y entender, no hay garantía de que si aplica typeid a dos objetos del mismo tipo, obtendrá dos referencias al mismo objeto type_info.

Si usted hace uso de type_info* como una clave del mapa, que haría uso de un comparador personalizado que elimina referencia a los punteros y compara la type_info propios objetos (usando la mencionada before() o hash_code() para el pedido).

Answer 2

También puede usar type_index, sostiene de forma segura un puntero a un type_info, es copiable, comparable y se proporciona una función hash para contenedores estándar.