C++ STL标准模板库

除了运行时库之外，C++ 还提供了一个模板库。标准模板库（STL）包含许多用于实现数据类型和算法的模板。

STL 中最重要的数据结构是容器和迭代器。容器是一种存储数据并以某种方式组织数据的类。迭代器是一个像指针一样工作的对象，允许访问存储在容器中的项目。

顺序容器

STL 中有两种类型的容器类：顺序容器和关联容器。顺序容器以序列的形式存储项目，这意味着按照项目在容器内的位置以自然方式排序项目。数组就是顺序容器的一个示例。

STL提供了如表 1 所示的 3 个顺序容器。

表 1 STL顺序容器

容器名称	描 述
vector	作为一个数组实现的一系列项目，在程序执行期间可以根据需要自动增长。项目可以高 效地从矢量末尾添加或删除。从矢量的中间或开始位置插入或删除项目的效率不高
deque	一系列具有头部和尾部的项目：项目可以有效地从头部和尾部添加或删除。在双端队列（deque）的中间插入和删除项目的效率都很低
list	允许从任意位置快速添加和删除的一系列项目

因为顺序容器按顺序组织它存储的项目，所以可称它有一个头部和一个尾部。如果可以指定容器中某个项目的位置，然后直接跳转到该项目，而不必遍历容器中该项目之前的所有项目，则称该容器提供了对其内容的随机访问方式。

随机访问中使用的位置通常是通过给定一个整数指定的，该整数指定了容器内所需项目的位置。该整数指定的位置可以相对于容器的头部、末尾或相对于其他位置。数组和矢量都是提供随机访问的顺序容器示例。

关联容器

顺序容器使用序列中的项目位置来访问其数据。相反，关联容器将一个键（Key）与存储的每个项目相关联，然后使用该键来检索存储的项目。电话簿是关联容器的一个示例，它存储的值是电话号码，每个电话号码都与一个名称相关联。该名称稍后可以用作查找或 检索电话号码的键。

STL 提供了 4 个关联容器，如表 2 所示。

表 2 STL关联容器

容器名称	描 述
set	存储一组键。不允许重复的值
multiset	存储一组键。允许重复的值
map	将一组键映射到数据元素。每个键都与唯一的数据元素相关联，并且不允许使用重复的键
multimap	将一组键映射到数据元素。相同的键可以关联多个值

map 是一个容器，要求每个存储的值都与一个键相关联。每个键可能只与一个值相关 联。一旦使用了键，则不能将具有相同键的其他值添加到 map 中

multimap 和 map 相似，只不过其键则可以关联多个值。

set 和 map 类似，只不过它仅存储键，并不关联值。没有项目能在一个 set 中存储两次，也就是说，不允许重复项目。multiset 很像 set，只不过它允许重复。

迭代器

迭代器是像指针一样的对象。它们可用于访问存储在容器中的项目。典型的迭代器是在容器类中声明的类的对象。迭代器可以重载指针运算符，如递增运算符 ++、递减运算符 — 和解引用运算符 * 等，以提供类似于指针的行为。

每个 STL 容器对象都提供成员函数 begin() 和 end()，它们返回对象的开始和结束迭代器。如果容器是非空的，则 begin() 迭代器将指向容器开始处的项目，而 end() 迭代器则指向刚刚超过容器尾部的地方。

表 3 显示了可用于各种 STL 容器的不同类型的迭代器。

表 3 迭代器类型

迭代器类型	描 述
前向（Forward)	只能在容器中向前移动（使用++运算符）
双向（Bidirectional)	可以在容器中前后移动（使用++和一运算符）
随机访问（Random-Access)	可以在容器中前后移动，还可以直接跳转到指定的数据项目
输入（Input)	可以使用cin从输入设备或文件读取信息
输出（Output)	可以使用emit将信息写入输出设备或文件

迭代器的使用

每个STL容器类都定义了一个名为 iterator 的内部类，可用于创建迭代对象。示例如下：

vector<int>::iterator list<string>::iterator

以上示例都是内部类，可以相应为 vector<int> 和 list<string> 类型的容器提供迭代器。以下示例演示了如何为 int 类型的矢量和 string 列表定义迭代器，并将它们初始化为容器的开始位置。

vector<int> vect;
list<string> myList;
vector<int>::iterator vIter = vect.begin();
list<string>::iterator listIter = myList.begin();

在 C++ 11 中，可以将迭代器的类型声明为 auto，这样编译器将从容器的类型推断出迭代器的正确类型，如下所示：

