Dipendente ricerca dei nomi in funzione di modello: clang rifiuta, gcc accetta

Question

Si consideri il seguente frammento:

struct X { }; 

namespace foo { 
    template <class T> 
    void bar() { T{} < T{}; } 

    void operator<(const X&, const X&) {} 
} 

int main() { 
    foo::bar<X>(); 
} 

clang rifiuta questo codice, gcc accetta. È un bug di gcc o è un bug clang?

Answer 1

GCC errato. Clang è corretto. Il fatto che GCC ingoia codice non valido come quello che hai mostrato è anche menzionato nella pagina di compatibilità di CLANG here.

I nomi non qualificati vengono cercati nei seguenti modi.

1. Il compilatore esegue una ricerca non qualificata nell'ambito in cui è stato scritto il nome. Per un modello, ciò significa che la ricerca viene eseguita nel punto in cui è definito il modello, non dove viene istanziato. Dal momento che il operator< non è stato ancora dichiarato a questo punto, la ricerca non qualificata non lo troverà.
2. Se il nome viene chiamato come una funzione, il compilatore esegue anche la ricerca dipendente dall'argomento (ADL). (A volte la ricerca non qualificata può sopprimere l'ADL; per ulteriori informazioni, consultare [basic.lookup.argdep] paragrafo 3.) In ADL, il compilatore esamina i tipi di tutti gli argomenti della chiamata. Quando trova un tipo di classe, cerca il nome nello spazio dei nomi di quella classe; il risultato sono tutte le dichiarazioni che trova in quegli spazi dei nomi, oltre alle dichiarazioni dalla ricerca non qualificata. Tuttavia, il compilatore non esegue ADL finché non conosce tutti i tipi di argomenti.

Answer 2

Credo che questo sia un bug gcc, archiviato come 70099. Da [temp.dep.res]:

Nella risoluzione nomi dipendenti, i nomi dalle seguenti fonti sono considerati:
(1.1) - Dichiarazioni che sono visibili al momento della definizione del modello.
(1.2) - Dichiarazioni dai namespace associati ai tipi degli argomenti della funzione sia dal contesto di istanziazione (14.6.4.1) che dal contesto di definizione.

foo::operator<() non è visibile nel punto di definizione del modello e non è in uno spazio dei nomi associato dagli argomenti della funzione (X 's associato namespace è solo lo spazio dei nomi globale ::). Quindi penso che gcc abbia torto a trovare foo::operator< e che clang sia corretto per rifiutare il codice.