Dlaczego nie jest ustawieniem operatora [] dla map STL?

Question

wymyślony przykład, ze względu na pytanie:

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

nie będzie zestawiania, gdyż [] operator const.

To niefortunne, ponieważ składnia [] wygląda bardzo czysto. Zamiast tego muszę zrobić coś takiego:

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

To zawsze mnie wkurzało. Dlaczego operator [] nie jest const?

Answer 1

Dla std::map, operator[] wstawi wartość indeksu do pojemnika, jeśli nie wcześniej istnieć. To trochę nieintuicyjne, ale tak właśnie jest.

Ponieważ należy zezwolić na niepowodzenie i wstawić wartość domyślną, operator nie może być używany w instancji kontenera const.

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

Answer 2

Operator indeksu powinien być stały tylko dla kontenera tylko do odczytu (który tak naprawdę nie istnieje w STL per se).

Operatory indeksów są używane nie tylko do przeglądania wartości.

Answer 3

Uwaga dla nowych czytelników.
Oryginalny pytanie dotyczyło kontenerów STL (nie konkretnie o std :: map)

Należy zauważyć, że jest to wersja const operator [] na większości pojemników.
Po prostu std :: map i std :: set nie mają wersji const, a to jest wynikiem podstawowej struktury, która je implementuje.

Od std :: vector

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

także dla drugiego przykładu należy sprawdzić awarii wybrać element.

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

Jeśli zadeklarować swoją zmienną składową std :: map być zmienny

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

można użyć const funkcji Członka std :: map w twoich const funkcji składowych.

Answer 5

Ponieważ operator [] może wstawić nowy element do kontenera, nie może to być funkcja z elementem stałym. Zauważ, że definicja operatora [] jest niezwykle prosta: m [k] jest równoważne (* (()sert (value_type (k, data_type()))) first)) second. Ściśle mówiąc, ta funkcja jest niepotrzebna członkiem: istnieje tylko dla wygody

Answer 6

Teraz, z C++ 11 można mieć czystszą wersję przy użyciu at()

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