> 文章列表 > C++ 标准模板库(Standard Template Library,STL)

C++ 标准模板库(Standard Template Library,STL)

C++ 标准模板库(Standard Template Library,STL)

✅作者简介:人工智能专业本科在读,喜欢计算机与编程,写博客记录自己的学习历程。
🍎个人主页:小嗷犬的个人主页
🍊个人网站:小嗷犬的技术小站
🥭个人信条:为天地立心,为生民立命,为往圣继绝学,为万世开太平。


本文目录

  • C++ 标准模板库简介
  • 容器(Containers)
    • 序列容器
      • vector
      • deque
    • 关联容器
      • pair
      • map
      • set
    • 容器适配器
      • queue
      • priority_queue
      • stack
  • 算法(Algorithm)
  • 迭代器(Iterator)

C++ 标准模板库简介

C++ 标准模板库Standard Template Library)是 C++ 标准库的一部分,不需要另外安装,直接导入即可使用。

STL 为程序员提供了通用的模板类,这些模板类可以用来实现各种数据结构和算法,从而使程序员不必从头开始编写这些代码。

STL 很好地实现了数据结构和算法的分离,大大降低了模块之间的耦合度,程序员可以自由组合 STL 提供的数据结构和算法。

STL 的核心由以下三个部分组成:

  • 容器(Containers):各种数据结构,如 vectordequemapset 等。
  • 算法(Algorithms):各种算法,如排序、查找、转换等。
  • 迭代器(Iterators):用于遍历容器的对象。

下面我们将从这三个部分来介绍 STL。


容器(Containers)

容器是用来存储数据的对象,它们提供了一种高效的方式来存储和访问数据。对于不同的任务,我们可以选择不同的容器来存储数据。

STL 的容器分为三类:

  • 序列容器:序列容器会维护插入元素的顺序。常用的序列容器有 vectordeque
  • 关联容器:关联容器既有有序,也有无序,存储内容为键值对。常用的关联容器有 mapset
  • 容器适配器:容器适配器是序列容器或关联容器的变体,它们对接口做了更多的限制,并且不支持迭代器。常用的容器适配器有 queuepriority_queuestack

序列容器

序列容器是一种线性的数据结构,它们会维护插入元素的顺序。本节我们将介绍 vectordeque 这两种序列容器。

vector

vector 是一个动态数组,它的大小可以动态改变。它可以随机访问、连续存储,长度也非常灵活。

由于它优良的性质,vector 成为了程序设计中首选的序列容器。

在你没有更好的理由选择其他容器的情况下,你应该使用 vector

vector 以模板类的形式定义在头文件 <vector> 中,并位于 std 命名空间中,因此使用 vector 时需要包含头文件并使用 std 命名空间:

#include <vector>
using namespace std;

vector 的定义

vector 和 C++ 中基本数据类型的定义类似,只需要在 vector 后面加上尖括号 <>,并在尖括号中指定存储的数据类型即可。

vector<类型名> 变量名;

类型名可以是任意的 C++ 基本数据类型,如 intdouble等,也可以是 STL 中的容器,如 vectormap 等,甚至可以是自定义的结构体或是自定义的类。

vector<int> v1; // 存储 int 类型的 vector
vector<double> v2; // 存储 double 类型的 vector
vector<vector<int> > v3; // 存储 vector<int> 类型的 vector
// 注意:声明类似 v3 这种结构时,'> >' 之间需要包含空格,以兼容 C++98 标准vector<int> v4[10]; // 长度为 10 的 vector 数组,每个元素都是一个 vector<int>

vector 定义时还可以指定初始元素的个数和初始值。

vector<int> v1(10); // 长度为 10 的 vector,每个元素的初始值为 0
vector<int> v2(10, 1); // 长度为 10 的 vector,每个元素的初始值为 1
vector<int> v3{1, 2, 3}; // 长度为 3 的 vector,每个元素的初始值为 1、2、3
vector<int> v4 = {1, 2, 3}; // 长度为 3 的 vector,每个元素的初始值为 1、2、3

vector 的常用方法

下表列出了 vector 的一些常用方法:

方法 说明
v.empty() 判断 v 是否为空
v.size() 返回 v 的大小
v.push_back(x) v 的末尾添加一个元素 x
v.clear() 删除 v 中的所有元素

示例代码如下:

#include <iostream>
#include <vector>
using namespace std;int main() {vector<int> v;cout << v.empty() << endl; // 1,v 为空cout << v.size() << endl; // 0,v 的大小为 0v.push_back(1);v.push_back(2);v.push_back(3);cout << v.empty() << endl; // 0,v 不为空cout << v.size() << endl; // 3,v 的大小为 3v.clear();cout << v.empty() << endl; // 1,v 为空cout << v.size() << endl; // 0,v 的大小为 0return 0;
}

