std::lexicographical_compare_three_way

在头文件中定义 `<algorithm>`
template< class InputIt1, class InputIt2, class Cmp > constexpr auto lexicographical_compare_three_way ( InputIt1 first1, InputIt1 last1, InputIt2 first2, InputIt2 last2, Cmp comp ) -> decltype(comp(first1, first2));	(1)	(自 C++20 起)
template< class InputIt1, class InputIt2 > constexpr auto lexicographical_compare_three_way ( InputIt1 first1, InputIt1 last1, InputIt2 first2, InputIt2 last2 );	(2)	(自 C++20 起)

使用三路比较对两个范围 [first1, last1) 和 [first2, last2) 进行字典序比较，并生成与最强适用的比较类别类型相对应的结果。

1) 如果存在任何非等效元素对，则根据这两个范围中 comp 返回第一个非等效元素对之间的顺序；否则（如果一个范围根据 comp 等效于另一个范围的前缀），则返回两个范围长度之间的顺序。

2) 等效于 return std::lexicographical_compare_three_way(
first1, last1, first2, last2, std::compare_three_way());

如果返回值不是三种比较类别类型之一，则程序格式不正确。

[编辑] 参数

first1, last1	-	要检查的第一个元素范围
first2, last2	-	要检查的第二个元素范围
comp	-	函数对象
类型要求
- `InputIt1, InputIt2` 必须满足 LegacyInputIterator 的要求。

[编辑] 返回值

上面指定的比较类别类型的值。

[编辑] 复杂度

给定 $\scriptsize N_1$ $N 1$ 为 std::distance(first1, last1) 并且 $\scriptsize N_2$ $N 2$ 为 std::distance(first2, last2)

1) 最多

min(1,N 2)

次 comp 应用。

2) 最多

min(N 1,N 2)

次 std::compare_three_way() 应用。

[编辑] 可能的实现

template<class I1, class I2, class Cmp>
constexpr auto lexicographical_compare_three_way(I1 f1, I1 l1, I2 f2, I2 l2, Cmp comp)
    -> decltype(comp(*f1, *f2))
{
    using ret_t = decltype(comp(*f1, *f2));
    static_assert(std::disjunction_v<
                      std::is_same<ret_t, std::strong_ordering>,
                      std::is_same<ret_t, std::weak_ordering>,
                      std::is_same<ret_t, std::partial_ordering>>,
                  "The return type must be a comparison category type.");
 
    bool exhaust1 = (f1 == l1);
    bool exhaust2 = (f2 == l2);
    for (; !exhaust1 && !exhaust2; exhaust1 = (++f1 == l1), exhaust2 = (++f2 == l2))
        if (auto c = comp(*f1, *f2); c != 0)
            return c;
 
    return !exhaust1 ? std::strong_ordering::greater:
           !exhaust2 ? std::strong_ordering::less:
                       std::strong_ordering::equal;
}

[编辑] 示例

运行此代码

#include <algorithm>
#include <cctype>
#include <compare>
#include <iomanip>
#include <iostream>
#include <string_view>
#include <utility>
 
using namespace std::literals;
 
void show_result(std::string_view s1, std::string_view s2, std::strong_ordering o)
{
    std::cout << std::quoted(s1) << " is ";
    std::is_lt(o) ? std::cout << "less than ":
    std::is_gt(o) ? std::cout << "greater than ":
                    std::cout << "equal to ";
    std::cout << std::quoted(s2) << '\n';
}
 
std::strong_ordering cmp_icase(unsigned char x, unsigned char y)
{
    return std::toupper(x) <=> std::toupper(y);
};
 
int main()
{
    for (const auto& [s1, s2] :
    {
        std::pair{"one"sv, "ONE"sv}, {"two"sv, "four"sv}, {"three"sv, "two"sv}
    })
    {
        const auto res = std::lexicographical_compare_three_way(
            s1.cbegin(), s1.cend(), s2.cbegin(), s2.cend(), cmp_icase);
        show_result(s1, s2, res);
    }
}

输出

"one" is equal to "ONE"
"two" is greater than "four"
"three" is less than "two"

[编辑] 缺陷报告

以下行为更改缺陷报告被追溯应用到之前发布的 C++ 标准。

DR	应用于	已发布的行为	正确行为
LWG 3410	C++20	迭代器之间不必要的比较被要求	此要求已删除

[编辑] 参见

lexicographical_compare	如果一个范围在字典序上小于另一个范围，则返回 true (函数模板) [编辑]
compare_three_way (C++20)	实现 x <=> y 的受限函数对象 (类) [编辑]
ranges::lexicographical_compare (C++20)	如果一个范围在字典序上小于另一个范围，则返回 true (niebloid)[编辑]

编译器支持
独立和托管
语言
标准库
标准库头文件
命名要求
功能测试宏 (C++20)
语言支持库
概念库 (C++20)
元编程库 (C++11)
诊断库
通用实用程序库
字符串库
容器库
迭代器库
范围库 (C++20)
算法库
数值库
本地化库
输入/输出库
文件系统库 (C++17)
正则表达式库 (C++11)
并发支持库 (C++11)
执行支持库 (C++26)
技术规范
符号索引
外部库

cppreference.com

命名空间

变体

视图

操作