为什么找不到使用命名空间中定义的类型实例化的 std：：weak_ptr 的重载运算符==？

Why overloaded operator== for std::weak_ptr instantiated with type defined in namespace can't be found?

本文关键字：weak 重载 运算符 std ptr 实例化 找不到 命名空间 类型 定义 为什么      更新时间：2023-10-16

我正在使用Visual Studio 2015。

知道为什么编译此代码：

#include <memory>
class Foo;
class Bar;
typedef std::pair<Foo*,std::weak_ptr<Bar>> Object;
typedef std::vector<Object> ObjectVect;
bool operator==( std::weak_ptr<Bar> left,
std::weak_ptr<Bar> right )
{
return left.lock() == right.lock();
}
int main( int argc, char* argv[] )
{
ObjectVect vect;
Object obj;
auto foundIter = std::find( vect.begin(), vect.end(), obj );
return 0;
}

虽然这个给了我错误：

#include <memory>
class Foo;
namespace MyNamespace
{
class Bar;
}
typedef std::pair<Foo*,std::weak_ptr<MyNamespace::Bar>> Object;
typedef std::vector<Object> ObjectVect;
bool operator==( std::weak_ptr<MyNamespace::Bar> left,
std::weak_ptr<MyNamespace::Bar> right )
{
return left.lock() == right.lock();
}
int main( int argc, char* argv[] )
{
ObjectVect vect;
Object obj;
auto foundIter = std::find( vect.begin(), vect.end(), obj );
return 0;
}

错误 C2678 二进制"=="：找不到需要左手的运算符 类型为"const std：：weak_ptr"的操作数(或存在 不可接受 转换) test_cppunit_interpreter_base_multi_output c：\程序 文件 (x86)\Microsoft Visual Studio 14.0\VC\include\实用程序 216

看起来当Bar位于命名空间中时找不到比较器......

我做错了什么吗？或者这可能是编译器错误？

应将operator==移动到命名空间中以使 ADL 生效;ADL 还将检查用作模板参数的类型(即MyNamespace::Bar)，并将关联的命名空间(即MyNamespace)添加到名称查找集中。 即

namespace MyNamespace
{
class Bar;
bool operator==( std::weak_ptr<Bar> left,
std::weak_ptr<Bar> right )
{
return left.lock() == right.lock();
}
}

为什么第一种情况工作正常？

因为 ADL 也适用于全局命名空间。对于第一种情况，Bar和operator==都在同一命名空间(即全局命名空间)中定义。

为什么第二种情况不起作用？

首先要注意的是，std::find是在命名空间std中定义的，并且其中定义了许多operator==(具有不同的参数类型)。然后根据非限定名称查找的规则，当在命名空间std找到operator==时，名称查找停止。这意味着如果没有 ADL 的帮助，将根本找不到全局命名空间中定义的operator==。

相关文章：