| 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 BidirIt> void reverse( BidirIt first, BidirIt last); | (1) | (constexpr since C++20) |
template<class ExecutionPolicy,class BidirIt> void reverse( ExecutionPolicy&& policy, BidirIt first, BidirIt last); | (2) | (since C++17) |
[first, last).[0, std::distance(first, last)/2).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) |
If*first is notSwappable(until C++20)BidirIt is notValueSwappable(since C++20), the behavior is undefined.
Contents |
| first, last | - | the pair of iterators defining therange of elements to reverse |
| policy | - | theexecution policy to use |
| Type requirements | ||
-BidirIt must meet the requirements ofLegacyBidirectionalIterator. | ||
Exactlystd::distance(first, last)/2 swaps.
The overload with a template parameter namedExecutionPolicy reports 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++,libc++, andMSVC STL.
template<class BidirIt>constexpr// since C++20void reverse(BidirIt first, BidirIt last){using iter_cat=typenamestd::iterator_traits<BidirIt>::iterator_category; // Tag dispatch, e.g. calling reverse_impl(first, last, iter_cat()),// can be used in C++14 and earlier modes.ifconstexpr(std::is_base_of_v<std::random_access_iterator_tag, iter_cat>){if(first== last)return; for(--last; first< last;(void)++first,--last)std::iter_swap(first, last);}elsewhile(first!= last&& first!=--last)std::iter_swap(first++, last);} |
Implementations (e.g.MSVC STL) may enable vectorization when the iterator type satisfiesLegacyContiguousIterator and swapping its value type calls neither non-trivial special member function norADL-foundswap.
#include <algorithm>#include <iostream>#include <iterator>#include <vector> void println(auto rem,autoconst& v){for(std::cout<< rem;auto e: v)std::cout<< e<<' ';std::cout<<'\n';} int main(){std::vector<int> v{1,2,3}; std::reverse(v.begin(), v.end()); println("after reverse, v = ", v); int a[]={4,5,6,7}; std::reverse(std::begin(a),std::end(a)); println("after reverse, a = ", a);}
Output:
after reverse, v = 3 2 1after reverse, a = 7 6 5 4
The following behavior-changing defect reports were applied retroactively to previously published C++ standards.
| DR | Applied to | Behavior as published | Correct behavior |
|---|---|---|---|
| LWG 223 | C++98 | std::swap was applied to each pair of iterators | appliesstd::iter_swap instead |
| LWG 2039 | C++98 | std::iter_swap was also applied wheni equalsstd::distance(first, last)/2 | not applied |
| creates a copy of a range that is reversed (function template)[edit] | |
(C++20) | reverses the order of elements in a range (algorithm function object)[edit] |
