派生类的哈希

Question

我有一种情况，我派生一个类而不更改其任何数据，因此保留其父级的散列函数就可以了。但是，这并不是开箱即用的：

#include <unordered_set>

struct A { size_t value; };
struct B : public A {};

namespace std
{
    template<>
    struct hash<A>
    {
        typedef A argument_type;
        typedef size_t result_type;
        result_type operator()(argument_type const& a) const noexcept { return a.value; }
    };
}

int main()
{
    std::unordered_set<A> a_set; // works fine
    std::unordered_set<B> b_set; // error: hash<B> not found
}

有没有一种简单的方法可以在不显式实现hash<B> 的情况下完成这项工作？

Answer 1

这个呢：

template <class T,
    typename std::enable_if<std::is_base_of<A, T>::value, bool>::type = true // just for the hard error
> using hash = std::hash<A>;

std::unordered_set<A> a_set;
std::unordered_set<B, hash<B>> b_set;

或者您可以将std::hash<A> 直接传递给B 设置为：

std::unordered_set<B, hash<A>> b_set;