我有一个包含枚举类的类。
class Shader {
public:
enum class Type {
Vertex = GL_VERTEX_SHADER,
Geometry = GL_GEOMETRY_SHADER,
Fragment = GL_FRAGMENT_SHADER
};
//...
那么，当我在另一个类中实现以下代码时...
std::unordered_map<Shader::Type, Shader> shaders;
...我遇到了编译错误。
...usr/lib/c++/v1/type_traits:770:38:
Implicit instantiation of undefined template 'std::__1::hash<Shader::Type>'
这里是什么导致了错误？
我使用一个函数对象来计算enum class的哈希值：
struct EnumClassHash
{
template <typename T>
std::size_t operator()(T t) const
{
return static_cast<std::size_t>(t);
}
};
std::unordered_map的第三个模板参数：enum class MyEnum {};
std::unordered_map<MyEnum, int, EnumClassHash> myMap;
因此，您无需提供std::hash的专业化，模板参数推断会完成这项工作。此外，您可以使用单词using并创建自己的unordered_map，该映射使用std::hash或EnumClassHash，具体取决于Key类型:
template <typename Key>
using HashType = typename std::conditional<std::is_enum<Key>::value, EnumClassHash, std::hash<Key>>::type;
template <typename Key, typename T>
using MyUnorderedMap = std::unordered_map<Key, T, HashType<Key>>;
MyUnorderedMap与enum class或其他类型：MyUnorderedMap<int, int> myMap2;
MyUnorderedMap<MyEnum, int> myMap3;
HashType 可以使用 std::underlying_type，那么就不需要使用 EnumClassHash。代码如下，但我还没有尝试过：template <typename Key>
using HashType = typename std::conditional<std::is_enum<Key>::value, std::hash<std::underlying_type<Key>::type>, std::hash<Key>>::type;
如果使用std::underlying_type可行的话，可能会成为标准的一个非常好的建议。
underlying_type 不起作用。你已经证明了：必须有一个 hash() 函数，它接受一个 MyEnumClass 参数。因此，当在 underlying_type 上进行哈希时，会调用一个期望一个 int（或 : yourEnumClassType）的函数。仅仅尝试使用 underlying_type 将显示它给出完全相同的错误：无法将 MyEnumClass 转换为 int。如果仅仅传递 underlying_type 就可以工作，那么直接在第一次传递 MyEnumClass 也是可以的。无论如何，正如 David S 所示，WG 现在已经修复了这个问题。如果 GCC 能够发布他们的补丁就好了... - underscore_denum class作为std::unordered_set的键可以编译通过。 - Richard Dally一个非常简单的解决方案是提供一个像这样的哈希函数对象：
std::unordered_map<Shader::Type, Shader, std::hash<int> > shaders;
这就是枚举键的全部内容，不需要提供 std::hash 的专门化实现。
namespace std {
template <> struct hash<MyEnumClass> {
size_t operator() (const MyEnumClass &t) const { return size_t(t); }
};
}
const noexcept 吗？ - einpoklumstd是未定义行为。 - Victor Polevoynamespace std
{
template<>
struct hash< ::Shader::Type >
{
typedef ::Shader::Type argument_type;
typedef std::underlying_type< argument_type >::type underlying_type;
typedef std::hash< underlying_type >::result_type result_type;
result_type operator()( const argument_type& arg ) const
{
std::hash< underlying_type > hasher;
return hasher( static_cast< underlying_type >( arg ) );
}
};
}
std::unordered_map 时，您需要一个哈希函数。对于内置或 STL 类型，有默认值可用，但对于用户定义的类型则没有。如果您只需要一个映射，为什么不尝试使用 std::map 呢？std::unordered_map 在几乎所有情况下都具有卓越的性能，应该被视为比 std::map 更为默认的选择。 - David Stone// assume shader_vertex, shader_geometry, shader_fragment are initialized
Shader* toShader(Shader::Type value){
switch(value){
case Shader::Type::Vertex:
return &shader_vertex;
case Shader::Type::Geometry:
return &shader_geometry;
case Shader::Type::Fragment:
return &shader_fragment;
default:
//some error handling..
return nullptr;
}
与其他解决方案不同，这种方法不依赖于编译器。
感谢这个项目链接。
尝试一下
std::unordered_map<Shader::Type, Shader, std::hash<std::underlying_type<Shader::Type>::type>> shaders;
std::hash()将期望一个underlying_type实例作为参数，但实际上会得到MyEnumClass。这正是当您尝试使用旧的普通enum解决方案指定std::hash<int>时发生的情况。在建议之前，您是否尝试过这个方法？ - underscore_denum class，而不是C风格的未作用域的enum。你会发现我的评论对于主题enum class是正确的。 - underscore_d
std::hash。 - Kerrek SB