算法
算法是 C++ 标准库的基础部分。 算法本身不适用于容器，而是适用于迭代器。 因此，大多数（如果不是全部）C++ 标准库容器都可以使用相同的算法。 本部分讨论 C++ 标准库算法的约定和术语。
注解
算法函数模板的说明使用几个速记短语：
短语“在范围 [A， B) ”是指零个或多个离散值的序列，从 A 开始，但不包括 B。仅当 B 可从 A 访问时，范围才有效，可以将 A 存储在对象 N (N = A) 中，可以将对象 (++N) 递增零次或更多倍，并使对象在 NB) (有限增量 == 之后将对象与 B 相等。
短语“区域 [A， B) 中的每个 N”表示 N 以值 A 开头，并递增零次或更多次，直到等于值 B。大小写 N == B 不在范围内。
短语“the lowest value of N in the range [A, B) such that X”表示确定范围 [A, B) 中的每个 N 是否满足条件 X，直到满足条件 X。
短语“范围 [A， B) ，因此 X”表示为范围 [A， B) 中的每个 N 确定 X。 每次满足条件 X，该函数即在 K 中存储 N 的一个副本。 如果发生此类存储，则该函数将 N 的最终值（等于 B）替换为值 K。但是，对于双向或随机访问迭代器，这也可以是意味着 N 从范围内的最高值开始在范围内递减，直到满足条件 X。
表达式如 X - Y，其中X 和 Y 可以是随机访问迭代器以外的迭代器，从数学意义上来说是需要的。 如果函数必须确定此类值，则函数不一定计算运算符 - 。 对于 X + N 和 X - N 等表达式也是如此，其中 N 是整数类型。
几种算法使用进行成对比较的谓词（例如 operator==）生成 bool 结果。 谓词函数 operator== 或其任何替代函数不得更改其任一操作数。 每次计算时，它都必须生成相同的 bool 结果，并且如果任一操作数的副本被替换为操作数，则它必须生成相同的结果。
几种算法使用对序列中的元素对执行严格弱排序的谓词。 对于谓词 pred(X, Y)：
严格意味着 pred(X, X) 为 false。
弱表示 X 和 Y 具有等效的排序，如果 ！pred (X， Y) && ！pred (Y， X) (X == Y 不需要) 定义。
排序意味着 pred(X, Y) &&pred(Y, Z) 表示 pred(X, Z)。
以上这些算法隐式使用谓词 X<Y。通常满足严格弱排序需求的其他谓词有 X>Y、less(X, Y) 和 greater(X, Y)。 但请注意，X= Y 和 X<>= Y 等谓词不满足此要求。
如果对于范围 [0, Last - First) 中的每个 N 和范围 (N, Last - First) 中的每个 M，谓词 !(*(First + M) < *(First + N)) 为 true，则由迭代器在范围 [First, Last) 内指定的元素序列是按 operator < 排序的序列。 （请注意元素以升序进行排序。）谓词函数 operator< 或其任何替代函数不得更改其任一操作数。 每次计算时，它都必须生成相同的 bool 结果，并且如果任一操作数的副本被替换为操作数，则它必须生成相同的结果。 此外，必须对它比较的操作数进行严格弱排序。
如果对于范围 [1, Last - First) 中的每个 N，谓词 !(*First< *(First + N)) 为 true，则由迭代器在范围 [First, Last) 内指定的元素序列是按 operator< 排序的堆。 （第一个元素最大。）否则，其内部结构仅对模板函数 make_heap、pop_heap 和 push_heap 公开。 就有序序列来说，谓词函数 operator<（或其任何替代函数）不得更改任一操作数，且必须对将它比较的操作数进行严格弱排序。 每次计算时，它都必须生成相同的 bool 结果，并且如果任一操作数的副本被替换为操作数，则它必须生成相同的结果。
C++ 标准库算法位于 <algorithm> 和 <numeric> 头文件中。