Пространства имён
Варианты
Действия

std::lexicographical_compare

Материал из cppreference.com
< cpp‎ | algorithm
 
 
Алгоритмы
Функции
Немодифицирующие линейные операции
Модифицирующие линейные операции
Разделение
Сортировка (на отсортированных промежутках)
Бинарный поиск (на отсортированных промежутках)
Множества (на отсортированных промежутках)
Куча
Минимум/максимум
lexicographical_compare
is_permutation(C++11)
next_permutation
prev_permutation
Числовые операции
Библиотека C
 
Определено в заголовочном файле <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 - функция сравнения, возвращающая ​true если первый аргумент меньше второго.

Сигнатура функции сравнения должна быть эквивалентна следующей:

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

Сигнатура на обязана содержать const &, однако, функция на может изменять переданные объекты.
Типы 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