c++ - std::vector<T> 的比较运算符找不到 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) ，所以它开始在命名空间 std 中查找. operator== 有很多重载在命名空间 std ，所以普通的查找会停在那里，永远不会到达全局命名空间。

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

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