class OutputIt2, class UnaryPred >
std::pair<OutputIt1, OutputIt2>
partition_copy( InputIt first, InputIt last,
OutputIt1 d_first_true, OutputIt2 d_first_false,
class ForwardIt3, class UnaryPred >
std::pair<ForwardIt2, ForwardIt3>
partition_copy( ExecutionPolicy&& policy,
ForwardIt1 first, ForwardIt1 last,
ForwardIt2 d_first_true, ForwardIt3 d_first_false,
Copies the elements from the range
[
first,
last)
to two different ranges depending on the value returned by the predicate
p.
2) Same as (1), but executed according to policy.
This overload participates in overload resolution only if all following conditions are satisfied:
If *first is not writable to d_first_true or d_first_false, the program is ill-formed.
Among the input range and the two output ranges, if any two ranges overlap, the behavior is undefined.
[edit] Parameters first, last - the pair of iterators defining the source range of elements to copy from d_first_true - the beginning of the output range for the elements that satisfy p d_first_false - the beginning of the output range for the elements that do not satisfy p policy - the execution policy to use p - unary predicate which returns âtrue if the element should be placed in d_first_true.The expression p(v) must be convertible to bool for every argument v
of type (possibly const) VT
, where VT
is the value type of InputIt
, regardless of value category, and must not modify v
. Thus, a parameter type of VT&is not allowed, nor is VT unless for VT
a move is equivalent to a copy(since C++11). â
InputIt
must meet the requirements of LegacyInputIterator. -OutputIt1, OutputIt2
must meet the requirements of LegacyOutputIterator. -ForwardIt1, ForwardIt2, ForwardIt3
must meet the requirements of LegacyForwardIterator. -UnaryPred
must meet the requirements of Predicate. [edit] Return value
A std::pair constructed from the iterator to the end of the d_first_true range and the iterator to the end of the d_first_false range.
[edit] ComplexityExactly std::distance(first, last) applications of p.
For the overload (2), there may be a performance cost if ForwardIt
's value type is not CopyConstructible.
The overload with a template parameter named ExecutionPolicy
reports errors as follows:
ExecutionPolicy
is one of the standard policies, std::terminate is called. For any other ExecutionPolicy
, the behavior is implementation-defined.template<class InputIt, class OutputIt1, class OutputIt2, class UnaryPred> constexpr //< since C++20 std::pair<OutputIt1, OutputIt2> partition_copy(InputIt first, InputIt last, OutputIt1 d_first_true, OutputIt2 d_first_false, UnaryPred p) { for (; first != last; ++first) { if (p(*first)) { *d_first_true = *first; ++d_first_true; } else { *d_first_false = *first; ++d_first_false; } } return std::pair<OutputIt1, OutputIt2>(d_first_true, d_first_false); }[edit] Example
#include <algorithm> #include <iostream> #include <utility> void print(auto rem, const auto& v) { for (std::cout << rem; const auto& x : v) std::cout << x << ' '; std::cout << '\n'; } int main() { int arr[10] = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}; int true_arr[5] = {0}; int false_arr[5] = {0}; std::partition_copy(std::begin(arr), std::end(arr), std::begin(true_arr), std::begin(false_arr), [](int i) { return 4 < i; }); print("true_arr: ", true_arr); print("false_arr: ", false_arr); }
Output:
true_arr: 5 6 7 8 9 false_arr: 0 1 2 3 4[edit] Defect reports
The following behavior-changing defect reports were applied retroactively to previously published C++ standards.
DR Applied to Behavior as published Correct behavior P0896R4 C++11InputIt
(C++11)/ForwardIt1
(C++17)
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4