如何使用 unordered_set？ [复制]

Question

我正在尝试像这样定义一个 unordered_set：

unordered_set<Point> m_Points;

当我编译它时，我得到以下错误：

C++ 标准不提供这种类型的散列。

班级Point:

class Point{
    private:
        int x, y;
    public:
        Point(int a_x, int a_y)
            : x(a_x), y(a_y)
        {}
        ~Point(){}

        int getX()const { return x; }
        int getY()const { return y; }

        bool operator == (const Point& rhs) const{
            return x == rhs.x && y == rhs.y;
        }

        bool operator != (const Point& rhs) const{
            return !(*this == rhs);
        }
};

• 如何/在哪里为 Point 定义哈希函数？
• 对于二维点，什么是好的散列函数？

Answer 1

std::unordered_set 要求您编写 hash functions 来存储和查找您自己的类型。

std 命名空间中的基本类型和许多类型在std::hash<Key> 中确实具有此类哈希函数。这些函数遵循certain rules：

1. 接受Key 类型的单个参数。

2. 返回一个size_t 类型的值，表示参数的哈希值。

3. 调用时不抛出异常。

4. 对于两个相等的参数k1和k2，std::hash<Key>()(k1) == std::hash<Key>()(k2)。

5. 对于两个不同的参数k1和k2不相等，std::hash<Key>()(k1) == std::hash<Key>()(k2)的概率应该很小，接近1.0/std::numeric_limits<size_t>::max()。

现在我们已经解决了定义，让我们考虑一下什么是适合您的点结构的好的散列函数。有一个request，std::pair（与点结构非常相似）有一个哈希函数，但不幸的是，它没有进入 C++11 标准。

但我们很幸运：SO 很棒，当然，您基本上已经可以find the answer。请注意，您不必自己散列整数，因为std::hash 已经对此进行了专门化。那么让我们深入研究一下我们的哈希函数，根据this answer：

namespace std
{
    template <>
    struct hash<Point>
    {
        size_t operator()(Point const & x) const noexcept
        {
            return (
                (51 + std::hash<int>()(x.getX())) * 51
                + std::hash<int>()(x.getY())
            );
        }
    };
}

我们已经完成了。