命名空间
变体
操作

算法库

来自 cppreference.com
< cpp
 
 
算法库
约束算法和范围上的算法 (C++20)
约束算法,例如 ranges::copy, ranges::sort, ...
执行策略 (C++17)
排序和相关操作
分区操作
排序操作
二分搜索操作
(在已分区范围上)
集合操作(在已排序范围上)
合并操作(在已排序范围上)
堆操作
最小/最大操作
(C++11)
(C++17)
字典序比较操作
排列操作
C 库
数值操作
未初始化内存操作
 

算法库定义了用于各种目的(例如搜索、排序、计数、操作)的函数,这些函数作用于元素范围。注意,范围定义为[firstlast),其中 last 指向要检查或修改的最后一个元素之后的元素。

内容

约束算法

C++20 提供了 std::ranges 命名空间中大多数算法的 约束 版本。在这些算法中,范围可以指定为 迭代器-哨兵 对,也可以指定为单个 range 参数,并支持投影和指向成员的函数调用。此外,大多数算法的 返回值类型 已更改为返回在算法执行过程中计算的所有可能有用信息。

std::vector<int> v {7, 1, 4, 0, -1};
std::ranges::sort(v); // constrained algorithm
(自 C++20 起)


执行策略

大多数算法都有接受执行策略的重载。标准库算法支持多种 执行策略,库提供了相应的执行策略类型和对象。用户可以通过使用对应类型的 执行策略对象 调用并行算法来静态选择执行策略。

标准库实现(但不是用户)可以定义额外的执行策略作为扩展。使用实现定义类型的执行策略对象调用的并行算法的语义是实现定义的。

并行版本的算法(除了 std::for_eachstd::for_each_n)允许从范围中任意复制元素,只要 std::is_trivially_copy_constructible_v<T>std::is_trivially_destructible_v<T>true,其中 T 是元素的类型。

定义在头文件 <execution>
定义在 std::execution 命名空间中
执行策略类型
(类) [编辑]
(C++17)(C++17)(C++17)(C++20)
全局执行策略对象
(常量) [编辑]
定义在 std 命名空间中
测试类是否表示执行策略
(类模板) [编辑]
特性测试 Std 特性
__cpp_lib_parallel_algorithm 201603L (C++17) 并行算法
__cpp_lib_execution 201603L (C++17) 执行策略
201902L (C++20) std::execution::unsequenced_policy
(自 C++17 起)

[编辑] 非修改序列操作

[编辑] 批量操作

在头文件 <algorithm> 中定义
将函数应用于元素范围
(函数模板) [编辑]
将函数应用于元素范围
(非阻塞函数)[编辑]
将函数对象应用于序列的前 N 个元素
(函数模板) [编辑]
将函数对象应用于序列的前 N 个元素
(非阻塞函数)[编辑]

[编辑] 搜索操作

在头文件 <algorithm> 中定义
(C++11)(C++11)(C++11)
检查谓词是否在范围内的所有元素、任何元素或无元素上为 true
(函数模板) [编辑]
检查谓词是否在范围内的所有元素、任何元素或无元素上为 true
(非阻塞函数)[编辑]
检查范围是否包含给定的元素或子范围
(非阻塞函数)[编辑]
查找第一个满足特定条件的元素
(函数模板) [编辑]
查找第一个满足特定条件的元素
(非阻塞函数)[编辑]
查找最后一个满足特定条件的元素
(非阻塞函数)[编辑]
查找某个范围内的最后一个元素序列
(函数模板) [编辑]
查找某个范围内的最后一个元素序列
(非阻塞函数)[编辑]
搜索一组元素中的任何一个
(函数模板) [编辑]
搜索一组元素中的任何一个
(非阻塞函数)[编辑]
查找第一个相等的两个相邻项(或满足给定谓词)
(函数模板) [编辑]
查找第一个相等的两个相邻项(或满足给定谓词)
(非阻塞函数)[编辑]
返回满足特定条件的元素数量
(函数模板) [编辑]
返回满足特定条件的元素数量
(非阻塞函数)[编辑]
查找两个范围不同的第一个位置
(函数模板) [编辑]
查找两个范围不同的第一个位置
(非阻塞函数)[编辑]
确定两组元素是否相同
(函数模板) [编辑]
确定两组元素是否相同
(非阻塞函数)[编辑]
搜索元素范围的第一次出现
(函数模板) [编辑]
搜索元素范围的第一次出现
(非阻塞函数)[编辑]
搜索范围内元素的第一个连续副本的出现
(函数模板) [编辑]
搜索范围内元素的第一个连续副本的出现
(非阻塞函数)[编辑]
检查范围是否以另一个范围开头
(非阻塞函数)[编辑]
检查范围是否以另一个范围结尾
(非阻塞函数)[编辑]