vector 的遍历

vector 的遍历与数组的遍历类似,可以使用下标来访问各元素的值,也可以使用迭代器来遍历,C++11 中还可以使用范围 for 循环。

#include <iostream>
#include <vector>
using namespace std;int main() {vector<int> v;v.push_back(1);v.push_back(2);v.push_back(3);// 使用下标遍历for (int i = 0; i < v.size(); i++) {cout << v[i] << ' ';}cout << endl;// 使用迭代器遍历for (vector<int>::iterator it = v.begin(); it != v.end(); it++) {cout << *it << ' ';}cout << endl;// 使用范围 for 循环for (int x : v) {cout << x << ' ';}cout << endl;return 0;
}

除此之外,下标还可以用来随机访问和修改 vector 中的元素。

#include <iostream>
#include <vector>
using namespace std;int main() {vector<int> v{1, 2, 3};// 随机访问cout << v[0] << endl; // 1cout << v[1] << endl; // 2cout << v[2] << endl; // 3// 修改v[0] = 4;v[1] = 5;v[2] = 6;// 遍历for (int x : v) {cout << x << ' ';}cout << endl;return 0;
}

deque

deque 是一个双端队列,它的大小可以动态改变。它可以随机访问、连续存储,长度也非常灵活。

dequevector 的区别在于,deque 可以在头部和尾部快速插入和删除元素,而 vector 只能在尾部快速插入和删除元素。

deque 以模板类的形式定义在头文件 <deque> 中,并位于 std 命名空间中,因此使用 deque 时需要包含头文件并使用 std 命名空间:

#include <deque>
using namespace std;

deque 的定义

deque 的定义与 vector 类似,只需要在 deque 后面加上尖括号 <>,并在尖括号中指定存储的数据类型即可。

deque<类型名> 变量名;

类型名可以是任意的 C++ 基本数据类型,如 intdouble等,也可以是 STL 中的容器,如 vectormap 等,甚至可以是自定义的结构体或是自定义的类。

deque<int> d1; // 存储 int 类型的 deque
deque<double> d2; // 存储 double 类型的 deque
deque<deque<int> > d3; // 存储 deque<int> 类型的 deque
// 注意:声明类似 d3 这种结构时,'> >' 之间需要包含空格,以兼容 C++98 标准deque<int> d4[10]; // 长度为 10 的 deque 数组,每个元素都是一个 deque<int>

deque 定义时还可以指定初始元素的个数和初始值。

deque<int> d1(10); // 长度为 10 的 deque,每个元素的初始值为 0
deque<int> d2(10, 1); // 长度为 10 的 deque,每个元素的初始值为 1
deque<int> d3{1, 2, 3}; // 长度为 3 的 deque,每个元素的初始值为 1、2、3
deque<int> d4 = {1, 2, 3}; // 长度为 3 的 deque,每个元素的初始值为 1、2、3

deque 的常用方法

下表列出了 deque 的一些常用方法:

方法 说明
d.empty() 判断 d 是否为空
d.size() 返回 d 的大小
d.push_back(x) d 的末尾添加一个元素 x
d.push_front(x) d 的头部添加一个元素 x
d.pop_back() 删除 d 的末尾元素
d.pop_front() 删除 d 的头部元素
d.clear() 删除 d 中的所有元素

示例代码如下:

#include <iostream>
#include <deque>
using namespace std;int main() {deque<int> d;cout << d.empty() << endl; // 1,d 为空cout << d.size() << endl; // 0,d 的大小为 0d.push_back(1);d.push_back(2);d.push_back(3);cout << d.empty() << endl; // 0,d 不为空cout << d.size() << endl; // 3,d 的大小为 3d.push_front(4);d.push_front(5);d.push_front(6);cout << d.empty() << endl; // 0,d 不为空cout << d.size() << endl; // 6,d 的大小为 6d.pop_back();d.pop_front();cout << d.empty() << endl; // 0,d 不为空cout << d.size() << endl; // 4,d 的大小为 4d.clear();cout << d.empty() << endl; // 1,d 为空cout << d.size() << endl; // 0,d 的大小为 0return 0;
}

deque 的遍历

deque 的遍历与 vector 类似,也可以使用下标、迭代器和范围 for 循环。

