Dlaczego nie jest stała operatora [] dla map STL?

Wymyślony przykład, aby odpowiedzieć na pytanie:

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

To się nie skompiluje, ponieważ operator [] nie jest stałą.

Jest 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. Dlaczego operator [] nie jest stałą?

For std::mapand std::unordered_map, operator[]wstawi wartość indeksu do kontenera, jeśli wcześniej nie istniała. To trochę nieintuicyjne, ale tak właśnie jest.

Ponieważ musi mieć możliwość niepowodzenia i wstawienia wartości domyślnej, operatora nie można używać na constwystąpieniu kontenera.

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

Teraz z C ++ 11 możesz mieć czystszą wersję używając at ()

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

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

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

Z std :: vector

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

Również w drugim przykładzie powinieneś sprawdzić, czy nie udało się znaleźć elementu.

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

Ponieważ operator [] może wstawić nowy element do kontenera, nie może to być stała funkcja składowa. Zauważ, że definicja operatora [] jest niezwykle prosta: m [k] jest równoważne z (* ((m.wstaw (typ_wartości (k, typ_danych ())). Pierwsza)). Sekunda. Ściśle mówiąc, ta funkcja członkowska jest niepotrzebna: istnieje tylko dla wygody

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

Operatory indeksu służą nie tylko do sprawdzania wartości.

Jeśli zadeklarujesz zmienną składową std :: map jako mutowalną

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

możesz użyć funkcji składowych niebędących stałymi std :: map w ramach funkcji składowych stałych.