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

Question

根据此，可以在 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 的专门化您的键类型：

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

请注意，将现有模板专门用于用户定义类型是允许您在命名空间中编写代码的罕见情况之一标准。

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<> 默认情况下使用运算符 == 检查相等性。编译器找到您的 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();
        }
    };
}