#include <iostream>
#include <deque>
using namespace std;int main() {deque<int> d{1, 2, 3};// 使用下标for (int i = 0; i < d.size(); i++) {cout << d[i] << ' ';}cout << endl;// 使用迭代器for (deque<int>::iterator it = d.begin(); it != d.end(); it++) {cout << *it << ' ';}cout << endl;// 使用范围 for 循环for (int x : d) {cout << x << ' ';}cout << endl;return 0;
}

除此之外,下标还可以用于修改 deque 中的元素。

#include <iostream>
#include <deque>
using namespace std;int main() {deque<int> d{1, 2, 3};// 修改d[0] = 4;d[1] = 5;d[2] = 6;// 遍历for (int x : d) {cout << x << ' ';}cout << endl;return 0;
}

关联容器

关联容器是一种用于存储一对对关联元素的容器,其中每对元素又称为一个键值对(key-value pair),关联容器中的元素是按照键值对的方式存储的,我们可以通过键来快速查找对应的值。本节将介绍 pair 类和 mapset 这两种关联容器。

pair

pair 是一种用于存储一对元素的模板类,后续介绍的 mapset 存储的基本单元就是 pair

pair 以模板类的形式定义在头文件 <utility> 中,并位于 std 命名空间中,因此使用 pair 时需要包含头文件并使用 std 命名空间:

#include <utility>
using namespace std;

pair 的定义

pair 的定义格式如下:

pair<类型名1, 类型名2> 变量名;

类型名1和类型名2可以是任意的 C++ 内置类型或自定义类型:

pair<int, int> p1; // 定义一个 pair,存储两个 int 类型的元素
pair<string, int> p2; // 定义一个 pair,存储一个 string 类型的元素和一个 int 类型的元素
pair<string, pair<int, int> > p3; // 定义一个 pair,存储一个 string 类型的元素和一个 pair,该 pair 存储两个 int 类型的元素
// 注意:声明类似 p3 这种结构时,'> >' 之间需要包含空格,以兼容 C++98 标准pair<int, int> p4[10]; // 定义一个长度为 10 的 pair 数组,数组中的每个元素都是一个 pair<int, int>

pair 定义时可以直接初始化:

pair<int, int> p1(1, 2); // 定义一个 pair,存储两个 int 类型的元素,初始化为 (1, 2)
pair<string, int> p2("hello", 1); // 定义一个 pair,存储一个 string 类型的元素和一个 int 类型的元素,初始化为 ("hello", 1)

pair 的访问与修改

pair 中的元素可以通过 firstsecond 来访问和修改:

#include <iostream>
#include <utility>
using namespace std;int main() {pair<int, int> p(1, 2);// 访问cout << p.first << ' ' << p.second << endl; // 1 2// 修改p.first = 3;p.second = 4;cout << p.first << ' ' << p.second << endl; // 3 4return 0;
}

map

map 是一种用于存储键值对的关联容器,基于红黑树(一种平衡二叉树)实现,键值对中的键是唯一的,而值则可以重复。map 的默认排序规则是按照键的升序排序,我们可以通过 map 快速查找某个键对应的值。

map 以模板类的形式定义在头文件 <map> 中,并位于 std 命名空间中,因此使用 map 时需要包含头文件并使用 std 命名空间:

#include <map>
using namespace std;

map 的定义

map 的定义格式如下:

map<键类型名, 值类型名> 变量名;

键类型名和值类型名可以是任意的 C++ 内置类型或自定义类型:

map<int, int> m1; // 存储 int 类型的键值对
map<string, int> m2; // 存储 string 类型的键和 int 类型的值
map<string, string> m3; // 存储 string 类型的键值对
map<string, vector<int>> m4; // 存储 string 类型的键和 vector<int> 类型的值

map 定义时还可以指定初始元素。

map<int, int> m1{{1, 2}, {3, 4}, {5, 6}}; // 通过初始化列表指定初始元素
map<int, int> m2(m1); // 通过另一个 map 拷贝构造

map 的常用方法

下表列出了 map 的一些常用方法:

方法 说明
m.empty() 判断 m 是否为空
m.size() 返回 m 的大小
m.insert(pair) m 中插入一个键值对
m.emplace(pair) m 中构造一个键值对,C++11 支持,效率高于 insert
m.erase(key) 删除 m 中键为 key 的键值对
m.clear() 删除 m 中的所有键值对
m.count(key) 返回 m 中键为 key 的键值对的个数

示例代码如下:

#include <iostream>
#include <map>
using namespace std;int main() {map<int, int> m;cout << m.empty() << endl; // 1,m 为空cout << m.size() << endl; // 0,m 的大小为 0m.insert({1, 2});m.insert({3, 4});m.insert({5, 6});cout << m.empty() << endl; // 0,m 不为空cout << m.size() << endl; // 3,m 的大小为 3m.erase(1);cout << m.empty() << endl; // 0,m 不为空cout << m.size() << endl; // 2,m 的大小为 2m.clear();cout << m.empty() << endl; // 1,m 为空cout << m.size() << endl; // 0,m 的大小为 0return 0;
}

map 的遍历

map 的遍历可以使用迭代器和范围 for 循环。

#include <iostream>
#include <map>
using namespace std;int main() {map<int, int> m{{1, 2}, {3, 4}, {5, 6}};// 使用迭代器for (map<int, int>::iterator it = m.begin(); it != m.end(); it++) {cout << it->first << ' ' << it->second << endl;}// 使用范围 for 循环for (pair<int, int> p : m) {cout << p.first << ' ' << p.second << endl;}return 0;
}

map 的查找

map 的查找可以使用 find 方法,该方法返回一个迭代器,指向键为 key 的键值对,如果 key 不存在,则返回 end 迭代器。

#include <iostream>
#include <map>
using namespace std;int main() {map<int, int> m{{1, 2}, {3, 4}, {5, 6}};map<int, int>::iterator it = m.find(3);if (it != m.end()) {cout << it->first << ' ' << it->second << endl;}return 0;
}

我们更常用的是使用下标运算符 [] 来查找或插入键值对,如果 key 不存在,则会自动插入一个键值对,其值为默认值。

#include <iostream>
#include <map>
using namespace std;int main() {map<int, int> m{{1, 2}, {3, 4}, {5, 6}};cout << m[3] << endl; // 4cout << m[7] << endl; // 0,7 不存在,会自动插入一个键值对cout << m.size() << endl; // 4,m 的大小为 4return 0;
}

下标运算符 [] 还可以用于修改键值对的值。

#include <iostream>
#include <map>
using namespace std;int main() {map<int, int> m{{1, 2}, {3, 4}, {5, 6}};m[3] = 7;cout << m[3] << endl; // 7return 0;
}

除此之外,map 还有一个无序的版本 unordered_map,其定义和使用方法与 map 类似,只是 unordered_map 是基于哈希表实现的,因此查找和插入的时间复杂度为 O ( 1 ) O(1) O(1),而 map 是基于红黑树实现的,因此查找和插入的时间复杂度为 O ( log ⁡ n ) O(\\log n) O(logn)

set

set 是一个集合,其元素是唯一的,不允许重复,本质上是一个键值相等的 map

set 以模板类的形式定义在头文件 <set> 中,并位于 std 命名空间中,因此使用 set 时需要包含头文件并使用 std 命名空间:

#include <set>
using namespace std;

set 的定义如下:

set<类型名> 变量名;

类型名可以是任意的 C++ 内置类型或自定义类型:

set<int> s1; // 定义一个 set,元素类型为 int
set<string> s2; // 定义一个 set,元素类型为 string
set<set<int> > s3; // 定义一个 set,元素类型为 set<int>
// 注意:声明类似 s3 这种结构时,'> >' 之间需要包含空格,以兼容 C++98 标准

set 定义时还可以指定初始元素。

set<int> s1{1, 2, 3}; // 通过初始化列表指定初始元素
set<int> s2(s1); // 通过另一个 set 拷贝构造

set 的常用方法

下表列出了 set 的一些常用方法:

方法 说明
s.empty() 判断 s 是否为空
s.size() 返回 s 的大小
s.insert(key) s 中插入元素 key
s.emplace(key) s 中构造元素 key,C++11 支持,效率高于 insert
s.erase(key) 删除 s 中的元素 key
s.clear() 清空 s
s.count(key) 返回 s 中元素 key 的个数,key 不存在时返回 0

示例代码如下:

#include <iostream>
#include <set>
using namespace std;int main() {set<int> s;cout << s.empty() << endl; // 1,s 为空cout << s.size() << endl; // 0,s 的大小为 0s.insert(1);s.insert(3);s.insert(5);cout << s.empty() << endl; // 0,s 不为空cout << s.size() << endl; // 3,s 的大小为 3s.erase(1);cout << s.empty() << endl; // 0,s 不为空cout << s.size() << endl; // 2,s 的大小为 2s.clear();cout << s.empty() << endl; // 1,s 为空cout << s.size() << endl; // 0,s 的大小为 0return 0;
}

set 的遍历

set 的遍历可以使用迭代器或范围 for 循环。

#include <iostream>
#include <set>
using namespace std;int main() {set<int> s{1, 2, 3};// 使用迭代器for (set<int>::iterator it = s.begin(); it != s.end(); it++) {cout << *it << endl;}// 使用范围 for 循环for (int x : s) {cout << x << endl;}return 0;
}

