c++ STL基本概念

1、什么是STL

STL（Standard Template Library），即标准模板库，是一个具有工业强度的，高效的C++程序库。它被容纳于C++标准程序库（C++Standard Library）中，是ANSI/ISOC++标准中最新的也是极具革命性的一部分。该库包含了诸多在计算机科学领域里所常用的基本数据结构和基本算法。为广大C++程序员们提供了一个可扩展的应用框架，高度体现了软件的可复用性。
STL的一个重要特点是数据结构和算法的分离。尽管这是个简单的概念，但这种分离确实使得STL变得非常通用。例如，由于STL的sort()函数是完全通用的，你可以用它来操作几乎任何数据集合，包括链表，容器和数组；
STL另一个重要特性是它不是面向对象的。为了具有足够通用性，STL主要依赖于模板而不是封装，继承和虚函数（多态性）——OOP的三个要素。你在STL中找不到任何明显的类继承关系。这好像是一种倒退，但这正好是使得STL的组件具有广泛通用性的底层特征。另外，由于STL是基于模板，内联函数的使用使得生成的代码短小高效；

从逻辑层次来看，在STL中体现了泛型化程序设计的思想，引入了诸多新的名词，比如像需求（requirements），概念（concept），模型（model），容器（container），算法（algorithmn），迭代子（iterator）等。与OOP（object-orientedprogramming）中的多态（polymorphism）一样，泛型也是一种软件的复用技术；从实现层次看，整个STL是以一种类型参数化的方式实现的，这种方式基于一个在早先C++标准中没有出现的语言特性--模板（template）。

 

2、STL组成：

STL中六大组件：
1）容器（Container），是一种数据结构，如list，vector，和deques ，以模板类的方法提供。为了访问容器中的数据，可以使用由容器类输出的迭代器；
2）迭代器（Iterator），提供了访问容器中对象的方法。例如，可以使用一对迭代器指定list或vector中的一定范围的对象。迭代器就如同一个指针。事实上，C++的指针也是一种迭代器。但是，迭代器也可以是那些定义了operator*()以及其他类似于指针的操作符地方法的类对象；
3）算法（Algorithm），是用来操作容器中的数据的模板函数。例如，STL用sort()来对一个vector中的数据进行排序，用find()来搜索一个list中的对象，函数本身与他们操作的数据的结构和类型无关，因此他们可以在从简单数组到高度复杂容器的任何数据结构上使用；
4）仿函数（Function object）
5）迭代适配器（Adaptor）
6）空间配制器（allocator）

 

3、STL容器

C++中容器被定义为：在数据存储上，有一种对象类型，它可以装入其它对象或指向其它对象的指针，这种对象类型就叫做容器。简单地说，容器就是保存其它对象的对象。这种对象还包含了一系列处理其它对象的方法，因为这些方法在程序的设计上会经常被用到，所以容器也体现了一个好处，就是容器类是一种对特定代码重用问题的良好的解决方案。

容器分为两种：序列式容器和关联式容器。

3.1 序列式容器：

序列式容器（也叫顺序性容器）是一种各元素之间有顺序关系的线性表，是一种线性结构的可序群集。顺序性容器中的每个元素均有固定的位置，除非用删除或插入的操作改变这个位置。这个位置和元素本身无关，而和操作的时间逻辑顺序有关。

序列式容器包括：vector、list、deque。

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

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

deque：双端队列，可以随机存取元素（用索引直接存取），数组头部和尾部添加或移除元素都非常快速。但是在中部或头部安插元素比较费时。

3.2 关联式容器：

关联式容器是通过键(key)存储和读取元素的，元素位置取决于特定的排序准则，和插入顺序无关。

主要包括：set、multiset、map、multimap、hash_map、hash_set等。

set/multiset：由二叉树（基于红黑树实现），内部的元素依据其值自动排序，Set内的相同数值的元素只能出现一次，Multisets内可包含多个数值相同的元素。

map/multimap：由二叉树（基于红黑树实现），Map的元素是成对的键值/实值，内部的元素依据其值自动排序，Map内的相同数值的元素只能出现一次，Multimaps内可包含多个数值相同的元素。

4、STL迭代器：

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

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

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

 

5、STL算法

    STL算法部分主要由头文件,,组成。要使用 STL中的算法函数必须包含头文件，对于数值算法须包含，中则定义了一些模板类，用来声明函数对象。

     分类包括：

    <1>查找算法(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次的子序列。重载版本使用自定义的比较操作。

   <2>排序和通用算法(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类似，不过不保证保留容器中的相对顺序。

   <3> 删除和替换算法 (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 类似，不过把结果输出到另一个容器。
  

    <4>排列组合算法(2个)：提供计算给定集合按一定顺序的所有可能排列组合
    next_permutation: 取出当前范围内的排列，并重新排序为下一个排列。重载版本使用自定义的比较操作。
    prev_permutation: 取出指定范围内的序列并将它重新排序为上一个序列。如果不存在上一个序列则返回false。重载版本使用自定义的比较操作。

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

    adjacent_difference: 创建一个新序列，新序列中每个新值代表当前元素与上一个元素的差。重载版本用指定二元操作计算相邻元素的差。

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

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

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

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

 

6、STL适配器

    适配器，在STL中扮演着转换器的角色，本质上是一种设计模式，用于将一种接口转换成另一种接口，从而是原本不兼容的接口能够很好地一起运作。

    根据目标接口的类型，适配器可分为以下几类：

    (1.改变容器的接口，称为容器适配器:STL的容器queue和stack，是在容器deque的基础进行了一些特定的约束，因而本质上并不属于容器，而是容器的适配器。 

    (2. 改变迭代器的接口，称为迭代器适配器：

        如：insert_iterators，可以将迭代器的赋值操作转变为插入操作

              reserve iterators，将一般迭代器的行进方向进行逆转，可以很好地应用于从容器尾端开始的算法。

              iostream iterators，将自己绑定一个iostream对象身上，从而获得输入输出的功能

    (3.改变仿函数的接口，称为仿函数适配器：

        仿函数适配器，相比于其他适配器更加地灵活，可以自由地组合适配。目前提供的适配操作包括以下这些：联结（bind）、否定（negate）、组合（compose）、一般函数式配器、成员函数适配器。