相关疑难解决方法(0)

作为练习,我试图看看是否可以使用SFINAE创建std::hash专门化,std::pair并且std::tuple当其所有模板参数都是无符号类型时.我对它们有一点经验,但据我所知,哈希函数需要已经模板化,typename Enabled = void我可以添加一个特化.我不确定从哪里开始.这是一种无效的尝试.

#include <functional>
#include <type_traits>
#include <unordered_set>
#include <utility>

namespace std {
template <typename T, typename Enabled = void>
struct hash<std::pair<T, T>, std::enable_if_t<std::is_unsigned<T>::value>>
{
    size_t operator()(const std::pair<T, T>& x) const
    {
        return x;
    }
};
}; // namespace std


int
main(int argc, char ** argv)
{
    std::unordered_set<std::pair<unsigned, unsigned>> test{};
    return 0;
}

错误:

hash_sfinae.cpp:7:42: error: default template argument in a class template partial specialization
template <typename T, typename Enabled …