set 的查找

set 的查找可以使用 find 方法,其返回值是一个迭代器,如果 key 不存在,则返回 end()

#include <iostream>
#include <set>
using namespace std;int main() {set<int> s{1, 2, 3};set<int>::iterator it = s.find(2);if (it != s.end()) {cout << *it << endl;}return 0;
}

我们也可以使用 count 方法来判断 key 是否存在。

#include <iostream>
#include <set>
using namespace std;int main() {set<int> s{1, 2, 3};if (s.count(2)) {cout << "2 exists" << endl;}return 0;
}

除此之外,set 还有一个无序的版本 unordered_set,其定义和使用方法与 set 类似,只是 unordered_set 是基于哈希表实现的,因此查找和插入的时间复杂度为 O ( 1 ) O(1) O(1),而 set 是基于红黑树实现的,因此查找和插入的时间复杂度为 O ( log ⁡ n ) O(\\log n) O(logn)

容器适配器

容器适配器是序列容器或关联容器的特殊变体,它们基于底层容器实现,但对接口做了更多限制,不支持迭代器,因此不能与 STL 算法一起使用。

queue

queue 是一个先进先出的队列,其元素只能从队尾插入,从队首删除,其默认基于 deque 实现,因此 queue 的插入和删除操作的时间复杂度为 O ( 1 ) O(1) O(1)

queue 以模板类的形式定义在头文件 <queue> 中,并位于 std 命名空间中,因此使用 queue 时需要包含头文件并使用 std 命名空间:

#include <queue>
using namespace std;

queue 的定义如下:

queue<类型名> 变量名;

类型名可以是任意的 C++ 内置类型或自定义类型:

queue<int> q1; // 定义一个 queue,元素类型为 int
queue<string> q2; // 定义一个 queue,元素类型为 string

queue 定义时还可以指定初始元素。

queue<int> q1{1, 2, 3}; // 通过初始化列表指定初始元素
queue<int> q2(q1); // 通过另一个 queue 拷贝构造

queue 的常用方法

下表列出了 queue 的一些常用方法:

方法 说明
q.empty() 判断 q 是否为空
q.size() 返回 q 的大小
q.push(x) 插入元素 xq 的队尾
q.pop() 删除 q 中的队首元素
q.front() 返回 q 中的队首元素
q.back() 返回 q 中的队尾元素

示例代码如下:

#include <iostream>
#include <queue>
using namespace std;int main() {queue<int> q;cout << q.empty() << endl; // 1,q 为空cout << q.size() << endl; // 0,q 的大小为 0q.push(1);q.push(2);q.push(3);cout << q.empty() << endl; // 0,q 不为空cout << q.size() << endl; // 3,q 的大小为 3cout << q.front() << endl; // 1,q 的队首元素为 1cout << q.back() << endl; // 3,q 的队尾元素为 3q.pop();cout << q.front() << endl; // 2,q 的队首元素为 2return 0;
}

queue 不支持随机访问,也不能像 vectordeque 那样遍历,它只能通过 frontback 方法访问队首和队尾元素。

#include <iostream>
#include <queue>
using namespace std;int main() {queue<int> q{1, 2, 3};while (!q.empty()) {cout << q.front() << ' ';q.pop();}cout << endl;// 1 2 3return 0;
}

priority_queue

priority_queue 是一个优先队列,其元素按照优先级排序,优先级最高的元素在队首,优先级最低的元素在队尾,其默认基于 vector 实现,priority_queue 的插入和删除操作的时间复杂度为 O ( log ⁡ n ) O(\\log n) O(logn)

priority_queue 以模板类的形式定义在头文件 <queue> 中,并位于 std 命名空间中,因此使用 priority_queue 时需要包含头文件并使用 std 命名空间:

#include <queue>
using namespace std;

priority_queue 的定义如下:

priority_queue<类型名> 变量名;

类型名可以是任意的 C++ 内置类型或自定义类型:

priority_queue<int> q1; // 定义一个 priority_queue,元素类型为 int
priority_queue<string> q2; // 定义一个 priority_queue,元素类型为 string

priority_queue 的常用方法

下表列出了 priority_queue 的一些常用方法:

方法 说明
q.empty() 判断 q 是否为空
q.size() 返回 q 的大小
q.push(x) 插入元素 xq
q.pop() 删除 q 中的队首元素
q.top() 返回 q 中的队首元素

示例代码如下:

