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 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
std::ranges
Non-modifying sequence operations | |||||||||||||||||||||||||||||||||
Modifying sequence operations | |||||||||||||||||||||||||||||||||
Partitioning operations | |||||||||||||||||||||||||||||||||
Sorting operations | |||||||||||||||||||||||||||||||||
Binary search operations (on sorted ranges) | |||||||||||||||||||||||||||||||||
Set operations (on sorted ranges) | |||||||||||||||||||||||||||||||||
Heap operations | |||||||||||||||||||||||||||||||||
Minimum/maximum operations | |||||||||||||||||||||||||||||||||
Permutation operations | |||||||||||||||||||||||||||||||||
Fold operations | |||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||
Operations on uninitialized storage | |||||||||||||||||||||||||||||||||
Return types | |||||||||||||||||||||||||||||||||
Defined in header <algorithm> | ||
Call signature | ||
template<std::forward_iterator I,std::sentinel_for<I> S, std::weakly_incrementable O> | (1) | (since C++20) |
template<ranges::forward_range R,std::weakly_incrementable O> requiresstd::indirectly_copyable<ranges::iterator_t<R>, O> | (2) | (since C++20) |
Helper types | ||
template<class I,class O> using rotate_copy_result= in_out_result<I, O>; | (3) | (since C++20) |
Copies theleft rotation of[
first,
last)
toresult.
[
first,
last)
, such that in the destination range, the elements in[
first,
middle)
are placed after the elements in[
middle,
last)
while the orders of the elements in both ranges are preserved.[
first,
middle)
or[
middle,
last)
is not a valid range, or the source and destination ranges overlap.The function-like entities described on this page arealgorithm function objects (informally known asniebloids), that is:
Contents |
first, last | - | the iterator-sentinel pair defining the sourcerange of elements to copy from |
r | - | the source range of elements to copy from |
middle | - | the iterator to the element that should appear at the beginning of the destination range |
result | - | beginning of the destination range |
{last, result+ N}, whereN=ranges::distance(first, last).
Linear: exactlyN assignments.
If the value type isTriviallyCopyable and the iterator types satisfycontiguous_iterator
, implementations ofranges::rotate_copy
usually avoid multiple assignments by using a "bulk copy" function such asstd::memmove.
See also the implementations inlibstdc++ andMSVC STL.
struct rotate_copy_fn{template<std::forward_iterator I,std::sentinel_for<I> S,std::weakly_incrementable O> requiresstd::indirectly_copyable<I, O>constexpr ranges::rotate_copy_result<I, O> operator()(I first, I middle, S last, O result)const{auto c1{ranges::copy(middle, std::move(last), std::move(result))};auto c2{ranges::copy(std::move(first), std::move(middle), std::move(c1.out))};return{std::move(c1.in), std::move(c2.out)};} template<ranges::forward_range R,std::weakly_incrementable O> requiresstd::indirectly_copyable<ranges::iterator_t<R>, O>constexpr ranges::rotate_copy_result<ranges::borrowed_iterator_t<R>, O> operator()(R&& r,ranges::iterator_t<R> middle, O result)const{return(*this)(ranges::begin(r), std::move(middle),ranges::end(r), std::move(result));}}; inlineconstexpr rotate_copy_fn rotate_copy{}; |
#include <algorithm>#include <iostream>#include <iterator>#include <vector> int main(){std::vector<int> src{1,2,3,4,5};std::vector<int> dest(src.size());auto pivot= std::ranges::find(src,3); std::ranges::rotate_copy(src, pivot, dest.begin());for(int i: dest)std::cout<< i<<' ';std::cout<<'\n'; // copy the rotation result directly to the std::cout pivot= std::ranges::find(dest,1); std::ranges::rotate_copy(dest, pivot,std::ostream_iterator<int>(std::cout," "));std::cout<<'\n';}
Output:
3 4 5 1 21 2 3 4 5
(C++20) | rotates the order of elements in a range (algorithm function object)[edit] |
(C++20)(C++20) | copies a range of elements to a new location (algorithm function object)[edit] |
copies and rotate a range of elements (function template)[edit] |