value_type para ver un mapa con punteros como clave

Question

Por lo que sé, C++ define map<a,b>::value_type como pair<const a,b>

¿Qué pasará si uso un tipo de puntero como tipo de clave en el mapa, es decir, es

std::map<const char*,int>::value_type::first_type = const char* 

lo que cabe esperar de la definición anterior o

std::map<const char*,int>::value_type::first_type = const char* const 

como sería más lógico (ya que de lo contrario se les permitiría cambiar valor de la clave de un mapa iterador)?

Answer 1

Su razonamiento es correcto, value_type::first sería char const * const.

Hay una fuente común de confusión al pensar que cuando const TT es una type * es const type *, pero eso no es así. A diferencia de las macros, typedef s no son sustitución de texto, ni son argumentos de plantilla. Cuando lo haga const T, si T es un typedef o un argumento de plantilla, está agregando un const al tipo como un todo.

Esa es la razón por la cual uno me gusta escribir mis const s a la derecha del tipo, ya que causa menos confusión: T const *, añada una const adicional, obtener T const * const.

Answer 2

Si a es const char*, entonces const a es de hecho const char* const.

Answer 3

Tiene usted razón en su evaluación, pero hay que tener mucho cuidado con este enfoque por dos razones:

1. Usted tiene que suministrar un predicado comparador personalizado que hace ordenación adecuada de const char * (por ejemplo, utilizando una variante de strcmp que solo devuelve verdadero si key1 < key2). Si no hace esto, sus cadenas se ordenarán por valores de puntero, que casi siempre no es lo que quiere.
2. Debe tener en cuenta la vida útil de las claves en su mapa y cómo serán desasignadas cuando se destruya el mapa.