函数模板template

现在的c++编译器实现了c++新增的一项特性——函数模板。函数模板是通用的函数描述，也就是说，他们使用泛型来定义函数，其中的泛型可以用具体的类型(如int或double)替换。通过将类型作为参数传递给模板，可使编译器生成该类型的函数。由于类型是用参数表示的，因此模板特性有时也被称为参数化类型(parameterized types)。

可以这样建立一个交换模板

template <typename AnyType>
void Swap(AnyType &a, AnyType &b)
{
    AnyType temp;
    temp = a;
    a = b;
    b = temp;
}

关键字template和typename是必需的，除非可以使用关键字class代替typename。另外，必须使用尖括号。类型名可以任意选择(这里为AnyType)，只要遵守c++命名规则即可。

模板并不创建任何函数，而只是告诉编译器如何定义函数。需要交换int的函数时，编译器将按模板模式创建这样的函数,并用int替代AnyType。同样，需要交换double的函数时，编译器将按模板模式创建这样的函数，并用double替代AnyType。

要让编译器知道程序需要一个特定形式的交换函数，只需在程序中使用Swap()函数即可。编译器将检查所使用的参数类型，并生成相应的函数。

例如：

#include<bits/stdc++.h>
using namespace std;
template <typename T>   //or class T
void Swap(T &A, T &b);
int main()
{
    int i = 10, j = 20;
    cout << "i, j = " << i << ", " << j << ".\n";
    cout << "Using complier-generated int swapper:\n";
    Swap(i, j);//将生成 void Swap(int &, int &)的函数
    cout << "Now i, j = " << i << ", " << j << ".\n\n";

    double x = 24.5, y = 81.7;
    cout << "x, y = " << x << ", " << y << ".\n";
    cout << "Using complier-generated double swapper:\n";
    Swap(x, y);
    cout << "Now x, y = " << x << ", " << y << ".\n";

    return 0;
}
template<typename T>
void Swap(T &a, T &b)
{
    T temp;
    temp = a;
    a = b;
    b = temp;
}

第一个Swap()函数接收两个int参数，因此编译器生成该函数的int版本。也就是说，用int替换所有的T,生成下面这样的定义：

void Swap(int &a, int &b)
{
    int temp;
    temp = a;
    a = b;
    b = temp;
}

程序员看不到这些代码，但编译器确实生成并在程序中使用了它们。第二个Swap()函数接收两个double参数，因此编译器将生成double版本。也就是说，用double替换T，生成下述代码：

void Swap(double &a, double &b)
{
    double temp;
    temp = a;
    a = b;
    b = temp;
}

注意，函数模板不能缩短可执行程序。最终仍将以两个独立的函数定义，就像以手工方式定义了这些函数一样，最终的代码不包含任何模板，而只包含了为程序生成的实际函数。使用模板的好处是，它使生成多个函数定义更简单、更可靠。