c++ - std::vector 的比较运算符找不到 T 的比较运算符

Question

以下非常简单的代码不会编译

#include <vector>
#include <string>


namespace Foobar {
    struct Test {
        std::string f;
        std::uint16_t uuid;
    };
}

bool operator==(const Foobar::Test& lhs, const Foobar::Test& rhs){
    return lhs.f == rhs.f && lhs.uuid == rhs.uuid;
}


int main(){

    std::vector<Foobar::Test> a;
    std::vector<Foobar::Test> b;

    if(a==b){

    }

    return 0;
}

https://godbolt.org/g/zn6UgJ

不会在我拥有的任何编译器中编译。

虽然以下

#include <vector>
#include <string>


namespace Foobar {
    struct Test {
        std::string f;
        std::uint16_t uuid;
    };

    bool operator==(const Foobar::Test& lhs, const Foobar::Test& rhs){
        return lhs.f == rhs.f && lhs.uuid == rhs.uuid;
    }
}



int main(){

    std::vector<Foobar::Test> a;
    std::vector<Foobar::Test> b;

    if(a==b){

    }

    return 0;
}

https://godbolt.org/g/o4pc1b

编译得很好，这让我觉得std::vector<T>比较运算符在命名空间中查找T，为什么不考虑全局命名空间？

Answer 1

普通的非限定名称查找开始在使用名称的上下文中查找，并沿着封闭范围链向上走。它在包含匹配名称的最嵌套范围内停止。即使这样找到的名称后来被确定为不合适也是如此（例如，函数重载对于给定的调用是不可行的；或者成员函数不可访问）。

在这里，查找的上下文是std::operator==(vector, vector)，所以它开始在 namespace中查找std。operator==in namespace有很多重载std，所以普通的查找会停在那里，永远不会到达全局命名空间。

在第二个示例中，重载是通过参数相关查找找到的。除了非限定查找之外，此查找专门针对函数调用中的函数名称执行，并在与调用参数类型相关的范围内查找名称。在示例中，命名空间Foobar与 相关联Foobar::Test，因此依赖于参数的查找搜索该命名空间并找到Foobar::operator==。

出于这个原因，逻辑上属于类的公共接口的自由函数——例如重载的操作符——通常应该与类本身定义在相同的命名空间中，以使依赖于参数的查找有机会工作。std::operator==(vector, vector)就是一个很好的例子-a==b在您的示例中，通过依赖于参数的查找来工作。