std:: adjacent_find
|
Определено в заголовке
<algorithm>
|
||
|
template
<
class
ForwardIt
>
ForwardIt adjacent_find ( ForwardIt first, ForwardIt last ) ; |
(1) | (constexpr начиная с C++20) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt
>
ForwardIt adjacent_find
(
ExecutionPolicy
&&
policy,
|
(2) | (начиная с C++17) |
|
template
<
class
ForwardIt,
class
BinaryPred
>
ForwardIt adjacent_find
(
ForwardIt first, ForwardIt last,
|
(3) | (constexpr начиная с C++20) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt,
class
BinaryPred
>
ForwardIt adjacent_find
(
ExecutionPolicy
&&
policy,
|
(4) | (начиная с C++17) |
Выполняет поиск в диапазоне
[
first
,
last
)
двух последовательных одинаковых элементов.
|
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) |
Содержание |
Параметры
| first, last | - | пара итераторов, определяющих диапазон элементов для проверки |
| policy | - | политика выполнения для использования |
| p | - |
бинарный предикат, который возвращает
true
если элементы должны рассматриваться как равные.
Сигнатура функции-предиката должна быть эквивалентна следующей: bool pred ( const Type1 & a, const Type2 & b ) ;
Хотя сигнатура не обязана иметь
const
&
, функция не должна модифицировать передаваемые ей объекты и должна быть способна принимать все значения типа (возможно const)
|
| Требования к типам | ||
-
ForwardIt
должен удовлетворять требованиям
LegacyForwardIterator
.
|
||
-
BinaryPred
должен удовлетворять требованиям
BinaryPredicate
.
|
||
Возвращаемое значение
Итератор на первый элемент первой пары одинаковых элементов, то есть первый итератор it такой, что * it == * ( it + 1 ) для (1,2) или p ( * it, * ( it + 1 ) ) ! = false для (3,4) .
Если такие элементы не найдены, last возвращается.
Сложность
Пусть
result
будет возвращаемым значением
adjacent_find
,
M
как
std::
distance
(
first, result
)
и
N
как
std::
distance
(
first, last
)
:
Исключения
Перегрузки с параметром шаблона с именем
ExecutionPolicy
сообщают об ошибках следующим образом:
-
Если выполнение функции, вызванной как часть алгоритма, выбрасывает исключение и
ExecutionPolicyявляется одним из стандартных политик , std::terminate вызывается. Для любой другойExecutionPolicyповедение определяется реализацией. - Если алгоритму не удается выделить память, std::bad_alloc выбрасывается.
Возможная реализация
| adjacent_find (1) |
|---|
template<class ForwardIt> ForwardIt adjacent_find(ForwardIt first, ForwardIt last) { if (first == last) return last; ForwardIt next = first; ++next; for (; next != last; ++next, ++first) if (*first == *next) return first; return last; } |
| adjacent_find (3) |
template<class ForwardIt, class BinaryPred> ForwardIt adjacent_find(ForwardIt first, ForwardIt last, BinaryPred p) { if (first == last) return last; ForwardIt next = first; ++next; for (; next != last; ++next, ++first) if (p(*first, *next)) return first; return last; } |
` и `` оставлен без изменений, как и требовалось. HTML-теги и атрибуты также сохранены в оригинальном виде.
Пример
#include <algorithm> #include <functional> #include <iostream> #include <vector> int main() { std::vector<int> v1{0, 1, 2, 3, 40, 40, 41, 41, 5}; auto i1 = std::adjacent_find(v1.begin(), v1.end()); if (i1 == v1.end()) std::cout << "No matching adjacent elements\n"; else std::cout << "The first adjacent pair of equal elements is at " << std::distance(v1.begin(), i1) << ", *i1 = " << *i1 << '\n'; auto i2 = std::adjacent_find(v1.begin(), v1.end(), std::greater<int>()); if (i2 == v1.end()) std::cout << "The entire vector is sorted in ascending order\n"; else std::cout << "The last element in the non-decreasing subsequence is at " << std::distance(v1.begin(), i2) << ", *i2 = " << *i2 << '\n'; }
Вывод:
The first adjacent pair of equal elements is at 4, *i1 = 40 The last element in the non-decreasing subsequence is at 7, *i2 = 41
Отчеты о дефектах
Следующие отчеты об изменениях поведения, влияющие на дефекты, были применены ретроактивно к ранее опубликованным стандартам C++.
| DR | Применяется к | Поведение в опубликованной версии | Корректное поведение |
|---|---|---|---|
| LWG 240 | C++98 |
предикат применялся
std::
find
( first, last, value ) - first раз для (1,3) , где value никогда не был определён |
применяется
std::
min
(
( result - first ) + 1 , ( last - first ) - 1 ) раз |
Смотрите также
|
удаляет последовательные дублирующиеся элементы в диапазоне
(шаблон функции) |
|
|
(C++20)
|
находит первые два соседних элемента, которые равны (или удовлетворяют заданному предикату)
(функциональный объект алгоритма) |