具有非唯一键排序但唯一比较的 std::map

Question

考虑以下代码：

#include <iostream>
#include <map>
#include <utility>


struct Key{
    int attr1, attr2;
    Key(int attr1, int attr2) : attr1(attr1), attr2(attr2) {}

    friend bool operator== (const Key& s1, const Key& s2);
    friend bool operator< (const Key& s1, const Key& s2);
};

bool operator== (const Key& s1, const Key& s2){
    return ((s1.attr1 == s2.attr1) && (s1.attr2 == s2.attr2));
}

bool operator< (const Key& s1, const Key& s2){
    return (s1.attr1 < s2.attr1);
}

int main(void){
    std::map<Key, int> mmap;
    mmap.insert(std::make_pair(Key(10, 10), 5));
    mmap.insert(std::make_pair(Key(10, 20), 5));
    std::cout << mmap.size() << std::endl;
}

输出是1我期望的地方2。这似乎是由于仅attr1在operator<. 但是，如果我是对的，比较不一定是强排序，而是弱排序就足够了。有一些其他的bug这里还是我一定要定义operator<为其中

Key1 !< Key2 && Key2 !< Key1 暗示 Key1 == Key2

成立吗？

Answer 1

std::mapoperartor ==比较元素时根本不使用。默认情况下，在这种情况下，它使用std::lesswhich 使用您的operator <. 由于您operator <只进行比较attr1，并且两个对象都具有相同的attr1，因此它们被认为是等效的，因此您在地图中只有一个对象。

要解决此问题，您需要检查两个成员，您可以使用该std::tie技巧制作一个为您执行此操作的元组

bool operator< (const Key& s1, const Key& s2){
    return std::tie(s1.attr1, s1.attr2) < std::tie(s2.attr1, s2.attr2);
}

另一种选择是使用std::unordered_map使用散列算法和相等运算符的 a 。使用它你只能散列attr1，但让相等运算符检查两者attr1并attr2确保没有添加真正的重复项。