std::for_each编译错误：无法将const pair转换为非const引用

这个问题其实戳中了C++标准容器里一个很容易被忽略的细节——std::unordered_map（包括std::map）的元素类型到底是什么！我来给你拆解清楚：

先明确一个核心规则 #

不管你声明的std::unordered_map是std::unordered_map<K, V>还是其他变种，它的每个元素的实际类型都是**std::pair<const K, V>**，而不是你直觉里的std::pair<K, V>。

为什么要加const？因为哈希表（或者有序映射）的键是绝对不能被修改的——一旦你修改了某个元素的键，这个元素在哈希表中的位置（或者有序映射中的排序位置）就不再匹配它的新键值，会直接破坏容器的内部结构，导致后续的查找、插入、删除等操作全部出错。所以标准库强制把键设为const类型，从根源上阻止你修改它。

分析第一个编译错误的原因 #

你第一个例子遍历的是std::unordered_map<point, int>，所以每个元素的实际类型是std::pair<const point, int>。

而你把lambda的参数写成了std::pair<point, int>&——这相当于要求编译器把一个const point类型的键，转换绑定到非const的point引用上。这在C++里是严格禁止的：const对象不能被非const引用引用，否则就可能被意外修改，违反了const的语义。所以编译器直接抛出“无法将std::pair<const point, int>转换为std::pair<point, int>&”的错误。

为什么第二个例子能正常编译 #

你第二个例子遍历的是std::unordered_map<table_info_t, const char*>，它的元素类型正好是std::pair<const table_info_t, const char*>——和你写的lambda参数类型完全一致！

这种情况下，编译器不需要做任何类型转换，直接把元素绑定到引用上就可以了，自然不会有编译错误。

给第一个例子的修复方案 #

其实有几种简单的解决办法：

• 最直接的：把lambda参数改成std::pair<const point, int>&，和元素的实际类型完全匹配；
• 更省心的：用auto&让编译器自动推导正确的元素类型，比如：

  std::unordered_map<point, int> my_map;
  std::for_each(my_map.begin(), my_map.end(), [](auto& elem) {
      // elem.first是const point类型，不能修改；elem.second是int&，可以修改
      elem.second += 1;
  });
  

• 如果不需要修改元素，也可以用const auto&，更安全，还能避免不必要的拷贝。

内容的提问来源于stack exchange，提问作者pawel_j