C++函数模板的显式具体化

1.函数模板的局限性

在C++中，我们可以使用函数模板来增加代码的复用性，但是并不是所有的类型都可以调用函数函数模板来处理，如数组和结构体数据类型。这就是函数模板的局限性。

struct job{
	char name[10];
	double salary;
	int floor;
}
//交换两个这种结构的内容，原来的模板使用以下代码进行交换：
	temp=a;
	a=b;
	b=temp;

由于C++允许将一个结构赋给另一个结构，因此即使T是job结构，上述代码也适用。假设我们只想要交换salary和floor成员，而不交换name成员，则需要使用不同的代码，但Swap()的参数将保持不变，因此无法使用模板重载来提供其他的代码。
我们可以提供一个具体化函数定义——显式具体化，其中包括所需代码，当编译器找到与函数调用匹配的具体化定义时，将使用该定义，不再寻找模板。

2.显式具体化

C++标准的定义形式：

1.对于给定的函数名，可以有非模板函数，模板函数和显式具体化模板函数以及他们的重载版本。
2.显式具体化的原型和定义应以template<>打头，并通过名称来指出类型。
2.具体化优先于常规模板，而非模板函数优先于具体化和常规模板。

下面是用于交换job结构的非模板函数、模板函数和具体化的原型:

//非模板函数
void swap(job &a,job &b);
//模板函数
template<typename T>
void swap(T &,T &)
//显式具体化
template <> void swap<job>(job&,job&);

显式具体化实例：

#include<iostream>
using namespace std;

template<typename T>
void Swap(T& a, T& b);

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

template<> void Swap<job>(job& j1, job& j2);

void show(job& j) {
	cout << j.name<<" "<<j.salary << " " << j.floor << endl;
}
int main() {
	int i = 10;
	int j = 20;
	cout << "i,j=" << i << "," << j << endl;
	cout << "交换后：" << endl;
	Swap(i, j);
	cout << "i,j=" << i << "," << j << endl;

	job ja = { "abcdef",128.1,8 };
	job jk = { "ghijkl",345.6,9 };
	cout << "ja:";
	show(ja);
	cout << "jk:";
	show(jk);
	Swap(ja, jk);
	cout << "交换后：" << endl;
	cout << "ja:";
	show(ja);
	cout << "jk:";
	show(jk);
	return 0;
}

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

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