STL标准模板库基本组件介绍以及简单用法

1、STL基本头文件
STL主要包含容器、算法和迭代器三个部分。容器实现了大多数数据结构；迭代器类似指针，通过它的有序移动将容器中的元素与算法关联起来，是实现STL的基础。常用的STL包含头文件如下：

容器（contain）

是容纳，包含一组元素的对象。
而容器又包含以下几种：

这七种容器可以分为两种基本类型：
顺序容器：一组具有相同类型的元素以严格的线性形式组织起来。向量，双端队列，列表容器属于这一种

关于三者的优缺点主要是：
A:vector矢量容器：可以随机访问容器的内容，在序列末尾添加或删除对象，但是因为是从尾部删除，过程非常慢，因为必须移动插入或删除点后面的所有对象。

关联容器：具有根据一组索性来快速提取元素的能力，集合和映射属于这一类
关联容器支持高效的关键字查找和访问。主要的关联容器类型是map和set，其中map中的元素是一些关键字-值（key-value）对：关键字起到索引的作用，值则表示索引相关联的数据；set中每个元素只包括一个关键字，set支持高效的关键字查询操作-检查一个给定关键字是否在set中。关联容器类型如下：

迭代器（iterator）

C++的标准模板库（STL）中有容器、算法和迭代器，其中迭代器是非常重要的；
容器又分为顺序容器和关联容器，每一种容器都有自己的迭代器，但是所有的迭代器的接口都是一样的，即所有的迭代器的操作方法都是一样的；
迭代器实际上是一个指针

begin操作返回一个迭代器，且该迭代器指向容器的第一个数据；
end是指向最后一个的下一个；
之所以这样设计end是为了很多情况下代码更容易写；

特定容器有特定的迭代器，故将迭代器作为内部类更适合应用。每个容器均有对应的迭代器，容器通过迭代器共享某一具体算法，而算法不具体依赖某一具体容器。由此可见，STL的编程思想是：1.形成容器元素；2.取出所需的迭代指针；3.调用通用算法。STL迭代器共分五大类型：
输入迭代器istream_iterator，按其顺序只能读取一次。构造函数可参阅STL库；
输出迭代器ostream_iterator，按顺序只写一次。构造函数可参阅STL库；
前向迭代器，这种迭代器包含了输入输出迭代器两者所有可能，可以对一个值多次读写。前向迭代器只能向前移动；
双向迭代器，具有前向迭代器的全部功能，它也可以向后移动操作；
随机访问迭代器，具有双向迭代器的全部功能，再加上一个指针的所有功能。

*iter      返回迭代器iter所指元素的引用
iter->men  解引用iter并获得该元素的名为men的成员,相当于（*iter）.men
++iter      令iter指示容器的下一个元素
 --iter      令iter指示容器的上一个元素
iter1==iter2  如果两个迭代器指示的是同一个元素或者它指向同一个容器的尾后迭代器，则相等.

下面给出一个使用迭代器运算符修改容器元素的代码示例：

#include<iostream>
using namespace std;
#include<vector>
int main()
{
    vector <int> v(10, 1);
    int i=1;
    cout << "未修改前：";
    for (auto v_quote : v)
    {
        cout << v_quote << " " ;   //未修改前
    }
    cout << endl;
    for (auto v_quote = v.begin(); v_quote != v.end(); ++v_quote)
    {
        *v_quote += i;
        ++i;
    }
    cout << "修改后：";
    for (auto v_quote : v)
    {
        cout << v_quote << " ";
    }
    cout << endl;
    return 0;
}

那些拥有迭代器的标准库类型都是使用：iterator和const_iterator来表示迭代器的类型：

 vector <int> ::iterator it;        //it能读写vector<int>的元素
    vector <int>::const_iterator it;   //it只能读vector<int>的元素，不可以修改vector<int>中的元素

    string::iterator s;                //s可以读写string对象中的元素
    string::const_iterator s;          //s只可以读string对象中的元素，不可以修改string对象中的元素

迭代器的运算

