Шаблоны для ввода cout

Question

Я хочу создать функцию, которая принимает все, что может обработать оператор << для std::cout. У меня есть пример, который ломается.

#include <iostream> 

template <typename T> 
void my_print(const T &t) { 
    std::cout << t; 
} 

int main() { 
    my_print("hello\n"); // works 
    my_print(4); // works 
    my_print(std::endl); // compiler error 
    return 0; 
} 

Он также терпит неудачу, если я изменяю void my_print(T t). Ошибка компилятора

error: no matching function for call to 'my_print(<unresolved overloaded function type>)' 
note: candidate is 
note: template<class T> void my_print(const T&)

Почему не компилятор решительность его, когда он видит, что аргумент t кладется в cout?

Есть ли хороший способ исправить это или я должен вручную предоставить дополнительные << чехлы, например. void my_print(ostream& (*pf)(ostream&));

EDIT: Я знаю endl является функцией. Является ли ответ тем, что типы функций не принимаются в качестве шаблонов? Как у меня не может быть [T = ostream& (*)(ostream&)]?

Answer 1

std::endl - это фактически шаблон функции. Вы можете прочитать полную документацию here или here. Она определяется как:

template< class CharT, class Traits > 
std::basic_ostream<charT,traits>& endl(std::basic_ostream<CharT, Traits>& os); 

Edit: Вы можете добиться того, что вы хотите с помощью этого решения (которое я смутно адаптированный here)

#include <iostream> 

// handles the other types 
template <typename T> 
void my_print(const T &t) { 
    std::cout << t; 
} 

// alias a few things to make the prototypes readable 
typedef std::basic_ostream<char, std::char_traits<char> > CoutType; 
typedef CoutType& (*StandardEndLine)(CoutType&); 

int main() { 
    my_print("hello\n"); // works 
    my_print(4); // works 
    my_print((StandardEndLine)std::endl); // <- NOTE: there is an explicit cast 
    return 0; 
}