std::map::const_iterator 泄漏对值的非常量引用？

Question

我观察到 std::map::const_iterator 泄漏了对 value_type 的非常量引用：

#include <map>
#include <stdio.h>

int main (int argc, char *argv[])
{
  std::map<int,int> foo = {{1,1},{4,2}};
  const auto &m = foo;
  const auto &it = foo.find(1);
  printf("%d %d\n", it->first, it->second);
  int &i = it->second;
  i = 3;
  auto &one = foo.at(1);
  printf("%d %d\n", 1, one);
  return 0;
}

输出

$ g++ test.cc && ./a.out 
1 1
1 3

这是预期的吗？为什么？编码 std::map 的 const 保护的唯一方法是将其包装在另一个类中吗？

Answer 1

这一行：

const auto &it = foo.find(1);

创建const reference 到std::map<int,int>::iterator，命名为it，因此您不能修改it 本身或它引用的迭代器，但可以修改它指向的数据（作为迭代器）。它类似于常量指针与指向常量数据的指针。使用m 得到std::map<int,int>::const_iterator 类型自动推导（它不必是const 引用）或给它显式类型：

std::map<int,int>::const_iterator it = foo.find(1);

那么你不能通过那个迭代器修改数据。