◐ Shell
clean mode source ↗

std::lexicographical_compare — cppreference.com

Материал из cppreference.com

<tbody> </tbody>

Определено в заголовочном файле <algorithm>

template< class InputIt1, class InputIt2 > bool lexicographical_compare( InputIt1 first1, InputIt1 last1, InputIt2 first2, InputIt2 last2 );

 (1)

template< class InputIt1, class InputIt2, class Compare > bool lexicographical_compare( InputIt1 first1, InputIt1 last1, InputIt2 first2, InputIt2 last2, Compare comp );

 (2)

Проверяет, является ли первый диапазон [first1, last1) лексикографически меньше, чем второй диапазон [first2, last2). Первый вариант использует operator< для сравнения элементов, второй вариант использует предоставленную функцию сравнения comp.

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

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

Параметры

first1, last1 — первый диапазон элементов для сравнения
first2, last2 — второй диапазон элементов для сравнения
comp — объект функции сравнения (т.е. объект, удовлетворяющий требованиям Compare), который возвращает true, если первый аргумент "меньше", чем второй.

Определение сравнения должно быть эквивалентно:

bool cmp(const Type1 &a, const Type2 &b);

Использование noexcept (начиная с C++11) желательно но не обязательно. Параметры не обязаны передаваться по const&, но не должны модифицироваться. Они должны быть способны принимать все значения типа (даже const) Type1 и Type2 независимо от категории значений (таким образом, Type1& не допускается, равно как и Type1, если только для Type1 перемещение не эквивалентно копированию (начиная с C++11)). Типы Type1 и Type2 должны быть таковы, что объекты типов InputIt1 и InputIt2 могут быть разыменованы и затем неявно преобразованы в Type1 и Type2 соответственно.

Требования к типам
-InputIt1, InputIt2 должен соответствовать требованиям InputIterator.

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

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

Сложность

В большинстве случаев 2·min(N1, N2), где N1 = std::distance(first1, last1) и N2 = std::distance(first2, last2).

Возможная реализация

Первый вариант 
template<class InputIt1, class InputIt2>
bool lexicographical_compare(InputIt1 first1, InputIt1 last1,
                             InputIt2 first2, InputIt2 last2)
{
    for ( ; (first1 != last1) && (first2 != last2); first1++, first2++ ) {
        if (*first1 < *first2) return true;
        if (*first2 < *first1) return false;
    }
    return (first1 == last1) && (first2 != last2);
}
Второй вариант 
template<class InputIt1, class InputIt2, class Compare>
bool lexicographical_compare(InputIt1 first1, InputIt1 last1,
                             InputIt2 first2, InputIt2 last2,
                             Compare comp)
{
    for ( ; (first1 != last1) && (first2 != last2); first1++, first2++ ) {
        if (comp(*first1, *first2)) return true;
        if (comp(*first2, *first1)) return false;
    }
    return (first1 == last1) && (first2 != last2);
}

Пример

#include <algorithm>
#include <iostream>
#include <vector>
#include <cstdlib>
#include <ctime>

int main()
{
    std::vector<char> v1 {'a', 'b', 'c', 'd'};
    std::vector<char> v2 {'a', 'b', 'c', 'd'};

    std::srand(std::time(0));
    while (!std::lexicographical_compare(v1.begin(), v1.end(),
                                         v2.begin(), v2.end())) {
        for (auto c : v1) std::cout << c << ' ';
        std::cout << ">= ";
        for (auto c : v2) std::cout << c << ' ';
        std::cout << '\n';

        std::random_shuffle(v1.begin(), v1.end());
        std::random_shuffle(v2.begin(), v2.end());
    }

    for (auto c : v1) std::cout << c << ' ';
    std::cout << "< ";
    for (auto c : v2) std::cout << c << ' ';
    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