[编辑] 折叠操作

在头文件 <algorithm> 中定义
左折叠元素范围
(非阻塞函数)[编辑]
使用第一个元素作为初始值左折叠元素范围
(非阻塞函数)[编辑]
右折叠元素范围
(非阻塞函数)[编辑]
使用最后一个元素作为初始值右折叠元素范围
(非阻塞函数)[编辑]
左折叠元素范围,并返回一个 pair (迭代器, 值)
(非阻塞函数)[编辑]
使用第一个元素作为初始值左折叠元素范围,并返回一个 pair (迭代器, 可选)
(非阻塞函数)[编辑]

[编辑] 修改序列操作

[编辑] 复制操作

在头文件 <algorithm> 中定义
将元素范围复制到新位置
(函数模板) [编辑]
将元素范围复制到新位置
(非阻塞函数)[编辑]
(C++11)
将一定数量的元素复制到新位置
(函数模板) [编辑]
将一定数量的元素复制到新位置
(niebloid)[编辑]
以倒序复制元素范围
(函数模板) [编辑]
以倒序复制元素范围
(niebloid)[编辑]
(C++11)
将元素范围移动到新位置
(函数模板) [编辑]
将元素范围移动到新位置
(niebloid)[编辑]
将元素范围以倒序移动到新位置
(函数模板) [编辑]
将元素范围以倒序移动到新位置
(niebloid)[编辑]

[编辑] 交换操作

定义在头文件 <algorithm>   (直到 C++11)
定义在头文件 <utility>     (自 C++11 起)
定义在头文件 <string_view>
交换两个对象的数值
(函数模板) [编辑]
在头文件 <algorithm> 中定义
交换两个元素范围
(函数模板) [编辑]
交换两个元素范围
(niebloid)[编辑]
交换两个迭代器指向的元素
(函数模板) [编辑]

[编辑] 转换操作

在头文件 <algorithm> 中定义
将函数应用于元素范围,并将结果存储在目标范围中
(函数模板) [编辑]
将函数应用于元素范围
(niebloid)[编辑]
用另一个值替换所有满足特定条件的值
(函数模板) [编辑]
用另一个值替换所有满足特定条件的值
(niebloid)[编辑]
复制范围,用另一个值替换满足特定条件的元素
(函数模板) [编辑]
复制范围,用另一个值替换满足特定条件的元素
(niebloid)[编辑]

[编辑] 生成操作

在头文件 <algorithm> 中定义
将给定值复制赋值给范围中的每个元素
(函数模板) [编辑]
为元素范围分配特定值
(niebloid)[编辑]
将给定值复制赋值给范围中的 N 个元素
(函数模板) [编辑]
将值分配给多个元素
(niebloid)[编辑]
将连续函数调用的结果分配给范围中的每个元素
(函数模板) [编辑]
将函数的结果保存在范围内
(niebloid)[编辑]
将连续函数调用的结果分配给范围中的 N 个元素
(函数模板) [编辑]
保存函数 N 次应用的结果
(niebloid)[编辑]

[编辑] 移除操作

在头文件 <algorithm> 中定义
移除满足特定条件的元素
(函数模板) [编辑]
移除满足特定条件的元素
(niebloid)[编辑]
复制元素范围,省略满足特定条件的元素
(函数模板) [编辑]
复制元素范围,省略满足特定条件的元素
(niebloid)[编辑]
移除范围内连续的重复元素
(函数模板) [编辑]
移除范围内连续的重复元素
(niebloid)[编辑]
创建一个不包含连续重复元素的元素范围副本
(函数模板) [编辑]
创建一个不包含连续重复元素的元素范围副本
(niebloid)[编辑]

[编辑] 顺序更改操作

在头文件 <algorithm> 中定义
颠倒范围中元素的顺序
(函数模板) [编辑]
颠倒范围中元素的顺序
(niebloid)[编辑]
创建一个反转的范围副本
(函数模板) [编辑]
创建一个反转的范围副本
(niebloid)[编辑]
旋转范围中元素的顺序
(函数模板) [编辑]
旋转范围中元素的顺序
(niebloid)[编辑]
复制并旋转元素范围
(函数模板) [编辑]
复制并旋转元素范围
(niebloid)[编辑]
移动范围中的元素
(函数模板) [编辑]
(直到 C++17)(C++11)
随机重新排列范围中的元素
(函数模板) [编辑]
随机重新排列范围中的元素
(niebloid)[编辑]
移动范围中的元素
(niebloid)[编辑]

