有制约算法 (C++20 起)

 

C++

语言

标准库头文件

自立与有宿主实现

具名要求

语言支持库

概念库 (C++20)

诊断库

工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

输入/输出库

本地化库

正则表达式库 (C++11)

原子操作库 (C++11)

线程支持库 (C++11)

文件系统库 (C++17)

技术规范

 

算法库

有制约算法及范围上的算法 (C++20)
概念与工具： std::Sortable, std::projected, ...
有制约算法： std::ranges::copy, std::ranges::sort, ...
执行策略 (C++17)
is_execution_policy	execution::seqexecution::parexecution::par_unseqexecution::unseq (C++20)	execution::sequenced_policyexecution::parallel_policyexecution::parallel_unsequenced_policyexecution::parallel_unsequenced (C++20)
不修改序列的操作
all_ofany_ofnone_of (C++11)(C++11)(C++11) for_each for_each_n (C++17)	countcount_if mismatch equal adjacent_find	findfind_iffind_if_not (C++11) find_end find_first_of	adjacent_find search search_n lexicographical_compare lexicographical_compare_3way (C++20)
修改序列的操作
copycopy_if (C++11) copy_n (C++11) copy_backward move (C++11) move_backward (C++11) shift_leftshift_right (C++20)(C++20) transform	fill fill_n generate generate_n swap iter_swap swap_ranges sample (C++17)	removeremove_if replacereplace_if reverse rotate unique random_shuffle (C++17 前)	remove_copyremove_copy_if replace_copyreplace_copy_if reverse_copy rotate_copy unique_copy shuffle (C++11)
未初始化存储上的操作
uninitialized_copy uninitialized_move (C++17) uninitialized_fill	uninitialized_copy_n (C++11) uninitialized_move_n (C++17) uninitialized_fill_n	uninitialized_default_construct (C++17) uninitialized_value_construct (C++17) destroy (C++17)	uninitialized_default_construct_n (C++17) uninitialized_value_construct_n (C++17) destroy_n (C++17)
划分操作
is_partitioned (C++11) partition_point (C++11)	partition partition_copy (C++11)	stable_partition
排序操作
is_sorted (C++11) is_sorted_until (C++11)	sort stable_sort	partial_sort partial_sort_copy	nth_element
二分搜索操作
lower_bound	upper_bound	binary_search	equal_range
集合操作（在已排序范围上）
merge inplace_merge	set_difference set_intersection	set_symmetric_difference set_union	includes
堆操作
is_heap (C++11) is_heap_until (C++11)	make_heap sort_heap	push_heap pop_heap
最小/最大操作
max max_element	min min_element	minmax (C++11) minmax_element (C++11)	clamp (C++17) compare_3way (C++20)
排列
is_permutation (C++11)	next_permutation	prev_permutation
数值运算
iota (C++11) inner_product adjacent_difference	accumulate reduce (C++17) transform_reduce (C++17)	partial_sum inclusive_scan (C++17) exclusive_scan (C++17)	transform_inclusive_scan (C++17) transform_exclusive_scan (C++17)
C 库
qsort	bsearch

 

有制约算法

不修改序列的操作
all_ofany_ofnone_of for_each	countcount_if mismatch equal	findfind_iffind_if_not find_end find_first_of	adjacent_find search search_n lexicographical_compare
修改系列的操作
copycopy_if copy_n copy_backward move move_backward transform	fill fill_n generate generate_n swap_ranges shuffle	removeremove_if replacereplace_if reverse rotate unique	remove_copyremove_copy_if replace_copyreplace_copy_if reverse_copy rotate_copy unique_copy
未初始化存储上的操作
uninitialized_copy uninitialized_move uninitialized_fill	uninitialized_copy_n uninitialized_move_n uninitialized_fill_n	uninitialized_default_construct uninitialized_value_construct destroy	uninitialized_default_construct_n uninitialized_value_construct_n destroy_n
划分操作
is_partitioned partition_point	partition partition_copy	stable_partition
排序操作
is_sorted is_sorted_until	sort stable_sort	partial_sort partial_sort_copy	nth_element
二分搜索操作
lower_bound	upper_bound	binary_search	equal_range
集合操作（在已排序范围上）
merge inplace_merge	set_difference set_intersection	set_symmetric_difference set_union	includes
堆操作
is_heap is_heap_until	make_heap sort_heap	push_heap pop_heap
最小/最大操作
max max_element	min min_element	minmax minmax_element
排列
is_permutation	next_permutation	prev_permutation

 

