Reguły wyszukiwania nazw w funkcji szablonu

Question

#include <iostream> 
using namespace std; 

template<typename T> 
void adl(T) 
{ 
    cout << "T"; 
} 

struct S 
{ 
}; 

template<typename T> 
void call_adl(T t) 
{ 
    adl(S()); 
    adl(t); 
} 

void adl(S) 
{ 
    cout << "S"; 
} 

int main() 
{ 
    call_adl(S()); 
} 

Dlaczego wynik to "TS"? Jaka jest reguła wyszukiwania nazw wewnątrz funkcji szablonu?

http://ideone.com/sB3DnL

Answer 1

szablony są zestawiane w dwóch etapach, w momencie określania i punktu instancji. Pierwsza faza ma miejsce, gdy definicja szablonu jest najpierw przetwarzana przez kompilator, a niektóre nazwy są natychmiast wiązane z definicjami. Niektóre nazwy pozostają niezwiązane, dopóki nie zostanie utworzony szablon, ponieważ zależą one od parametrów szablonu i dlatego nie można ich wyszukać, dopóki nie zostanie utworzony szablon, a argumenty szablonu będą znane.

W tej rozmowy:

adl(S()); 

Nic nie jest zależną na parametry szablonu z funkcji, dzięki czemu wyszukiwanie odbywa się od razu (w pierwszej fazie) i stwierdzi, jedyną funkcją o nazwie adl, która jest w tym momencie dostępna.

W tej rozmowy:

adl(t); 

to zależny od rodzaju t i tak odnośnika jest opóźnione aż instancji, gdy rodzaj t jest znana. Podczas wywoływania call_adl(S()) drugie przeciążenie adl jest w zakresie, a więc gdy wywołanie adl(t) wykonuje wyszukiwanie nazw, istnieje inna funkcja w zakresie i jest lepiej dopasowana do argumentów.