iter+n           //迭代器加上一个整数值仍得到一个迭代器，迭代器指示的新位置向前移动了，指示可能是容器的一个元素或者是尾部的下一个位置
iter-n          //相反，迭代器指示的位置向后移动了，指示可能是容器的一个元素或者是尾部的下一个位置
iter1+=n        //等价于iter1+n
iter1-=n        //等价于iter2-n
iter1-iter2     //两个迭代器的距离，

函数对象（function object）

函数对象时一个行为类似函数的对象，对他可以像调用函数一样调用。任何普通的函数和重载了“（）”运算符的类的对象作为函数使用，寒素对象是泛化的函数

标准C++库根据operator()参数个数为0，1，2划分，有如下几种函数对象：

a. 发生器：没有参数且返回任意类型值的函数对象，如随机函数发生器；

b. 一元函数：只有一个任意类型的参数，返回一个可能不同类型的函数对象；

c. 二元函数：两个任意类型参数，且返回一个任意类型的函数对象；

d. 一元判定函数：返回bool类型的一元函数；

e. 二元判定函数：返回bool类型的二元函数；

//函数对象
#include<iostream>
#include<vector>
#include<functional>
#include<algorithm>
#include<numeric> 
using namespace std;
int sumSquares(int total,int value){
	return total+value*value;
}
template <class T>
void PrintInterval(T first,T last){
	for(;first!=last;++first){
		cout<<*first<<",";
	}
	cout<<endl;
}
template <class T>
class SumPowers{
	private:
		int power;
	public:
		SumPowers(int p):power(p){
		}
		const T operator() (const T & total,const T & value){
			//计算value 的power 次方，加到total上
			T v=value;
			for(int i=0;i<power-1;++i)
				v=v*value; 
			return total+v;	
		}	
		
};
int main(void){
	const int SIZE=10;
	int a1[]={1,2,3,4,5,6,7,8,9,10};
	vector<int> v(a1,a1+SIZE);
	cout<<"1)";PrintInterval(v.begin(),v.end());
	int result=accumulate(v.begin(),v.end(),0,sumSquares);
	cout<<"2)平方和 "<<result<<endl;
	result=accumulate(v.begin(),v.end(),0,SumPowers<int>(3));
	cout<<"3)立方和"<<result<<endl;
	result=accumulate(v.begin(),v.end(),0,SumPowers<int>(4));
	cout<<"4)4次方和"<<result; 
	return 0;
} 

算法（algorithm）

函数库对数据类型的选择对其可重用性起着至关重要的作用。举例来说，一个求方根的函数，在使用浮点数作为其参数类型的情况下的可重用性肯定比使用整型作为它的参数类性要高。而C++通过模板的机制允许推迟对某些类型的选择，直到真正想使用模板或者说对模板进行特化的时候，STL就利用了这一点提供了相当多的有用算法。它是在一个有效的框架中完成这些算法的——你可以将所有的类型划分为少数的几类，然后就可以在模版的参数中使用一种类型替换掉同一种类中的其他类型。
STL提供了大约100个实现算法的模版函数，比如算法for_each将为指定序列中的每一个元素调用指定的函数，stable_sort以你所指定的规则对序列进行稳定性排序等等。只要我们熟悉了STL之后，许多代码可以被大大的化简，只需要通过调用一两个算法模板，就可以完成所需要的功能并大大地提升效率。
算法部分主要由头文件，和组成。
是所有STL头文件中最大的一个（尽管它很好理解），它是由一大堆模版函数组成的，可以认为每个函数在很大程度上都是独立的，其中常用到的功能范围涉及到比较、交换、查找、遍历操作、复制、修改、移除、反转、排序、合并等等。
体积很小，只包括几个在序列上面进行简单数学运算的模板函数，包括加法和乘法在序列上的一些操作。
中则定义了一些模板类，用以声明函数对象。
STL中算法大致分为四类：
1）非可变序列算法：指不直接修改其所操作的容器内容的算法。
2）可变序列算法：指可以修改它们所操作的容器内容的算法。
3）排序算法：对序列进行排序和合并的算法、搜索算法以及有序序列上的集合操作。
4）数值算法：对容器内容进行数值计算。
以下对所有算法进行细致分类并标明功能：
<一>查找算法(13个)：判断容器中是否包含某个值