C++20 在命名空间 std::ranges 中提供大多数算法的有制约版本，能以 Iterator-Sentinel 对或单个 Range 参数指定范围，并且支持投影和指向成员指针可调用对象。另外更改了大多数算法的返回类型，以返回算法执行过程中计算的所有潜在有用信息。

算法概念与工具

头文件 <iterator> 提供为简化常用算法操作的制约而设计的概念和工具模板集合。

定义于头文件 <iterator>
定义于命名空间 std
间接可调用对象
IndirectUnaryInvocableIndirectRegularUnaryInvocable	指定可调用类型能以解引用某个 Readable 类型的结果进行调用 (概念)
IndirectUnaryPredicate	指定可调用类型，在以解引用一个 Readable 类型的结果进行调用时，满足 Predicate (概念)
IndirectRelation	指定可调用类型，在以解引用两个 Readable 类型的结果进行调用时，满足 Predicate (概念)
IndirectStrictWeakOrder	指定可调用类型，在以解引用两个 Readable 类型的结果进行调用时，满足 StrictWeakOrder (概念)
常用算法要求
IndirectlyMovable	指定可从 Readable 类型移动值给 Writable 类型 (概念)
IndirectlyMovableStorable	指定可从 Readable 类型移动值给 Writable 类型，且该移动可以通过中间对象进行 (概念)
IndirectlyCopyable	指定可从 Readable 类型复制值给 Writable 类型 (概念)
IndirectlyCopyableStorable	指定可从 Readable 类型复制值给 Writable 类型，且该复制可以通过中间对象进行 (概念)
IndirectlySwappable	指定能交换两个 Readable 类型所引用的值 (概念)
IndirectlyComparable	指定能比较两个 Readable 类型所引用的值 (概念)
Permutable	指定在原位重排元素的算法的共用要求 (概念)
Mergeable	指定通过复制元素将已排序序列归并到输出序列中的算法的要求 (概念)
Sortable	指定重排序列为有序序列的算法的共用要求 (概念)
工具
indirect_result_t	计算在解引用某组 Readable 类型的结果上调用可调用对象的结果 (别名模板)
projected	用于对接受投影的算法指定制约的辅助模板 (类模板)

有制约算法

