Difference between revisions of "cpp/algorithm/find"
Andreas Krug (Talk | contribs) m (fmt, ., capitalized 1st letter, +const) |
(Uses {{mark constexpr since c++20}}.) |
||
Line 3: | Line 3: | ||
{{dcl begin}} | {{dcl begin}} | ||
{{dcl header|algorithm}} | {{dcl header|algorithm}} | ||
− | {{ | + | {{dcla|num=1|notes={{mark constexpr since c++20}}| |
template< class InputIt, class T > | template< class InputIt, class T > | ||
InputIt find( InputIt first, InputIt last, const T& value ); | InputIt find( InputIt first, InputIt last, const T& value ); | ||
− | |||
− | |||
− | |||
}} | }} | ||
{{dcl|num=2|since=c++17| | {{dcl|num=2|since=c++17| | ||
Line 15: | Line 12: | ||
ForwardIt first, ForwardIt last, const T& value ); | ForwardIt first, ForwardIt last, const T& value ); | ||
}} | }} | ||
− | {{ | + | {{dcla|num=3|notes={{mark constexpr since c++20}}| |
− | + | template< class InputIt, class UnaryPred > | |
− | + | InputIt find_if( InputIt first, InputIt last, UnaryPred p ); | |
− | + | ||
− | template< class InputIt, class | + | |
− | + | ||
}} | }} | ||
{{dcl|num=4|since=c++17| | {{dcl|num=4|since=c++17| | ||
− | template< class ExecutionPolicy, class ForwardIt, class | + | template< class ExecutionPolicy, class ForwardIt, class UnaryPred > |
ForwardIt find_if( ExecutionPolicy&& policy, | ForwardIt find_if( ExecutionPolicy&& policy, | ||
− | ForwardIt first, ForwardIt last, | + | ForwardIt first, ForwardIt last, UnaryPred p ); |
}} | }} | ||
− | {{ | + | {{dcla|num=5|since=c++11|notes={{mark constexpr since c++20}}| |
− | + | template< class InputIt, class UnaryPred > | |
− | + | InputIt find_if_not( InputIt first, InputIt last, UnaryPred q ); | |
− | + | ||
− | template< class InputIt, class | + | |
− | + | ||
}} | }} | ||
{{dcl|num=6|since=c++17| | {{dcl|num=6|since=c++17| | ||
− | template< class ExecutionPolicy, class ForwardIt, class | + | template< class ExecutionPolicy, class ForwardIt, class UnaryPred > |
ForwardIt find_if_not( ExecutionPolicy&& policy, | ForwardIt find_if_not( ExecutionPolicy&& policy, | ||
− | ForwardIt first, ForwardIt last, | + | ForwardIt first, ForwardIt last, UnaryPred q ); |
}} | }} | ||
{{dcl end}} | {{dcl end}} | ||
− | Returns an iterator to the first element in the range {{range|first|last}} that satisfies specific criteria (or {{c|last}} if there is no such iterator) | + | Returns an iterator to the first element in the range {{range|first|last}} that satisfies specific criteria (or {{c|last}} if there is no such iterator). |
+ | |||
@1@ {{tt|find}} searches for an element equal to {{c|value}} (using {{tt|1=operator==}}). | @1@ {{tt|find}} searches for an element equal to {{c|value}} (using {{tt|1=operator==}}). | ||
Line 47: | Line 39: | ||
@5@ {{tt|find_if_not}} searches for an element for which predicate {{c|q}} returns {{c|false}}. | @5@ {{tt|find_if_not}} searches for an element for which predicate {{c|q}} returns {{c|false}}. | ||
− | @2,4,6@ Same as {{v|1,3,5}}, but executed according to {{c|policy}}. {{cpp/algorithm/parallel overload precondition|plural= | + | |
+ | @2,4,6@ Same as {{v|1,3,5}}, but executed according to {{c|policy}}. | ||
+ | @@ {{cpp/algorithm/parallel overload precondition|plural=yes}} | ||
===Parameters=== | ===Parameters=== | ||
Line 69: | Line 63: | ||
===Complexity=== | ===Complexity=== | ||
− | Given {{ | + | Given {{mathjax-or|\(\scriptsize N\)|N}} as {{c|std::distance(first, last)}}: |
− | @1,2@ At most {{ | + | @1,2@ At most {{mathjax-or|\(\scriptsize N\)|N}} comparisons with {{c|value}} using {{tt|1=operator==}}. |
− | @3,4@ At most {{ | + | @3,4@ At most {{mathjax-or|\(\scriptsize N\)|N}} applications of the predicate {{c|p}}. |
− | @5,6@ At most {{ | + | @5,6@ At most {{mathjax-or|\(\scriptsize N\)|N}} applications of the predicate {{c|q}}. |
===Exceptions=== | ===Exceptions=== | ||
Line 90: | Line 84: | ||
} | } | ||
|title2=find_if|ver2=3|2= | |title2=find_if|ver2=3|2= | ||
− | template<class InputIt, class | + | template<class InputIt, class UnaryPred> |
− | constexpr InputIt find_if(InputIt first, InputIt last, | + | constexpr InputIt find_if(InputIt first, InputIt last, UnaryPred p) |
{ | { | ||
for (; first != last; ++first) | for (; first != last; ++first) | ||
Line 100: | Line 94: | ||
} | } | ||
|title3=find_if_not|ver3=5|3= | |title3=find_if_not|ver3=5|3= | ||
− | template<class InputIt, class | + | template<class InputIt, class UnaryPred> |
− | constexpr InputIt find_if_not(InputIt first, InputIt last, | + | constexpr InputIt find_if_not(InputIt first, InputIt last, UnaryPred q) |
{ | { | ||
for (; first != last; ++first) | for (; first != last; ++first) | ||
Line 112: | Line 106: | ||
===Notes=== | ===Notes=== | ||
− | If | + | If C++11 is not available, an equivalent to {{tt|std::find_if_not}} is to use {{tt|std::find_if}} with the negated predicate. |
{{eq fun|1= | {{eq fun|1= | ||
− | template<class InputIt, class | + | template<class InputIt, class UnaryPred> |
− | InputIt find_if_not(InputIt first, InputIt last, | + | InputIt find_if_not(InputIt first, InputIt last, UnaryPred q) |
{ | { | ||
return std::find_if(first, last, std::not1(q)); | return std::find_if(first, last, std::not1(q)); | ||
Line 132: | Line 126: | ||
{ | { | ||
const auto v = {1, 2, 3, 4}; | const auto v = {1, 2, 3, 4}; | ||
− | + | ||
for (const int n : {3, 5}) | for (const int n : {3, 5}) | ||
(std::find(v.begin(), v.end(), n) == std::end(v)) | (std::find(v.begin(), v.end(), n) == std::end(v)) | ||
? std::cout << "v does not contain " << n << '\n' | ? std::cout << "v does not contain " << n << '\n' | ||
: std::cout << "v contains " << n << '\n'; | : std::cout << "v contains " << n << '\n'; | ||
− | + | ||
auto is_even = [](int i) { return i % 2 == 0; }; | auto is_even = [](int i) { return i % 2 == 0; }; | ||
− | + | ||
for (auto const& w : {std::array{3, 1, 4}, {1, 3, 5}<!---->}) | for (auto const& w : {std::array{3, 1, 4}, {1, 3, 5}<!---->}) | ||
if (auto it = std::find_if(begin(w), end(w), is_even); it != std::end(w)) | if (auto it = std::find_if(begin(w), end(w), is_even); it != std::end(w)) | ||
Line 155: | Line 149: | ||
===Defect reports=== | ===Defect reports=== | ||
{{dr list begin}} | {{dr list begin}} | ||
− | {{dr list item|wg=lwg|dr=283|std=C++98|before={{tt|T}} was required to be {{named req|EqualityComparable}}, but<br>the value type of {{tt|InputIt}} | + | {{dr list item|wg=lwg|dr=283|std=C++98|before={{tt|T}} was required to be {{named req|EqualityComparable}}, but<br>the value type of {{tt|InputIt}} might not be {{tt|T}}|after=removed the requirement}} |
{{dr list end}} | {{dr list end}} | ||
Revision as of 18:09, 19 March 2024
Defined in header <algorithm>
|
||
template< class InputIt, class T > InputIt find( InputIt first, InputIt last, const T& value ); |
(1) | (constexpr since C++20) |
template< class ExecutionPolicy, class ForwardIt, class T > ForwardIt find( ExecutionPolicy&& policy, |
(2) | (since C++17) |
template< class InputIt, class UnaryPred > InputIt find_if( InputIt first, InputIt last, UnaryPred p ); |
(3) | (constexpr since C++20) |
template< class ExecutionPolicy, class ForwardIt, class UnaryPred > ForwardIt find_if( ExecutionPolicy&& policy, |
(4) | (since C++17) |
template< class InputIt, class UnaryPred > InputIt find_if_not( InputIt first, InputIt last, UnaryPred q ); |
(5) | (since C++11) (constexpr since C++20) |
template< class ExecutionPolicy, class ForwardIt, class UnaryPred > ForwardIt find_if_not( ExecutionPolicy&& policy, |
(6) | (since C++17) |
Returns an iterator to the first element in the range [
first,
last)
that satisfies specific criteria (or last if there is no such iterator).
find
searches for an element equal to value (using operator==
).find_if
searches for an element for which predicate p returns true.find_if_not
searches for an element for which predicate q returns false.
std::is_execution_policy_v<std::decay_t<ExecutionPolicy>> is true. |
(until C++20) |
std::is_execution_policy_v<std::remove_cvref_t<ExecutionPolicy>> is true. |
(since C++20) |
Contents |
Parameters
first, last | - | the range of elements to examine |
value | - | value to compare the elements to |
policy | - | the execution policy to use. See execution policy for details. |
p | - | unary predicate which returns true for the required element. The expression p(v) must be convertible to bool for every argument |
q | - | unary predicate which returns false for the required element. The expression q(v) must be convertible to bool for every argument |
Type requirements | ||
-InputIt must meet the requirements of LegacyInputIterator.
| ||
-ForwardIt must meet the requirements of LegacyForwardIterator.
| ||
-UnaryPredicate must meet the requirements of Predicate.
|
Return value
The first iterator it in the range [
first,
last)
satisfying the following condition or last if there is no such iterator:
Complexity
Given N as std::distance(first, last):
operator==
.Exceptions
The overloads with a template parameter named ExecutionPolicy
report errors as follows:
- If execution of a function invoked as part of the algorithm throws an exception and
ExecutionPolicy
is one of the standard policies, std::terminate is called. For any otherExecutionPolicy
, the behavior is implementation-defined. - If the algorithm fails to allocate memory, std::bad_alloc is thrown.
Possible implementation
find |
---|
template<class InputIt, class T> constexpr InputIt find(InputIt first, InputIt last, const T& value) { for (; first != last; ++first) if (*first == value) return first; return last; } |
find_if |
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 |
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; } |
Notes
If C++11 is not available, an equivalent to std::find_if_not
is to use std::find_if
with the negated predicate.
template<class InputIt, class UnaryPred> InputIt find_if_not(InputIt first, InputIt last, UnaryPred q) { return std::find_if(first, last, std::not1(q)); } |
Example
The following example finds integers in given std::vector.
#include <algorithm> #include <array> #include <iostream> int main() { const auto v = {1, 2, 3, 4}; for (const int n : {3, 5}) (std::find(v.begin(), v.end(), n) == std::end(v)) ? std::cout << "v does not contain " << n << '\n' : std::cout << "v contains " << n << '\n'; auto is_even = [](int i) { return i % 2 == 0; }; for (auto const& w : {std::array{3, 1, 4}, {1, 3, 5}}) if (auto it = std::find_if(begin(w), end(w), is_even); it != std::end(w)) std::cout << "w contains an even number " << *it << '\n'; else std::cout << "w does not contain even numbers\n"; }
Output:
v contains 3 v does not contain 5 w contains an even number 4 w does not contain even numbers
Defect reports
The following behavior-changing defect reports were applied retroactively to previously published C++ standards.
DR | Applied to | Behavior as published | Correct behavior |
---|---|---|---|
LWG 283 | C++98 | T was required to be EqualityComparable, butthe value type of InputIt might not be T
|
removed the requirement |
See also
finds the first two adjacent items that are equal (or satisfy a given predicate) (function template) | |
finds the last sequence of elements in a certain range (function template) | |
searches for any one of a set of elements (function template) | |
finds the first position where two ranges differ (function template) | |
searches for the first occurrence of a range of elements (function template) | |
(C++20)(C++20)(C++20) |
finds the first element satisfying specific criteria (niebloid) |