| 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> constexpr ForwardIt shift_left( ForwardIt first, ForwardIt last, | (1) | (since C++20) |
template<class ExecutionPolicy,class ForwardIt> ForwardIt shift_left( ExecutionPolicy&& policy, | (2) | (since C++20) |
template<class ForwardIt> constexpr ForwardIt shift_right( ForwardIt first, ForwardIt last, | (3) | (since C++20) |
template<class ExecutionPolicy,class ForwardIt> ForwardIt shift_right( ExecutionPolicy&& policy, | (4) | (since C++20) |
Shifts the elements in the range[first, last) byn positions.
[0, last- first- n), moves the element originally at positionfirst+ n+ i to positionfirst+ i.i starting from0.[0, last- first- n), moves the element originally at positionfirst+ i to positionfirst+ n+ i.ForwardIt meets theLegacyBidirectionalIterator requirements, 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.
If any of the following conditions is satisfied, the behavior is undefined:
shift_right,ForwardIt is neitherLegacyBidirectionalIterator norValueSwappable.Contents |
| first, last | - | the pair of iterators defining therange of elements to shift |
| n | - | the number of positions to shift |
| policy | - | theexecution policy to use |
| Type requirements | ||
-ForwardIt must meet the requirements ofLegacyForwardIterator. | ||
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.| Feature-test macro | Value | Std | Feature |
|---|---|---|---|
__cpp_lib_shift | 201806L | (C++20) | std::shift_left andstd::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::shift_left(begin(a), end(a),3); std::shift_left(begin(b), end(b),3); std::shift_left(begin(c), end(c),3);std::cout<< a<<" "<< b<<" "<< c<<'\n'; std::shift_right(begin(a), end(a),2); std::shift_right(begin(b), end(b),2); std::shift_right(begin(c), end(c),2);std::cout<< a<<" "<< b<<" "<< c<<'\n'; std::shift_left(begin(a), end(a),8);// has no effect: n >= last - first std::shift_left(begin(b), end(b),8);// ditto std::shift_left(begin(c), end(c),8);// dittostd::cout<< a<<" "<< b<<" "<< c<<'\n'; // std::shift_left(begin(a), end(a), -3); // UB, e.g. segfault}
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++11) | moves a range of elements to a new location (function template)[edit] |
(C++11) | moves a range of elements to a new location in backwards order (function template)[edit] |
| rotates the order of elements in a range (function template)[edit] | |
| shifts elements in a range (algorithm function object)[edit] |
