std::ranges::lexicographical_compare

定義於標頭檔案 `<algorithm>`
呼叫簽名 (Call signature)
template< std::input_iterator I1, std::sentinel_for<I1> S1, std::input_iterator I2, std::sentinel_for<I2> S2, class Proj1 = std::identity, class Proj2 = std::identity, std::indirect_strict_weak_order< std::projected<I1, Proj1>, std::projected<I2, Proj2>> Comp = ranges::less > constexpr bool lexicographical_compare( I1 first1, S1 last1, I2 first2, S2 last2, Comp comp = {}, Proj1 proj1 = {}, Proj2 proj2 = {} );	(1)	(C++20 起)
template< ranges::input_range R1, ranges::input_range R2, class Proj1 = std::identity, class Proj2 = std::identity, std::indirect_strict_weak_order< std::projected<ranges::iterator_t<R1>, Proj1>, std::projected<ranges::iterator_t<R2>, Proj2>> Comp = ranges::less > constexpr bool lexicographical_compare( R1&& r1, R2&& r2, Comp comp = {}, Proj1 proj1 = {}, Proj2 proj2 = {} );	(2)	(C++20 起)

檢查第一個範圍 [first1, last1) 是否字典序上*小於*第二個範圍 [first2, last2)。

1) 使用給定的二元比較函式 comp 比較元素。

2) 同 (1)，但使用 r 作為源範圍，如同使用 ranges::begin(r) 作為 first 並使用 ranges::end(r) 作為 last。

字典序比較是一種具有以下屬性的操作：

兩個範圍逐元素進行比較。
第一個不匹配的元素定義了哪個範圍在字典序上小於或大於另一個。
如果一個範圍是另一個範圍的字首，則較短的範圍在字典序上小於另一個。
如果兩個範圍具有等效元素且長度相同，則這兩個範圍在字典序上相等。
空範圍在字典序上小於任何非空範圍。
兩個空範圍在字典序上相等。

本頁描述的類函式實體是 演算法函式物件（非正式地稱為 niebloids），即

呼叫它們中的任何一個時，不能指定顯式模板引數列表。
它們中的任何一個都對引數依賴查詢不可見。
當透過非限定查詢在函式呼叫運算子的左側找到其中任何一個名稱時，實參依賴查詢被抑制。

first1, last1	-	定義第一個要檢查的元素範圍的迭代器-哨兵對
r1	-	第一個要檢查的元素範圍
first2, last2	-	定義第二個要檢查的元素範圍的迭代器-哨兵對
r2	-	第二個要檢查的元素範圍
comp	-	應用於投影元素的比較函式
proj1	-	應用於第一個元素範圍的投影
proj2	-	應用於第二個元素範圍的投影

[編輯] 返回值

如果第一個範圍字典序上*小於*第二個範圍，則為true。

[編輯] 複雜度

最多應用比較和相應投影 $2\cdotmin(N1, N2)$ 次，其中 N1 = ranges::distance(first1, last1) 且 N2 = ranges::distance(first2, last2)。

[編輯] 可能的實現

struct lexicographical_compare_fn
{
    template<std::input_iterator I1, std::sentinel_for<I1> S1,
             std::input_iterator I2, std::sentinel_for<I2> S2,
             class Proj1 = std::identity, class Proj2 = std::identity,
             std::indirect_strict_weak_order<
                 std::projected<I1, Proj1>,
                 std::projected<I2, Proj2>> Comp = ranges::less>
    constexpr bool operator()(I1 first1, S1 last1, I2 first2, S2 last2,
                              Comp comp = {}, Proj1 proj1 = {}, Proj2 proj2 = {}) const
    {
        for (; (first1 != last1) && (first2 != last2); ++first1, (void) ++first2)
        {
            if (std::invoke(comp, std::invoke(proj1, *first1), std::invoke(proj2, *first2)))
                return true;
 
            if (std::invoke(comp, std::invoke(proj2, *first2), std::invoke(proj1, *first1)))
                return false;
        }
        return (first1 == last1) && (first2 != last2);
    }
 
    template<ranges::input_range R1, ranges::input_range R2,
             class Proj1 = std::identity, class Proj2 = std::identity,
             std::indirect_strict_weak_order<
                 std::projected<ranges::iterator_t<R1>, Proj1>,
                 std::projected<ranges::iterator_t<R2>, Proj2>> Comp = ranges::less>
    constexpr bool operator()(R1&& r1, R2&& r2, Comp comp = {},
                              Proj1 proj1 = {}, Proj2 proj2 = {}) const
    {
        return (*this)(ranges::begin(r1), ranges::end(r1),
                       ranges::begin(r2), ranges::end(r2),
                       std::ref(comp), std::ref(proj1), std::ref(proj2));
    }
};
 
inline constexpr lexicographical_compare_fn lexicographical_compare;

[編輯] 示例

執行此程式碼

#include <algorithm>
#include <iostream>
#include <iterator>
#include <random>
#include <vector>
 
int main()
{
    std::vector<char> v1 {'a', 'b', 'c', 'd'};
    std::vector<char> v2 {'a', 'b', 'c', 'd'};
 
    namespace ranges = std::ranges;
    auto os = std::ostream_iterator<char>(std::cout, " ");
 
    std::mt19937 g {std::random_device {}()};
    while (not ranges::lexicographical_compare(v1, v2))
    {
        ranges::copy(v1, os);
        std::cout << ">= ";
        ranges::copy(v2, os);
        std::cout << '\n';
 
        ranges::shuffle(v1, g);
        ranges::shuffle(v2, g);
    }
 
    ranges::copy(v1, os);
    std::cout << "<  ";
    ranges::copy(v2, os);
    std::cout << '\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

[編輯] 參閱

ranges::equal (C++20)	判斷兩組元素是否相同 (演算法函式物件)[編輯]
lexicographical_compare	如果一個範圍在字典上小於另一個範圍，則返回 true (函式模板) [編輯]

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

cppreference.com

名稱空間

變體

檢視

操作