STL学习

STL 的组成
　　STL有三大核心部分：容器（Container）、算法（Algorithms）、迭代器（Iterator），容器适配器（container adaptor），函数对象(functor)，除此之外还有STL其他标准组件。

·  容器（container）：容器是数据在内存中组织的方法，例如，数组、堆栈、队列、链表或二叉树（不过这些都不是STL标准容器）。STL中的容器是一种存储T（Template）类型值的有限集合的数据结构,容器的内部实现一般是类。这些值可以是对象本身，如果数据类型T代表的是Class的话。

·  算法（algorithm）：算法是应用在容器上以各种方法处理其内容的行为或功能。例如，有对容器内容排序、复制、检索和合并的算法。在STL中，算法是由模板函数表现的。这些函数不是容器类的成员函数。相反，它们是独立的函数。令人吃惊的特点之一就是其算法如此通用。不仅可以将其用于STL容器，而且可以用于普通的C＋＋数组或任何其他应用程序指定的容器。

·  迭代器(iterator)：一旦选定一种容器类型和数据行为(算法)，那么剩下唯一要他做的就是用迭代器使其相互作用。可以把达代器看作一个指向容器中元素的普通指针。可以如递增一个指针那样递增迭代器，使其依次指向容器中每一个后继的元素。迭代器是STL的一个关键部分，因为它将算法和容器连在一起。 

 

容器
　　STL中的容器有队列容器和关联容器，容器适配器（congtainer adapters：stack,queue，priority queue），位集（bit_set），串包(string_package)等等。
　　队列容器（顺序容器）：队列容器按照线性排列来存储T类型值的集合，队列的每个成员都有自己的特有的位置。顺序容器有向量类型、双端队列类型、列表类型三种。
基本容器——顺序容器
　　向量（vector容器类）： vector是一种动态数组，是基本数组的类模板。其内部定义了很多基本操作。既然这是一个类，那么它就会有自己的构造函数。vector 类中定义了4中种构造函数：

·  默认构造函数，构造一个初始长度为0的空向量，
如：vector<int> v1;

·  带有单个整形参数的构造函数，此参数描述了向量的初始大小。这个构造函数还有一个可选的参数，这是一个类型为T的实例，描述了各个向量种各成员的初始值；
如：vector<int> v2(init_size,0); 如果预先定义了：int init_size;他的成员值都被初始化为0；

·  复制构造函数，构造一个新的向量，作为已存在的向量的完全复制，
如：vector<int> v3(v2);

·  带两个常量参数的构造函数，产生初始值为一个区间的向量。区间由一个半开区间[first,last](MS word的显示可能会有问题，first前是一个左方括号，last后面是一个右圆括号)来指定。
　　在Java里面也有向量的概念。Java中的向量是对象的集合。其中，各元素可以不必同类型，元素可以增加和删除，不能直接加入原始数据类型。

双端队列（qeque容器类）　deque容器类与vector类似，支持随机访问和快速插入删除，它在容器中某一位置上的操作所花费的是线性时间。与vector不同的是，deque还支持从开始端插入数据：
push_front()。此外deque也不支持与vector的capacity()、reserve()类似的操作。

表（List容器类）：　　 List又叫链表，是一种双线性列表，只能顺序访问（从前向后或者从后向前）。与前面两种容器类有一个明显的区别就是：它不支持随机访问。要访问表中某个下标处的项需要从表头或表尾处（接近该下标的一端）开始循环。而且缺少下标预算符：operator[]。

同时，list仍然包涵了erase(),begin(),end(),insert(),push_back(),push_front()这些基本函数

 

关联容器
　　与前面讲到的顺序容器相比，关联容器更注重快速和高效地检索数据的能力。这些容器是根据键值（key）来检索数据的，键可以是值也可以是容器中的某一成员。这一类中的成员在初始化后都是按一定顺序排好序的。
集和多集（set 和multiset 容器类）
　　一个集合（set）是一个容器，它其中所包含的元素的值是唯一的。这在收集一个数据的具体值的时候是有用的。集合中的元素按一定的顺序排列，并被作为集合中的实例。如果需要一个键/值对（pair）来存储数据，map（也是一个关联容器）是一个更好的选择。一个集合通过一个链表来组织，在插入操作和删除操作上比向量（vector）快，但查找或添加末尾的元素时会有些慢。
　　在集中，所有的成员都是排列好的。如果先后往一个集中插入：12，2，3，123，5，65
　　则输出该集时为：2，3，5，12，65，123
　　集和多集的区别是：set支持唯一键值，set中的值都是特定的，而且只出现一次；而multiset中可以出现副本键，同一值可以出现多次。

Set和multiset的模板参数：

template<class key, class compare, class Allocator=allocator>

