在 std::find 中使用来自不同命名空间的运算符

Using operators from different namespaces in std::find

本文关键字：命名空间 运算符 find std      更新时间：2023-10-16

我有以下自动生成的代码：

#include <vector>
#include <algorithm>
namespace foo{  
struct S{};
namespace inner{
bool operator==(const S&,const S&){return true;}
}
}
namespace bar{
void func();
}

我现在想使用 STL 的find算法在容器中搜索S对象：

void bar::func(){
std::vector<foo::S> v;
foo::S s;
std::find(v.begin(),v.end(),s);
}

但是我收到此错误：

/opt/compiler-explorer/gcc-8.3.0/include/c++/8.3.0/bits/predefined_ops.h:241:17:
error: no match for 'operator==' (operand types are 'foo::S' and 'const foo::S')
{ return *__it == _M_value; }

即使在添加using foo::inner::operator==;后，我也会收到相同的错误：

void bar::func(){
using foo::inner::operator==;
std::vector<foo::S> v;
foo::S s;
std::find(v.begin(),v.end(),s);
}

但是，当我这样做时，它可以工作：

void bar::func(){
std::vector<foo::S> v;
foo::S s;
std::find_if(v.begin(),v.end(),[s](foo::S e){
using foo::inner::operator==;
return s==e;
});
}

我的两个问题是：

  • 为什么第一个示例给出错误？(添加using后)
  • 如何修复？(不更改生成的代码)

编辑：

感谢Max的回答(https://stackoverflow.com/a/55517500/8900666)，我找到了解决此问题的方法(有点丑陋但有效)：

// Generated code
#include <vector>
#include <algorithm>
namespace foo{  
struct S{};
namespace inner{
bool operator==(const S&,const S&){return true;}
}
}
namespace bar{
void func();
} 
// My code
namespace foo{
using inner::operator==;
}
void bar::func(){
std::vector<foo::S> v;
foo::S s;
std::find(v.begin(),v.end(),s);
}

问题是参数相关查找 (ADL)。

在std::find模板中的某个地方，有一个if (*it == value)，其中value和it是依赖类型。这意味着编译器将等到模板实例化后再查找要使用的正确operator==。

但是它查找operator==的位置或多或少仅限于(没有太深入地了解非限定名称查找的细节)：

  • 所有封闭的命名空间 - 但在此处搜索停止查找任何operator==。(与您无关，但可能会绊倒只是添加运算符的人，例如std对象到全局命名空间中，例如"支持"operator+forstd::vector)。

  • 执行 ADL - 搜索对象的命名空间(*it和*value来自何处)以查找匹配的operator==。

但是您要使用的operator==无法以这种方式找到 - 它位于不同的(更深的)命名空间中。这基本上是生成的代码中的一个错误 -运算符应始终驻留在与他们操作的对象所在的命名空间相同的命名空间中。

所以答案是：

  1. 找不到operator==，因为它位于错误的命名空间中。

  2. 这里没有问题，因为在 lambda 中找到了正确的运算符，std::find_if只是直接使用 lambda(根本没有查找)。

相关文章：