std::lexicographical_compare
Определено в заголовочном файле <algorithm>
|
||
template< class InputIt1, class InputIt2 > bool lexicographical_compare( InputIt1 first1, InputIt1 last1, |
(1) | |
template< class InputIt1, class InputIt2, class Compare > bool lexicographical_compare( InputIt1 first1, InputIt1 last1, |
(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) |
Требования к типам | ||
-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