auto vIter = vect.begin();
auto listIter = myList.begin();

除此之外，C++ 还提供了 begin(c) 和 end(c) 函数，当它们应用于 STL 容器 c 时，将相应返回 c.begin() 和 c.end() 迭代器。

所以，上面的 2 个示例也可以改写为以下形式：

auto vlter = begin(vect);
auto listlter = begin(myList);

begin(c) 和 end(c) 函数的好处是可以和数组一起使用。在某些情况下，这允许程序员编写能同时处理 STL 容器和数组的代码。

迭代器可以像指针一样工作，指示容器内的位置。如果 iter 是一个迭代器，则 *iter 就代表了在容器的迭代器位置中存储的元素。此外，编写 iter++ 将导致迭代器向前移动到容器的下一个位置。end() 迭代器始终指示超过容器最后一个元素的位置，所以它绝对不能被解引用。end() 迭代器仅用作标记符号，以防止掉入容器的末尾。

例如，以下代码将打印代码中的所有值：

vector<int> vect { 10, 20, 30, 40, 50};
auto vIter = vect.begin();
while (iter != vect.end())
{
    //打印iter位置的元素并向前迭代
    cout << *iter << " ";
    iter ++;
}

下面的程序演示了如何使用上述概念知识来处理数组和矢量。它的主要思路是编写如下模板函数：

template<typename T> void print(T begin_iter, T end_iter)

该函数釆用 T 类型形参。作为 T 传递的真实类型需要支持解引用运算符 * 和后缀递增运算符 ++。像这样的类型进入某些 STL 容器中可以作为迭代器，或者进入数组中作为指针。无论哪一种方式，都可以引用 T 作为迭代器类型。

请注意，begin_iter 和 end_iter 指定了某些容器中的开头和末尾位置。递增运算符 ++ 知道如何从容器中的一个位置移动到下一个位置。因此，无须第三个形参即可指定容器本身。在下面程序的代码清单中可以看到 print 函数的代码。

该程序的 main 函数演示了print函数的两种用法，其中一个用于 string 数组，另一个用于 int 类型的数组。

// This program demonstrates how iterators and related concepts can be used to write code that works with arrays and STL containers.
#include <algorithm>
#include <iostream>
#include <string>
#include <vector>
using namespace std;
template<typename T>

void print(T begin_iter, T end_iter)
{
    auto iter = begin_iter;
    while (iter != end_iter)
    {
        cout << *iter << ";
        iter++;
    }
    cout << endl;
}
int main()
{
    // Print an array of strings
    string names[]{ "Anna", "Bob", "Chuck" };
    print(begin(names), end(names));
    // Print a vector of integers
    vector<int> vec{ 10, 20, 30 };
    print(begin(vec), end(vec));
    return 0;
}

程序输出结果:

Anna Bob Chuck
10 20 30

vector容器

表 4 列出了矢量类模板的一些成员函数。其中一些接收迭代器作为形参，而另外一些则返回迭代器作为结果。

表 4 vector 类的成员函数精选

成员函数	描 述
at(position)	返回矢量中position位置的元素的值。示例： x = vect.at(5); 该语句可以将矢量中位置5的元素的值赋给变量x
back()	返回对矢量中最后一个元素的引用。示例： cout << vect.back() << endl;
begin()	返回指向矢量第一个元素的迭代器。示例： iter = vect.begin();
capacity ()	返回在不分配额外内存的情况下，矢量中可以存储的元素的最大数量。它和 size 成员函数返回的值并不相同。示例： x = vect.capacity(); 该语句可以将矢量的容量值赋给变量 x
clear()	清除矢量中的所有元素。示例： vect.clear(); 该语句可以将 vect 矢量中的元素全部删除掉
empty()	如果矢量为空则返回 true，否则返回 false。示例： if (vect.empty()) cout<< "The vector is empty.";
end()	返回指向矢量最后一个元素后面位置的迭代器。示例： iter = vect.end();
erase(iter)	导致迭代器 iter 指向的矢量元素被删除。示例： vect.erase(iter);
erase(iterl, iter2)	导致迭代器 iter1 和 iter2 指定的范围中的所有矢量元素都被删除。示例： vect.erase(iter1, iter2);
front()	返回对矢量中第一个元素的引用。示例： cout << vector.front() << endl;
insert(iter,value)	将一个元素插入到矢量中。示例： vect.insert(iter, x); 该语句可以将值 x 插入到由迭代器 iter 指向的元素的前面
insert(iter, n，value)	将 value 的 n 个副本插入到矢量中。插入的位置就在由迭代器 iter 指向的位置前面。 示例： vect.insert(iter, 7, x); 该语句可以将值 x 的 7 个副本插入到由迭代器 iter 指向的元素前面
pop_back()	从矢量中删除最后一个元素。示例： vect.pop back(); 该语句可以将 vect 矢量的最后一个元素删除掉，这也意味着其大小会被减去 1
push_back(value)	将 value 存储为矢量最后一个元素的新值。如果该矢量的容量已经被填满，那么它会自动调整大小。示例： vect.push back(7); 该语句可以将 vect 矢量最后一个元素的值存储为 7
reverse()	反转矢量中元素的顺序。最后一个元素变成第一个元素，而第一个元素则变成最后 一个元素。示例： vect.reverse();.
resize(n) resize(n,value)	调整矢量的大小，使它拥有 n 个元素，其中 n 大于矢量的当前大小。如果包含了可选的 value 参数，则每个新元素都将使用该值进行初始化。示例，假设 vect 矢量当 前包含 4 个元素： vect.resize(6,99); 该语句可以给矢量添加 2 个元素，并且每个新元素都将被初始化为 99
size()	返回 vector 矢量中元素的个数。示例： cout << vector.size() << endl;
swap(vector2)	将当前矢量的内容和 vectors 矢量的内容交换。示例： vectl.swap(vect2); 该语句可以交换矢量 vect1 和 vect2 的内容

