Почему мы не можем иметь неизменный вариант оператора [] для отображения

Question

Следующий код работает отлично:

std::map<int, int>& m = std::map<int, int>(); 
int i = m[0]; 

Но не следующий код:

// error C2678: binary '[' : no operator... 
const std::map<int, int>& m = std::map<int, int>(); 
int i = m[0]; 

Большую часть времени я предпочитают, чтобы сделать большую часть моего материала, чтобы стать непреложным, из-за причины:

http://www.javapractices.com/topic/TopicAction.do?Id=29

Я смотрю на исходный код карты. Он имеет

mapped_type& operator[](const key_type& _Keyval) 

Есть ли причина, почему станд :: карта не в состоянии обеспечить

const mapped_type& operator[](const key_type& _Keyval) const 

Answer 1

Оператор [] создаст запись, если она не существует на карте. Это невозможно, если оператор реализован для карты const. Это объяснение в :

индексация карты добавляет элемент по умолчанию , когда ключ не найден. Следовательно, нет версии оператора [] для карт const. Кроме того, подписка может быть используется, только если тип mapped_type (значение ) имеет значение по умолчанию. Если программист просто хочет увидеть, присутствует ли ключ , операцию find() (§17.4.1.6) можно использовать для поиска ключа без изменения карты.

Answer 2

оператор [] вставку, если ключ не найден, поэтому он не может быть константным членом.

Answer 3

Причина в том, что семантика std::map гласит, что если вы попытаетесь получить доступ к элементу с ключом, который не существует, ключ создается с построенным по умолчанию элементом. Другими словами, m[0] создаст int в местоположении 0, если он еще не существует. Очевидно, что это несовместимо с картой const.

Вы можете сказать: «Хорошо, сделайте const версию operator[], и пусть это не так!», Но есть две проблемы: разница в семантике будет неочевидной и запутанной, и неясно, что именно должно если вы попытаетесь получить доступ к ключу, который не существует (выведите исключение?).

Вместо этого вам нужно использовать метод find() на карте, который вернет итератор, указывающий на пару ключей/значений, которые вы ищете. Поиск в точности такой же эффективный, как и operator[], его можно использовать для сопоставлений const (в этом случае возвращает константный итератор), и он вернет итератор end(), если ключ не существует.

Answer 4

У этого есть неизменяемая версия, и это называется find().