c++ - 派生类的散列

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;