C++函数模板

C++函数模板允许以任意类型的方式来定义函数。例如，可以这样建立一个交换模板：

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

在标准C++98添加关键字typename之前，C++使用关键字class来创建模板。也就是说，可以这样编写模板定义：

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

需要多个对不同类型使用同一种算法的函数时，可使用模板。然而，并非所有的类型都使用相同的算法，为满足这种需求，可以像重载常规函数定义那样冲在模板定义。和常规重载一样，被重载的模板的函数特征必须不同。

下面的例程中新增了一个交换模板，用于交换两个数组中的元素。

#include <iostream>
using namespace std;
template <typename T>
void Swap(T &a, T &b);

template <typename T>
void Swap(T *a, T *b, int n);

void Show(int a[]);
int main() {
int x = 1, y = 2;
Swap(x, y);
cout << x << "\t" << y << endl;
int a[10], b[10], n = 10;
for (int i = 0; i < 10; i ++)
a[i] = i + 1, b[i] = 10 - i;
Swap(a, b, 10);
Show(a);
Show(b);
return 0;
}

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

template <typename T>
void Swap(T a[], T b[], int n) {
T temp;
for (int i = 0; i < n; i ++) {
temp = a[i];
a[i] = b[i];
b[i] = temp;
}
}

void Show(int a[]) {
for (int i = 0; i < 10; i ++)
cout << a[i] << " ";
cout << endl;
}

输出效果：

2 1
10 9 8 7 6 5 4 3 2 1
1 2 3 4 5 6 7 8 9 10

显式具体化

实例（实际运行有错误，可能是编译器版本问题）：

#include <iostream>
using namespace std;
template <typename T>
void Swap(T &a, T &b);

struct job
{
char name[40];
double salary;
int floor;
};

// explicit specialization
template <> void Swap<job>(job &j1, &j2);
void Show(job &j);

int main() {
int a = 1, b = 2;
Swap(a, b);
cout << a << "\t" << b << endl;
job j1 {"moon", 3000.3, 2};
job j2 {"lit", 2000.2, 1};
Swap(j1, j2);
Show(j1);
Show(j2);
return 0;
}

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

template <> void Swap<job>(job &j1, job &j2)
{
double t1;
t1 = j1.salary;
j1.salary = j2.salary;
j2.salary = t1;
int t2;
t2 = j1.floor;
j1.floor = j2.floor;
j2.floor = t2;
}

void Show(Job &j) {
cout << j.name << "\t" << j.salary << "\t" << j.floor << endl;
}

这里提示：template <> void Swap<job>(job &j1, &j2);出错。

实例化和具体化

。。。