From 2522428ce92d063a57e9202d45c49e3b808076a2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E5=85=A8=E9=83=A8=E9=83=BD=E6=83=B3=E5=AD=A6=E6=80=8E?=
 =?UTF-8?q?=E4=B9=88=E5=8A=9E?= <2434858409@qq.com>
Date: Tue, 5 Apr 2022 20:32:16 +0800
Subject: [PATCH] =?UTF-8?q?=E4=B8=8A=E4=BC=A0=E6=96=B0=E6=96=87=E4=BB=B6?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 ...2\345\205\267\344\275\223\345\214\226.cpp" | 75 +++++++++++++++++++
 1 file changed, 75 insertions(+)
 create mode 100644 "Ch8\345\207\275\346\225\260\346\216\242\345\271\275/\345\207\275\346\225\260\346\250\241\346\235\277/\346\230\276\347\244\272\345\205\267\344\275\223\345\214\226.cpp"

diff --git "a/Ch8\345\207\275\346\225\260\346\216\242\345\271\275/\345\207\275\346\225\260\346\250\241\346\235\277/\346\230\276\347\244\272\345\205\267\344\275\223\345\214\226.cpp" "b/Ch8\345\207\275\346\225\260\346\216\242\345\271\275/\345\207\275\346\225\260\346\250\241\346\235\277/\346\230\276\347\244\272\345\205\267\344\275\223\345\214\226.cpp"
new file mode 100644
index 0000000..b165d07
--- /dev/null
+++ "b/Ch8\345\207\275\346\225\260\346\216\242\345\271\275/\345\207\275\346\225\260\346\250\241\346\235\277/\346\230\276\347\244\272\345\205\267\344\275\223\345\214\226.cpp"
@@ -0,0 +1,75 @@
+//假设定义了如下结构:
+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
-- 
GitLab