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" );
}

观察：

1＆GT;如果没有void Func( std::ostream & ( *manip )( std::ostream & ) )，行Func( endl );将导致编译器错误。我假设问题是由于模板函数void Fun( const T& val )只能采用T类型而是函数指针。

2 - ;没有void Func( const char* p )，行Func( "aaa" );运行正常。我假设原因是类型T可以是const char*。

问题＆GT;这些是正确的论点吗？

谢谢

Answer 1

std::endl本身就是一个函数模板，因此除非您实际指定函数，否则不能对Func进行模板参数推导。以下应该有效：

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

另一种方式（感谢@ 0x499602D2）是指定模板参数：

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

模板函数如何选择参数？

1 个答案: