如果我更改 std::set 的元素，例如，通过迭代器，我知道它不是“重新插入”或“重新排序”，但有没有提到它是否会触发未定义的行为？例如，我想插入会搞砸。有没有具体提到会发生什么？
【问题讨论】：
标签： c++ stl collections set
您不应直接编辑存储在集合中的值。我从具有一定权威性的 MSDN 文档中复制了这个：
使用 STL 容器类集 用于存储和检索数据 来自一个集合，其中的值 包含的元素是独一无二的 并作为关键值根据 数据自动传送到的位置 订购。 a中元素的值 set 不能直接更改。 相反，您必须删除旧值 并插入具有新值的元素。
为什么这很容易理解。 set 实现将无法知道您已在其背后修改了值。正常的实现是红黑树。更改了值后，该实例在树中的位置将是错误的。您可能会看到各种错误行为，例如 exists 查询返回错误结果，因为搜索沿着树的错误分支进行。
【讨论】：
确切的答案取决于平台，但作为一般规则，“键”（您放入集合或地图的第一种类型的东西）应该是“不可变的”。简单来说就是不应该修改，也没有自动重新插入这种东西。
更准确地说，用于比较键的成员变量不得修改。
Windows vc 编译器非常灵活（用 VC8 测试过），这段代码可以编译：
// creation
std::set<int> toto;
toto.insert(4);
toto.insert(40);
toto.insert(25);
// bad modif
(*toto.begin())=100;
// output
for(std::set<int>::iterator it = toto.begin(); it != toto.end(); ++it)
{
std::cout<<*it<<" ";
}
std::cout<<std::endl;
输出是100 25 40，明显没有排序……不好…… 不过，当您想要修改不参与 运算符 的数据时，这种行为还是很有用的。但您最好知道自己在做什么：这就是过于灵活的代价。
有些人可能更喜欢 gcc 行为（使用 3.4.4 测试），它会给出错误“分配只读位置”。您可以使用 const_cast 解决它：
const_cast<int&>(*toto.begin())=100;
现在也在 gcc 上编译，输出相同：100 25 40。 但至少，这样做可能会让你想知道发生了什么，然后去堆栈溢出看看这个线程:-)
【讨论】：
你不能这样做；他们是const。没有任何方法可以让set 检测到您对内部元素进行了更改，因此您无法这样做。相反，您必须删除并重新插入该元素。如果您使用复制成本高昂的元素，您可能必须改用指针和自定义比较器（或改用支持右值引用的 C++1x 编译器，这会使事情变得更好）。
【讨论】：