算法

STL 提供的算法被实现为函数模板，并可对容器的元素执行各种操作。在 STL 中有很多算法，表 5 仅列出了其中的很少一部分（该表仅给出了一般说明）。

表 5 STL算法

算 法	描 述
binary_search	对某个对象执行二分搜索，如果找到对象则返回 true，否则返回 false。示例： binary search(iter1, iter2, value); 在该语句中，iter1 和 iter2 定义了容器中的元素范围（iter1 指向范围中的第一个 元素，iter2 指向范围中最后一个元素之后）。语句对元素范围执行二分搜索，搜索 value。binary_search 函数在找到元素的情况下返回 true，如果未找到元素则返回 false
count	返回一个值出现在一个范围内的次数。示例： number = count(iter1, iter2, value); 在该语句中，iter1 和 iter2 定义了容器中的元素范围（iter1 指向范围中的第一个 元素，iter2 指向范围中最后一个元素之后）。该语句返回 value 出现在元素范围内的次数
for_each	为容器中的每个元素执行一个函数。示例： for each(iter1, iter2, func); 在这个语句中，iter1 和 iter2 定义了容器中的元素范围（iter1 指向范围中的第一 个元素，iter2 指向范围中的最后一个元素之后）。第 3 个参数 func 是函数的名称。 该语句为范围中的每个元素调用函数 func，将该元素作为参数传递
find	在容器中查找匹配值的第一个对象并返回一个迭代器。示例： iter3 = find(iter1, iter2, value); 在该语句中，iter1 和 iter2 定义了容器中的元素范围（iter1 指向范围中的第一个 元素，iter2 指向范围中最后一个元素之后）。语句在元素范围内搜索 value。如果找到了该值，则函数将返回一个迭代器到包含它的元素，否则返回迭代器 iter2
max_element	返回范围中最大对象的迭代器。示例： iter3 = max element(iter1, iter2); 在该语句中，iter1 和 iter2 定义了容器中的元素范围（iter1 指向范围中的第一个 元素，iter2 指向范围中最后一个元素之后）。该语句返回范围中包含最大值的元素的迭代器
min_element	返回范围中最小对象的迭代器。示例： iter3 = min element(iter1, iter2); 在该语句中，iter1 和 iter2 定义了容器中的元素范围（iter1 指向范围中的第一个 元素，iter2 指向范围中最后一个元素之后）。该语句返回范围中包含最小值的元素的迭代器
random_shuffle	随机重排容器中的元素。示例： random shuffle(iter1, iter2); 在这个语句中，iter1 和 iter2 定义了容器中的元素范围（iter1 指向范围中的第一 个元素，iter2 指向范围中最后一个元素之后）。该语句可随机地重新排列范围中的元素
sort	对某个范围中的元素进行排序。示例： sort (iter1, iter2); 在这个语句中，iter1 和 iter2 定义了容器中的元素范围（iter1 指向范围中的第一 个元素，iter2 指向范围中最后一个元素之后）。该语句将按升序对范围中的元素进行排序。

注意，STL 算法需要包含 algorithm 头文件才能使用。