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,因此依赖于参数的查找搜索命名空间并查找Foobar::operator==.

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