C++|C++模板笔记一（泛型编程思想；函数模板；类型参数化；类型推导）模板|类型参数化|自动类型推导

C++另一种编程思想称为泛型编程，主要利用的技术就是模板。

C++提供两种模板机制：

函数模板

类模板

函数模板

作用：建立一个通用函数，其函数返回值类型和形参类型可以不具体指定，用一个虚拟的类型来代表。

语法：
template 函数声明或定义

解释: 【C++|C++模板笔记一（泛型编程思想；函数模板；类型参数化；类型推导）】template——声明创建模板。
typename——表明其后面的符号是一种数据类型，可以用class代替。
T —— 通用的数据类型，名称可以替换，虚拟类型，通常为大写字母。

示例代码：有几个函数分别实现交换两个变量的值。这几个函数，分别对应不同的参数类型。

// 交换两个变量的值。 void swapInt(int& a, int& b) { int temp = a; a = b; b = temp; }void swapDouble(double& a, double& b) { double temp = a; a = b; b = temp; }void swapString(string& a, string& b) { string temp = a; a = b; b = temp; }

我们观察这三个函数（甚至可以更多）有大量相同的地方。除了参数类型外，其他的都相同。
因此我们想有没有什么办法，只写一个函数，可以完成这种交换。C++提供了一种泛型编程思维。

//利用模板提供通用的交换函数 template// 声明一个模板，告诉编译器后面代码中紧跟着的T不要报错，T是一个通用数据类型。 void mySwap(T& a, T& b) { T temp = a; a = b; b = temp; }

调用情况1：自动类型推导。

void test01() { int a = 10; int b = 120; mySwap(a, b); cout << "a = " << a << ", b = " << b << endl; double c = 1.1; double d = 2.2; mySwap(c, d); cout << "c = " << c << ", d = " << d << endl; }

调用情况2：显示指定类型。

void test02() { int a = 10; int b = 120; mySwap(a, b); cout << "a = " << a << ", b = " << b << endl; double c = 1.1; double d = 2.2; mySwap(c, d); cout << "c = " << c << ", d = " << d << endl; }