#include <iostream>
#include <queue>
using namespace std;int main() {priority_queue<int> q;cout << q.empty() << endl; // 1,q 为空cout << q.size() << endl; // 0,q 的大小为 0q.push(1);q.push(2);q.push(3);cout << q.empty() << endl; // 0,q 不为空cout << q.size() << endl; // 3,q 的大小为 3cout << q.top() << endl; // 3,q 的队首元素为 3q.pop();cout << q.top() << endl; // 2,q 的队首元素为 2return 0;
}

queue 一样,priority_queue 也不支持迭代器,因此访问元素的唯一方式是遍历容器,通过不断移除访问过的元素,去访问下一个元素。

priority_queue 默认为最大堆,即越大的元素优先级越高。

#include <iostream>
#include <queue>
using namespace std;int main() {priority_queue<int> q;q.push(4);q.push(5);q.push(2);q.push(3);q.push(1);while (!q.empty()) {cout << q.top() << " ";q.pop();}cout << endl;// 输出:5 4 3 2 1return 0;
}

如果想要实现最小堆,可以通过模板参数指定比较函数:

#include <iostream>
#include <queue>
using namespace std;int main() {priority_queue<int, vector<int>, greater<int>> q;q.push(4);q.push(5);q.push(2);q.push(3);q.push(1);while (!q.empty()) {cout << q.top() << " ";q.pop();}cout << endl;// 输出:1 2 3 4 5return 0;
}

或是在插入和删除元素时对元素取反:

#include <iostream>
#include <queue>
using namespace std;int main() {priority_queue<int> q;q.push(-4);q.push(-5);q.push(-2);q.push(-3);q.push(-1);while (!q.empty()) {cout << -q.top() << " ";q.pop();}cout << endl;// 输出:1 2 3 4 5return 0;
}

stack

stack 是一个栈,其元素按照先进后出的顺序排序,其默认基于 deque 实现,stack 的插入和删除操作的时间复杂度为 O ( 1 ) O(1) O(1)

stack 以模板类的形式定义在头文件 <stack> 中,并位于 std 命名空间中,因此使用 stack 时需要包含头文件并使用 std 命名空间:

#include <stack>
using namespace std;

stack 的定义如下:

stack<类型名> 变量名;

类型名可以是任意的 C++ 内置类型或自定义类型:

stack<int> s1; // 定义一个 stack,元素类型为 int
stack<string> s2; // 定义一个 stack,元素类型为 string

stack 的常用方法

下表列出了 stack 的一些常用方法:

方法 说明
s.empty() 判断 s 是否为空
s.size() 返回 s 的大小
s.push(x) 插入元素 xs
s.pop() 删除 s 中的栈顶元素
s.top() 返回 s 中的栈顶元素

示例代码如下:

#include <iostream>
#include <stack>
using namespace std;int main() {stack<int> s;cout << s.empty() << endl; // 1,s 为空cout << s.size() << endl; // 0,s 的大小为 0s.push(1);s.push(2);s.push(3);cout << s.empty() << endl; // 0,s 不为空cout << s.size() << endl; // 3,s 的大小为 3cout << s.top() << endl; // 3,s 的栈顶元素为 3s.pop();cout << s.top() << endl; // 2,s 的栈顶元素为 2return 0;
}

queue 一样,stack 也不支持迭代器,因此访问元素的唯一方式是遍历容器,通过不断移除访问过的元素,去访问下一个元素。

#include <iostream>
#include <stack>
using namespace std;int main() {stack<int> s;s.push(1);s.push(2);s.push(3);s.push(4);s.push(5);while (!s.empty()) {cout << s.top() << " ";s.pop();}cout << endl;// 输出:5 4 3 2 1return 0;
}

以上仅介绍了一些常用的 STL 容器,更多容器和使用方法可以参考 Microsoft C++ stl-containers 文档。


算法(Algorithm)

STL 中还提供了一些常用的算法,它们都定义在头文件 <algorithm> 中,并位于 std 命名空间中,因此使用算法时需要包含头文件并使用 std 命名空间:

#include <algorithm>
using namespace std;

下表列出了部分常用算法:

