标签:c c14 sfinae template-specialization
作为练习,我试图看看当所有模板参数都是无符号类型时,我是否可以使用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专门化.
也就是说,这个黑客可能会起作用:
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;
}
};
但是,真的,不要这样做.写你自己的哈希.
标签:c,c14,sfinae,template-specialization 来源: https://codeday.me/bug/20190929/1830809.html
本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享; 2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关; 3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关; 4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除; 5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。