struct job
{
};
template <class T> //函数模板声明,通用变量类型为T
void swap(T &a, T &b);
void showJob(const job &a);//打印job内容
using std::cin;
using std::cout;
using std::endl;
void main(void)
{
system("pause");
};
template<class T> //函数模板实现
void swap(T &a, T &b)
{
}
void showJob(const job &a)
{
cout<<" "<<a.name<<" = "<<a.salary;
}
如果在上述job结构互换过程中只想互换salary,而不换其他成员变量值那么怎么办呢?C++中可以通过以下几种方法来解决这一问题。
1>显式具体化
显式具体化也是基于函数模板的,只不过在函数模板的基础上,添加一个专门针对特定类型的、实现方式不同的具体化函数。
template<>void swap<job>(job &a, job &b)
{
}
如上所示,该具体化函数的实现与模板并不一致,编译器解析函数调用时会选择最匹配的函数定义。
2>定义同名常规函数
void swap(job &a, job &b)
{
}
由于编译器在重载解析时,会选择最匹配函数定义,所以在调用swap(jobA, jobB)时,编译器会选择void swap(job &a, job &b)函数定义,而屏蔽了模板函数。
同时,模板函数也可以重载,其操作与常规函数一致。
template <class T> void swap(T &a, T &b);
template <class T> void swap(T &a, T &b, T &c);
template <typename T> void swap(T &a, T &b)
{
}
template <typename T> void swap(T &a, T &b, T &c)
{
}
上面主要说的是函数模板的具体化,下面说下模板实例化。
函数模板:
#define MAXNAME 128
struct job
{
char name[MAXNAME]:
int salary;
};
template<class T>
void swap(T &a, T &b )
{
};
template void swap<int>(int &a, int & b);
template<> void swap<job>(job &a, job &b)
{
};//explicite specialization.
类模板:
template <class T>
class Arrary
{
private:
...
};//template class declaration.
template class Array<int>;
template<> class Array<job>
{
private:
};//expicit specialization.
相应的,隐式实例化指的是:在使用模板之前,编译器不生成模板的声明和定义实例。只有当使用模板时,编译器才根据模板定义生成相应类型的实例。如:
int i=0, j=1;
swap(i, j);
Array<int> arVal;//编译器根据类型参数隐式地生成Array<int>类声明和类函数定义。
显式实例化:
当显式实例化模板时,在使用模板之前,编译器根据显式实例化指定的类型生成模板实例。如前面显示实例化(explicit instantiation)模板函数和模板类。其格式为:
template typename function<typename>(argulist);
template class classname<typename>;
显式实例化只需声明,不需要重新定义。编译器根据模板实现实例声明和实例定义。
显示具体化:
对于某些特殊类型,可能不适合模板实现,需要重新定义实现,此时可以使用显示具体化(explicite specialization)。显示实例化需重新定义。格式为:
template<> typename function<typename>(argu_list){...};
template<>