4.函数模板

#include <iostream>
#include <string>
using namespace std;

/*

模板的意义:对类型也可以进行参数化了

函数模板:是不进行编译的,类型不知道

模板的实例化:函数调用点进行实例化

模板函数:被编译器编译

模板的实参推演:可以根据用户传入的实参的类型,来推导模板参数的具体类型

模板的特例化(专用化) 特殊(不是编译器提供的,是用户自己提供的)实例化

*/

//函数模板
template<typename T>
bool compare(T a, T b)	
{
	cout << "compate T" << __FUNCTION__ << endl;
	return a > b;
}


//对于compare函数模板,提供const char *类型的
//特例化的模板
template<>
bool compare<const char *>(const char* a, const char* b)
{
	cout << "const char * " << __FUNCTION__ << endl;
	return strcmp(a, b) > 0;
}

//非模板函数-普通函数
bool compare(const char* a, const char* b)
{
	cout << "not template " << __FUNCTION__ << endl;
	return strcmp(a, b) > 0;
}

/*
如果采用多文件的编程的思想,模板代码调用之前,一定得要有声明,这样才能够,正常的实例化
template bool compare<int>(int,int);
*/


//模板的实参推演
/*
bool compare<const char *>(const char * a, const char * b)	//函数模板
{

	return strcmp(a,b)>0;
}
*/



int main()
{
	//在函数的调用点,进行实例化
	compare<int>(20, 50); //实例化函数模板
	compare<double>(60, 50);
	
	//模板的实参推演:可以根据用户传入的实参的类型,来推导模板参数的具体类型
	compare(67.5, 78.5);

	//从“double”转换到“T”
	compare<int>(47, 76.9);

	
	//对于某些类型来说,依靠编译器默认实例化的模板代码,代码处理逻辑是存在问题的
	compare<const char*>("aaa", "bbb");
	//编译器优先选择非模板函数,如果没有则选择模板函数
	compare("aaa", "bbbb");
	
	return 0;
}