[编辑] 采样操作

在头文件 <algorithm> 中定义
(C++17)
从序列中选择 N 个随机元素
(函数模板) [edit]
从序列中选择 N 个随机元素
(niebloid)[edit]

[edit] 排序和相关操作

[edit] 要求

某些算法要求参数表示的序列为“已排序”或“已分区”。如果未满足此要求,则行为未定义。

如果对于指向序列的每个迭代器 iter 和每个非负整数 n,只要 iter + n[1] 是一个指向序列元素的有效迭代器,则序列是相对于比较器 comp 排序的comp(*(iter + n), *iter) == false[1]

(直到 C++20)

对于比较器 comp 和投影 proj,如果对于指向序列的每个迭代器 iter 和每个非负整数 n,只要 iter + n[1] 是一个指向序列元素的有效迭代器,则序列是相对于 compproj 排序的bool(std::invoke(comp, std::invoke(proj, *(iter + n)),
                       std::invoke(proj, *iter)))
[1]false.

如果序列相对于 compstd::identity{}(恒等投影)排序,则序列是相对于比较器 comp 排序的

(自 C++20 起)

序列 [startfinish)相对于表达式 f(e) 分区的,如果存在一个整数 n,使得对于 [0std::distance(start, finish)) 中的所有 if(*(start + i))[1] 为真,当且仅当 i < n 为真。

  1. 1.0 1.1 1.2 1.3 1.4 iter + n 仅仅表示“将 iter 增加 n 次的结果”,而与 iter 是否为随机访问迭代器无关。

[edit] 分区操作

在头文件 <algorithm> 中定义
确定范围是否由给定谓词分区
(函数模板) [edit]
确定范围是否由给定谓词分区
(niebloid)[edit]
将元素范围划分为两组
(函数模板) [edit]
将元素范围划分为两组
(niebloid)[edit]
复制范围,将元素划分为两组
(函数模板) [edit]
复制范围,将元素划分为两组
(niebloid)[edit]
将元素划分为两组,同时保留它们之间的相对顺序
(函数模板) [edit]
将元素划分为两组,同时保留它们之间的相对顺序
(niebloid)[edit]
定位已分区范围的分区点
(函数模板) [edit]
定位已分区范围的分区点
(niebloid)[edit]

[edit] 排序操作

在头文件 <algorithm> 中定义
将范围排序为升序
(函数模板) [edit]
将范围排序为升序
(niebloid)[edit]
排序元素范围,同时保留相等元素之间的顺序
(函数模板) [edit]
排序元素范围,同时保留相等元素之间的顺序
(niebloid)[edit]
对范围的前 N 个元素进行排序
(函数模板) [edit]
对范围的前 N 个元素进行排序
(niebloid)[edit]
复制并部分排序元素范围
(函数模板) [edit]
复制并部分排序元素范围
(niebloid)[edit]
(C++11)
检查范围是否已排序为升序
(函数模板) [edit]
检查范围是否已排序为升序
(niebloid)[edit]
查找最大的已排序子范围
(函数模板) [edit]
查找最大的已排序子范围
(niebloid)[edit]
部分排序给定范围,确保其按给定元素分区
(函数模板) [edit]
部分排序给定范围,确保其按给定元素分区
(niebloid)[edit]

[edit] 二分查找操作(在已分区范围上)

在头文件 <algorithm> 中定义
返回指向第一个不小于给定值的元素的迭代器
(函数模板) [edit]
返回指向第一个不小于给定值的元素的迭代器
(niebloid)[edit]
返回指向第一个大于某个值的元素的迭代器
(函数模板) [编辑]
返回指向第一个大于某个值的元素的迭代器
(niebloid)[编辑]
返回与特定键匹配的元素范围
(函数模板) [编辑]
返回与特定键匹配的元素范围
(niebloid)[编辑]
确定元素是否存在于部分排序的范围内
(函数模板) [编辑]
确定元素是否存在于部分排序的范围内
(niebloid)[编辑]

[编辑] 集合操作(在排序的范围内)

在头文件 <algorithm> 中定义
如果一个序列是另一个序列的子序列,则返回 true
(函数模板) [编辑]
如果一个序列是另一个序列的子序列,则返回 true
(niebloid)[编辑]
计算两个集合的并集
(函数模板) [编辑]
计算两个集合的并集
(niebloid)[编辑]
计算两个集合的交集
(函数模板) [编辑]
计算两个集合的交集
(niebloid)[编辑]
计算两个集合的差集
(函数模板) [编辑]
计算两个集合的差集
(niebloid)[编辑]
计算两个集合的对称差集
(函数模板) [编辑]
计算两个集合的对称差集
(niebloid)[编辑]

