| 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 ForwardIt> ForwardIt is_sorted_until( ForwardIt first, ForwardIt last); | (1) | (since C++11) (constexpr since C++20) |
template<class ExecutionPolicy,class ForwardIt> ForwardIt is_sorted_until( ExecutionPolicy&& policy, | (2) | (since C++17) |
template<class ForwardIt,class Compare> ForwardIt is_sorted_until( ForwardIt first, ForwardIt last, | (3) | (since C++11) (constexpr since C++20) |
template<class ExecutionPolicy,class ForwardIt,class Compare> ForwardIt is_sorted_until( ExecutionPolicy&& policy, | (4) | (since C++17) |
Examines the range[first, last) and finds the largest range beginning atfirst in which the elements are sorted in non-descending order.
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 |
| comp | - | comparison function object (i.e. an object that satisfies the requirements ofCompare) which returns true if the first argument isless than (i.e. is orderedbefore) the second. The signature of the comparison function should be equivalent to the following: bool cmp(const Type1& a,const Type2& b); While the signature does not need to haveconst&, the function must not modify the objects passed to it and must be able to accept all values of type (possibly const) |
| Type requirements | ||
-ForwardIt must meet the requirements ofLegacyForwardIterator. | ||
-Compare must meet the requirements ofCompare. | ||
The upper bound of the largest range beginning atfirst in which the elements are sorted in ascending order. That is, the last iteratorit for which range[first, it) is sorted.
Returnslast for empty ranges and ranges of length one.
Given\(\scriptsize N\)N asstd::distance(first, last):
The overloads with a template parameter namedExecutionPolicy report errors as follows:
ExecutionPolicy is one of thestandard policies,std::terminate is called. For any otherExecutionPolicy, the behavior is implementation-defined.See also the implementations inlibstdc++ andlibc++.
| is_sorted_until (1) |
|---|
template<class ForwardIt>constexpr//< since C++20ForwardIt is_sorted_until(ForwardIt first, ForwardIt last){return std::is_sorted_until(first, last,std::less<>());} |
| is_sorted_until (2) |
template<class ForwardIt,class Compare>constexpr//< since C++20ForwardIt is_sorted_until(ForwardIt first, ForwardIt last, Compare comp){if(first!= last){ ForwardIt next= first;while(++next!= last){if(comp(*next,*first))return next; first= next;}}return last;} |
#include <algorithm>#include <cassert>#include <iostream>#include <iterator>#include <random>#include <string> int main(){std::random_device rd;std::mt19937 g(rd());constint N=6;int nums[N]={3,1,4,1,5,9}; constint min_sorted_size=4; for(int sorted_size=0; sorted_size< min_sorted_size;){std::shuffle(nums, nums+ N, g);int*const sorted_end= std::is_sorted_until(nums, nums+ N); sorted_size=std::distance(nums, sorted_end);assert(sorted_size>=1); for(constauto i: nums)std::cout<< i<<' ';std::cout<<": "<< sorted_size<<" initial sorted elements\n"<<std::string(sorted_size*2-1,'^')<<'\n';}}
Possible output:
4 1 9 5 1 3 : 1 initial sorted elements^4 5 9 3 1 1 : 3 initial sorted elements^^^^^9 3 1 4 5 1 : 1 initial sorted elements^1 3 5 4 1 9 : 3 initial sorted elements^^^^^5 9 1 1 3 4 : 2 initial sorted elements^^^4 9 1 5 1 3 : 2 initial sorted elements^^^1 1 4 9 5 3 : 4 initial sorted elements^^^^^^^
(C++11) | checks whether a range is sorted into ascending order (function template)[edit] |
(C++20) | finds the largest sorted subrange (algorithm function object)[edit] |