定义于头文件 <algorithm>
定义于命名空间 std::ranges
不修改序列的操作
all_ofany_ofnone_of	检查谓词是否对范围中所有、任一或无元素为 true (niebloid)
for_each	应用函数到范围中的元素 (niebloid)
countcount_if	返回满足指定判别标准的元素数 (niebloid)
mismatch	寻找两个范围出现不同的首个位置 (niebloid)
equal	确定两个元素集合是否是相同的 (niebloid)
lexicographical_compare	当一个范围按字典顺序小于另一个范围时，返回 true (niebloid)
findfind_iffind_if_not	寻找首个满足特定判别标准的元素 (niebloid)
find_end	在特定范围中寻找最后出现的元素序列 (niebloid)
find_first_of	搜索元素集合中的任意元素 (niebloid)
adjacent_find	查找首对相邻的相同（或满足给定谓词的）元素 (niebloid)
search	搜索一个元素范围 (niebloid)
search_n	在范围中搜索一定量的某个元素的连续副本 (niebloid)
修改序列的操作
copycopy_if	将某一范围的元素复制到一个新的位置 (niebloid)
copy_n	将一定数目的元素复制到一个新的位置 (niebloid)
copy_backward	按从后往前的顺序复制一个范围内的元素 (niebloid)
move	将某一范围的元素移动到一个新的位置 (niebloid)
move_backward	按从后往前的顺序移动某一范围的元素到新的位置 (niebloid)
fill	将一个给定值复制赋值给一个范围内的每个元素 (niebloid)
fill_n	将一个值复制赋值给一定量的元素 (niebloid)
transform	将一个函数应用于某一范围的各个元素 (niebloid)
generate	保存函数结果到一个范围中 (niebloid)
generate_n	保存 N 次函数应用的结果 (niebloid)
removeremove_if	移除满足特定判别标准的元素 (niebloid)
remove_copyremove_copy_if	复制一个范围的元素，忽略满足特定判别标准的元素 (niebloid)
replacereplace_if	将所有满足特定判别标准的值替换为另一个值 (niebloid)
replace_copyreplace_copy_if	复制一个范围内的元素，并将满足特定判别标准的元素替换为另一个值 (niebloid)
swap_ranges	交换两个范围的元素 (niebloid)
reverse	逆转范围中的元素顺序 (niebloid)
reverse_copy	创建一个范围的逆向副本 (niebloid)
rotate	旋转范围中的元素顺序 (niebloid)
rotate_copy	复制并旋转元素范围 (niebloid)
shuffle	随机重排范围中的元素 (niebloid)
unique	移除范围中的连续重复元素 (niebloid)
unique_copy	创建某范围的不含连续重复元素的副本 (niebloid)
划分操作
is_partitioned	判断范围是否已按给定的谓词划分 (niebloid)
partition	将范围中的元素分为二组 (niebloid)
partition_copy	复制一个范围，将各元素分为二组 (niebloid)
stable_partition	将元素分成二组，同时保持其相对顺序 (niebloid)
partition_point	定位已划分范围的划分点 (niebloid)
排序操作
is_sorted	检查范围是否以升序排序 (niebloid)
is_sorted_until	寻找最大的已排序子范围 (niebloid)
sort	将范围按升序排序 (niebloid)
partial_sort	排序一个范围的前 N 个元素 (niebloid)
partial_sort_copy	对范围内的元素进行复制并部分排序 (niebloid)
stable_sort	将范围内的元素排序，同时保持相等的元素之间的顺序 (niebloid)
nth_element	将给定的范围部分排序，确保其按给定元素划分 (niebloid)
二分搜索操作（在已排序范围上）
lower_bound	返回指向首个不小于给定值的元素的迭代器 (niebloid)
upper_bound	返回指向首个大于某值的元素的迭代器 (niebloid)
binary_search	确定元素是否存在于某范围中 (niebloid)
equal_range	返回匹配特定键值的元素范围 (niebloid)
集合操作（在已排序范围上）
merge	归并二个已排序范围 (niebloid)
inplace_merge	在原位归并两个有序范围 (niebloid)
includes	若一个集合是另一个的子集则返回 true (niebloid)
set_difference	计算两个集合的差集 (niebloid)
set_intersection	计算两个集合的交集 (niebloid)
set_symmetric_difference	计算两个集合的对称差 (niebloid)
set_union	计算两个集合的并集 (niebloid)
堆操作
is_heap	检查给定范围是否为最大堆 (niebloid)
is_heap_until	寻找能成为最大堆的最大子范围 (niebloid)
make_heap	从一个元素范围创建出一个最大堆 (niebloid)
push_heap	将一个元素加入到一个最大堆 (niebloid)
pop_heap	从最大堆中移除最大元素 (niebloid)
sort_heap	将一个最大堆变成一个按升序排序的元素范围 (niebloid)
最小/最大操作
max	返回给定值的较大者 (niebloid)
max_element	返回范围中的最大元素 (niebloid)
min	返回给定值的较小者 (niebloid)
min_element	返回范围中的最小元素 (niebloid)
minmax	返回两个元素的较小和较大者 (niebloid)
minmax_element	返回范围中的最小和最大元素 (niebloid)
排列操作
is_permutation	确定一个序列是否为另一序列的重排 (niebloid)
next_permutation	产生某个元素范围的按字典序下一个较大的排列 (niebloid)
prev_permutation	产生某个元素范围的按字典序下一个较小的排列 (niebloid)

有制约的未初始化内存算法

定义于头文件 <memory>
定义于命名空间 std::ranges
uninitialized_copy (C++20)	复制元素范围到未初始化的内存区域 (niebloid)
uninitialized_copy_n (C++20)	复制一定量元素到未初始化的内存区域 (niebloid)
uninitialized_fill (C++20)	复制一个对象到范围所定义的未初始化的内存区域 (niebloid)
uninitialized_fill_n (C++20)	复制一个对象到起始与计数所定义的未初始化的内存区域 (niebloid)
uninitialized_move (C++20)	移动对象范围到未初始化的内存区域 (niebloid)
uninitialized_move_n (C++20)	移动一定量对象到未初始化的内存区域 (niebloid)
uninitialized_default_construct (C++20)	在范围所定义的未初始化的内存区域以默认初始化构造对象 (niebloid)
uninitialized_default_construct_n (C++20)	在起始与计数所定义的未初始化的内存区域以默认初始化构造对象 (niebloid)
uninitialized_value_construct (C++20)	在范围所定义的未初始化的内存区域以值初始化构造对象 (niebloid)
uninitialized_value_construct_n (C++20)	在起始与计数所定义的未初始化的内存区域以值初始化构造对象 (niebloid)
destroy_at (C++20)	销毁位于给定地址的元素 (niebloid)
destroy (C++20)	销毁范围中的元素 (niebloid)
destroy_n (C++20)	销毁范围中一定量的元素 (niebloid)