std::hash 使用 sfinae 进行专业化?
std::hash specialization using sfinae?
作为练习,我试图看看当所有模板参数都是无符号类型时,我是否可以使用 SFINAE 为 std::pair
和 std::tuple
创建一个 std::hash
专业化.我对它们有一点经验,但据我了解,散列函数需要已经用 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 = void>
^
hash_sfinae.cpp:8:8: error: too many template arguments for class template 'hash'
struct hash<std::pair<T, T>, std::enable_if_t<std::is_unsigned<T>::value>>
这是我的预期,因为我正在尝试将模板参数扩展为散列...但我不确定当时处理这些情况的技术。有人可以帮我理解吗?
您不应该专门化 std::hash
不依赖于您自己定义的类型的类型。
也就是说,这个 hack 可能会起作用:
template<class T, class E>
using first = T;
template <typename T>
struct hash<first<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;
}
};
但是,真的,不要这样做。编写自己的哈希器。
作为练习,我试图看看当所有模板参数都是无符号类型时,我是否可以使用 SFINAE 为 std::pair
和 std::tuple
创建一个 std::hash
专业化.我对它们有一点经验,但据我了解,散列函数需要已经用 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 = void>
^
hash_sfinae.cpp:8:8: error: too many template arguments for class template 'hash'
struct hash<std::pair<T, T>, std::enable_if_t<std::is_unsigned<T>::value>>
这是我的预期,因为我正在尝试将模板参数扩展为散列...但我不确定当时处理这些情况的技术。有人可以帮我理解吗?
您不应该专门化 std::hash
不依赖于您自己定义的类型的类型。
也就是说,这个 hack 可能会起作用:
template<class T, class E>
using first = T;
template <typename T>
struct hash<first<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;
}
};
但是,真的,不要这样做。编写自己的哈希器。