　　第一个参数key是所存储的键的类型，第二个参数是为排序值而定义的比较函数的类型，第三个参数是被实现的存储分配符的类型。在有些编译器的具体实现中，第三个参数可以省略。第二个参数使用了合适形式的迭代器为键定义了特定的关系操作符，并用来在容器中遍历值时建立顺序。集的迭代器是双向，同时也是常量的，所以迭代器在使用的时候不能修改元素的值。

Set定义了三个构造函数：
默认构造函数：

explicit set(const Compare&=compare()); 如：set<int,less<int> > set1;

　　less<int>是一个标准类，用于形成降序排列函数对象。升序排列是用greater<int>。通过指定某一预先定义的区间来初始化set对象的构造函数：

template<class InputIterator> set(InputIterator, InputIterator, const Compare&=compare());如：set<int ,less<int> >set2(vector1.begin(),vector1.end());

复制构造函数：

set（const set<Key,Compare&>）; 如：set<int ,less<int> >set3(set2);

映射和多重映射（map 和multimap）

　　映射和多重映射基于某一类型Key的键集的存在，提供对T类型的数据进行快速和高效的检索。对map而言，键只是指存储在容器中的某一成员。Map不支持副本键，multimap支持副本键。Map和multimap对象包涵了键和各个键有关的值，键和值的数据类型是不相同的，这与set不同。set中的key和value是Key类型的，而map中的key和value是一个pair结构中的两个分量。Map支持下表运算符operator[],用访问普通数组的方式访问map，不过下标为map的键。在multimap中一个键可以对应多个不同的值。

在map中是不允许一个键对应多个值的，在multimap中，不支持operator[],也就是说不支持map中允许的下标操作。

 

算法（algorithm）
　　STL中算法的大部分都不作为某些特定容器类的成员函数，他们是泛型的，每个算法都有处理大量不同容器类中数据的使用。值得注意的是，STL中的算法大多有多种版本，用户可以依照具体的情况选择合适版本。中在STL的泛型算法中有4类基本的算法：

变序型队列算法，可以改变容器内的数据；

非变序型队列算法，处理容器内的数据而不改变他们；

排序值算法，包涵对容器中的值进行排序和合并的算法，还有二叉搜索算法

通用数值算法；

注：STL的算法并不只是针对STL容器，对一般容器也是适用的。

变序型队列算法（mutating algorithms）：
　　又叫可修改的序列算法。这类算法有复制（copy）算法、交换（swap）算法、替代（replace）算法、删除（remove）算法，移动（transfer）算法、翻转（reverse）算法等等。这些算法可以改变容器中的数据（数据值和值在容器中的位置）。下面介绍2个比较常用的算法reverse()和copy()。

revese()的功能是将一个容器内的数据顺序翻转过来，它的原型是：

  template<class Bidirectional >    void reverse(Bidirectional first, Bidirectional last);

Copy()是要将一个容器内的数据复制到另一个容器内，它的原型是：

   Template<class InputIterator ，class OutputIterator>  OutputIterator copy(InputIterator first, InputIterator last, OutputIterator result);

它把[first,last－1]内的队列成员复制到区间[result,result+(last-first)-1]中。

泛型交换算法：Swap()操作的是单值交换，它的原型是：

template<class T>void swap(T& a,T& b);

swap_ranges()操作的是两个相等大小区间中的值，它的原型是：

  template<class ForwardIterator1, class ForwardIterator2>  ForwardIterator2 swap_ranges(ForwardIterator1 first1,ForwardIterator1 last1,  ForwardIterator1 first2);

交换区间[first1,last1-1]和[first2, first2+(last1-first1)-1]之间的值，并假设这两个区间是不重叠的。

非变序型队列算法（Non-mutating algorithm）：
　　又叫不可修改的序列算法。这一类算法操作不影响其操作的容器的内容，包括搜索队列成员算法，等价性检查算法，计算队列成员个数的算法。

find()的原型是：

template<class InputIterator，class EqualityComparable>InputIterator find(InputIterator first, InputIterator last,/                   const EqualityComparable& value);

　　其功能是在序列[first,last-1]中查找value值，如果找到，就返回一个指向value在序列中第一次出现的迭代，如果没有找到，就返回一个指向last的迭代（last并不属于序列）。 search()的原型是：

template <class ForwardIterator1, class ForwardIterator2>ForwardIterator1 search(ForwardIterator1 first1, ForwardIterator1 last1,/                        ForwardIterator2 first2, ForwardIterator2 last2);

　　其功能是在源序列[first1,last1-1]查找目标序列[first2，last2-1]如果查找成功，就返回一个指向源序列中目标序列出现的首位置的迭代。查找失败则返回一个指向last的迭代。 Count()的原型是：

template <class InputIterator, class EqualityComparable>iterator_traits<InputIterator>::difference_type count(InputIterator first,/ InputIterator last, const EqualityComparable& value);

其功能是在序列[first,last-1]中查找出等于value的成员，返回等于value得成员的个数。

