std::lexicographical_compare

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

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

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

Параметры

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

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