В чем разница между константным и неконстантным ключом?

• int и const int — это два разных типа.

• std::map<int, float> и std::map<const int, float> также являются разными типами.

Разница между std::map<const int, float> и std::map<int, float> в какой-то степени аналогична разнице, скажем, между std::map<int, float> и std::map<std::string, float>; для каждого вы получаете новый тип карты.

В случае, отличном от const, тип внутреннего ключа является по-прежнему отличным от const int:

std::map<const int, float>::key_type       => const int
std::map<int, float>::key_type             => int

Однако ключи карты семантически неизменяемы, и все операции карты, которые разрешают прямой доступ к ключам (например, разыменование итераторов, что дает value_type), constисправляют key_type:

std::map<const int, float>::value_type => std::pair<const int, float>
std::map<int, float>::value_type       => std::pair<const int, float>

Таким образом, разница может быть практически незаметной для вас во всех смыслах, если ваша реализация позволяет это.

Однако это не всегда так: стандарт официально требует, чтобы ваш тип ключа был копируемым и перемещаемым, а некоторые реализации повторно используют узлы карты; в этих реализациях попытка использовать ключ const просто не сработает.

ключ уже имеет значение const, поэтому в данном случае писать const излишне. После ввода элемента его key нельзя изменить.

Изменить:

Как упоминалось в комментариях, между двумя строками есть разница. Например, если вы пишете функцию, которая принимает map<const int, int>, вы не можете передать ей map<int, int>, так как они разные типы.

Но обратите внимание, что, хотя они и относятся к разным типам, они ведут себя одинаково, поскольку ключ на карте в любом случае является const...

Итак, в заключение. Единственная разница в том, что это два разных типа, вам не нужно заботиться ни о чем другом.

Отличие в том, что второй вариант установит тип ключа для карты как const int. С точки зрения «модифицируемости» это избыточно, так как карта уже хранит свои ключи как const объекты.

Однако это также может привести к неожиданным и неочевидным различиям в поведении этих двух карт. В C++ специализация шаблона, написанная для типа T, отличается от специализации, написанной для типа const T. Это означает, что две вышеупомянутые версии карты могут в конечном итоге использовать разные специализации различных «спутниковых» шаблонов, которые зависят от типа ключа. Одним из примеров является ключевой предикат компаратора. Первый будет использовать std::less<int>, а второй — std::less<const int>. Используя эту разницу, вы можете легко заставить эти карты сортировать элементы в другом порядке.

Подобные проблемы более очевидны с новыми контейнерами C++11, такими как std::unordered_map. std::unordered_map<const int, int> даже не будет компилироваться, так как попытается использовать std::hash<const int> специализацию для хеширования ключей. Такой специализации нет в стандартной библиотеке.

const нельзя изменить после установки. И да, согласно документам и другим ответам, вы должны помнить, что key уже const.

Ссылка: http://www.cplusplus.com/reference/map/map/ Ссылка: http://en.cppreference.com/w/cpp/container/map

Хотя поведение вашего приложения обычно будет таким же, оно имеет значение для некоторых компиляторов, которые вы можете использовать. Более конкретный пример того, что привело меня на эту страницу в первую очередь:

Явное указание карты как map<const key, value> успешно строится с помощью инструментария gnu;

Однако это приводит к сбою сборки Studio12 Solaris x86.

map<key, value> успешно строится на обоих. Поведение приложения не изменилось.

Постоянные ключи могут быть полезны, если ключи являются указателями. Использование константных ключей не позволит вам изменить указанный объект при доступе к ключам, учтите это:

#include <map>
#include <string>

int glob = 10;

int main() {
    std::map<const int*, std::string> constKeyMap { { &glob, "foo"} };
    std::map<int*, std::string> keyMap { { &glob, "bar" } };

    for(const auto& kv : keyMap) { *(kv.first) = 20; }; // glob = 20
    for(const auto& kv : constKeyMap) { *(kv.first) = 20; }; // COMPILE ERROR

    return 0;
}

const относится к константе, которая после определения не может быть изменена, а затем... неконстантный ключ подвергается изменению... или даже не может быть изменен, просто в константе гарантируется "отсутствие изменений" (после определения) , а «изменение» может происходить или не происходить в неконстантных вещах.