无法以用户定义的类为键创建二维 unordered_map答案

【问题标题】：Cannot create two-dimensional unordered_map with user-defined class as key无法以用户定义的类为键创建二维 unordered_map
【发布时间】：2015-11-09 20:44:12
【问题描述】：

如标题中所述，当使用带有用户定义类作为键的二维映射时，我无法让 VC++ 编译器工作。这是我要声明的地图：

std::unordered_map<tag, std::map<tag, std::pair<bool, bool>>> transitRights;

这里是类标签的声明和 std::hash 函数的特化：

class tag
{
public:
    tag();
    tag(const char[3]);
    tag(const std::string&);
    void operator=(const tag&);
    const bool operator==(const tag&)const;
    operator const std::string()const;
    const char& getA()const { return a; }
    const char& getB()const { return b; }
    const char& getC()const { return c; }
private:
    char a, b, c;
};


namespace std
{
    template<> class hash<tag>
    {
    public:
        size_t operator()(const tag& _tag) const
        {
            return hash<char>()(_tag.getA()) ^ hash<char>()(_tag.getB()) ^ hash<char>()(_tag.getC());
        }
    };
};

在尝试编译时，Visual Studio 向我抛出了一堆这些神秘的错误消息：

1>C:\Program Files (x86)\Microsoft Visual Studio 12.0\VC\include\xmemory0(600): error C2664: 'std::pair<const _Kty,_Ty>::pair(const std::pair<const _Kty,_Ty> &)' : cannot convert argument 1 from 'const tag' to 'const std::pair<const _Kty,_Ty> &'
1>          with
1>          [
1>              _Kty=int
1>  ,            _Ty=std::pair<bool,bool>
1>          ]
1>          Reason: cannot convert from 'const tag' to 'const std::pair<const _Kty,_Ty>'
1>          with
1>          [
1>              _Kty=int
1>  ,            _Ty=std::pair<bool,bool>
1>          ]
1>          No user-defined-conversion operator available that can perform this conversion, or the operator cannot be called
1>          C:\Program Files (x86)\Microsoft Visual Studio 12.0\VC\include\xmemory0(723) : see reference to function template instantiation 'void std::allocator<_Other>::construct<_Objty,const tag&>(_Objty *,const tag &)' being compiled
1>          with
1>          [
1>              _Other=std::_Tree_node<std::pair<const int,std::pair<bool,bool>>,void *>
1>  ,            _Objty=std::pair<const int,std::pair<bool,bool>>
1>          ]
1>          C:\Program Files (x86)\Microsoft Visual Studio 12.0\VC\include\xmemory0(723) : see reference to function template instantiation 'void std::allocator<_Other>::construct<_Objty,const tag&>(_Objty *,const tag &)' being compiled
1>          with
1>          [
1>              _Other=std::_Tree_node<std::pair<const int,std::pair<bool,bool>>,void *>
1>  ,            _Objty=std::pair<const int,std::pair<bool,bool>>
1>          ]
1>          C:\Program Files (x86)\Microsoft Visual Studio 12.0\VC\include\xmemory0(872) : see reference to function template instantiation 'void std::allocator_traits<_Alloc>::construct<_Ty,const tag&>(std::allocator<_Other> &,_Objty *,const tag &)' being compiled
1>          with
1>          [
1>              _Alloc=std::allocator<std::_Tree_node<std::pair<const int,std::pair<bool,bool>>,void *>>
1>  ,            _Ty=std::pair<const int,std::pair<bool,bool>>
1>  ,            _Other=std::_Tree_node<std::pair<const int,std::pair<bool,bool>>,void *>
1>  ,            _Objty=std::pair<const int,std::pair<bool,bool>>
1>          ]
1>          C:\Program Files (x86)\Microsoft Visual Studio 12.0\VC\include\xmemory0(872) : see reference to function template instantiation 'void std::allocator_traits<_Alloc>::construct<_Ty,const tag&>(std::allocator<_Other> &,_Objty *,const tag &)' being compiled
1>          with
1>          [
1>              _Alloc=std::allocator<std::_Tree_node<std::pair<const int,std::pair<bool,bool>>,void *>>
1>  ,            _Ty=std::pair<const int,std::pair<bool,bool>>
1>  ,            _Other=std::_Tree_node<std::pair<const int,std::pair<bool,bool>>,void *>
1>  ,            _Objty=std::pair<const int,std::pair<bool,bool>>
1>          ]
1>          C:\Program Files (x86)\Microsoft Visual Studio 12.0\VC\include\xtree(933) : see reference to function template instantiation 'void std::_Wrap_alloc<std::allocator<_Other>>::construct<_Ty,const tag&>(_Ty *,const tag &)' being compiled
1>          with
1>          [
1>              _Other=std::_Tree_node<std::pair<const int,std::pair<bool,bool>>,void *>
1>  ,            _Ty=std::pair<const int,std::pair<bool,bool>>
1>          ]
1>          C:\Program Files (x86)\Microsoft Visual Studio 12.0\VC\include\xtree(933) : see reference to function template instantiation 'void std::_Wrap_alloc<std::allocator<_Other>>::construct<_Ty,const tag&>(_Ty *,const tag &)' being compiled
1>          with
1>          [
1>              _Other=std::_Tree_node<std::pair<const int,std::pair<bool,bool>>,void *>
1>  ,            _Ty=std::pair<const int,std::pair<bool,bool>>
1>          ]
1>          C:\Program Files (x86)\Microsoft Visual Studio 12.0\VC\include\xtree(1176) : see reference to function template instantiation 'std::_Tree_node<std::pair<const _Kty,_Ty>,void *> *std::_Tree_buy<std::pair<const _Kty,_Ty>,std::allocator<std::pair<const _Kty,_Ty>>>::_Buynode<const tag&>(const tag &)' being compiled
1>          with
1>          [
1>              _Kty=int
1>  ,            _Ty=std::pair<bool,bool>
1>          ]
1>          C:\Program Files (x86)\Microsoft Visual Studio 12.0\VC\include\xtree(1176) : see reference to function template instantiation 'std::_Tree_node<std::pair<const _Kty,_Ty>,void *> *std::_Tree_buy<std::pair<const _Kty,_Ty>,std::allocator<std::pair<const _Kty,_Ty>>>::_Buynode<const tag&>(const tag &)' being compiled
1>          with
1>          [
1>              _Kty=int
1>  ,            _Ty=std::pair<bool,bool>
1>          ]
1>          nation.cpp(600) : see reference to function template instantiation 'std::pair<std::_Tree_iterator<std::_Tree_val<std::_Tree_simple_types<std::pair<const _Kty,_Ty>>>>,bool> std::_Tree<std::_Tmap_traits<_Kty,_Ty,_Pr,_Alloc,false>>::emplace<const tag&>(const tag &)' being compiled
1>          with
1>          [
1>              _Kty=int
1>  ,            _Ty=std::pair<bool,bool>
1>  ,            _Pr=std::less<int>
1>  ,            _Alloc=std::allocator<std::pair<const int,std::pair<bool,bool>>>
1>          ]
1>          nation.cpp(600) : see reference to function template instantiation 'std::pair<std::_Tree_iterator<std::_Tree_val<std::_Tree_simple_types<std::pair<const _Kty,_Ty>>>>,bool> std::_Tree<std::_Tmap_traits<_Kty,_Ty,_Pr,_Alloc,false>>::emplace<const tag&>(const tag &)' being compiled
1>          with
1>          [
1>              _Kty=int
1>  ,            _Ty=std::pair<bool,bool>
1>  ,            _Pr=std::less<int>
1>  ,            _Alloc=std::allocator<std::pair<const int,std::pair<bool,bool>>>
1>          ]

