Namespaces
Variants

std::experimental::ranges:: lexicographical_compare

From cppreference.net
C++
Experimental
Ranges
Algorithms library
Non-modifying sequence operations
lexicographical_compare


Modifying sequence operations
Partitioning operations
Sorting operations
Binary search operations
Set operations (on sorted ranges)
Heap operations
Minimum/maximum operations
Permutations
ヘッダー <experimental/ranges/algorithm> で定義
template < InputIterator I1, Sentinel < I1 > S1, InputIterator I2, Sentinel < I2 > S2,

class Proj1 = ranges:: identity , class Proj2 = ranges:: identity ,
class Comp = ranges:: less <> >
requires IndirectStrictWeakOrder < Comp, projected < I1, Proj1 > , projected < I2, Proj2 >>
bool lexicographical_compare ( I1 first1, S1 last1, I2 first2, S2 last2,
Comp comp = Comp { } ,

Proj1 proj1 = Proj1 { } , Proj2 proj2 = Proj2 { } ) ;
(1) (ranges TS)
template < InputRange R1, InputRange R2,

class Proj1 = ranges:: identity , class Proj2 = ranges:: identity ,
class Comp = ranges:: less <> >
requires IndirectStrictWeakOrder < Comp, projected < ranges:: iterator_t < R1 > , Proj1 > ,
projected < ranges:: iterator_t < R2 > , Proj2 >>
bool lexicographical_compare ( R1 && r1, R2 && r2, Comp comp = Comp { } ,

Proj1 proj1 = Proj1 { } , Proj2 proj2 = Proj2 { } ) ;
(2) (ranges TS)
1) 最初の範囲 [ first1 , last1 ) が2番目の範囲 [ first2 , last2 ) より辞書順で 小さい かどうかをチェックします。要素は、それぞれ proj1 と proj2 で投影された後、指定された二項比較関数 comp を使用して比較されます。
2) (1) と同様だが、 r1 を第一ソース範囲として、 r2 を第二ソース範囲として使用する。すなわち、 ranges:: begin ( r1 ) を first1 として、 ranges:: end ( r1 ) を last1 として、 ranges:: begin ( r2 ) を first2 として、 ranges:: end ( r2 ) を last2 として使用する場合と同等である。

辞書順比較は以下の特性を持つ操作です：

  • 2つの範囲が要素ごとに比較されます。
  • 最初に不一致となる要素によって、どちらの範囲が辞書順で less または greater となるかが定義されます。
  • 一方の範囲が他方の接頭辞である場合、短い方の範囲が辞書順で less となります。
  • 2つの範囲が同等の要素を持ち、同じ長さである場合、それらの範囲は辞書順で equal となります。
  • 空の範囲は、あらゆる非空の範囲に対して辞書順で less となります。
  • 2つの空の範囲は辞書順で equal となります。

目次

パラメータ

first1, last1 - 検査対象の最初の要素範囲
r1 - 検査対象の最初の要素範囲
first2, last2 - 検査対象の2番目の要素範囲
r2 - 検査対象の2番目の要素範囲
comp - 投影された要素に適用する比較関数
proj1 - 最初の範囲の要素に適用する投影
proj2 - 2番目の範囲の要素に適用する投影

戻り値

true 最初の範囲が2番目の範囲より辞書順で 小さい 場合。

計算量

最大で 2·min(N1, N2) 回の比較操作が適用されます。ここで N1 = last1 - first1 および N2 = last2 - first2 です。

実装例 

template<InputIterator I1, Sentinel<I1> S1, InputIterator I2, Sentinel<I2> S2,
         class Proj1 = ranges::identity, class Proj2 = ranges::identity,
         class Comp = ranges::less<>>
    requires IndirectStrictWeakOrder<Comp, projected<I1, Proj1>, projected<I2, Proj2>>
bool lexicographical_compare(I1 first1, S1 last1, I2 first2, S2 last2,
                             Comp comp = Comp{}, 
                             Proj1 proj1 = Proj1{}, Proj2 proj2 = Proj2{})
{
    for (; (first1 != last1) && (first2 != last2); (void) ++first1, (void) ++first2)
    {
        if (ranges::invoke(comp, ranges::invoke(proj1, *first1),
                                 ranges::invoke(proj2, *first2)))
            return true;
        if (ranges::invoke(comp, ranges::invoke(proj2, *first2),
                                 ranges::invoke(proj1, *first1)))
            return false;
    }
    return (first1 == last1) && (first2 != last2);
}

例

このセクションは不完全です
理由: 例がありません

関連項目

一方の範囲が辞書順でもう一方より小さい場合に true を返す
(関数テンプレート)
二つの要素集合が同じかどうかを判定する
(関数テンプレート)