Come la funzione template sceglie i parametri?

Question

#include <iostream> 
#include <ostream> 

template<typename T> 
void Func(const T& val) 
{ 
    std::cout << "const T& val\n"; 
} 

void Func(const char* p) 
{ 
    std::cout << "const char * p\n"; 
} 

void Func(std::ostream & (*manip)(std::ostream &)) 
{ 
    std::cout << "ostream\n"; 
} 

int main() 
{ 
    Func(std::endl); 
    Func("aaa"); 
} 

Osservazione:

1> Senza void Func(std::ostream & (*manip)(std::ostream &)), la linea Func(endl); causerà errori di compilazione. Presumo il problema è dovuto alla funzione modello void Fun(const T& val) in grado di prendere SOLO un tipo di T ma un puntatore di funzione.

2> Senza void Func(const char* p), la linea Func("aaa"); funziona correttamente. Presumo il motivo è che il tipo T può essere const char*.

Domanda> Questi argomenti sono giusti?

Grazie

Answer 1

std::endl è di per sé un modello di funzione, quindi non si può avere la detrazione modello argomento per Func a meno che effettivamente specifica una funzione. Il seguente dovrebbe funzionare:

Func(static_cast<std::ostream&(&)(std::ostream&)>(std::endl)); 

Un altro modo (grazie a @ 0x499602D2) è quello di specificare gli argomenti di template:

Func(std::endl<char, std::char_traits<char>>);