ADL 不查找静态成员函数吗？

Question

这是来自Does argument dependent lookup only search namespaces or classes too? 的后续问题，其中@David Rodríguez 说“ADL 将查看类型的封闭命名空间，以及类型本身的内部”。我可能听错了他试图说的话，但我正在尝试这个例子：

struct foo{
    static void bar(foo* z){}    
};

int main(){
    foo* z;
    bar(z);
}

它没有编译，产生错误“‘bar’没有在这个范围内声明”。 ADL是否不考虑静态成员函数？我的意思是在示例中关联的类是foo，所以 ADL 不会在类内部查看吗？ .谁能在这里简化一下规则？

Answer 1

他大概是这个意思：

struct foo{
    friend void bar(foo* z){}    //not static, its friend now
};

foo* z;
bar(z); //fine now

但从技术上讲，bar() 不是内部 foo。它仍然在foo的封闭命名空间中。

--

编辑：

他确实是指friend，就像he said（强调我的）：

最好的例子是 friend 函数，它在类型中定义

他的例子进一步说明了这一点。可能您需要阅读“内部定义”，而不仅仅是“内部”。

“定义”这个词是唯一的区别，因为它看起来函数的名称bar被引入类的范围，但在实际上，名称 bar 被引入到 foo 的封闭命名空间中（参见 §3.3.1/3-4 和 §11.3/6）。

这是一个更好的例子：

namespace Demo
{
     struct foo
     {
       friend void bar(foo* z){}
     };
}

foo *z;
bar(z); //foo (type of z) is inside Demo, so is bar
        //(even though bar is defined inside foo!)

bar(NULL);    //error - NULL doesn't help ADL.
bar(nullptr); //error - nullptr doesn't help ADL.

bar(static<foo*>(NULL)); //ok - ADL

注意名称bar，即使被引入命名空间Demo，是隐藏的，因此不能使用通常的名称从外部使用-查找：

using namespace Demo; //brings ALL (visible) names from Demo to current scope

bar(NULL); //STILL error - means bar is invisible

或者，

Demo::bar(NULL);       //error - not found
Demo::foo::bar(NULL);  //error - not found

希望对您有所帮助。