Difference between revisions of "cpp/algorithm/for each n"
m (→Return value: "first + n" => advance(first, n); undo if unwanted.) |
m (fmt) |
||
Line 2: | Line 2: | ||
{{cpp/algorithm/navbar}} | {{cpp/algorithm/navbar}} | ||
{{dcl begin}} | {{dcl begin}} | ||
− | {{dcl header | algorithm}} | + | {{dcl header|algorithm}} |
− | {{dcl rev multi | num=1 | since1=c++17 | until1=c++20 |dcl1= | + | {{dcl rev multi|num=1|since1=c++17|until1=c++20|dcl1= |
− | + | ||
template< class InputIt, class Size, class UnaryFunction > | template< class InputIt, class Size, class UnaryFunction > | ||
InputIt for_each_n( InputIt first, Size n, UnaryFunction f ); | InputIt for_each_n( InputIt first, Size n, UnaryFunction f ); | ||
− | |||
|dcl2= | |dcl2= | ||
template< class InputIt, class Size, class UnaryFunction > | template< class InputIt, class Size, class UnaryFunction > | ||
constexpr InputIt for_each_n( InputIt first, Size n, UnaryFunction f ); | constexpr InputIt for_each_n( InputIt first, Size n, UnaryFunction f ); | ||
}} | }} | ||
− | {{dcl | since=c++17 | until= | num=2 |1= | + | {{dcl|since=c++17|until=|num=2|1= |
− | + | ||
template< class ExecutionPolicy, class ForwardIt, class Size, class UnaryFunction2 > | template< class ExecutionPolicy, class ForwardIt, class Size, class UnaryFunction2 > | ||
− | ForwardIt for_each_n( ExecutionPolicy&& policy, ForwardIt first, Size n, UnaryFunction2 f ); | + | ForwardIt for_each_n( ExecutionPolicy&& policy, |
− | + | ForwardIt first, Size n, UnaryFunction2 f ); | |
}} | }} | ||
{{dcl end}} | {{dcl end}} | ||
− | @1@ Applies the given function object {{tt|f}} to the result of dereferencing every iterator in the range {{tt|[first, first + n)}}, in order. | + | @1@ Applies the given function object {{tt|f}} to the result of dereferencing every iterator in the range {{tt|[first, first + n)}}, in order. |
@2@ Applies the given function object {{tt|f}} to the result of dereferencing every iterator in the range {{tt|[first, first + n)}} (not necessarily in order). The algorithm is executed according to {{tt|policy}}. {{cpp/algorithm/parallel overload precondition}} | @2@ Applies the given function object {{tt|f}} to the result of dereferencing every iterator in the range {{tt|[first, first + n)}} (not necessarily in order). The algorithm is executed according to {{tt|policy}}. {{cpp/algorithm/parallel overload precondition}} | ||
Line 29: | Line 26: | ||
===Parameters=== | ===Parameters=== | ||
{{par begin}} | {{par begin}} | ||
− | {{par | first | the beginning of the range to apply the function to}} | + | {{par|first|the beginning of the range to apply the function to}} |
− | {{par | n | the number of elements to apply the function to}} | + | {{par|n|the number of elements to apply the function to}} |
{{par exec pol}} | {{par exec pol}} | ||
− | {{par opf | f | to be applied to the result of dereferencing every iterator in the range {{tt|[first, first + n)}} | p1=InputIt}} | + | {{par opf|f|to be applied to the result of dereferencing every iterator in the range {{tt|[first, first + n)}}|p1=InputIt}} |
{{par hreq}} | {{par hreq}} | ||
− | {{par req named | InputIt | InputIterator}} | + | {{par req named|InputIt|InputIterator}} |
− | {{par req named | ForwardIt | ForwardIterator}} | + | {{par req named|ForwardIt|ForwardIterator}} |
− | {{par req named | UnaryFunction | MoveConstructible | notes=Does not have to be {{named req|CopyConstructible}}}} | + | {{par req named|UnaryFunction|MoveConstructible|notes=Does not have to be {{named req|CopyConstructible}}}} |
− | {{par req named | UnaryFunction2 | CopyConstructible }} | + | {{par req named|UnaryFunction2|CopyConstructible }} |
{{par end}} | {{par end}} | ||
Line 51: | Line 48: | ||
===Possible implementation=== | ===Possible implementation=== | ||
See also the implementation in [https://github.com/gcc-mirror/gcc/blob/d9375e490072d1aae73a93949aa158fcd2a27018/libstdc%2B%2B-v3/include/pstl/algorithm_impl.h#L82 libstdc++], [https://github.com/llvm-mirror/libcxx/blob/a12cb9d211019d99b5875b6d8034617cbc24c2cc/include/algorithm#L896 libc++] and [https://github.com/microsoft/STL/blob/ff83542af4b683fb2f2dea1423fd6c50fe3e13b0/stl/inc/algorithm#L246 MSVC stdlib]. | See also the implementation in [https://github.com/gcc-mirror/gcc/blob/d9375e490072d1aae73a93949aa158fcd2a27018/libstdc%2B%2B-v3/include/pstl/algorithm_impl.h#L82 libstdc++], [https://github.com/llvm-mirror/libcxx/blob/a12cb9d211019d99b5875b6d8034617cbc24c2cc/include/algorithm#L896 libc++] and [https://github.com/microsoft/STL/blob/ff83542af4b683fb2f2dea1423fd6c50fe3e13b0/stl/inc/algorithm#L246 MSVC stdlib]. | ||
− | {{eq fun | 1= | + | {{eq fun|1= |
template<class InputIt, class Size, class UnaryFunction> | template<class InputIt, class Size, class UnaryFunction> | ||
InputIt for_each_n(InputIt first, Size n, UnaryFunction f) | InputIt for_each_n(InputIt first, Size n, UnaryFunction f) | ||
{ | { | ||
− | for (Size i = 0; i < n; ++first, (void) ++i) | + | for (Size i = 0; i < n; ++first, (void) ++i) |
f(*first); | f(*first); | ||
− | + | ||
return first; | return first; | ||
} | } | ||
Line 71: | Line 68: | ||
{ | { | ||
std::vector<int> ns{1, 2, 3, 4, 5}; | std::vector<int> ns{1, 2, 3, 4, 5}; | ||
− | for (auto n: ns) std::cout << n << ", "; | + | |
+ | for (auto n: ns) | ||
+ | std::cout << n << ", "; | ||
std::cout << '\n'; | std::cout << '\n'; | ||
+ | |||
std::for_each_n(ns.begin(), 3, [](auto& n){ n *= 2; }); | std::for_each_n(ns.begin(), 3, [](auto& n){ n *= 2; }); | ||
− | for (auto n: ns) std::cout << n << ", "; | + | for (auto n: ns) |
+ | std::cout << n << ", "; | ||
std::cout << '\n'; | std::cout << '\n'; | ||
} | } | ||
|output= | |output= | ||
− | 1, 2, 3, 4, 5, | + | 1, 2, 3, 4, 5, |
− | 2, 4, 6, 4, 5, | + | 2, 4, 6, 4, 5, |
}} | }} | ||
===See also=== | ===See also=== | ||
{{dsc begin}} | {{dsc begin}} | ||
− | {{dsc inc | cpp/algorithm/dsc transform}} | + | {{dsc inc|cpp/algorithm/dsc transform}} |
− | {{dsc inc | cpp/language/dsc range-for}} | + | {{dsc inc|cpp/language/dsc range-for}} |
− | {{dsc inc | cpp/algorithm/dsc for_each}} | + | {{dsc inc|cpp/algorithm/dsc for_each}} |
− | {{dsc inc | cpp/algorithm/ranges/dsc for_each_n}} | + | {{dsc inc|cpp/algorithm/ranges/dsc for_each_n}} |
{{dsc end}} | {{dsc end}} | ||
{{langlinks|de|es|fr|it|ja|pt|ru|zh}} | {{langlinks|de|es|fr|it|ja|pt|ru|zh}} |
Revision as of 15:15, 29 December 2022
Defined in header <algorithm>
|
||
(1) | ||
template< class InputIt, class Size, class UnaryFunction > InputIt for_each_n( InputIt first, Size n, UnaryFunction f ); |
(since C++17) (until C++20) |
|
template< class InputIt, class Size, class UnaryFunction > constexpr InputIt for_each_n( InputIt first, Size n, UnaryFunction f ); |
(since C++20) | |
template< class ExecutionPolicy, class ForwardIt, class Size, class UnaryFunction2 > ForwardIt for_each_n( ExecutionPolicy&& policy, |
(2) | (since C++17) |
f
to the result of dereferencing every iterator in the range [first, first + n)
, in order.f
to the result of dereferencing every iterator in the range [first, first + n)
(not necessarily in order). The algorithm is executed according to policy
. This overload participates in overload resolution only if
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) |
For both overloads, if the iterator type is mutable, f
may modify the elements of the range through the dereferenced iterator. If f
returns a result, the result is ignored. If n
is less than zero, the behavior is undefined.
Unlike the rest of the parallel algorithms, for_each_n
is not allowed to make copies of the elements in the sequence even if they are trivially copyable.
Contents |
Parameters
first | - | the beginning of the range to apply the function to |
n | - | the number of elements to apply the function to |
policy | - | the execution policy to use. See execution policy for details. |
f | - | function object, to be applied to the result of dereferencing every iterator in the range [first, first + n) The signature of the function should be equivalent to the following: void fun(const Type &a); The signature does not need to have const &. |
Type requirements | ||
-InputIt must meet the requirements of LegacyInputIterator.
| ||
-ForwardIt must meet the requirements of LegacyForwardIterator.
| ||
-UnaryFunction must meet the requirements of MoveConstructible. Does not have to be CopyConstructible
| ||
-UnaryFunction2 must meet the requirements of CopyConstructible.
|
Return value
An iterator equal to first + n, or more formally, to std::advance(first, n).
Complexity
Exactly n
applications of f
Exceptions
The overload with a template parameter named ExecutionPolicy
reports 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
See also the implementation in libstdc++, libc++ and MSVC stdlib.
template<class InputIt, class Size, class UnaryFunction> InputIt for_each_n(InputIt first, Size n, UnaryFunction f) { for (Size i = 0; i < n; ++first, (void) ++i) f(*first); return first; } |
Example
#include <algorithm> #include <iostream> #include <vector> int main() { std::vector<int> ns{1, 2, 3, 4, 5}; for (auto n: ns) std::cout << n << ", "; std::cout << '\n'; std::for_each_n(ns.begin(), 3, [](auto& n){ n *= 2; }); for (auto n: ns) std::cout << n << ", "; std::cout << '\n'; }
Output:
1, 2, 3, 4, 5, 2, 4, 6, 4, 5,
See also
applies a function to a range of elements, storing results in a destination range (function template) | |
range-for loop(C++11)
|
executes loop over range |
applies a function to a range of elements (function template) | |
(C++20) |
applies a function object to the first N elements of a sequence (niebloid) |