为何无法用非const引用遍历std::set？该规则出自何处？

问题描述 #

无法使用非const引用遍历std::set<st, comp>类型的s1，请问原因是什么？此外，已知编译器限制非const引用访问std::set元素具有合理性，现想了解该规则的声明方式与位置。

示例代码 #

#include <set>

struct st {
  unsigned int f;
  std::set<int> s2;
};

struct comp {
  bool operator()(const st &lhs, const st &rhs) const {
    return lhs.f < rhs.f;
  }
};

int main() {
  std::set<st, comp> s1;
  st x;

  for (st &m : s1) // compiler error here. requires const st&
    m.s2.insert(begin(x.s2), end(x.s2));

  return 0;
}

问题解答 #

1. 无法使用非const引用遍历的原因 #

std::set是有序关联容器，它依赖元素的排序键（示例中是st::f）维持内部严格有序的结构。如果允许通过非const引用修改容器内的元素，就可能改变元素的排序键值，直接破坏set的有序性，导致后续的查找、插入、删除等操作逻辑完全失效，甚至触发未定义行为。因此标准直接禁止了对set元素的非const修改。

2. 规则的声明方式与位置 #

在C++标准中，std::set的迭代器（包括begin()/end()返回的普通迭代器）本质上是const迭代器：

• 当你解引用set的迭代器时，得到的是const T&类型（T是set的元素类型），而非T&。
• 从容器定义层面，std::set的元素被视为const对象，标准明确规定set不支持对元素的非const访问。

在编译器的标准库实现中，std::set的iterator类型会被封装为指向const元素的指针或类似结构，因此范围for循环中用非const引用接收元素时，会出现类型不匹配的编译错误，编译器会要求你使用const st&来接收。

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