| 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] |