(s转载)STL简单总结

时间 2019-11-09

标签转载 stl 简单总结繁體版

原文原文链接

1、通常介绍html

STL（Standard Template Library），即标准模板库，是一个具备工业强度的，高效的C++程序库。它被容纳于C++标准程序库（C++ Standard Library）中，是ANSI/ISO C++标准中最新的也是极具革命性的一部分。该库包含了诸多在计算机科学领域里所经常使用的基本数据结构和基本算法。为广大C++程序员们提供了一个可扩展的应用框架，高度体现了软件的可复用性。node

从逻辑层次来看，在STL中体现了泛型化程序设计的思想（generic programming），引入了诸多新的名词，好比像需求（requirements），概念（concept），模型（model），容器（container），算法（algorithmn），迭代子（iterator）等。与OOP（object-oriented programming）中的多态（polymorphism）同样，泛型也是一种软件的复用技术；程序员

从实现层次看，整个STL是以一种类型参数化（type parameterized）的方式实现的，这种方式基于一个在早先C++标准中没有出现的语言特性--模板（template）。若是查阅任何一个版本的STL源代码，你就会发现，模板做为构成整个STL的基石是一件千真万确的事情。除此以外，还有许多C++的新特性为STL的实现提供了方便；算法

2、STL的六大组件数组

容器（Container），是一种数据结构，如list，vector，和deques ，以模板类的方法提供。为了访问容器中的数据，可使用由容器类输出的迭代器；
迭代器（Iterator），提供了访问容器中对象的方法。例如，可使用一对迭代器指定list或vector中的必定范围的对象。迭代器就如同一个指针。事实上，C++的指针也是一种迭代器。可是，迭代器也能够是那些定义了operator*()以及其余相似于指针的操做符地方法的类对象；
算法（Algorithm），是用来操做容器中的数据的模板函数。例如，STL用sort()来对一个vector中的数据进行排序，用find()来搜索一个list中的对象，函数自己与他们操做的数据的结构和类型无关，所以他们能够在从简单数组到高度复杂容器的任何数据结构上使用；
仿函数（Function object，仿函数(functor)又称之为函数对象（function object），其实就是重载了()操做符的struct，没有什么特别的地方
迭代适配器（Adaptor）
空间配制器（allocator）其中主要工做包括两部分1.对象的建立与销毁 2.内存的获取与释放

如下主要讨论：容器，迭代器，算法，适配器。如欲详加了解参见C++ Primer 数据结构

1.STL容器框架

1）序列式容器（Sequence containers），每一个元素都有固定位置－－取决于插入时机和地点，和元素值无关，vector、deque、list；less

Vectors：将元素置于一个动态数组中加以管理，能够随机存取元素（用索引直接存取），数组尾部添加或移除元素很是快速。可是在中部或头部安插元素比较费时；dom

Deques：是“double-ended queue”的缩写，能够随机存取元素（用索引直接存取），数组头部和尾部添加或移除元素都很是快速。可是在中部或头部安插元素比较费时；函数

Lists：双向链表，不提供随机存取（按顺序走到需存取的元素，O(n)），在任何位置上执行插入或删除动做都很是迅速，内部只需调整一下指针；

2）关联式容器（Associated containers），元素位置取决于特定的排序准则，和插入顺序无关，set、multiset、map、multimap；

