函数模板:
函数模板是蓝图或处方功能,编译器使用其发电功能系列中的新成员。
第一次使用时,新的功能是创建。从功能模板生成的函数的实例称为模板或模板的实例。函数模板的开始是keywordtemplate,表示这是一个模板。
其后是一对尖括号,它包括了參数列表。
在使用从模板中生成的函数之前,必须确保把声明(即原型)或模板的定义放在源文件里。模板的实例化仅仅生成一次。
假设兴许的函数调用须要同一个实例,就会调用已经创建好的实例,即使同一个实例在不同的源文件里生成,程序也仅会包括该实例定义的一个副本。
使用时须要注意两个问题:
第一,函数模板本身不做不论什么工作,它是编译器用于从函数调用中创建函数定义的处方或蓝图。
第二。全部工作都在编译和链接过程中完毕。
编译器使用模板生成函数定义的源码。再编译这些代码。链接程序的作用是仅把函数的一个实例链接到可运行模块上,即使几个不同的源文件调用同一个实例。也仅仅链接一个实例。在运行程序时,源码中是否存在模板根本不重要。
显示指定模板參数:
在调用函数时,能够显示指定模板的參数,以控制使用哪个版本号的函数。编译器不再判断用于替换T的类型,仅仅是接受指定的版本号。
在下列情形下,比較实用:
1、函数调用不是非常确切,编译失败。
此时能够使用该技巧帮助编译器去除不确定性。
2、在一些情况下,编译器不能判断出模板參数,因此无法选择要使用哪个版本号的函数。
3、为了避免有太多的函数版本号(从而避免过多占用内存)。能够强迫函数调用使用某个版本号的函数。
模板的说明:
对于某个參数值(在有多个參数的模板中,就是一组參数值)。模板的说明定义了它不同于标准模板的动作。模板说明的定义必须放在原语句的声明或定义之后。假设把说明放在前面,程序就不会编译。
说明的定义以keywordtemplate开头,但要省略參数。所以原声明中模板參数外部的尖括号就是空的。必须定义说明的參数值。并且必须放在模板函数后面的尖括号里。以下看演示样例:
演示样例:
#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; }