算法 说明
sort(v.begin(), v.end()) v 中的元素进行排序
reverse(v.begin(), v.end()) v 中的元素反转
find(v.begin(), v.end(), x) v 中查找元素 x,返回其迭代器
lower_bound(v.begin(), v.end(), x) v 中查找第一个大于等于 x 的元素,返回其迭代器,要求 v 有序
upper_bound(v.begin(), v.end(), x) v 中查找第一个大于 x 的元素,返回其迭代器,要求 v 有序
binary_search(v.begin(), v.end(), x) v 中查找元素 x,返回 truefalse,要求 v 有序
max_element(v.begin(), v.end()) 返回 v 中的最大元素的迭代器
min_element(v.begin(), v.end()) 返回 v 中的最小元素的迭代器
accumulate(v.begin(), v.end(), x) 返回 v 中所有元素的和,x 为初始值
copy(v.begin(), v.end(), v2.begin()) v 中的元素复制到 v2
count(v.begin(), v.end(), x) 返回 v 中元素 x 的个数
count_if(v.begin(), v.end(), f) 返回 v 中满足条件 f 的元素个数
fill(v.begin(), v.end(), x) v 中的所有元素赋值为 x
replace(v.begin(), v.end(), x, y) v 中的所有元素 x 替换为 y
replace_if(v.begin(), v.end(), f, x) v 中满足条件 f 的元素替换为 x
unique(v.begin(), v.end()) v 中的重复元素移动至容器末尾,返回指向第一个重复元素的迭代器
merge(v1.begin(), v1.end(), v2.begin(), v2.end(), v3.begin()) v1v2 合并到 v3
inplace_merge(v.begin(), v.begin() + n, v.end()) v 中的前 n 个元素和后面的元素合并
partition(v.begin(), v.end(), f) v 中满足条件 f 的元素放在前面,不满足的放在后面,返回指向第一个不满足条件 f 的元素的迭代器
random_shuffle(v.begin(), v.end()) v 中的元素随机打乱
next_permutation(v.begin(), v.end()) 返回 v 的下一个排列,如果不存在下一个排列,则返回 false
prev_permutation(v.begin(), v.end()) 返回 v 的上一个排列,如果不存在上一个排列,则返回 false
rotate(v.begin(), v.begin() + n, v.end()) v 中的元素循环左移 n

其中一些算法的使用示例代码如下:

#include <iostream>
#include <algorithm>
#include <vector>
using namespace std;int main()
{vector<int> v{1, 2, 3, 4, 5};// 将 v 中的元素反转reverse(v.begin(), v.end());for (int i = 0; i < v.size(); i++) {cout << v[i] << " ";}cout << endl;// 输出:5 4 3 2 1// 将 v 中的元素排序sort(v.begin(), v.end());for (int i = 0; i < v.size(); i++) {cout << v[i] << " ";}cout << endl;// 输出:1 2 3 4 5// 在 v 中查找元素 3vector<int>::iterator it = find(v.begin(), v.end(), 3);if (it != v.end()) {cout << "找到元素 3" << endl;} else {cout << "未找到元素 3" << endl;}// 输出:找到元素 3// 在 v 中查找第一个大于等于 3 的元素it = lower_bound(v.begin(), v.end(), 3);if (it != v.end()) {cout << "找到第一个大于等于 3 的元素:" << *it << endl;} else {cout << "未找到第一个大于等于 3 的元素" << endl;}// 输出:找到第一个大于等于 3 的元素:3// 在 v 中查找第一个大于 3 的元素it = upper_bound(v.begin(), v.end(), 3);if (it != v.end()) {cout << "找到第一个大于 3 的元素:" << *it << endl;} else {cout << "未找到第一个大于 3 的元素" << endl;}// 输出:找到第一个大于 3 的元素:4// 计算 v 中所有元素的和int sum = accumulate(v.begin(), v.end(), 0);cout << "v 中所有元素的和为:" << sum << endl;// 输出:v 中所有元素的和为:15// 随机打乱 v 中的元素,设置随机种子为 0srand(0);random_shuffle(v.begin(), v.end());cout << "随机打乱后的 v:" << endl;for (int i = 0; i < v.size(); i++) {cout << v[i] << " ";}cout << endl;// 输出:随机打乱后的 v:3 1 5 4 2// 查找 v 中最大的元素it = max_element(v.begin(), v.end());cout << "v 中最大的元素为:" << *it << endl;// 输出:v 中最大的元素为:5// 查找 v 中最小的元素it = min_element(v.begin(), v.end());cout << "v 中最小的元素为:" << *it << endl;// 输出:v 中最小的元素为:1// 将 v 中的元素循环右移 1 位rotate(v.begin(), v.begin() + 1, v.end());cout << "将 v 中的元素循环左移 1 位后的结果:" << endl;for (int i = 0; i < v.size(); i++) {cout << v[i] << " ";}cout << endl;// 输出:将 v 中的元素循环左移 1 位后的结果:1 5 4 2 3// 输出 v 的下一个排列next_permutation(v.begin(), v.end());cout << "v 的下一个排列为:" << endl;for (int i = 0; i < v.size(); i++) {cout << v[i] << " ";}// 将 v 中的元素降序排列sort(v.begin(), v.end(), greater<int>());cout << "将 v 中的元素降序排列后的结果:" << endl;for (int i = 0; i < v.size(); i++) {cout << v[i] << " ";}cout << endl;// 输出:将 v 中的元素降序排列后的结果:5 4 3 2 1return 0;
}