任何对我在这里做错的见解都会非常感激。

【问题讨论】：

标签： c++ dictionary stl unordered-map

【解决方案1】：

问题在于嵌套对象是std::map（不是unordered_map），为此您需要对tag 进行小于比较。

但是，您应该能够构建 unordered_maps 的 unordered_map。

【讨论】：

【解决方案2】：

哈希必须是struct:

namespace std {
    template<> struct hash<tag> {
               ^^^^^^
    public:
        size_t operator()(const tag& _tag) const {
            return hash<char>()(_tag.getA()) ^ hash<char>()(_tag.getB()) ^ hash<char>()(_tag.getC());
        }
    };
};

编辑：

正如@6502 正确提到的那样，您还必须定义小于operator<，因为您还使用带有键tag 的std::map（下面的示例）：

bool operator<(tag const &t1, tag const &t2) {
  return t1.getA() < t2.getA();    
}

LIVE DEMO

【讨论】：

只有当您实际上不使用transitRights 对象时，代码才会编译，但一旦您尝试使用它就会停止工作，除非您将其设为unorederd_map<tag, unordered_map<... 而不是使用@987654331 @ 表示外部地图值。
@StefanDimitrov std::map 是一个有序的容器，需要知道tag 对象之间的比较以达到该顺序。但是，您还必须从 class 更改为 struct，如图所示。