¿Por qué no está el operador [] const para los mapas STL?

Question

ejemplo Contrived, por el bien de la pregunta:

void MyClass::MyFunction(int x) const 
{ 
    std::cout << m_map[x] << std::endl 
} 

Esto no se compilará, ya que el operador [] es no constante.

Esto es desafortunado, ya que la sintaxis [] se ve muy limpia. En su lugar, tengo que hacer algo como esto:

void MyClass::MyFunction(int x) const 
{ 
    MyMap iter = m_map.find(x); 
    std::cout << iter->second << std::endl 
} 

Esto siempre me ha molestado. ¿Por qué el operador [] no es const?

Answer 1

Para std::map, operator[] se inserte el valor de índice en el recipiente si no existía previamente. Es un poco intuitivo, pero así son las cosas.

Como se debe permitir que falle e inserte un valor predeterminado, el operador no se puede usar en una instancia const del contenedor.

http://en.cppreference.com/w/cpp/container/map/operator_at

Answer 2

Un operador de índice solo debe ser const para un contenedor de solo lectura (que realmente no existe en STL per se).

Los operadores de índice no solo se utilizan para ver valores.

Answer 3

Nota para nuevos lectores.
La pregunta original era sobre contenedores STL (no específicamente sobre el std :: map)

Cabe señalar que hay una versión const del operador [] en la mayoría de los contenedores.
Es solo que std :: map y std :: set no tienen una versión const y esto es el resultado de la estructura subyacente que los implementa.

De std :: vector

reference  operator[](size_type n) 
const_reference operator[](size_type n) const 

También para su segundo ejemplo, usted debe comprobar si hay un fracaso en la búsqueda del elemento.

void MyClass::MyFunction(int x) const 
{ 
    MyMap iter = m_map.find(x); 
    if (iter != m_map.end()) 
    { 
     std::cout << iter->second << std::endl 
    } 
} 

Answer 4

Si usted declara su std :: mapa variable miembro para ser mutable

mutable std::map<...> m_map; 

puede utilizar las funciones miembro no const std :: mapa de dentro de sus métodos constantes.

Answer 5

Dado que el operador [] podría insertar un nuevo elemento en el contenedor, no puede ser una función constante. Tenga en cuenta que la definición de operador [] es extremadamente simple: m [k] es equivalente a (* ((m.insert (value_type (k, data_type()))) first)). Second. En sentido estricto, esta función de miembro es innecesaria: no existe más que por conveniencia

Answer 6

Ahora que con C++ 11 que puede tener una versión más limpia mediante el uso de at()

void MyClass::MyFunction(int x) const 
{ 
    std::cout << m_map.at(x) << std::endl; 
}