Sucht ADL nicht statische Elementfunktionen?

Question

Dies ist Follow-up Frage von Does argument dependent lookup only search namespaces or classes too?, in der @ David Rodríguez sagte "ADL wird in den einschließenden Namespace des Typs, und auch innerhalb der Typ selbst aussehen". Vielleicht habe ich ihn falsch verstanden, was er versucht zu sagen, aber ich habe versucht, dieses Beispiel:

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

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

Es ist nicht kompiliert, produziert wird der Fehler „‚bar‘wurde in diesem Gültigkeitsbereich deklariert“. Ist es so, dass ADL die statische Elementfunktion nicht berücksichtigt? Ich meine in dem Beispiel verbundenen Klasse ist foo also würde ADL nicht innerhalb der Klasse aussehen? . Kann mir bitte jemand die Regeln hier vereinfachen?

Answer 1

Er meinte wohl dies:

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

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

Aber dann ist technisch bar() nicht innerhalbfoo. Es ist immer noch im umschließenden Namespace foo.

-

EDIT:

Er in der Tat friend gemeint, als he said (Hervorhebung von mir):

Das beste Beispiel ist ein Freund Funktion, die innerhalb definiert die Typ

Und sein Beispiel veranschaulicht weiter. Wahrscheinlich müssen Sie "innen definiert" und nicht nur "innen" lesen.

Das Wort „definiert“ ist alles, was den Unterschied macht, weil es wie die der Funktion sieht Namenbar in den Anwendungsbereich der Klasse eingeführt wird, aber in Wirklichkeit der Name bar wird in den umgebenden Namensraum eingeführt von foo (siehe §3.3.1/3-4 und §11.3/6).

Hier ist ein besseres Beispiel:

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 

Beachten Sie, dass der Name bar, obwohl in den Namensraum Demo eingeführt wird, ist versteckt und somit kann nicht von außen mit üblichen Namens- verwendet werden Nachschlag:

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

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

Oder

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

Hoffe, dass hilft.