C++ risoluzione funzione seleziona versione su modelli sopra la funzione pianura

Question

Si consideri il seguente codice:

#include <iostream> 

template<typename T> 
void f(T t) 
{ 
    (void)t; 
    std::cout << "templated f(T)\n"; 
} 

template<typename T> 
void entry(T t) 
{ 
    f(t); 
} 

void f(double d) 
{ 
    (void)d; 
    std::cout << "normal f(double)\n"; 
} 

int main() 
{ 
    double d = 0.0; 
    entry(d); 

    return 0; 
} 

uscita:

su modelli f (T)

Trovo che questo sorprendente, perché io pensato che la funzione semplice verrà selezionata su qualsiasi versione basata su modelli. Perché succede?

Un'altra cosa che ho notato durante il gioco in giro è che: se metto la funzione normale void f(double) prima che la funzione su modelli void entry(T) il codice chiama la funzione normale, in fondo l'output:

normale f (double)

Quindi la mia altra domanda: perché l'ordine è importante in questo particolare esempio?

Answer 1

f è un nome dipendente, poiché dipende da t il cui tipo è un parametro di modello. Le regole nome ricerca per i nomi dipendenti sono riportati in [temp.dep.res]/1:

Nel risolvere i nomi di dipendenti, i nomi dalle seguenti fonti sono considerati:

• dichiarazioni che sono visibili a il punto di definizione del modello.
• Dichiarazioni dai namespace associati ai tipi degli argomenti della funzione sia dal contesto di istanziazione (14.6.4.1) che dal contesto di definizione.

In altre parole, normalmente ricerca del nome all'interno di un modello di trova solo i nomi che sono stati dichiarati prima della definizione del modello (che non è così sorprendente, dal momento che è lo stesso che per i non-templates). Il secondo punto elenco consente di trovare i nomi dichiarati dopo la definizione del modello, ma solo quando si verifica ADL. Questo non sarà il caso quando l'argomento è un tipo fondamentale come double.

Answer 2

Il sovraccarico per f(double) non è visibile al compilatore quando viene analizzato il modello entry(T). Pertanto, non parteciperà alla risoluzione di sovraccarico quando il modello entry(T) viene istanziato. Questa è solo una regola oscura quando si tratta di risolvere i sovraccarichi in un contesto di istanziazione del modello. Affinché un sovraccarico possa essere preso in considerazione, deve essere già visibile nell'unità di traduzione prima che fosse analizzata la definizione del modello.