排序算法（sort algorithm）：
　　这一类算法很多，功能强大同时也相对复杂一些。这些算法依赖的关系运算。在这里我只介绍其中比较简单的几种排序算法：sort(),merge(),includes()

sort()的原型是：

template <class RandomAccessIterator>void sort(RandomAccessIterator first, RandomAccessIterator last);

　　功能是对[first,last-1]区间内的元素进行排序操作。与之类似的操作还有：partial_sort(), stable_sort()，partial_sort_copy()等等。 merge()的原型是：

template <class InputIterator1, class InputIterator2, class OutputIterator>OutputIterator merge(InputIterator1 first1, InputIterator1 last1,/               InputIterator2 first2, InputIterator2 last2,OutputIterator result);

　　将有序区间[first1,last1-1]和[first2,last2-1]合并到[result, result + (last1 - first1) + (last2 - first2)-1]区间内。
Includes()的原型是：

template <class InputIterator1, class InputIterator2>bool includes(InputIterator1 first1, InputIterator1 last1,/                  InputIterator2 first2, InputIterator2 last2);

　　其功能是检查有序区间[first2,last2-1]内元素是否都在[first1,last1-1]区间内，返回一个bool值。

通用数值算法（generalized numeric algorithms）
　　这一类算法还不多，涉及到专业领域中有用的算术操作，独立包涵于头文件<numeric>中（HP版本的STL中是<algo.h>）。这里不作介绍。

 

STL中的算法大都有多种版本，常见的版本有以下4中：

默认版本，假设给出了特定操作符；

一般版本，使用了成员提供的操作符；

复制版本，对原队列的副本进行操作，常带有 _copy 后缀；

谓词版本，只应用于满足给定谓词的队列成员，常带有 _if 后缀；

 

 

迭代器（itertor）：#include<iterator>
　　迭代器实际上是一种泛化指针，如果一个迭代器指向了容器中的某一成员，那么迭代器将可以通过自增自减来遍历容器中的所有成员。迭代器是联系容器和算法的媒介，是算法操作容器的接口。在运用算法操作容器的时候，我们常常在不知不觉中已经使用了迭代器。
STL中定义了6种迭代器：

输入迭代器，在容器的连续区间内向前移动，可以读取容器内任意值；

输出迭代器，把值写进它所指向的队列成员中；

前向迭代器，读取队列中的值，并可以向前移动到下一位置（++p,p++）；

双向迭代器，读取队列中的值，并可以向前向后遍历容器；

随机访问迭代器, vector<T>::iterator，list<T>::iterator等都是这种迭代器 ；

流迭代器，可以直接输出、输入流中的值；

Inserter是一个输入迭代器的一个函数(迭代器适配器)，它的使用方法是：

inserter (container ,pos);

congtainer是将要用来存入数据的容器，pos是容器存入数据的开始位置。上例中，是把文件内容存入（copy()）到向量v1中。

 

函数对象（functor或者funtion objects）：#include <function>
　　函数对象又称之为仿函数。函数对象将函数封装在一个对象中，使得它可作为参数传递给合适的STL算法，从而使算法的功能得以扩展。可以把它当作函数来使用。用户也可以定义自己的函数对象。

#include <iostream>

using namespace std;

struct int_max

{

int operator()(int x,int y)

{return x>y?x:y; }   

};

//operator() 重载了"（）"， (int x,int y)是参数列表

int main(void)

{

 cout<<int_max()(3,4)<<endl;

 cin.get();  

 return 0;

}

这里的int_max（）就是一个函数对象，struct关键字也可以用class来代替，只不过struct默认情况下是公有访问权限，而class定义的是默认私有访问权限。

STL内定义了各种函数对象，否定器、约束器、一元谓词、二元谓词都是常用的函数对象。函数对象对于编程来说很重要，因为他如同对象类型的抽象一样作用于操作。

 

适配器（adapter）：
　　适配器是用来修改其他组件接口的STL组件，是带有一个参数的类模板（这个参数是操作的值的数据类型）。STL定义了3种形式的适配器：容器适配器，迭代器适配器，函数适配器。

容器适配器：包括栈（stack）、队列(queue)、优先(priority_queue)。使用容器适配器，stack就可以被实现为基本容器类型（vector,dequeue,list）的适配。可以把stack看作是某种特殊的vctor,deque或者list容器，只是其操作仍然受到stack本身属性的限制。queue和priority_queue与之类似。容器适配器的接口更为简单，只是受限比一般容器要多；

迭代器适配器：修改为某些基本容器定义的迭代器的接口的一种STL组件。反向迭代器和插入迭代器都属于迭代器适配器，迭代器适配器扩展了迭代器的功能；

函数适配器：通过转换或者修改其他函数对象使其功能得到扩展。这一类适配器有否定器（相当于"非"操作）、帮定器、函数指针适配器。