【C++】STL系列（1）：STL六大部件和容器概括

–本文章来自于侯捷老师STL相关课程和自身理解整合做出的个人笔记

若有错误，欢迎指正

STL的意思是C++标准模板库（Standard Template Library）

它其中由六大部件和一些边角构成：
1.容器（Contaniers）：存放需要操作的元素数据
2.分配器（Allocators）：为容器提供内存空间
3.算法（Algorithms）：通过迭代器操作容器内部存放的元素数据
4.迭代器（Iterators）：连接算法和容器的桥梁，作用类似于指针，甚至可以直接当作指针处理。
5.适配器（Adapters）：对容器，迭代器，仿函数进行不同的改造让其可以融入进STL结构中
6.仿函数（Functors）：可以简单理解为通过重载（）运算符来模拟函数（算法）行为的类

六大部件的关系如下：

侯捷老师这段代码写的很好。将六大部件全部都使用到了。

首先是声明了一个Vector（容器），指明使用分配器allocator（默认分配器），并且进行初始化。
使用算法Count_if进行统计，迭代器给出统计的范围，not1和bind2nd是两个函数适配器，用于改造整个函数。less < int >()是创建了一个临时函数对象，less< typename t>原本是一个结构体。bind2nd的意思是绑定第二参数。而not1代表取否。

于是，这段程序的意思就是统计Vector中不小于40的元素个数。

这里多提一句：迭代器提供的begin（）和end（）函数，返回的是容器元素的第一个元素和最后一个元素的下一个。即可以理解为左闭右开区间。

然后就是STL中最庞大的一块：容器。对于每个容器，我也会开专门的文章好好讲一讲，这里先讲讲整体概括。

容器大致可以分为三类：
1.Sequence Containers（顺序容器）
2.Associate Containers（关联容器），底层使用红黑树实现，方便于查找
3.Unordered Containers（无序容器），实际上也是关联容器的一种，只不过底层是使用哈希表来实现的。

具体关系：用红色框起来的代表是C++11中新出现的容器

每一个种类的容器都有其对应的一些该有的函数。
比如size(),front(),back(),begin(),end()等等，这些会在之后逐一测试。

所有的容器的默认分配器都是allocator，其余的分配器均需要引入头文件和使用_gnu_cxx的命名空间。（在GNU C++环境下）。
其余的分配器还有：
< ext\arrary_allocator.h >
< ext\mt_allocator.h >
< ext\debug_allocator.h >
< ext\pool_allocator.h >
< ext\bitmap_allocator.h>
< ext\malloc_allocator.h>
< ext\new_allocator.h>

此外，还需要介绍的是面向对象（OOP）和泛型编程（GP）

面向对象（OOP) 编程是将data（数据）和method（方法）结合到一起，形成一整个类。

泛型编程（GP） 却是将data（数据）和method（方法）分开，使用迭代器结合到一起使用。

泛型编程用到了很多的泛化和偏特化。所谓的泛化和偏特化就是针对一个问题，或者数据类型的整体处理方法和特别处理方法。下面这个例子应该能够很好的解释。

上图的结构体_type_traits是一个模板类。那么使用它的时候会默认使用结构体内部的代码。下面两个特化的意思是在说，假如传进来的元素是int和double的时候，这些对应的元素值或者是方法应该使用的版本。比如传入int则使用第二个版本的_type_traits,传入double则使用第三个版本的_type_traits。
这种我们一般管他叫全特化。即所有的模板参数都被指定了特定的对象。

那么还有一种偏特化：

偏特化的意思其实也很好理解，就是假如有多个模板参数，不全部指定，只指定其中的几个。上图左边，偏特化的版本表示假如传入的是bool，则使用第二个版本。注意在模板template<>里面拿掉了第一参数。
右边表示传入指针（指向任何类型）和常指针的版本。
左边对应个数的偏特化而右边对应范围的偏特化。

注意：函数模版不存在偏特化，只有类模版才能偏特化