std:: lexicographical_compare
|
定义于头文件
<algorithm>
|
||
|
template
<
class
InputIt1,
class
InputIt2
>
bool
lexicographical_compare
(
InputIt1 first1, InputIt1 last1,
|
(1) | (自 C++20 起为 constexpr) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt1,
class
ForwardIt2
>
|
(2) | (自 C++17 起) |
|
template
<
class
InputIt1,
class
InputIt2,
class
Compare
>
bool
lexicographical_compare
(
InputIt1 first1, InputIt1 last1,
|
(3) | (自 C++20 起为 constexpr) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt1,
class
ForwardIt2,
class
Compare
>
|
(4) | (自 C++17 起) |
检查第一个范围
[
first1
,
last1
)
是否在字典序上
小于
第二个范围
[
first2
,
last2
)
。
|
std:: is_execution_policy_v < std:: decay_t < ExecutionPolicy >> 为 true 。 |
(C++20 前) |
|
std:: is_execution_policy_v < std:: remove_cvref_t < ExecutionPolicy >> 为 true 。 |
(C++20 起) |
字典序比较是一种具有以下特性的操作:
- 两个范围按元素逐个比较。
- 第一个不匹配的元素决定了哪个范围在字典序上更 小 或更 大 。
- 如果一个范围是另一个的前缀,较短的范围在字典序上更 小 。
- 如果两个范围具有等效元素且长度相同,则这两个范围在字典序上 相等 。
- 空范围在字典序上比任何非空范围都更 小 。
- 两个空范围在字典序上 相等 。
目录 |
参数
| first1, last1 | - | 定义待检验元素第一个 范围 的迭代器对 |
| first2, last2 | - | 定义待检验元素第二个 范围 的迭代器对 |
| policy | - | 使用的 执行策略 |
| comp | - |
比较函数对象(即满足
Compare
要求的对象),当第一个参数
小于
第二个时返回
true
。
比较函数的签名应等价于如下形式: bool cmp ( const Type1 & a, const Type2 & b ) ;
虽然签名不需要包含
const
&
,但函数不得修改传递给它的对象,且必须能接受所有(可能为const的)
|
| 类型要求 | ||
-
InputIt1, InputIt2
必须满足
LegacyInputIterator
的要求。
|
||
-
ForwardIt1, ForwardIt2
必须满足
LegacyForwardIterator
的要求。
|
||
-
Compare
必须满足
Compare
的要求。
|
||
返回值
若第一个范围按字典序 小于 第二个范围,则为 true ,否则为 false 。
复杂度
给定 N 1 为 std:: distance ( first1, last1 ) 且 N 2 为 std:: distance ( first2, last2 ) :
异常
带有名为
ExecutionPolicy
模板参数的重载按以下方式报告错误:
-
如果作为算法一部分调用的函数执行抛出异常,且
ExecutionPolicy是某个 标准策略 ,则调用 std::terminate 。对于其他任何ExecutionPolicy,其行为由实现定义。 - 如果算法无法分配内存,则抛出 std::bad_alloc 。
可能的实现
| 字典序比较 (1) |
|---|
template<class InputIt1, class InputIt2> bool lexicographical_compare(InputIt1 first1, InputIt1 last1, InputIt2 first2, InputIt2 last2) { for (; (first1 != last1) && (first2 != last2); ++first1, (void) ++first2) { if (*first1 < *first2) return true; if (*first2 < *first1) return false; } return (first1 == last1) && (first2 != last2); } |
| 字典序比较 (3) |
template<class InputIt1, class InputIt2, class Compare> bool lexicographical_compare(InputIt1 first1, InputIt1 last1, InputIt2 first2, InputIt2 last2, Compare comp) { for (; (first1 != last1) && (first2 != last2); ++first1, (void) ++first2) { if (comp(*first1, *first2)) return true; if (comp(*first2, *first1)) return false; } return (first1 == last1) && (first2 != last2); } |
示例
#include <algorithm> #include <iostream> #include <random> #include <vector> void print(const std::vector<char>& v, auto suffix) { for (char c : v) std::cout << c << ' '; std::cout << suffix; } int main() { std::vector<char> v1{'a', 'b', 'c', 'd'}; std::vector<char> v2{'a', 'b', 'c', 'd'}; for (std::mt19937 g{std::random_device{}()}; !std::lexicographical_compare(v1.begin(), v1.end(), v2.begin(), v2.end());) { print(v1, ">= "); print(v2, '\n'); std::shuffle(v1.begin(), v1.end(), g); std::shuffle(v2.begin(), v2.end(), g); } print(v1, "< "); print(v2, '\n'); }
可能的输出:
a b c d >= a b c d d a b c >= c b d a b d a c >= a d c b a c d b < c d a b
缺陷报告
下列行为变更缺陷报告被追溯应用于先前发布的 C++ 标准。
| 缺陷报告 | 适用标准 | 发布行为 | 正确行为 |
|---|---|---|---|
| LWG 142 | C++98 |
最多允许
min(N
1
,N
2
)
次比较,但这
不可实现(等价性需要2次比较确定) |
将限制翻倍 |
| LWG 1205 | C++98 | 涉及空范围的字典序比较结果不明确 | 予以明确 |
参见
|
判断两组元素是否相同
(函数模板) |
|
|
使用三路比较法比较两个范围
(函数模板) |
|
|
(C++20)
|
若一个范围按字典序小于另一个范围则返回
true
(算法函数对象) |