函数模板
实例:
template <class Any> //结尾不带分号,写在函数原型之前。
void swap(Any &a,Any &b);
void main(){ .....;}
template <class Any> //定义模板和函数。结尾不带分号。
void swap(Any &a,Any &b){ ......;}
第一行指出要建立一个模板,并将类型命名为Any。关键字template和class是必需的,或者用关键字typename 代替class。
另外,必须使用尖括号。类型名可以任意选择(这里为Any),只要遵守C++命名规则即可。
模板不创建任何函数,只是告诉编译器如何定义函数。编译器按模板模式创建这样的函数,并用实参类型替代Any。
关键字typename加入时间比较新,有大量的代码库是使用关键字class开发的。如果不考虑向后兼容的问题,并愿意输入较长的单词,则声明类型参数时,应使用关键字typename而不使用class
注意:函数模板并不能缩短可执行程序。编译器将根据实际调用时的实参类型,来创建不同的函数定义。因此可以看做是函数重载的便捷实现方法。最终的代码也不包含任何模板。
函数模板的重载
可以像重载常规函数定义那样重载模板定义,被重载的模板的函数特征标必须不同。
实例:
template <class Any> //结尾不带分号,写在函数原型之前。
void swap(Any &a,Any &b);
template <class Any>
void swap(Any *a,Any *b,int n);
//最后一个参数使用具体类型,而不是通用类型。并非所有的模板参数都必须是模板参数类型。
void main(){ .....;}
template <class Any> //定义模板和函数。结尾不带分号。
void swap(Any &a,Any &b){ .....; }
template <class Any>
void swap(Any *a,Any *b,int n){ .......;}
具体化函数定义——显示具体化(explicit specialization)
当遇到特定类型参数,需要改变函数模板定义时,可以使用该方法。例如当参数类型为job结构时,采用不同的处理方法。
以下实现需要 <第三代具体化(ISO/ANSI C++标准)>支持:
1、对于给定的函数名,可以有非模板函数、模板函数和显示具体化模板函数以及它们的重载版本。
2、显示具体化的原型和定义应以template<>打头,并通过名称来指出类型。
3、具体化将覆盖常规模板,而非模板函数将覆盖具体化和常规模板。(表明常规函数处于最高优先级,之后是显示具体化,最后是常规模板。)
实例:
template<class Any>
void swap(Any &,Any &b); //常规模板
struct job{ ......}; //定义一个结构
template <> void swap<job>(job &,job &); //显示具体化.
//swap<job>中的<job>是可选的,因为函数的参数类型表明,这是job的一个具体化。
//因此该原型可写为:template <> void swap(job &,job &);
void main(){ ......;}
template<class Any>
void swap(Any &,Any &b){......;} //定义常规模板
template <> void swap<job>(job &,job &){......;} //定义一个参数类型为job的具体化实现方法