std:: find_first_of
|
Определено в заголовке
<algorithm>
|
||
|
template
<
class
InputIt,
class
ForwardIt
>
InputIt find_first_of
(
InputIt first, InputIt last,
|
(1) | (constexpr since C++20) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt1,
class
ForwardIt2
>
ForwardIt1 find_first_of
(
ExecutionPolicy
&&
policy,
|
(2) | (since C++17) |
|
template
<
class
InputIt,
class
ForwardIt,
class
BinaryPred
>
InputIt find_first_of
(
InputIt first, InputIt last,
|
(3) | (constexpr since C++20) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt1,
class
ForwardIt2,
class
BinaryPred
>
|
(4) | (since C++17) |
Выполняет поиск в диапазоне
[
first
,
last
)
любого из элементов в диапазоне
[
s_first
,
s_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 | - | пара итераторов, определяющая диапазон элементов для проверки |
| s_first, s_last | - | пара итераторов, определяющая диапазон элементов для поиска |
| policy | - | используемая политика выполнения |
| p | - |
бинарный предикат, который возвращает
true
если элементы следует считать равными.
Сигнатура функции-предиката должна быть эквивалентна следующей: bool pred ( const Type1 & a, const Type2 & b ) ;
Хотя сигнатура не обязана иметь
const
&
, функция не должна модифицировать передаваемые ей объекты и должна быть способна принимать все значения типов (возможно const)
|
| Требования к типам | ||
-
InputIt
должен удовлетворять требованиям
LegacyInputIterator
.
|
||
-
ForwardIt
должен удовлетворять требованиям
LegacyForwardIterator
.
|
||
-
ForwardIt1
должен удовлетворять требованиям
LegacyForwardIterator
.
|
||
-
ForwardIt2
должен удовлетворять требованиям
LegacyForwardIterator
.
|
||
-
BinaryPred
должен удовлетворять требованиям
BinaryPredicate
.
|
||
Возвращаемое значение
Итератор на первый элемент в диапазоне
[
first
,
last
)
, который равен элементу из диапазона
[
s_first
,
s_last
)
.
Если
[
s_first
,
s_last
)
пуст или если такой элемент не найден,
last
возвращается.
Сложность
Пусть N равно std:: distance ( first, last ) и S равно std:: distance ( s_first, s_last ) :
Исключения
Перегрузки с параметром шаблона с именем
ExecutionPolicy
сообщают об ошибках следующим образом:
-
Если выполнение функции, вызванной как часть алгоритма, выбрасывает исключение и
ExecutionPolicyявляется одним из стандартных политик , std::terminate вызывается. Для любой другойExecutionPolicyповедение определяется реализацией. - Если алгоритму не удается выделить память, std::bad_alloc выбрасывается.
Возможная реализация
| find_first_of (1) |
|---|
template<class InputIt, class ForwardIt> InputIt find_first_of(InputIt first, InputIt last, ForwardIt s_first, ForwardIt s_last) { for (; first != last; ++first) for (ForwardIt it = s_first; it != s_last; ++it) if (*first == *it) return first; return last; } |
| find_first_of (3) |
template<class InputIt, class ForwardIt, class BinaryPred> InputIt find_first_of(InputIt first, InputIt last, ForwardIt s_first, ForwardIt s_last, BinaryPred p) { for (; first != last; ++first) for (ForwardIt it = s_first; it != s_last; ++it) if (p(*first, *it)) return first; return last; } |
` и `` оставлен без изменений, как и требовалось. HTML-теги и атрибуты также сохранены в оригинальном виде.
Пример
Следующий код выполняет поиск любого из указанных целых чисел в векторе целых чисел:
#include <algorithm> #include <iostream> #include <vector> auto print_sequence = [](const auto id, const auto& seq, int pos = -1) { std::cout << id << "{ "; for (int i{}; auto const& e : seq) { const bool mark{i == pos}; std::cout << (i++ ? ", " : ""); std::cout << (mark ? "[ " : "") << e << (mark ? " ]" : ""); } std::cout << " }\n"; }; int main() { const std::vector<int> v{0, 2, 3, 25, 5}; const auto t1 = {19, 10, 3, 4}; const auto t2 = {1, 6, 7, 9}; auto find_any_of = [](const auto& v, const auto& t) { const auto result = std::find_first_of(v.begin(), v.end(), t.begin(), t.end()); if (result == v.end()) { std::cout << "No elements of v are equal to any element of "; print_sequence("t = ", t); print_sequence("v = ", v); } else { const auto pos = std::distance(v.begin(), result); std::cout << "Found a match (" << *result << ") at position " << pos; print_sequence(", where t = ", t); print_sequence("v = ", v, pos); } }; find_any_of(v, t1); find_any_of(v, t2); }
Вывод:
Found a match (3) at position 2, where t = { 19, 10, 3, 4 }
v = { 0, 2, [ 3 ], 25, 5 }
No elements of v are equal to any element of t = { 1, 6, 7, 9 }
v = { 0, 2, 3, 25, 5 }
Отчеты о дефектах
Следующие отчеты об изменениях поведения, влияющие на дефекты, были применены задним числом к ранее опубликованным стандартам C++.
| DR | Применяется к | Поведение в опубликованной версии | Корректное поведение |
|---|---|---|---|
| LWG 576 | C++98 | first и last должны были быть LegacyForwardIterator s |
они должны быть только
LegacyInputIterator s |
| LWG 1205 | C++98 |
возвращаемое значение было неясным, если
[
s_first
,
s_last
)
пуст
|
возвращает last в этом случае |
Смотрите также
|
(C++11)
|
находит первый элемент, удовлетворяющий определенным критериям
(шаблон функции) |
|
(C++20)
|
выполняет поиск любого элемента из набора
(функциональный объект алгоритма) |