C++函数模板

函数模板

函数模板是通用的函数描述，使用泛型来定义函数，其中的泛型可用具体的类型（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<>以区分显示实例化和显示具体化。