adjacent_find: 在iterator对标识元素范围内，查找一对相邻重复元素，找到则返回指向这对元素的第一个元素的ForwardIterator。否则返回last。重载版本使用输入的二元操作符代替相等的判断。
binary_search: 在有序序列中查找value，找到返回true。重载的版本实用指定的比较函数对象或函数指针来判断相等。
count: 利用等于操作符，把标志范围内的元素与输入值比较，返回相等元素个数。
count_if: 利用输入的操作符，对标志范围内的元素进行操作，返回结果为true的个数。
equal_range: 功能类似equal，返回一对iterator，第一个表示lower_bound，第二个表示upper_bound。
find: 利用底层元素的等于操作符，对指定范围内的元素与输入值进行比较。当匹配时，结束搜索，返回该元素的一个InputIterator。
find_end: 在指定范围内查找"由输入的另外一对iterator标志的第二个序列"的最后一次出现。找到则返回最后一对的第一个ForwardIterator，否则返回输入的"另外一对"的第一个ForwardIterator。重载版本使用用户输入的操作符代替等于操作。
find_first_of: 在指定范围内查找"由输入的另外一对iterator标志的第二个序列"中任意一个元素的第一次出现。重载版本中使用了用户自定义操作符。
find_if: 使用输入的函数代替等于操作符执行find。
lower_bound: 返回一个ForwardIterator，指向在有序序列范围内的可以插入指定值而不破坏容器顺序的第一个位置。重载函数使用自定义比较操作。
upper_bound: 返回一个ForwardIterator，指向在有序序列范围内插入value而不破坏容器顺序的最后一个位置，该位置标志一个大于value的值。重载函数使用自定义比较操作。
search: 给出两个范围，返回一个ForwardIterator，查找成功指向第一个范围内第一次出现子序列(第二个范围)的位置，查找失败指向last1。重载版本使用自定义的比较操作。
search_n: 在指定范围内查找val出现n次的子序列。重载版本使用自定义的比较操作。

<二>排序和通用算法(14个)：提供元素排序策略
i

nplace_merge: 合并两个有序序列，结果序列覆盖两端范围。重载版本使用输入的操作进行排序。
merge: 合并两个有序序列，存放到另一个序列。重载版本使用自定义的比较。
nth_element: 将范围内的序列重新排序，使所有小于第n个元素的元素都出现在它前面，而大于它的都出现在后面。重载版本使用自定义的比较操作。
partial_sort: 对序列做部分排序，被排序元素个数正好可以被放到范围内。重载版本使用自定义的比较操作。
partial_sort_copy: 与partial_sort类似，不过将经过排序的序列复制到另一个容器。
partition: 对指定范围内元素重新排序，使用输入的函数，把结果为true的元素放在结果为false的元素之前。
random_shuffle: 对指定范围内的元素随机调整次序。重载版本输入一个随机数产生操作。
reverse: 将指定范围内元素重新反序排序。
reverse_copy: 与reverse类似，不过将结果写入另一个容器。
rotate: 将指定范围内元素移到容器末尾，由middle指向的元素成为容器第一个元素。
rotate_copy: 与rotate类似，不过将结果写入另一个容器。
sort: 以升序重新排列指定范围内的元素。重载版本使用自定义的比较操作。
stable_sort: 与sort类似，不过保留相等元素之间的顺序关系。
stable_partition: 与partition类似，不过不保证保留容器中的相对顺序。

<三>删除和替换算法(15个)

copy: 复制序列
copy_backward: 与copy相同，不过元素是以相反顺序被拷贝。
iter_swap: 交换两个ForwardIterator的值。
remove: 删除指定范围内所有等于指定元素的元素。注意，该函数不是真正删除函数。内置函数不适合使用remove和remove_if函数。
remove_copy: 将所有不匹配元素复制到一个制定容器，返回OutputIterator指向被拷贝的末元素的下一个位置。
remove_if: 删除指定范围内输入操作结果为true的所有元素。
remove_copy_if: 将所有不匹配元素拷贝到一个指定容器。
replace: 将指定范围内所有等于vold的元素都用vnew代替。
replace_copy: 与replace类似，不过将结果写入另一个容器。
replace_if: 将指定范围内所有操作结果为true的元素用新值代替。
replace_copy_if: 与replace_if，不过将结果写入另一个容器。
swap: 交换存储在两个对象中的值。
swap_range: 将指定范围内的元素与另一个序列元素值进行交换。
unique: 清除序列中重复元素，和remove类似，它也不能真正删除元素。重载版本使用自定义比较操作。
unique_copy: 与unique类似，不过把结果输出到另一个容器。

