当修改 std::set 的元素时会发生什么？

Question

例如，如果我通过迭代器更改 std::set 的元素，我知道它不是“重新插入”或“重新排序”，但是否有提及它是否会触发未定义的行为？ 例如，我想象插入会搞砸。 有没有提到具体发生了什么？

Answer 1

您不应直接编辑存储在集中的值。 我从MSDN文档中复制了这个，有点权威：

使用STL容器类集
用于数据的存储和检索
来自其中值的集合
所包含的元素是唯一的
并作为关键值
数据自动存储到其中
订购了。 a 中某个元素的值
设置不能直接更改。
相反，您必须删除旧值
并插入具有新值的元素。

为什么这是很容易理解的。 set 实现将无法知道您已经修改了其背后的值。 正常的实现是红黑树。 更改值后，该实例在树中的位置将是错误的。 您可能会看到各种错误行为，例如 exists 查询由于搜索到了树的错误分支而返回错误结果。

Answer 2

确切的答案取决于平台，但作为一般规则，“密钥”（您放入集合中的内容或地图的第一种类型）应该是“不可变的”。 简单来说就是不应该修改，也不存在自动重新插入的情况。

更准确地说，用于比较键的成员变量不得修改。

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。
但至少，这样做可能会让您想知道发生了什么，然后转到堆栈溢出并查看此线程:-)

Answer 3

你不可以做这个; 它们是const。 set 没有任何方法可以检测到您对内部元素进行的更改，因此您无法这样做。 相反，您必须删除并重新插入该元素。 如果您使用复制成本高昂的元素，则可能必须改用指针和自定义比较器（或改用支持右值引用的 C++1x 编译器，这将使事情变得更好）。