Constrained algorithms and algorithms on ranges(C++20) | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Constrained algorithms, e.g.ranges::copy,ranges::sort, ... | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Execution policies(C++17) | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Numeric operations | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Operations on uninitialized memory | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Defined in header <algorithm> | ||
template<class InputIt,class UnaryPred> bool is_partitioned( InputIt first, InputIt last, UnaryPred p); | (1) | (since C++11) (constexpr since C++20) |
template<class ExecutionPolicy,class ForwardIt,class UnaryPred> bool is_partitioned( ExecutionPolicy&& policy, | (2) | (since C++17) |
[
first,
last)
is partitioned by the predicatep: all elements satisfyp appear before all elements that do not.std::is_execution_policy_v<std::decay_t<ExecutionPolicy>> istrue. | (until C++20) |
std::is_execution_policy_v<std::remove_cvref_t<ExecutionPolicy>> istrue. | (since C++20) |
Contents |
first, last | - | the pair of iterators defining therange of elements to examine |
policy | - | theexecution policy to use |
p | - | unary predicate which returns true for the elements expected to be found in the beginning of the range. The expressionp(v) must be convertible tobool for every argument |
Type requirements | ||
-InputIt must meet the requirements ofLegacyInputIterator. | ||
-ForwardIt must meet the requirements ofLegacyForwardIterator. and its value type must be convertible toUnaryPred 's parameter type. | ||
-UnaryPred must meet the requirements ofPredicate. |
true if the elementse of[
first,
last)
arepartitioned with respect to the expressionp(e).false otherwise.
At moststd::distance(first, last) applications ofp.
The overload with a template parameter namedExecutionPolicy
reports errors as follows:
ExecutionPolicy
is one of thestandard policies,std::terminate is called. For any otherExecutionPolicy
, the behavior is implementation-defined.template<class InputIt,class UnaryPred>bool is_partitioned(InputIt first, InputIt last, UnaryPred p){for(; first!= last;++first)if(!p(*first))break;for(; first!= last;++first)if(p(*first))returnfalse;returntrue;} |
#include <algorithm>#include <array>#include <iostream> int main(){std::array<int,9> v{1,2,3,4,5,6,7,8,9}; auto is_even=[](int i){return i%2==0;};std::cout.setf(std::ios_base::boolalpha);std::cout<< std::is_partitioned(v.begin(), v.end(), is_even)<<' '; std::partition(v.begin(), v.end(), is_even);std::cout<< std::is_partitioned(v.begin(), v.end(), is_even)<<' '; std::reverse(v.begin(), v.end());std::cout<< std::is_partitioned(v.cbegin(), v.cend(), is_even)<<' ';std::cout<< std::is_partitioned(v.crbegin(), v.crend(), is_even)<<'\n';}
Output:
false true false true
divides a range of elements into two groups (function template)[edit] | |
(C++11) | locates the partition point of a partitioned range (function template)[edit] |
(C++20) | determines if the range is partitioned by the given predicate (algorithm function object)[edit] |