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 ) лексикографически меньшим , чем второй диапазон [ first2 , last2 ) . Элементы сравниваются с использованием заданной бинарной функции сравнения comp , после проецирования с помощью proj1 и proj2 соответственно.
2) То же, что и (1) , но использует r1 в качестве первого исходного диапазона и r2 в качестве второго исходного диапазона, как если бы использовались ranges:: begin ( r1 ) как first1 , ranges:: end ( r1 ) как last1 , ranges:: begin ( r2 ) как first2 , и ranges:: end ( r2 ) как last2 .

Лексикографическое сравнение — это операция со следующими свойствами:

  • Два диапазона сравниваются поэлементно.
  • Первый несовпадающий элемент определяет, какой диапазон лексикографически меньше или больше другого.
  • Если один диапазон является префиксом другого, то более короткий диапазон лексикографически меньше другого.
  • Если два диапазона имеют эквивалентные элементы и одинаковую длину, то диапазоны лексикографически равны .
  • Пустой диапазон лексикографически меньше любого непустого диапазона.
  • Два пустых диапазона лексикографически равны .

Содержание

Параметры

first1, last1 - первый диапазон элементов для проверки
r1 - первый диапазон элементов для проверки
first2, last2 - второй диапазон элементов для проверки
r2 - второй диапазон элементов для проверки
comp - функция сравнения для применения к проецируемым элементам
proj1 - проекция для применения к элементам первого диапазона
proj2 - проекция для применения к элементам второго диапазона

Возвращаемое значение

true если первая последовательность лексикографически меньше второй.

Сложность

Не более 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);
}
**Примечание:** Весь код C++ внутри тегов ` 
` и `` оставлен без изменений в соответствии с инструкциями. HTML-разметка и атрибуты также сохранены в оригинальном виде.

Пример

Этот раздел не завершён
Причина: отсутствует пример

Смотрите также

возвращает true если один диапазон лексикографически меньше другого
(шаблон функции)
определяет, идентичны ли два набора элементов
(шаблон функции)