模板与STL

一、为什么使用模板
1、C／C＋＋是一种静态类型语言(预处理->汇编->编译->链接)，好处是速度快，缺点实现通用代码麻烦，例如：实现支持所有类型的快速排序。
2、借助函数重载实现通用代码，好处是实现简单，但代码段会增加。
3、借助宏函数实现通用代码，类型检查不严格。
4、借助回调函数实现通用代码，使用麻烦。
5、由于以上原因C＋＋之父在C＋＋实现了模板技术，让C＋＋能够支持泛型编程。

二、函数模板
1、函数模板的定义

template 
	类型参数1 函数名(类型参数2 参数名)
	{
	
		return 返回值;
	}
	
	template 
	T find(T* arr,size_t len)
	{
		return val;
	}

可以任何标识符作为类型参数名，但使用’T’ 是俗成约定的，它表示调用这个函数时所指定的任意类型。

2、函数模板的使用
C＋＋编译的编译器并不是把模板编译成一个可以处理任何类型的单一实体，而是根据模板的使用者的参数，产生不同的函数的实体。
根据具体类型代表模板参数生成函数实体过程叫实例化。

模板是在使用时才实例化，可以自动实例化，也可以手动实例化（在函数调用时函数名与小括号之间加 <类型参数> ）。

每个函数模板都会进行二次编译，第一次编译在实例化之前，检查模板代码本身是否正确，第二次是实例化过程中，结合所使用类型参数，再次检查模板代码，是否所有的代码都有效。
注意：第二次编译才会生成二进制指令，第一次编译仅仅是在编译器内部生成一个用于描述模板的数据结构。

3、函数模板的隐式推断
函数模板虽然可以手动实例化，但使用麻烦，因此一般都根据参数类型进行隐式推断模板的参数。
注意：不能隐式打断的三种情况
1、函数参数与模板类型参数没有关系
2、不允许隐式类型转换
3、返回值类型不能隐式推断
4、函数模板与默认形参之间有冲突。

5、普通函数与同名的模板函数构成重载，编译器会优先调用普通函数，如果实现一个与模板函数功能一致和普通函数，那么这叫做模板函数的特化。
注意：一般char*类型都需要特化。

三、类模板
1、类模板的定义

template 
class Test
{
public:
	M val;
	Test(A a)
	{
		O var;
	}
	
	R func(void)
	{
	
	}
};

2、类模板的使用
类模板的参数不支持隐式推断，必须显示指定类型参数。
类名<类型…> 对象;

模板分为两步进行实例化：
编译期：编译器将类模板实例化类，并生成类对象创建指令。
运行期：处理器执行类对象创建指令，将类实例化为对象。
类模板也是一种静态多态。

类模板中，只有那些被调用的成员函数才实例化，即产生二进制指令（调用谁实例化谁）。

3、类模板的静态成员
静态成员需要在类外定义，这一点不改变，但与普通类的定义不同。
template 类型 类名<…>::成员名；

4、递归实例化
类模板的参数可以是任何类型，只要该类型提供类模板所需要的功能。
类模板的实例化已经是一个有效的类型了，因此它也可以当作类模板的参数，这种叫作递归实例化。
Vector // 二维数组
Test

5、类的局部特化
当类的某个成员函数不能通用，需要对特殊类型(char*)实现一个特殊版本，这叫类的局部特化。
template<> 返回值类型 类名<类型>::函数名(参数)
{

}
注意：在类外实现
6、全类特化
当需要针对某种类型对类全部实现一个特殊版本，这种叫类的全部特化。

template <> 类名<类型>
	{
		...
	};	

7、类模板的缺省值
类模板的类型参数可以设置默认值类型，规则与函数的默认形参基本致（设置缺省值类型靠右）。
后面的类型参数可以使用前面的类型，但前面不能使用后面的。

8、普通数据也可以作来模板参数

template 
	{
		int arr[B];
	}

给类模板一个数据，在类中就可以像使用宏名一个使用参数。
注意：实例化类中提供的数据必须是常量。
四、模板的技巧
1、typename可以用class替代
2、不能直接使用模板父类中的成员，需要：类名::函数名
3、在类模板中可以定义虚函数（多态），但虚函数不能是模板函数。

五、STL介绍
STL 标准模板库，由惠普实验室提供，里面集成了常用的数据结构类模板和算法函数模板等。
容器：用来存储各类型数据的数据结构。
迭代器：类似于专门用来指向容器成员的指针，用来遍历、操作、管理容器中的成员，可以大大提高容器的访问速度。
算法：STL实现了常见的排序、查找算法。

List：双端链表容器
iterator：用来指向容器中的元素
	begin() 获取指向第一个元素的迭代器
	end() 获取指向最后一个元素的下一位置迭代器
	get_allocator() 

vector：向量容器，俗称数组
stack、queue：栈和队列
deque：双端队列，用法与向量基本一致，但可以在头和尾快速插入和删除。
注意：
set：集合容器，集合中的数据会自动排序，不能重复。
map：是一种关联容器，在其它编程语言中叫字典，C＋＋中叫映射，以key/value键/值对的方式进行存储，key的值不能重复。
multimap：多重映射，它与map的很像，区别是它key的值可以重复。
multiset：多重集合，它与set很像，区别是它的值可以重复。
priority_queue：优先队列，它会根据元素的比较结果进行排序。

总结：
1、vector和deque是支持[]运算，因此基本不需要迭代器，其它容器一律使用迭代器进行遍历。
2、stack、queue、priority_queue容器没有迭代器。
3、set、multiset、priority_queue会对元素进行排序，因它存储元素要支持比较运算符。

STL中常用的算法函数：
	使用时要加头文件：algorithm
	查找：find、serch
	排序：sort
	复制：copy
	删除：remove
	比较：equal