C++标准模板库（STL）与常用泛型算法

1.C++标准模板库（STL）

1.1由来

长久以来，软件界一直希望建立一种可重复利用的东西，以及一种得以制造出”可重复运用的东西”的方法，从函数(functions)，类别(classes),函数库(function libraries),类别库(class libraries)、各种组件，从模块化设计，到面向对象(object oriented )，为的就是复用性的提升。

复用性必须建立在某种标准之上。但是在许多环境下，就连软件开发最基本的数据结构(data structures) 和算法(algorithm)都未能有一套标准。大量程序员被迫从事大量重复的工作，竟然是为了完成前人已经完成而自己手上并未拥有的程序代码，这不仅是人力资源的浪费，也是挫折与痛苦的来源。

为了建立数据结构和算法的一套标准，并且降低他们之间的耦合关系，以提升各自的独立性、弹性、交互操作性(相互合作性,interoperability),诞生了STL。

1.2组成

STL提供了六大组件，彼此之间可以组合套用，这六大组件分别是:容器、算法、迭代器、仿函数、适配器（配接器）、空间配置器。

1.2.1 容器

一些封装数据结构的模板类。

常用的数据结构：数组(array) , 链表(list), tree(树)，栈(stack), 队列(queue), 集合(set),映射表(map), 根据数据在容器中的排列特性，这些数据分为序列式容器和关联式容器两种。

·序列式容器强调值的排序，序列式容器中的每个元素均有固定的位置，除非用删除或插入的操作改变这个位置。Vector容器、Deque容器、List容器等。
·关联式容器是非线性的树结构，更准确的说是二叉树结构。各元素之间没有严格的物理上的顺序关系，也就是说元素在容器中并没有保存元素置入容器时的逻辑顺序。关联式容器另一个显著特点是：在值中选择一个值作为关键字key，这个关键字对值起到索引的作用，方便查找。Set/multiset容器 Map/multimap容器

1.2.2 算法

用来操作容器中的数据的模板函数

STL收录的算法经过了数学上的效能分析与证明，是极具复用价值的，包括常用的排序，查找等等。特定的算法往往搭配特定的数据结构，算法与数据结构相辅相成。

算法分为:质变算法和非质变算法。

   质变算法：是指运算过程中会更改区间内的元素的内容。例如拷贝，替换，删除等等
   非质变算法：是指运算过程中不会更改区间内的元素内容，例如查找、计数、遍历、寻找极值等等

1.2.3 迭代器

提供了访问容器中对象的方法

迭代器(iterator)是一种抽象的设计概念，现实程序语言中并没有直接对应于这个概念的实物。 在<<Design Patterns>>一书中提供了23种设计模式的完整描述， 其中iterator模式定义如下：提供一种方法，使之能够依序寻访某个容器所含的各个元素，而又无需暴露该容器的内部表示方式。

迭代器的设计思维-STL的关键所在，STL的中心思想在于将容器(container)和算法(algorithms)分开，彼此独立设计，最后再一贴胶着剂将他们撮合在一起。

从技术角度来看，容器和算法的泛型化并不困难，c++的class template和function template可分别达到目标，如果设计出两这个之间的良好的胶着剂，才是大难题。

迭代器的种类:

输入迭代器：提供对数据的只读访问。
输出迭代器：提供对数据的只写访问。
前向迭代器：提供读写操作，并能向前推进迭代器。   
双向迭代器：提供读写操作，并能向前和向后操作。 
随机访问迭代器：提供读写操作，并能以跳跃的方式访问容器的任意数据，是功能最强的迭代器   读写。

1.2.4 仿函数： 行为类似函数，可作为算法的某种策略

1.2.5 适配器(配接器)：将一个类的接口转换为另一个类的接口，使原本因接口不兼容而不能合作的类，可以一起运作.

1.2.6 空间配置器： 空间的配置与管理

原文链接：【C/C++】STL详解_沉晓的博客-CSDN博客_stl

2.常用泛型算法

标准库定义了一些泛型算法，作为实现容器的某些操作（查找、拷贝、排序等）的公共接口。泛型意味着这些算法可以用于不同类型的元素和多种容器类型。泛型算法本身不执行容器的操作，它们运行在迭代器之上，执行迭代器的操作。泛型算法一般定义在头文件algorithm中。此外在numeric也定义了一组数组泛型算法。

主要参考《C++ Primer》

find

使用find进行查找，传递给find的前两个元素指示查找范围，第三个元素指示要找到元素值。若找到与给定元素值相等的元素，则返回指向第一个给定值的元素的迭代器，若无匹配元素，则返回第二个参数。因此我们可以通过判断该算法是返回值是否等于传入的第二个参数来判断指定范围中是否存在我们要找的元素。

vector<int> nums = { 5,4,7,8,9,6,3,2,1 };
auto fun = [&nums](vector<int>::iterator it) { if (it == nums.end())
    cout << "Can't find" << endl;
else
    cout << *it << endl; };

int val1 = 9, val2 = 10;
auto it1 = find(nums.begin(), nums.end(), val1);//找与val1相等的元素
auto it2 = find(nums.begin(), nums.end(), val2);//找与val2相等的元素
fun(it1);//输出9
fun(it2);//输出Can't find

输出：

copy

使用copy将一个容器中的指定范围的元素拷贝到目标序列的指定位置。传入的前两个参数指示要拷贝的元素的范围，第三个参数指示拷贝到的目标序列的起始位置。copy返回指向拷贝到目标序列的最后一个元素的后一位置（即尾后位置）的迭代器。注意目标序列应有足够的空间容纳指定范围的元素。

在如下示例中，nums1 中指定范围的元素被拷贝到nums2的指定位置。通过输出可以看到拷贝成功，同时返回的迭代器确实指向拷贝完成后的尾后位置。

vector<int> nums1 = { 5,4,7,8,9,6,3,2,1 };
vector<int> nums2(nums1.size());
cout << "nums1:" << "        ";
for (auto num : nums1) {
    cout << num << ' ';
}
cout << endl << "nums2_before:" << " ";
for (auto num : nums2) {
    cout << num << ' ';
}
auto res = copy(nums1.begin() + 1, nums1.begin() + 6, nums2.begin() + 2);
cout << endl << "nums2_now:" << "    ";
for (auto num : nums2) {
    cout << num << ' ';
}
cout << endl << *res << ' ' << *(res - 1) << ' ' << *(res + 1);

输出：

 sort

使用sort进行排序，前两个参数指定排序范围，第三个参数指示排序规则，若不给出第三个参数，则默认采用升序排序。

vector<int> nums = { 5,4,7,8,9,6,3,2,1 };
sort(nums.begin(), nums.end(), [](int& a, int& b) { return a > b; });
for (auto num : nums) {
    cout << num << ' ';
}

输出：

 原文链接：C++ 常用泛型算法整理_学习侠的博客-CSDN博客