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::permutable I,std::sentinel_for<I> S> constexprranges::subrange<I> | (1) | (since C++23) |
template<ranges::forward_range R> requiresstd::permutable<ranges::iterator_t<R>> | (2) | (since C++23) |
template<std::permutable I,std::sentinel_for<I> S> constexprranges::subrange<I> | (3) | (since C++23) |
template<ranges::forward_range R> requiresstd::permutable<ranges::iterator_t<R>> | (4) | (since C++23) |
Shifts the elements in the range[
first,
last)
orr byn
positions. The behavior is undefined if[
first,
last)
is not a valid range.
i
in[
0,
last- first- n)
, moves the element originally at positionfirst+ n+ i to positionfirst+ i. The moves are performed in increasing order ofi
starting from0.i
in[
0,
last- first- n)
, moves the element originally at positionfirst+ i to positionfirst+ n+ i. IfI
modelsbidirectional_iterator
, then the moves are performed in decreasing order ofi
starting fromlast- first- n-1.Elements that are in the original range but not the new range are left in a valid but unspecified state.
The function-like entities described on this page arealgorithm function objects (informally known asniebloids), that is:
Contents |
first, last | - | the iterator-sentinel pair defining therange of elements to shift |
r | - | the range of elements to shift |
n | - | the number of positions to shift |
NEW_LAST
is the end of the resulting range and equivalent to:n
is less thanlast- first;NEW_FIRST
is the beginning of the resulting range and equivalent to:n
is less thanlast- first;ranges::shift_left
/ranges::shift_right
has better efficiency on common implementations ifI
modelsbidirectional_iterator
or (better)random_access_iterator
.
Implementations (e.g.MSVC STL) may enable vectorization when the iterator type modelscontiguous_iterator
and swapping its value type calls neither non-trivial special member function norADL-foundswap
.
Feature-test macro | Value | Std | Feature |
---|---|---|---|
__cpp_lib_shift | 202202L | (C++23) | std::ranges::shift_left andstd::ranges::shift_right |
#include <algorithm>#include <iostream>#include <string>#include <type_traits>#include <vector> struct S{int value{0};bool specified_state{true}; S(int v=0): value{v}{} S(Sconst& rhs)=default; S(S&& rhs){*this= std::move(rhs);} S& operator=(Sconst& rhs)=default; S& operator=(S&& rhs){if(this!=&rhs){ value= rhs.value; specified_state= rhs.specified_state; rhs.specified_state=false;}return*this;}}; template<typename T>std::ostream& operator<<(std::ostream& os,std::vector<T>const& v){for(constauto& s: v){ifconstexpr(std::is_same_v<T, S>) s.specified_state? os<< s.value<<' ': os<<". ";elseifconstexpr(std::is_same_v<T,std::string>) os<<(s.empty()?".": s)<<' ';else os<< s<<' ';}return os;} int main(){std::cout<<std::left; std::vector<S> a{1,2,3,4,5,6,7};std::vector<int> b{1,2,3,4,5,6,7};std::vector<std::string> c{"α","β","γ","δ","ε","ζ","η"}; std::cout<<"vector<S>\tvector<int>\tvector<string>\n";std::cout<< a<<" "<< b<<" "<< c<<'\n'; std::ranges::shift_left(a,3); std::ranges::shift_left(b,3); std::ranges::shift_left(c,3);std::cout<< a<<" "<< b<<" "<< c<<'\n'; std::ranges::shift_right(a,2); std::ranges::shift_right(b,2); std::ranges::shift_right(c,2);std::cout<< a<<" "<< b<<" "<< c<<'\n'; std::ranges::shift_left(a,8);// has no effect: n >= last - first std::ranges::shift_left(b,8);// ditto std::ranges::shift_left(c,8);// dittostd::cout<< a<<" "<< b<<" "<< c<<'\n'; // std::ranges::shift_left(a, -3); // UB}
Possible output:
vector<S> vector<int> vector<string>1 2 3 4 5 6 7 1 2 3 4 5 6 7 α β γ δ ε ζ η4 5 6 7 . . . 4 5 6 7 5 6 7 δ ε ζ η . . .. . 4 5 6 7 . 4 5 4 5 6 7 5 . . δ ε ζ η .. . 4 5 6 7 . 4 5 4 5 6 7 5 . . δ ε ζ η .
(C++20) | moves a range of elements to a new location (algorithm function object)[edit] |
(C++20) | moves a range of elements to a new location in backwards order (algorithm function object)[edit] |
(C++20) | rotates the order of elements in a range (algorithm function object)[edit] |
(C++20) | shifts elements in a range (function template)[edit] |