上面的示例仅展示了 STL 中部分常用算法的部分用法,更多函数和详细用法可以参考 Microsoft C++ <algorithms> 文档。


迭代器(Iterator)

迭代器是一种用于访问容器中元素的对象,类似指针,可以用来遍历容器中的元素。

迭代器按照定义可以分为四种:

  • 正向迭代器:只能从前向后遍历容器中的元素,不能从后向前遍历。
  • 常量正向迭代器:只能从前向后遍历容器中的元素,不能从后向前遍历,且只能读取容器中的元素,不能修改容器中的元素。
  • 反向迭代器:只能从后向前遍历容器中的元素,不能从前向后遍历。
  • 常量反向迭代器:只能从后向前遍历容器中的元素,不能从前向后遍历,且只能读取容器中的元素,不能修改容器中的元素。

它们的定义方法如下表所示:

迭代器类型 定义方法
正向迭代器 容器类名::iterator 迭代器名;
常量正向迭代器 容器类名::const_iterator 迭代器名;
反向迭代器 容器类名::reverse_iterator 迭代器名;
常量反向迭代器 容器类名::const_reverse_iterator 迭代器名;

所有的迭代器都支持 ++ 操作,即递增操作,用于访问容器中的下一个元素。对于正向迭代器,++ 操作会使其指向容器中的后一个元素,而反向迭代器则是指向容器中的前一个元素。

使用 *迭代器名 可以访问迭代器所指向的元素,对于非常量迭代器,还可以使用 *迭代器名 = 新值 来修改迭代器所指向的元素。

<algorithm> 中的许多函数都是以迭代器作为返回值来返回的。

迭代器按功能分类可以分为三种:

  • 正向迭代器:支持 ++*==!= 操作,两个正向迭代器还可以相互赋值。
  • 双向迭代器:支持正向迭代器的所有操作,还支持 -- 操作,-- 操作的移动方向与 ++ 相反。
  • 随机访问迭代器:支持双向迭代器的所有操作,还支持 +-+=-=<<=>>=[] 操作。

对于这些操作的简单解释如下:

操作 说明
++ 使迭代器指向容器中的下一个元素
-- 使迭代器指向容器中的前一个元素
* 返回迭代器所指向的元素
== 判断两个迭代器是否指向同一个元素
!= 判断两个迭代器是否指向不同的元素
+i 返回原迭代器向后移动 i 个位置后的迭代器
-i 返回原迭代器向前移动 i 个位置后的迭代器
+=i 使原迭代器向后移动 i 个位置
-=i 使原迭代器向前移动 i 个位置
< 迭代器1 指向的元素是否在 迭代器2 指向的元素之前
<= 迭代器1 指向的元素是否在 迭代器2 指向的元素之前或相等
> 迭代器1 指向的元素是否在 迭代器2 指向的元素之后
>= 迭代器1 指向的元素是否在 迭代器2 指向的元素之后或相等
[i] 返回原迭代器后第 i 个元素

不同的容器支持的迭代器功能也不同,如下表所示:

容器 迭代器功能
vector 随机访问迭代器
deque 随机访问迭代器
list 双向迭代器
set 双向迭代器
map 双向迭代器
queue 不支持迭代器
priority_queue 不支持迭代器
stack 不支持迭代器

使用容器自带的 begin()end() 函数可以得到容器的首迭代器和尾迭代器,两迭代器相减可以得到它们在容器中的下标之差(可为负)。

下面是以 vector 为例的迭代器的使用示例:

#include <iostream>
#include <algorithm>
#include <vector>
using namespace std;int main()
{vector<int> v{3, 1, 5, 4, 2};// 使用迭代器遍历for (auto it = v.begin(); it != v.end(); ++it){cout << *it << " ";}cout << endl;// 输出:3 1 5 4 2auto ma = max_element(v.begin(), v.end());auto mi = min_element(v.begin(), v.end());cout << "v 的最大值:" << *ma << endl;  // 输出:v 的最大值:5cout << "v 的最小值:" << *mi << endl;  // 输出:v 的最小值:1cout << "v 最大值与最小值元素下标差:" << ma - mi << endl;  // 输出:v 最大值与最小值之间元素下标差:1return 0;
}

更详细的迭代器使用方法可以参考 Microsoft C++ iterators 文档。