std :: map :: const_iterator泄漏非const引用值？

Question

我觀察到std :: map :: const_iterator泄漏了對value_type的非const引用：

#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-protection的唯一方法是將它包裝在另一個類中嗎？

Answer 1

這一行：

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

創建const reference到std::map<int,int>::iterator命名it ，這樣就可以不修改it本身或它的迭代器指的是，但可以修改它指向（如迭代器）的數據。 它類似於常量指針與指向const數據的指針。 使用m來獲取帶有自動推導類型的std::map<int,int>::const_iterator （它不必是const引用）或者給它顯式類型：

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

那么你不能通過迭代器修改數據。