<四>排列组合算法(2个)：提供计算给定集合按一定顺序的所有可能排列组合

next_permutation: 取出当前范围内的排列，并重新排序为下一个排列。重载版本使用自定义的比较操作。
prev_permutation: 取出指定范围内的序列并将它重新排序为上一个序列。如果不存在上一个序列则返回false。重载版本使用自定义的比较操作。

<五>算术算法(4个)

accumulate: iterator对标识的序列段元素之和，加到一个由val指定的初始值上。重载版本不再做加法，而是传进来的二元操作符被应用到元素上。
partial_sum: 创建一个新序列，其中每个元素值代表指定范围内该位置前所有元素之和。重载版本使用自定义操作代替加法。
inner_product: 对两个序列做内积(对应元素相乘，再求和)并将内积加到一个输入的初始值上。重载版本使用用户定义的操作。
adjacent_difference: 创建一个新序列，新序列中每个新值代表当前元素与上一个元素的差。重载版本用指定二元操作计算相邻元素的差。

<六>生成和异变算法(6个)

fill: 将输入值赋给标志范围内的所有元素。
fill_n: 将输入值赋给first到first+n范围内的所有元素。
for_each: 用指定函数依次对指定范围内所有元素进行迭代访问，返回所指定的函数类型。该函数不得修改序列中的元素。
generate: 连续调用输入的函数来填充指定的范围。
generate_n: 与generate函数类似，填充从指定iterator开始的n个元素。
transform: 将输入的操作作用与指定范围内的每个元素，并产生一个新的序列。重载版本将操作作用在一对元素上，另外一个元素来自输入的另外一个序列。结果输出到指定容器。

<七>关系算法(8个)

equal: 如果两个序列在标志范围内元素都相等，返回true。重载版本使用输入的操作符代替默认的等于操作符。
includes: 判断第一个指定范围内的所有元素是否都被第二个范围包含，使用底层元素的<操作符，成功返回true。重载版本使用用户输入的函数。
lexicographical_compare: 比较两个序列。重载版本使用用户自定义比较操作。
max: 返回两个元素中较大一个。重载版本使用自定义比较操作。
max_element: 返回一个ForwardIterator，指出序列中最大的元素。重载版本使用自定义比较操作。
min: 返回两个元素中较小一个。重载版本使用自定义比较操作。
min_element: 返回一个ForwardIterator，指出序列中最小的元素。重载版本使用自定义比较操作。
mismatch: 并行比较两个序列，指出第一个不匹配的位置，返回一对iterator，标志第一个不匹配元素位置。如果都匹配，返回每个容器的last。重载版本使用自定义的比较操作

。
<八>集合算法(4个)

set_union: 构造一个有序序列，包含两个序列中所有的不重复元素。重载版本使用自定义的比较操作。
set_intersection: 构造一个有序序列，其中元素在两个序列中都存在。重载版本使用自定义的比较操作。
set_difference: 构造一个有序序列，该序列仅保留第一个序列中存在的而第二个中不存在的元素。重载版本使用自定义的比较操作。
set_symmetric_difference: 构造一个有序序列，该序列取两个序列的对称差集(并集-交集)。

<九>堆算法(4个)

make_heap: 把指定范围内的元素生成一个堆。重载版本使用自定义比较操作。
pop_heap: 并不真正把最大元素从堆中弹出，而是重新排序堆。它把first和last-1交换，然后重新生成一个堆。可使用容器的back来访问被"弹出"的元素或者使用pop_back进行真正的删除。重载版本使用自定义的比较操作。
push_heap: 假设first到last-1是一个有效堆，要被加入到堆的元素存放在位置last-1，重新生成堆。在指向该函数前，必须先把元素插入容器后。重载版本使用指定的比较操作。
sort_heap: 对指定范围内的序列重新排序，它假设该序列是个有序堆。重载版本使用自定义比较操作。