Question

我有一个关于使用std :: weak_ptr作为std :: map的键的问题。

#include <map>
#include <memory>

int main()
{
std::map< std::weak_ptr<int>, bool > myMap;

std::shared_ptr<int> sharedptr(new int(5));
std::weak_ptr<int> weakptr = sharedptr;

myMap[weakptr] = true;

return 0;
}

上面的程序没有构建并且尝试编译会提供许多错误消息，例如：

1>C:\Program Files (x86)\Microsoft Visual Studio 10.0\VC\include\xfunctional(125): error C2784: 'bool std::operator <(const std::_Tree<_Traits> &,const std::_Tree<_Traits> &)' : could not deduce template argument for 'const std::_Tree<_Traits> &' from 'const std::tr1::weak_ptr<_Ty>'
1>          with
1>          [
1>              _Ty=int
1>          ]
1>          C:\Program Files (x86)\Microsoft Visual Studio 10.0\VC\include\xtree(1885) : see declaration of 'std::operator <'
1>          C:\Program Files (x86)\Microsoft Visual Studio 10.0\VC\include\xfunctional(124) : while compiling class template member function 'bool std::less<_Ty>::operator ()(const _Ty &,const _Ty &) const'
1>          with
1>          [
1>              _Ty=std::tr1::weak_ptr<int>
1>          ]
1>          C:\Program Files (x86)\Microsoft Visual Studio 10.0\VC\include\map(71) : see reference to class template instantiation 'std::less<_Ty>' being compiled
1>          with
1>          [
1>              _Ty=std::tr1::weak_ptr<int>
1>          ]
1>          C:\Program Files (x86)\Microsoft Visual Studio 10.0\VC\include\xtree(451) : see reference to class template instantiation 'std::_Tmap_traits<_Kty,_Ty,_Pr,_Alloc,_Mfl>' being compiled
1>          with
1>          [
1>              _Kty=std::tr1::weak_ptr<int>,
1>              _Ty=bool,
1>              _Pr=std::less<std::tr1::weak_ptr<int>>,
1>              _Alloc=std::allocator<std::pair<const std::tr1::weak_ptr<int>,bool>>,
1>              _Mfl=false
1>          ]

由于以下行而出现问题：

myMap[weakptr] = true;

错误消息似乎与运营商＆lt;有关。我是否需要定义运算符＆lt;对于weak_ptrs？究竟需要定义运算符才能将数据类型用作std :: map的键？

（我应该注意到我已经在std命名空间中定义了operator ==。另外，我计划将weak_ptr用于自定义类类型而不是int。）

Answer 1

C ++ 11为std::weak_ptr的比较提供了适当的机制，即：std::owner_less。

这应该是地图和集合的默认值。如果您使用的C ++编译器很难，请尝试使用std::owner_less（如果可用）。如果它不可用，则需要提供与std::owner_less类似的机制，以便您可以适当地比较std::weak_ptr个对象。

Answer 2

如Jody Hagins' answer中所述，如果使用std::owner_less作为键，则应将std::weak_ptr用作关联容器的比较函数对象。我想通过为您的代码提供以下完整的解决方案来扩展该答案：

int main() {
    std::map<std::weak_ptr<int>, bool, std::owner_less<std::weak_ptr<int>>> myMap;

    std::shared_ptr<int> sharedptr(new int(5));
    std::weak_ptr<int> weakptr = sharedptr;

    myMap[weakptr] = true;

    return 0;
}

自C++17起，您可以省略owner_less的模板参数，从而缩短代码，如下所示：

std::map<std::weak_ptr<int>, bool, std::owner_less<>> myMap;

如果您打算对自定义类使用weak_ptr而不是int，则只需将int替换为您的类名即可，如{{ 3}}。

通常，除了为（自定义）键类型提供适当的比较功能（或使operator<重载）外，std::map不需要执行任何操作。不需要为密钥类型重载operator==。

std :: map with std :: weak_ptr key

2 个答案: