函数模板和类模板

模板的意义：之前调用函数时，是变量参数化，而有了模板后，对类型也可以进行参数化了。

template<typename T>  //  定义一个模板参数列表  or  template<class T>
bool compare(T a, T b)  //  compare是一个函数模板{   return a > b;}
int main()
{   
	compare<int>(10, 20);  //  compare<int>是函数名      
	compare<double>(10.0, 20.0);    
	return 0;
}

函数模板： 函数模板的内容不进行编译，编译实例化的函数，或特例化的函数。

如下就是一个函数模板。

template<typename T>  
bool compare(T a, T b) 
{   
	return a > b;
}

模板的实例化：在函数调用点，编译器用用户指定的类型，从原模板实例化一份函数代码出来。即：

bool compare<int>(int a, int b);
bool compare<int>(double a, double b);

模板的实参推演：编译器可以通过传入的实参类型，来推导出模板类型参数

compare(10, 20);   //  也可以进行函数调用
compare(10, 20.5); //  会报错，因为找不到compare(int, double)

可以在定义模板参数列表时使用T1和T2，或者：

compare<int>(10, 20.5)  // 手动指定类型触发强转模板类型参数：

可以用typename或class定义类型参数，用逗号隔开可以定义多个类型参数。

模板的特例化：对于如下字符串比较调用，用模板函数内a > b的逻辑是错误的，所以需要特例化实现正常的字符串比较逻辑。 特例化的函数会编译。

compare("aaa", "bbb");

// 特例化版本：函数名compare<const char*>
template<>
bool compare<const char*>(const char * a, const char *b)
{   
	return strcmp(a, b) > 0;
}
// 非模板函数 - 普通函数：函数名compare
bool compare(const char * a, const char *b)
{   
	return strcmp(a, b) > 0;
}

// 当以上两个函数同时存在时, 函数名不同，不算重载
compare("aaa", "bbb");  //  未指定类型, 编译器优先选择非模板函数，省略推导
compare<const char*>("aaa", "bbb");  //  编译器选择函数模板、特例化版本

//  总结：编译器优先把compare处理成函数名字，没有的话，才去找compare模板