上传新文件

Ch8函数探幽/函数模板/显示具体化.cpp

+//假设定义了如下结构:
+struct job
+{
+	char name[40];
+	double salary;
+	int floor;
+};
+
+//另外，假设希望能够交换两个这种结构的内容。
+//原来的模板使用下面的代码来完成交换:
+temp = a;
+a = b;
+b = temp;
+
+/*
+* 由于C++允许将一个结构赋给另一个结构，因此即使T是一个job结构，
+上述代码也适用。然而，假设只想交换salary 和 floor 成员，
+而不交换name成员，则需要使用不同的代码，
+但Swap()的参数将保持不变（两个job 结构的引用)，
+因此无法使用模板重载来提供其他的代码。
+*/
+
+
+/*
+* 然而，可以提供一个具体化函数定义——称为显式具体化
+(explicit specialization)，其中包含所需的代码。
+当编译器找到与函数调用匹配的具体化定义时，
+将使用该定义，而不再寻找模板。
+*/
+
+
+//具体化机制随着C++的演变而不断变化。下面介绍C++标准定义的形式。
+
+
+//第三代具体化（ISO/ANSIC++标准）
+//C++98标准提供了下面的具体化方法
+//1.对于给定的函数名，可以有非模板函数、模板函数和显式具体化模板函数以及它们的重载版本。
+//2.显式具体化的原型和定义应以template<>打头，并通过名称来指出类型。
+//3.具体化优先于常规模板，而非模板函数优先于具体化和常规模板。
+
+
+//下面是用于交换job 结构的非模板函数、模板函数和具体化的原型：
+
+//no template function prototype
+void Swap(job&, job&);
+
+//template prototype
+template <typename T>
+void Swap(T&, T&);
+
+//explicit specialization for the job type
+template <> void Swap<job>(job&, job&);
+
+
+/*
+* 正如前面指出的，如果有多个原型，则编译器在选择原型时，
+非模板版本优先于显式具体化和模板版本，
+而显式具体化优先于使用模板生成的版本。
+例如，在下面的代码中，第一次调用Swap()时使用通用版本，
+而第二次调用使用基于job类型的显式具体化版本。
+*/
+
+int main(void)
+{
+	double u, v;
+
+	Swap(u, v);			//use template
+	job a, b;
+	Swap(a, b);			//use void Swap<job>(job&, job&)
+}
+
+
+//Swap<job>中的<job>是可选的，因为函数的参数类型表明，
+//这是job的一个具体化。因此，该原型也可以这样编写:
+template <> void Swap(job&, job&);
\ No newline at end of file