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通过依赖于参数的查找来工作。

std :: vector <t>的比较运算符无法找到T

1 个答案: