C++模板笔记一：泛型编程思想；函数模板；类型参数化；类型推导

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

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

• 函数模板
• 类模板

---

---

函数模板

作用：

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

语法：

template<typename T>
函数声明或定义

 解释:

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<typename T>   // 声明一个模板，告诉编译器后面代码中紧跟着的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<int>(a, b);
	cout << "a = " << a << ", b = " << b << endl;

	double c = 1.1;
	double d = 2.2;
	mySwap<double>(c, d);
	cout << "c = " << c << ", d = " << d << endl;
}

模板的意义：将类型参数化。

---

---

总结：

• 函数模板利用关键字：template
• 使用函数模板有两种调用方式：自动类型推导、显示指定类型。
• 模板的目的是为了提高复用性，将类型参数化。