C++函数模板的使用

函数模板：

函数模板是函数的蓝图或处方，编译器使用它生成函数系列的新成员。新函数在第一次使用时创建。从函数模板中生成的函数称为该模板的一个实例或模板的实例化。函数模板的开头是关键字template，表示这是一个模板。其后是一对尖括号，它包含了参数列表。在使用从模板中生成的函数之前，必须确保把声明（即原型）或模板的定义放在源文件中。模板的实例化只生成一次。如果后续的函数调用需要同一个实例，就会调用已经创建好的实例，即使同一个实例在不同的源文件中生成，程序也仅会包含该实例定义的一个副本。使用时需要注意两个问题：
第一，函数模板本身不做任何工作，它是编译器用于从函数调用中创建函数定义的处方或蓝图。

第二，所有工作都在编译和链接过程中完成。编译器使用模板生成函数定义的源代码，再编译这些代码。链接程序的作用是仅把函数的一个实例链接到可执行模块上，即使几个不同的源文件调用同一个实例，也只链接一个实例。在执行程序时，源代码中是否存在模板根本不重要。

 

显示指定模板参数：

在调用函数时，可以显示指定模板的参数，以控制使用哪个版本的函数。编译器不再推断用于替换T的类型，只是接受指定的版本。在下列情形下，比较有用：

1、函数调用不是很确切，编译失败。此时可以使用该技巧帮助编译器去除不确定性。

2、在一些情况下，编译器不能推断出模板参数，因此无法选择要使用哪个版本的函数。

3、为了避免有太多的函数版本（从而避免过多占用内存），可以强迫函数调用使用某个版本的函数。

 

模板的说明：

对于某个参数值（在有多个参数的模板中，就是一组参数值），模板的说明定义了它不同于标准模板的动作。模板说明的定义必须放在原语句的声明或定义之后。如果把说明放在前面，程序就不会编译。

说明的定义以关键字template开头，但要省略参数，所以原声明中模板参数外部的尖括号就是空的。必须定义说明的参数值，而且必须放在模板函数后面的尖括号中。下面看示例：

示例：

#include <iostream>using std::cout;using std::endl;//模板声明template<class T> T larger(T a,T b);//模板说明声明template<> long* larger<long*>(long* a,long* b);int main(int argc,char* argv[]){cout<<"Larger of 1.5 and 2.5 is "<<larger(1.5,2.5)<<endl;int a_int=35;int b_int=45;cout<<"Larger of "<<a_int<<" and "<<b_int<<" is "<<larger(a_int,b_int)<<endl;long a_long=9;long b_long=8;cout<<"Larger of "<<a_long<<" and "<<b_long<<" is "<<larger(a_long,b_long)<<endl;//显示指定模板参数cout<<"Larger of "<<a_int<<" and "<<b_int<<" is "<<larger<long>(a_int,b_int)<<endl;//调用模板说明cout<<"Larger of "<<a_long<<" and "<<b_long<<" is "<<*larger(&a_long,&b_long)<<endl;return 0;} //模板定义template <class T> T larger(T a,T b){cout <<"standard version"<<endl;return a>b?a:b;}//模板说明定义template <> long* larger<long*>(long* a,long* b){cout <<"specialized version"<<endl;return *a>*b?a:b;}