C++入门篇，初入模板和STL介绍

C++入门篇——初入模板和STL介绍

本节简单了解C++模板的概念和使用，和初识STL

1 泛型编程

我们经常会用到一个函数，叫做交换函数，但是，如果针对不同类型的，我们都需要执行不同版本的。大大增加了代码量。

void Swap(int& left, int& right)
{
	int temp = left;
	left = right;
	right = temp;
}
void Swap(double& left, double& right)
{
	double temp = left;
	left = right;
	right = temp;
}
void Swap(char& left, char& right)
{
	char temp = left;
	left = right;
	right = temp;
}

....

那么，C++有没有更好解决这个问题的办法呢？答案是有的，叫做泛型编程，能够提供通用的模板，让编译器根据个模板来自动进行识别类型。

模板又分为函数模板和类模板。

2 函数模板

2.1 函数模板概念

函数模板指定是为函数提供模板，这个模板不关乎类型，在使用时会根据传入的参数类型，做出特定的版本。

2.2 函数模板格式

语法：template<typename T1,typename T2,...>

交换函数用模板实现：

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

2.3 函数模板原理

函数模板其实是一个蓝图，它本身并不是函数，只是提供了一个给编译器使用的模具。也就是说，是编译器，帮我们去做了那些重复的工作，编译器会根据我们传入的参数自动的去调用对应类型的函数。

编译器会根据我们传入的类型来自动去帮我们推演出来。

2.4 函数模板的实例化

函数模板的实例化可以分为隐式实例化和显式实例化。

2.4.1 隐式实例化

隐式实例化时让编译器根据实参来自动推演实际类型。但是同样会带来一些问题，比如：

template<class T>
T Add(const T& left, const T& right)
{
	return left + right;
}

int main()
{
	int a1 = 10, a2 = 20;
	double d1 = 10.0, d2 = 20.0;
	// 如果传入的是同类型，编译器会自动识别，不会出错。
	Add(a1, a2); 
	Add(d1, d2);

	// 但是如果传入的是不同类型的，编译器就无法识别了。
	// Add(a1, d1);
	
	// 解决方法1：强制转换其中一个类型，是其两个类型相同。
	Add(a1, (int)d1);

	// 解决方法2：显示实例化
}

2.4.2 显式实例化

显式实例化就是在函数名后的<>中指定模板参数的实际类型。

// 解决方法2：显示实例化
Add<int>(a1,d1);

显式实例化就是告诉编译器模板的类型是什么，如果类型不匹配，编译器会尝试进行隐式转换。

2.5 模板参数的匹配原则

一个模板可以有一个同名的非模板函数同时存在，这个非模板函数就是模板函数的特化版本，针对指定类型作的特殊处理。

// 专门处理int的加法函数
int Add(int left, int right)
{
	return left + right;
}
// 通用加法函数
template<class T>
T Add(T left, T right)
{
	return left + right;
}

void Test()
{
	Add(1, 2); // 与非模板函数匹配，编译器不需要特化
	Add<int>(1, 2); // 调用编译器特化的Add版本
}

3 类模板

3.1 类模板的语法

类模板的语法和函数模板的语法相似，模板里面的class关键字可以和typename替换使用，没有太大区别。

template<class T1, class T2, ..., class Tn>
class 类模板名
{
	// 类内成员定义
};

3.2 类模板的实例化

类模板的实例化也可以显式指定。

// Vector类名，Vector<int>才是类型
Vector<int> s1;
Vector<double> s2;

4 什么是STL

STL(standard template libaray-标准模板库)：是C++标准库的重要组成部分，不仅是一个可复用的组件库，而且
是一个包罗数据结构与算法的软件框架。

5 STL的六大组件

容器：各种数据结构，如vector、list、deque、set、map，是用来存放数据的。

算法：各种常用的算法，如sort、search、copy、erase等等。

迭代器：算法和容器之间的胶合剂，也就是“泛型指针”。

仿函数：行为类似函数，其实是通过重载了operator()的类。

配接器：一般是修饰容器或者仿函数的或迭代器。比如stack的底部是借助deque容器来实现的。

配置器：负责空间配置与管理。

如sort、search、copy、erase等等。

迭代器：算法和容器之间的胶合剂，也就是“泛型指针”。

仿函数：行为类似函数，其实是通过重载了operator()的类。

配接器：一般是修饰容器或者仿函数的或迭代器。比如stack的底部是借助deque容器来实现的。

配置器：负责空间配置与管理。