unordered_set/unordered_multiset迭代器失效：为何插入时表现不同？

首先要纠正一个认知偏差：unordered_multiset在插入操作引发重哈希时，同样会导致所有迭代器失效，它和unordered_set的迭代器失效规则完全一致。

你提到两者基于桶结构的哈希表实现几乎相同，这一点没错——它们的核心哈希表逻辑（桶数组、元素链式存储、重哈希机制）是共享的，差异仅在于元素唯一性的处理：unordered_set会先检查元素是否已存在，存在则插入失败；unordered_multiset则直接允许重复元素插入。但这部分差异完全不影响迭代器失效的规则。

为什么会有“unordered_multiset插入不会失效迭代器”的误解？大概率是混淆了两种场景：

• 当插入操作没有触发重哈希（当前负载因子未超过预设阈值）时，不管是unordered_set还是unordered_multiset，迭代器都不会失效。unordered_set可能因元素已存在插入失败，但这不会影响迭代器有效性；unordered_multiset插入几乎总能成功，只要不触发扩容，迭代器就保持有效。
• 另一种可能是把哈希表容器和list这类链表容器搞混了——list的插入操作不会导致任何迭代器失效，但哈希表类容器（包括unordered_set、unordered_multiset、unordered_map、unordered_multimap）只要触发重哈希，所有迭代器都会失效，因为旧的桶数组会被销毁，迭代器指向的旧内存地址不再有效。

总结一下：两者在重哈希时的迭代器失效行为完全一致，不存在谁特殊的情况。

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