c++ - std::unordered_map 相等性是否取决于插入顺序

Question

如果您创建两个 std::unordered_map 容器使用相同的一组(不相等)键值对，但以不同的顺序插入(因此容器包含相等的元素，但可能在不同的顺序)，是保证相等的容器，根据相等运算符(operator==)。我假设容器元素的哈希码和相等运算符满足其实现所需的所有约束。

Answer 1

是的，在这种情况下，它们保证返回相等。具体措辞(来自 N4659，§[unord.req]/12)是:

Two unordered containers a and b compare equal if a.size() == b.size() and, for every equivalent-key group [Ea1, Ea2) obtained from a.equal_range(Ea1), there exists an equivalent-key group [Eb1, Eb2) obtained from b.equal_range(Ea1), such that is_permutation(Ea1, Ea2, Eb1, Eb2) returns true.

因此，只要一个中的键(和关联的值)与另一个相同(但可能以不同的排列顺序)，它就会比较相等。