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());

如果返回型別不是三種比較類別型別之一，則程式格式錯誤。

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++ 標準。

缺陷報告	應用於	釋出時的行為	正確的行為
LWG 3410	C++20	要求迭代器之間進行多餘的比較	該要求已移除

[編輯] 另請參閱

lexicographical_compare	如果一個範圍在字典上小於另一個範圍，則返回 true (函式模板) [編輯]
compare_three_way (C++20)	實現 x <=> y 的受限函式物件 (類) [編輯]
ranges::lexicographical_compare (C++20)	如果一個範圍在字典上小於另一個範圍，則返回 true (演算法函式物件)[編輯]

編譯器支援
自由（freestanding）與宿主（hosted）
語言
標準庫
標準庫標頭檔案
具名要求
特性測試宏 (C++20)
語言支援庫
概念庫 (C++20)
診斷庫
記憶體管理庫
超程式設計庫 (C++11)
通用工具庫
容器庫
迭代器庫
範圍庫 (C++20)
演算法庫
字串庫
文字處理庫
數值庫
日期和時間庫
輸入/輸出庫
檔案系統庫 (C++17)
併發支援庫 (C++11)
執行控制庫 (C++26)
技術規範
符號索引
外部庫

cppreference.com

名稱空間

變體

檢視

操作

std::lexicographical_compare_three_way

目錄

[編輯] 引數

[編輯] 返回值

[編輯] 複雜度

[編輯] 可能的實現

[編輯] 示例

[編輯] 缺陷報告

[編輯] 另請參閱

導航

工具箱

first1, last1	-	定義要檢查的第一個元素範圍的迭代器對
first2, last2	-	定義要檢查的第二個元素範圍的迭代器對
comp	-	函式物件
型別要求
- InputIt1, InputIt2 必須滿足 LegacyInputIterator 的要求。