std:: lexicographical_compare
|
Определено в заголовке
<algorithm>
|
||
|
template
<
class
InputIt1,
class
InputIt2
>
bool
lexicographical_compare
(
InputIt1 first1, InputIt1 last1,
|
(1) | (constexpr since C++20) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt1,
class
ForwardIt2
>
|
(2) | (since C++17) |
|
template
<
class
InputIt1,
class
InputIt2,
class
Compare
>
bool
lexicographical_compare
(
InputIt1 first1, InputIt1 last1,
|
(3) | (constexpr since C++20) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt1,
class
ForwardIt2,
class
Compare
>
|
(4) | (since C++17) |
Проверяет, является ли первый диапазон
[
first1
,
last1
)
лексикографически
меньшим
, чем второй диапазон
[
first2
,
last2
)
.
|
std:: is_execution_policy_v < std:: decay_t < ExecutionPolicy >> равно true . |
(до C++20) |
|
std:: is_execution_policy_v < std:: remove_cvref_t < ExecutionPolicy >> равно true . |
(начиная с C++20) |
Лексикографическое сравнение — это операция со следующими свойствами:
- Два диапазона сравниваются поэлементно.
- Первый несовпадающий элемент определяет, какой диапазон лексикографически меньше или больше другого.
- Если один диапазон является префиксом другого, более короткий диапазон лексикографически меньше другого.
- Если два диапазона имеют эквивалентные элементы и одинаковую длину, то диапазоны лексикографически равны .
- Пустой диапазон лексикографически меньше любого непустого диапазона.
- Два пустых диапазона лексикографически равны .
Содержание |
Параметры
| first1, last1 | - | пара итераторов, определяющих первый диапазон элементов для проверки |
| first2, last2 | - | пара итераторов, определяющих второй диапазон элементов для проверки |
| policy | - | политика выполнения, которая будет использоваться |
| comp | - |
функциональный объект сравнения (т.е. объект, удовлетворяющий требованиям
Compare
), который возвращает
true
если первый аргумент
меньше
второго.
Сигнатура функции сравнения должна быть эквивалентна следующей: bool cmp ( const Type1 & a, const Type2 & b ) ;
Хотя сигнатура не обязана содержать
const
&
, функция не должна модифицировать переданные ей объекты и должна быть способна принимать все значения типа (возможно const)
|
| Требования к типам | ||
-
InputIt1, InputIt2
должны удовлетворять требованиям
LegacyInputIterator
.
|
||
-
ForwardIt1, ForwardIt2
должны удовлетворять требованиям
LegacyForwardIterator
.
|
||
-
Compare
должен удовлетворять требованиям
Compare
.
|
||
Возвращаемое значение
true если первый диапазон лексикографически меньше второго, в противном случае false .
Сложность
Пусть N 1 равно std:: distance ( first1, last1 ) и N 2 равно std:: distance ( first2, last2 ) :
Исключения
Перегрузки с параметром шаблона с именем
ExecutionPolicy
сообщают об ошибках следующим образом:
-
Если выполнение функции, вызванной как часть алгоритма, выбрасывает исключение и
ExecutionPolicyявляется одним из стандартных политик , std::terminate вызывается. Для любой другойExecutionPolicyповедение определяется реализацией. - Если алгоритму не удается выделить память, std::bad_alloc выбрасывается.
Возможная реализация
| lexicographical_compare (1) |
|---|
template<class InputIt1, class InputIt2> bool lexicographical_compare(InputIt1 first1, InputIt1 last1, InputIt2 first2, InputIt2 last2) { for (; (first1 != last1) && (first2 != last2); ++first1, (void) ++first2) { if (*first1 < *first2) return true; if (*first2 < *first1) return false; } return (first1 == last1) && (first2 != last2); } |
| lexicographical_compare (3) |
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, (void) ++first2) { if (comp(*first1, *first2)) return true; if (comp(*first2, *first1)) return false; } return (first1 == last1) && (first2 != last2); } |
` и `` оставлен без изменений, как и требовалось. HTML-теги и атрибуты также сохранены в оригинальном виде.
Пример
#include <algorithm> #include <iostream> #include <random> #include <vector> void print(const std::vector<char>& v, auto suffix) { for (char c : v) std::cout << c << ' '; std::cout << suffix; } int main() { std::vector<char> v1{'a', 'b', 'c', 'd'}; std::vector<char> v2{'a', 'b', 'c', 'd'}; for (std::mt19937 g{std::random_device{}()}; !std::lexicographical_compare(v1.begin(), v1.end(), v2.begin(), v2.end());) { print(v1, ">= "); print(v2, '\n'); std::shuffle(v1.begin(), v1.end(), g); std::shuffle(v2.begin(), v2.end(), g); } print(v1, "< "); print(v2, '\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
Отчеты о дефектах
Следующие отчеты об изменениях поведения, влияющие на дефекты, были применены ретроактивно к ранее опубликованным стандартам C++.
| DR | Applied to | Behavior as published | Correct behavior |
|---|---|---|---|
| LWG 142 | C++98 |
at most
min(N
1
,N
2
)
comparisons were allowed, but that
is not possible (equivalence is determined by 2 comparisons) |
doubled the limit |
| LWG 1205 | C++98 | the results of lexicographical comparisons involving empty ranges were unclear | made clear |
Смотрите также
|
определяет, являются ли два набора элементов одинаковыми
(шаблон функции) |
|
|
сравнивает два диапазона с использованием трёхстороннего сравнения
(шаблон функции) |
|
|
(C++20)
|
возвращает
true
если один диапазон лексикографически меньше другого
(функциональный объект алгоритма) |