函数模板template-重载的模板

需要多个对不用类型使用同一种算法的函数时，可使用模板。如上篇程序所示链接。然而，并非所有的类型都使用相同的算法。为满足这种需求，可以像重载常规函数定义那样重载模板定义。和常规重载一样，被重载的模板的函数特征标必须不同。例如，下面的程序新增了一个交换模板，用于交换两个数组中的元素。原来的模板的特征标为(T &, T&)，而新模板的特征标为(T [ ], T [ ], int)。注意，在后一个模板中，最后一个参数的类型为具体类型(int),而不是泛型。并非所有的模板参数都必须是模板参数类型。

编译器见到程序中第一个Swap()函数调用时，发现它有两个int函数，因此将它与原来的模板匹配。但第二次调用将两个int数组和一个int值用作参数，这与新模板匹配。

#include<bits/stdc++.h>
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[]);
const int lim = 8;
int main()
{
     int i = 10, j = 20;
     cout << "i, j = " << i << ", " << j << ".\n";
     cout << "Using complier-generated int swapper:\n";
     Swap(i, j);
     cout << "Now i, j = " << i << ", " << j << ".\n\n";

     int d1[lim] = {0, 7, 0, 4, 1, 7, 7, 6};
     int d2[lim] = {0, 7, 2, 0, 1, 9, 6, 9};
     cout << "Original arrays:\n";
     show(d1);
     show(d2);
     Swap(d1, d2, lim);
     cout << "Swapped arrays:\n";
     show(d1);
     show(d2);
    return 0;
}
template<typename T>
void Swap(T &a, T &b)
{
    T temp;
    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[])
{
    cout << a[0] << a[1] << "/";
    cout << a[2] << a[3] << "/";
    for(int i = 4; i < lim; i++)
        cout << a[i];
    cout << endl;
}