为什么unordered_set的元素对于自定义eslore_to不是唯一的

Question

我试图更好地理解unordered_set。主要是我在unordered_set中的理解元素应该是唯一的，直到相等的_to操作员。 因此，我决定通过一小部分代码来测试

#include <iostream>
#include <unordered_set>
using namespace std;

struct m_int
{
    int x;
};
// template specialization for std::hash
template<>
struct std::hash<m_int>
{
std::size_t operator()(m_int const& x) const noexcept
{

return hash<int>{}(x.x); 
}
};
//template specialization for std::equal_to

template<>
struct std::equal_to<m_int>
{
bool operator()(const m_int &lhs, const m_int &rhs) const 
{
    
return abs(lhs.x-rhs.x)<=3;
}
};
int main() {
    unordered_set<m_int> m={{1},{2},{3},{4}};
    for(auto&x:m)
        cout<<x.x<<' ';
    cout<<endl;
    cout<<m.count({2})<<endl;
    // your code goes here
    return 0;
}

我最初的想法是将1插入2，而3将插入4。

我得到的输出是

4 3 2 1 
1

因为根据我的等效_to 1和2是相同的，因此该集合实际上包含重复，这与集合的定义相对。为什么这种情况呢？我该如何解决？

Answer 1

未排序的容器具有以下对其哈希和密钥平等函数的要求：

如果两个键相等，则哈希必须返回相同的
两个键的值。

对于您的容器而言，这是不正确的。例如，1和4比较平等，但它们（几乎可以肯定）具有不同的哈希值。这导致不确定的行为。

这里的另一个逻辑问题：1等于4，4等于7，但1不等于7。这也不计算。