[编辑] 合并操作(在排序的范围内)

在头文件 <algorithm> 中定义
合并两个排序的范围
(函数模板) [编辑]
合并两个排序的范围
(niebloid)[编辑]
将两个有序的范围合并到内存中
(函数模板) [编辑]
将两个有序的范围合并到内存中
(niebloid)[编辑]

[编辑] 堆操作

一个随机访问的 范围 [firstlast) 是一个 关于比较器 comp 的堆,如果 bool(comp(first[(i - 1) / 2], first[i])) 对所有整数 i(0last - first) 中都是 false

(直到 C++20)

一个随机访问的 范围 [firstlast) 是一个 关于 compproj 的堆,对于一个比较器 comp 和投影 proj,如果 bool(std::invoke(comp, std::invoke(proj, first[(i - 1) / 2]),
                       std::invoke(proj, first[i]))
对所有整数 i(0last - first) 中都是 false

一个随机访问的范围 [firstlast) 是一个 关于比较器 comp 的堆,如果该范围是关于 compstd::identity{}(恒等投影)的堆。

(自 C++20 起)

堆可以通过 std::make_heapranges::make_heap(自 C++20 起) 创建。

有关堆的更多属性,请参阅 最大堆


在头文件 <algorithm> 中定义
将一个元素添加到最大堆中
(函数模板) [编辑]
将一个元素添加到最大堆中
(niebloid)[编辑]
从最大堆中移除最大元素
(函数模板) [编辑]
从最大堆中移除最大元素
(niebloid)[编辑]
从元素范围内创建一个最大堆
(函数模板) [编辑]
从元素范围内创建一个最大堆
(niebloid)[编辑]
将最大堆转换为按升序排序的元素范围
(函数模板) [编辑]
将最大堆转换为按升序排序的元素范围
(niebloid)[编辑]
(C++11)
检查给定范围是否为最大堆
(函数模板) [编辑]
检查给定范围是否为最大堆
(niebloid)[编辑]
找到是最大堆的最大子范围
(函数模板) [编辑]
找到是最大堆的最大子范围
(niebloid)[编辑]

[编辑] 最小值/最大值操作

在头文件 <algorithm> 中定义
返回给定值中较大的值
(函数模板) [编辑]
返回给定值中较大的值
(niebloid)[编辑]
返回范围内的最大元素
(函数模板) [编辑]
返回范围内的最大元素
(niebloid)[编辑]
返回给定值中较小的值
(函数模板) [编辑]
返回给定值中较小的值
(niebloid)[编辑]
返回范围内的最小元素
(函数模板) [编辑]
返回范围内的最小元素
(niebloid)[编辑]
(C++11)
返回两个元素中较小和较大的值
(函数模板) [编辑]
返回两个元素中较小和较大的值
(niebloid)[编辑]
返回范围内的最小元素和最大元素
(函数模板) [编辑]
返回范围内的最小元素和最大元素
(niebloid)[编辑]
(C++17)
将值夹在边界值对之间
(函数模板) [编辑]
将值夹在边界值对之间
(niebloid)[编辑]

[编辑] 字典序比较操作

在头文件 <algorithm> 中定义
如果一个范围字典序小于另一个范围,则返回 true
(函数模板) [编辑]
如果一个范围字典序小于另一个范围,则返回 true
(niebloid)[编辑]
使用三路比较来比较两个范围
(函数模板) [编辑]

[编辑] 排列操作

在头文件 <algorithm> 中定义
生成一系列元素的下一个字典序排列
(函数模板) [编辑]
生成一系列元素的下一个字典序排列
(niebloid)[编辑]
生成一系列元素的下一个较小的字典序排列
(函数模板) [编辑]
生成一系列元素的下一个较小的字典序排列
(niebloid)[编辑]
确定序列是否为另一个序列的排列
(函数模板) [编辑]
确定序列是否为另一个序列的排列
(niebloid)[编辑]

[编辑] 数值操作

在头文件 <numeric> 中定义
(C++11)
用起始值的连续增量填充范围
(函数模板) [编辑]
用起始值的连续增量填充范围
(niebloid)[编辑]
将一系列元素加起来或折叠起来
(函数模板) [编辑]
计算两个元素范围的内积
(函数模板) [编辑]
计算范围中相邻元素之间的差异
(函数模板) [编辑]
计算一系列元素的偏和
(函数模板) [编辑]
(C++17)
类似于 std::accumulate,但顺序不同
(函数模板) [编辑]
类似于 std::partial_sum,从第 ith 和中排除第 ith 输入元素
(函数模板) [编辑]
类似于 std::partial_sum,在第 ith 和中包含第 ith 输入元素
(函数模板) [编辑]
应用一个可调用对象,然后进行降序归约
(函数模板) [编辑]
应用一个可调用对象,然后计算独占扫描
(函数模板) [编辑]
应用一个可调用对象,然后计算包含扫描
(函数模板) [编辑]

[编辑] 对未初始化内存的操作

在头文件 <memory> 中定义
将一系列对象复制到未初始化的内存区域
(函数模板) [编辑]
将一系列对象复制到未初始化的内存区域
(niebloid)[编辑]
将一定数量的对象复制到未初始化的内存区域
(函数模板) [编辑]
将一定数量的对象复制到未初始化的内存区域
(niebloid)[编辑]
将一个对象复制到由范围定义的未初始化内存区域
(函数模板) [编辑]
将一个对象复制到由范围定义的未初始化内存区域
(非阻塞)[编辑]
将一个对象复制到由起始位置和数量定义的未初始化内存区域。
(函数模板) [编辑]
将一个对象复制到由起始位置和数量定义的未初始化内存区域。
(非阻塞)[编辑]
将一系列对象移动到未初始化的内存区域。
(函数模板) [编辑]
将一系列对象移动到未初始化的内存区域。
(非阻塞)[编辑]
将一定数量的对象移动到未初始化的内存区域。
(函数模板) [编辑]
将一定数量的对象移动到未初始化的内存区域。
(非阻塞)[编辑]
通过默认初始化在由范围定义的未初始化内存区域中构造对象。
(函数模板) [编辑]
通过默认初始化在由范围定义的未初始化内存区域中构造对象。
(非阻塞)[编辑]
通过默认初始化在由起始位置和数量定义的未初始化内存区域中构造对象。
(函数模板) [编辑]
通过默认初始化在由起始位置和数量定义的未初始化内存区域中构造对象。
(非阻塞)[编辑]
通过值初始化在由范围定义的未初始化内存区域中构造对象。
(函数模板) [编辑]
通过值初始化在由范围定义的未初始化内存区域中构造对象。
(非阻塞)[编辑]
通过值初始化在由起始位置和数量定义的未初始化内存区域中构造对象。
(函数模板) [编辑]
通过值初始化在由起始位置和数量定义的未初始化内存区域中构造对象。
(非阻塞)[编辑]
(C++17)
销毁一系列对象。
(函数模板) [编辑]
销毁一系列对象。
(非阻塞)[编辑]
(C++17)
销毁范围内一定数量的对象。
(函数模板) [编辑]
销毁范围内一定数量的对象。
(非阻塞)[编辑]
销毁给定地址上的对象。
(函数模板) [编辑]
销毁给定地址上的对象。
(非阻塞)[编辑]
在给定地址处创建一个对象。
(函数模板) [编辑]
在给定地址处创建一个对象。
(非阻塞)[编辑]

[编辑] 随机数生成

在头文件 <random> 中定义。
使用均匀随机位生成器填充范围内的随机数。
(非阻塞)[编辑]

[编辑] 备注

特性测试 Std 特性
__cpp_lib_algorithm_iterator_requirements 202207L (C++23) 范围迭代器作为非范围算法的输入。
__cpp_lib_clamp 201603L (C++17) std::clamp
__cpp_lib_constexpr_algorithms 201806L (C++20) 算法的 constexpr 支持。
202306L (C++26) 稳定排序的 constexpr 支持。
__cpp_lib_algorithm_default_value_type 202403L (C++26) 算法的列表初始化
__cpp_lib_freestanding_algorithm 202311L (C++26) <algorithm> 中的独立设施。
__cpp_lib_robust_nonmodifying_seq_ops 201304L (C++14) 使非修改序列操作更加健壮(std::mismatchstd::equalstd::is_permutation 的双范围重载)。
__cpp_lib_sample 201603L (C++17) std::sample
__cpp_lib_shift 201806L (C++20) std::shift_leftstd::shift_right

[编辑] C 库

在头文件 <cstdlib> 中定义。
对一组未指定类型元素进行排序。
(函数) [编辑]
在数组中搜索未指定类型的元素。
(函数) [编辑]

[编辑] 缺陷报告

以下行为变更缺陷报告被追溯应用于先前发布的 C++ 标准。

DR 应用于 已发布的行为 正确行为
LWG 193 C++98 堆需要 *first 是最大元素 可能存在
等于 *first 的元素
LWG 2150 C++98 排序序列的定义不正确 已更正
LWG 2166 C++98 堆要求与
最大堆 的定义不完全匹配
要求得到改进

[编辑] 另请参阅

C 文档 用于 算法