在结构内的 TR1 unordered_map 中定义哈希函数

Question

根据this，可以像这样在TR1 unordered_map中定义一个相等函数：

#include <tr1/unordered_map>
using namespace std;
using namespace std::tr1;
struct foo{
    ...
    bool operator==(const foo& b) const{
        return ..;
    }
};

unordered_map<foo,int> map;

是否可以用同样的方式定义散列函数？

Answer 1

如果您想更改默认散列（或者，更常见的是，为当前不支持的类型提供散列），您可以为您的键类型提供 std::tr1::hash<T> 的特化：

namespace std { 
namespace tr1 { 
    template<>
    struct hash<typename my_key_type> {
        std::size_t operator()(my_key_type const &key) {
            return whatever;
        }
    };
}
}

请注意，为用户定义的类型专门化现有模板是罕见的情况之一，您特别被允许在namespace std中编写代码。 p>

Answer 2

unordered_map 类的签名是这样的：

template<class Key,
    class Ty,
    class Hash = std::hash<Key>,
    class Pred = std::equal_to<Key>,
    class Alloc = std::allocator<std::pair<const Key, Ty> > >
    class unordered_map;

您的示例有效，因为默认 Pred，std::equal_to，默认使用 operator== 检查相等性。编译器会找到您的 foo::operator== 成员函数并使用它。

std::hash 没有任何会调用类上的成员函数的特化，因此您不能只使用自定义哈希将成员添加到 foo。您将需要专门化 std::hash 。如果您希望它在 foo 上调用成员函数，请继续。你最终会得到这样的结果：

struct foo
{
    size_t hash() const
    {
       // hashing method here, return a size_t
    }
};

namespace std
{
    // Specialise std::hash for foo.
    template<>
    class hash< foo >
        : public unary_function< foo, size_t >
    {
    public:
        size_t operator()( const foo& f )
        {
            return f.hash();
        }
    };
}