函数模板、模板重载、函数模板显示具体化(explicit specialization)

函数模板

实例:
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的具体化实现方法