std:: find, std:: find_if, std:: find_if_not
|
Определено в заголовке
<algorithm>
|
||
| (1) | ||
|
template
<
class
InputIt,
class
T
>
InputIt find ( InputIt first, InputIt last, const T & value ) ; |
(constexpr начиная с C++20)
(до C++26) |
|
|
template
<
class
InputIt,
class
T
=
typename
std::
iterator_traits
<
InputIt
>
::
value_type
>
|
(начиная с C++26) | |
| (2) | ||
|
template
<
class
ExecutionPolicy,
class
ForwardIt,
class
T
>
ForwardIt find
(
ExecutionPolicy
&&
policy,
|
(начиная с C++17)
(до C++26) |
|
|
template
<
class
ExecutionPolicy,
class
ForwardIt,
class
T
=
typename
std::
iterator_traits
|
(начиная с C++26) | |
|
template
<
class
InputIt,
class
UnaryPred
>
InputIt find_if ( InputIt first, InputIt last, UnaryPred p ) ; |
(3) | (constexpr начиная с C++20) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt,
class
UnaryPred
>
ForwardIt find_if
(
ExecutionPolicy
&&
policy,
|
(4) | (начиная с C++17) |
|
template
<
class
InputIt,
class
UnaryPred
>
InputIt find_if_not ( InputIt first, InputIt last, UnaryPred q ) ; |
(5) |
(начиная с C++11)
(constexpr начиная с C++20) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt,
class
UnaryPred
>
ForwardIt find_if_not
(
ExecutionPolicy
&&
policy,
|
(6) | (начиная с C++17) |
Возвращает итератор на первый элемент в диапазоне
[
first
,
last
)
, удовлетворяющий определённым критериям (или
last
, если такой итератор не найден).
find
выполняет поиск элемента, равного
value
(используя
operator==
).
find_if
ищет элемент, для которого предикат
p
возвращает
true
.
find_if_not
ищет элемент, для которого предикат
q
возвращает
false
.
|
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 | - | пара итераторов, определяющих диапазон элементов для проверки |
| value | - | значение для сравнения с элементами |
| policy | - | используемая политика выполнения |
| p | - |
унарный предикат, который возвращает
true
для требуемого элемента.
Выражение
p
(
v
)
должно быть преобразуемо в
bool
для каждого аргумента
|
| q | - |
унарный предикат, который возвращает
false
для требуемого элемента.
Выражение
q
(
v
)
должно быть преобразуемо в
bool
для каждого аргумента
|
| Требования к типам | ||
-
InputIt
должен удовлетворять требованиям
LegacyInputIterator
.
|
||
-
ForwardIt
должен удовлетворять требованиям
LegacyForwardIterator
.
|
||
-
UnaryPredicate
должен удовлетворять требованиям
Predicate
.
|
||
Возвращаемое значение
Первый итератор
it
в
диапазоне
[
first
,
last
)
удовлетворяющий следующему условию или
last
если такого итератора не существует:
Сложность
Дано N как std:: distance ( first, last ) :
operator==
.
Исключения
Перегрузки с параметром шаблона с именем
ExecutionPolicy
сообщают об ошибках следующим образом:
-
Если выполнение функции, вызванной как часть алгоритма, выбрасывает исключение и
ExecutionPolicyявляется одним из стандартных политик , std::terminate вызывается. Для любой другойExecutionPolicyповедение определяется реализацией. - Если алгоритму не удается выделить память, std::bad_alloc выбрасывается.
Возможная реализация
| find (1) |
|---|
template<class InputIt, class T = typename std::iterator_traits<InputIt>::value_type> constexpr InputIt find(InputIt first, InputIt last, const T& value) { for (; first != last; ++first) if (*first == value) return first; return last; } |
| find_if (3) |
template<class InputIt, class UnaryPred> constexpr InputIt find_if(InputIt first, InputIt last, UnaryPred p) { for (; first != last; ++first) if (p(*first)) return first; return last; } |
| find_if_not (5) |
template<class InputIt, class UnaryPred> constexpr InputIt find_if_not(InputIt first, InputIt last, UnaryPred q) { for (; first != last; ++first) if (!q(*first)) return first; return last; } |
` и `` оставлен без изменений, как и требовалось. HTML-теги и атрибуты также сохранены в оригинальном виде. Переведены только текстовые элементы на странице.
Примечания
Если C++11 недоступен, эквивалентом
std::find_if_not
является использование
std::find_if
с инвертированным предикатом.
template<class InputIt, class UnaryPred> InputIt find_if_not(InputIt first, InputIt last, UnaryPred q) { return std::find_if(first, last, std::not1(q)); } |
` был сохранен без изменений, как и требовалось. HTML-теги и атрибуты также остались нетронутыми.
| Макрос тестирования возможностей | Значение | Стандарт | Возможность |
|---|---|---|---|
__cpp_lib_algorithm_default_value_type
|
202403
|
(C++26) | Списковая инициализация для алгоритмов ( 1,2 ) |
Пример
Следующий пример находит числа в заданных последовательностях.
#include <algorithm> #include <array> #include <cassert> #include <complex> #include <initializer_list> #include <iostream> #include <vector> bool is_even(int i) { return i % 2 == 0; } void example_contains() { const auto haystack = {1, 2, 3, 4}; for (const int needle : {3, 5}) if (std::find(haystack.begin(), haystack.end(), needle) == haystack.end()) std::cout << "haystack does not contain " << needle << '\n'; else std::cout << "haystack contains " << needle << '\n'; } void example_predicate() { for (const auto& haystack : {std::array{3, 1, 4}, {1, 3, 5}}) { const auto it = std::find_if(haystack.begin(), haystack.end(), is_even); if (it != haystack.end()) std::cout << "haystack contains an even number " << *it << '\n'; else std::cout << "haystack does not contain even numbers\n"; } } void example_list_init() { std::vector<std::complex<double>> haystack{{4.0, 2.0}}; #ifdef __cpp_lib_algorithm_default_value_type // T gets deduced making list-initialization possible const auto it = std::find(haystack.begin(), haystack.end(), {4.0, 2.0}); #else const auto it = std::find(haystack.begin(), haystack.end(), std::complex{4.0, 2.0}); #endif assert(it == haystack.begin()); } int main() { example_contains(); example_predicate(); example_list_init(); }
Вывод:
haystack contains 3 haystack does not contain 5 haystack contains an even number 4 haystack does not contain even numbers
Отчеты о дефектах
Следующие отчеты об изменениях в поведении, содержащие исправления дефектов, были применены ретроактивно к ранее опубликованным стандартам C++.
| DR | Applied to | Behavior as published | Correct behavior |
|---|---|---|---|
| LWG 283 | C++98 |
T
требовался быть
EqualityComparable
, но
тип значения
InputIt
может не быть
T
|
требование удалено |
Смотрите также
|
находит первые два соседних элемента, которые равны (или удовлетворяют заданному предикату)
(шаблон функции) |
|
|
находит последнюю последовательность элементов в заданном диапазоне
(шаблон функции) |
|
|
ищет любой из набора элементов
(шаблон функции) |
|
|
находит первую позицию, в которой два диапазона различаются
(шаблон функции) |
|
|
ищет первое вхождение диапазона элементов
(шаблон функции) |
|
|
(C++20)
(C++20)
(C++20)
|
находит первый элемент, удовлетворяющий определенным критериям
(функциональный объект алгоритма) |