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 中查找。命名空间 std 中有很多 operator== 的重载，因此普通查找就停在那里，永远不会到达全局命名空间。

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

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

std::vector<T> 的比较运算符找不到 T 的比较运算符

Comparison operator for std::vector<T> fails to find comparison operator for T

c++

dependent-name

template-function

name-lookup

argument-dependent-lookup