Sets/Multisets：内部的元素依据其值自动排序，Set内的相同数值的元素只能出现一次，Multisets内可包含多个数值相同的元素，内部由二叉树实现（实际上基于红黑树(RB-tree）实现），便于查找；

Maps/Multimaps：Map的元素是成对的键值/实值，内部的元素依据其值自动排序，Map内的相同数值的元素只能出现一次，Multimaps内可包含多个数值相同的元素，内部由二叉树实现（实际上基于红黑树(RB-tree）实现），便于查找；

另外有其余容器hash_map,hash_set,hash_multiset,hash_multimap。

容器的比较：

	Vector	Deque	List	Set	MultiSet	Map	MultiMap
内部结构	dynamic array	array of arrays	double linked list	binary tree	binary tree	binary tree	binary tree
随机存取	Yes	Yes	No	No	No	Yes(key)	No
搜索速度	慢	慢	很慢	快	快	快	快
快速插入移除	尾部	首尾	任何位置	--	--	--	--

2.STL迭代器

Iterator（迭代器）模式又称Cursor（游标）模式，用于提供一种方法顺序访问一个聚合对象中各个元素,
而又不需暴露该对象的内部表示。或者这样说可能更容易理解：Iterator模式是运用于聚合对象的一种模式，经过运用该模式，使得咱们能够在不知道对象内部表示的状况下，按照必定顺序（由iterator提供的方法）访问聚合对象中的各个元素。

迭代器的做用：可以让迭代器与算法不干扰的相互发展，最后又能无间隙的粘合起来，重载了*，＋＋，＝＝，！＝，＝运算符。用以操做复杂的数据结构，容器提供迭代器，算法使用迭代器；

常见的一些迭代器类型：iterator、const_iterator、reverse_iterator和const_reverse_iterator

迭代器通常声明使用示例

vector<T>::iterator it;
list<T>::iterator it;
deque<T>::iterator it；

input output

\ /

forward

bidirectional

random access

要注意，上面这图表并非代表它们之间的继承关系：而只是描述了迭代器的种类和接口。处于图表下层的迭代器都是相对于处于图表上层迭代器的扩张集。例如：forward迭代器不但拥有input和output迭代器的全部功能，还拥有更多的功能。

各个迭代器的功能以下：

迭代器类别	说明
输入	从容器中读取元素。输入迭代器只能一次读入一个元素向前移动，输入迭代器只支持一遍算法，同一个输入迭代器不能两遍遍历一个序列
输出	向容器中写入元素。输出迭代器只能一次一个元素向前移动。输出迭代器只支持一遍算法，统一输出迭代器不能两次遍历一个序列
正向	组合输入迭代器和输出迭代器的功能，并保留在容器中的位置
双向	组合正向迭代器和逆向迭代器的功能，支持多遍算法
随机访问	组合双向迭代器的功能与直接访问容器中任何元素的功能，便可向前向后跳过任意个元素

迭代器的操做：

每种迭代器都可进行包括表中前一种迭代器可进行的操做。

迭代器操做	说明
全部迭代器
p++	后置自增迭代器
++p	前置自增迭代器
输入迭代器
*p	复引用迭代器，做为右值
p=p1	将一个迭代器赋给另外一个迭代器
p==p1	比较迭代器的相等性
p!=p1	比较迭代器的不等性
输出迭代器
*p	复引用迭代器，做为左值
p=p1	将一个迭代器赋给另外一个迭代器
正向迭代器	提供输入输出迭代器的全部功能
双向迭代器
--p	前置自减迭代器
p--	后置自减迭代器
随机迭代器
p+=i	将迭代器递增i位
p-=i	将迭代器递减i位
p+i	在p位加i位后的迭代器
p-i	在p位减i位后的迭代器
p[i]	返回p位元素偏离i位的元素引用
p<p1	若是迭代器p的位置在p1前，返回true，不然返回false
p<=p1	p的位置在p1的前面或同一位置时返回true，不然返回false
p>p1	若是迭代器p的位置在p1后，返回true，不然返回false
p>=p1	p的位置在p1的后面或同一位置时返回true，不然返回false

只有顺序容器和关联容器支持迭代器遍历，各容器支持的迭代器的类别以下：

容器	支持的迭代器类别	说明
vector	随机访问	一种随机访问的数组类型，提供了对数组元素进行快速随机访问以及在序列尾部进行快速的插入和删除操做的功能。能够再须要的时候修改其自身的大小
deque	随机访问	一种随机访问的数组类型，提供了序列两端快速进行插入和删除操做的功能。能够再须要的时候修改其自身的大小
list	双向	一种不支持随机访问的数组类型，插入和删除所花费的时间是固定的，与位置无关。
set	双向	一种随机存取的容器，其关键字和数据元素是同一个值。全部元素都必须具备唯一值。
multiset	双向	一种随机存取的容器，其关键字和数据元素是同一个值。能够包含重复的元素。
map	双向	一种包含成对数值的容器，一个值是实际数据值，另外一个是用来寻找数据的关键字。一个特定的关键字只能与一个元素关联。
multimap	双向	一种包含成对数值的容器，一个值是实际数据值，另外一个是用来寻找数据的关键字。一个关键字能够与多个数据元素关联。
stack	不支持	适配器容器类型，用vector，deque或list对象建立了一个先进后出容器
queue	不支持	适配器容器类型，用deque或list对象建立了一个先进先出容器
priority_queue	不支持	适配器容器类型，用vector或deque对象建立了一个排序队列

3.STL算法

STL算法部分主要由头文件<algorithm>,<numeric>,<functional>组成。要使用 STL中的算法函数必须包含头文件<algorithm>，对于数值算法须包含<numeric>，<functional>中则定义了一些模板类，用来声明函数对象。
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个)：提供元素排序策略
    inplace_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:                对指定范围内的序列从新排序，它假设该序列是个有序堆。重载版本使用自定义比较操做。

4.适配器

STL提供了三个容器适配器：queue、priority_queue、stack。这些适配器都是包装了vector、list、deque中某个顺序容器的包装器。注意：适配器没有提供迭代器，也不能同时插入或删除多个元素。下面对各个适配器进行归纳总结。

（1）stack用法

#include <stack>
template < typename T, typename Container=deque > class stack;

可使用三个标准顺序容器vecotr、deque(默认)、list中的任何一个做为stack的底层模型。

bool stack<T>::empty()                               //判断堆栈是否为空
void stack<T>::pop()                                 //弹出栈顶数据
stack<T>::push(T x)                                  //压入一个数据
stack<T>::size_type stack<T>::size()                 //返回堆栈长度
T stack<T>::top()                                    //获得栈顶数据

代码示例：

stack<int> intDequeStack;  
stack<int,vector<int>> intVectorStack;  
stack<int,list<int>> intListStack;

（2）queue用法

#include <queue>
template<typename T, typename Container = deque<T> > class  queue;

第一个参数指定要在queue中存储的类型，第二个参数规定queue适配的底层容器，可供选择的容器只有dequeue和list。对大多数用途使用默认的dequeue。

queue<T>::push(T x)
void queue<T>::pop()
T queue<T>::back()
T queue<T>::front()
queue<T>::size_type 
queue<T>::size()
bool queue<T>::empty()

代码示例：

queue<int> intDequeQueue;    
queue<int,list<int>> intListQueue;

（3）priority_queue用法

#include <queue>
template <typename T, typename Container = vector<T>, typename Compare = less<T> > class priority_queue;

priority_queue也是一个队列，其元素按有序顺序排列。其不采用严格的FIFO顺序，给定时刻位于队头的元素正是有最高优先级的元素。若是两个元素有相同的优先级，那么它们在队列中的顺序就遵循FIFO语义。默认适配的底层容器是vector，也可使用deque，list不能用，由于priority_queue要求能对元素随机访问以便进行排序。

priority_queue<T>::push(T x)
void priority_queue<T>::pop()
T priority_queue<T>::top()
priority_queue<T>::size_type 
priority_queue<T>::size()
bool priority_queue<T>::empty()

代码示例：

priority_queue< int, vector<int>, greater<int> >
priority_queue< int, list<int>, greater<int> >

标准库默认使用元素类型的<操做符来肯定它们之间的优先级关系，用法有三：（下文转自http://www.cnblogs.com/vvilp/articles/1504436.html）

优先队列第一种用法，经过默认使用的<操做符可知在整数中元素大的优先级高。

priority_queue<int> qi;

示例中输出结果为：9 6 5 3 2

优先队列第二种用法，创建priority_queue时传入一个比较函数，使用functional.h函数对象做为比较函数。

priority_queue<int, vector<int>, greater<int> >qi2;

示例2中输出结果为：2 3 5 6 9

优先队列第三种用法，是自定义优先级。

struct node 
{
     friend bool operator< (node n1, node n2)
     {
         return n1.priority < n2.priority;
     } 
     int priority;
     int value; 
}; 
priority_queue<node> qn;

在示例3中输出结果为：

优先级值

9 5

8 2

6 1

2 3

1 4

在该结构中，value为值，priority为优先级。经过自定义operator<操做符来比较元素中的优先级。注意：必须是自定义<操做符才行，把上述的结构中的<操做符改为>编译不经过。