函数模板
函数模板是通用的函数描述,使用泛型来定义函数,其中的泛型可用具体的类型(int或double)替换。通过将类型作为参数传递给模板,可使编译器生成该类型的函数。由于模板允许以泛型的方式编写程序,因此,有时也被称为通用编程。
例如,定义了一个交换两个int值的函数,现在假设要交换两个double值,则一种方法是复制原来的代码,将int替换为double。如果需要交换两个char值,则需要使用相同的方式进行更改。这种修改方式浪费时间,且容易出错。因此C++的函数模板功能可以自动完成这一过程,节省时间且更可靠。可以这样定义一个交换模板:
template <typename AnyType>
void Swap(AnyType &a, AnyType &b)
{
AnyType temp;
temp = a;
a = b;
b = temp;
}
其中,需要注意以下几点:
1)需要建立一个模板,将类型命名为AnyType。
2)关键字template和typename是必需的,除非可以使用关键字class代替typename。
3)必需使用尖括号。
在实际应用中,若需要多个将同一种算法用于不同类型的函数,可以使用模板。
要让编译器知道程序需要一个特定形式的交换函数,只需在程序中使用Swap()函数即可。编译器将检查所使用的参数类型,并生成相应的函数。
函数模板不能缩短可执行程序。最常见的是,将模板放在头文件中,并在需要使用模板的文件中包含头文件。
函数模板显示具体化
当函数有多个原型时,编译器在选择函数原型时,非模板版本优先于显示具体化和模板版本,而显示具体化优先于使用模板生成的版本。
普通模板原型如下:
template <class T>
void Swap(T &a, T &b);
显示具体化函数模板如下:
template <> void Swap<job>(job &, job &);//job为新定义的类型
int main()
{
double u, v;
....
Swap(u, v);//调用普通函数模板
job a, b;
...
Swap(a, b);
}
在上面的代码中,第一次调用Swap()时,使用通用模板,而第二次调用使用基于job类型的显示具体化版本。
在Swap中的是可选的,因为函数的参数类型表明,这是job的一个具体化,因此还可以这样编写:
template <> void Swap(job &, job&);
显示具体化的原型和定义应以template<>打头,并通过名称来指出类型。
函数模板显示实例化
在代码中,包含函数模板本身并不会生成函数定义,它只是一个用于生成函数定义的方案。编译器使用模板为特定类型生成函数定义时,得到的是模板实例。比如在上面的描述中,模板并非函数定义,但使用int的模板实例是函数定义。这种实例化方式被称为隐式实例化。而显示实例化,则可以直接命令编译器创建特定的实例,如Swap()。其语法是,声明所需的种类-----用<>符号指示类型,并在声明前加上关键字template:
template void Swap<int>(int, int);
实现了这种特性的编译器看到上述声明后,将使用Swap()模板生成一个使用int类型的实例。显示实例化的template后面不包含<>,而显示具体化,则需要包含。
隐式实例化、显示实例化和显示具体化统称为具体化,他们的相同之处在于,他们表示的都是使用具体类型的函数定义,而不是通用描述。
引入显示实例化后,必须使用新的语法,在声明中使用前缀template和template<>以区分显示实例化和显示具体化。