cpp unordered_set 只使用比较器而不是哈希

Question

#include <unordered_set>
#include <iostream>

class edge{
    public:
        float a1;
        float a2;

};

struct comp{
    bool operator()(const edge& e1, const edge& e2) const {
        return true;
        return (
            (e1.a1==e2.a1 && e1.a2==e2.a2) ||
            (e1.a1==e2.a2 && e1.a2==e2.a1)
        );
    };
};
struct hash{
    size_t operator()(const edge& e1) const {
        // return std::hash<float>()(e1.a1+e1.a2);
        return std::hash<float>()(e1.a1+e1.a2*2);
    };
};


int main() {
    std::unordered_set<edge,hash,comp> s1;
    s1.insert(edge{1.1,2.2});
    s1.insert(edge{2.2,1.1});
    for( auto& it : s1 ) {
        std::cout << it.a1 << " " << it.a2 << "\n";
    }
    std::cout << "s1.size " << s1.size() << "\n";
}

我意识到如果不同的元素具有相同的哈希值，那么它们被认为是相等的，但我只是希望这个 unordered_set 使用我定义的比较器，只是忽略哈希？

如何实现？

我知道我可以使用set，但是使用set需要考虑顺序，如果a

如果有人能帮忙，不胜感激

---

编辑： 我的意图是让两条边称为 e1,e2，如果 (e1.a1==e2.a1&&e1.a2==e2.a2)or(e1.a1==e2.a2 && e1.a2==e2.a1) 如我提供的那样，它们是相同的 在结构比较中。 但是当我测试时。似乎哈希函数也可以改变比较。有人说我定义哈希和比较器的方式会导致未定义的行为。 真的吗？为什么？ 如果是真的，如何解决这个问题？我只想让比较器决定将哪一个满足插入 unordered_set 而不重复。而且真的不关心哈希。

顺便说一句，感谢很多人回复

Answer 1

如果你想交替处理edge.a1 和edge.a2，你必须实现一个散列函数，即使它们被交换也返回相同的值。我建议不要使用加法，因为addition may not be commutative for floats，但您可以按大小对它们进行排序，然后组合哈希：

struct hash {
  size_t operator()(const edge& e1) const {
    auto h1 = std::hash<float>{}(std::min(e1.a1, e1.a2));
    auto h2 = std::hash<float>{}(std::max(e1.a1, e1.a2));
    return h1 ^ (h2 << 1)
  };
};

这只对相当大的浮点数集有意义，否则散列开销可能会超过首先使用散列数据结构的好处。

旧答案供参考：

具有相同哈希值的对象不被认为是相等的 unordered_set。它们只是存储在同一个存储桶中。有一个 KeyEqual template parameter 用于比较，由 默认使用Key 的operator==。所以你的主要问题是， comp 应该实现 e1 == e2 而不是 e1 < e2（并且应该 可能被称为equal)。

哈希只是用来加速搜索、插入和删除 元素。

另一方面，您可能希望使用成员的哈希值 变量而不是值本身来计算 edge:

struct hash {
  size_t operator()(const edge& e1) const {
    auto h1 = std::hash<float>{}(e1.a1);
    auto h2 = std::hash<float>{}(e1.a2);
    return h1 ^ (h2 << 1)
  };
};

这样，交换后的两条边不会得到相同的哈希值 坐标。建议使用这种组合哈希的方式here (but is not a good way to combine more than two)。

Answer 2

您不必必须使用edge 的成员来提供哈希。只要求相等的值具有相等的散列。 “始终有效”的哈希是

struct hash{
    size_t operator()(const edge& e1) const {
        return 0;
    };
};

但看来你最初的尝试更好

struct hash{
    size_t operator()(const edge& e1) const {
        return std::hash<float>{}(e1.a1 + e1.a2); // + is commutative
    };
};