std::reverse
| Definiert in Header <algorithm>
|
||
template< class BidirIt >
void reverse( BidirIt first, BidirIt last );
|
(1) | (constexpr seit C++20) |
template< class ExecutionPolicy, class BidirIt >
void reverse( ExecutionPolicy&& policy, BidirIt first, BidirIt last );
|
(2) | (seit C++17) |
[first, last) um.first + i und (last - i) - 1 für jede ganze Zahl i in [0, std::distance(first, last) / 2) angewendet wird.policy.true ist:
|
|
(bis C++20) |
|
|
(seit C++20) |
Wenn *first nicht Swappable(bis C++20)BidirIt nicht ValueSwappable(seit C++20) ist, ist das Verhalten undefiniert.
Parameter
| first, last | - | das Paar von Iteratoren, das den Bereich der umzukehrenden Elemente definiert |
| policy | - | die zu verwendende Ausführungsrichtlinie |
| Typanforderungen | ||
-
BidirIt
muss die Anforderungen von
LegacyBidirectionalIterator
erfüllen.
|
||
Komplexität
Genau std:: distance ( first, last ) / 2 Vertauschungen.
Ausnahmen
Die Überladung mit einem Template-Parameter namens
ExecutionPolicy
meldet Fehler wie folgt:
-
Wenn die Ausführung einer als Teil des Algorithmus aufgerufenen Funktion eine Exception wirft und
ExecutionPolicyeiner der Standard-Policies ist, wird std::terminate aufgerufen. Für jede andereExecutionPolicyist das Verhalten implementierungsdefiniert. - Wenn der Algorithmus keinen Speicher allozieren kann, wird std::bad_alloc geworfen.
Mögliche Implementierung
Siehe auch die Implementierungen in libstdc++ , libc++ , und MSVC STL .
template<class BidirIt> constexpr // seit C++20 void reverse(BidirIt first, BidirIt last) { using iter_cat = typename std::iterator_traits<BidirIt>::iterator_category; // Tag-Dispatch, z.B. durch Aufruf von reverse_impl(first, last, iter_cat()), // kann in C++14 und früheren Modi verwendet werden. if constexpr (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); } else while (first != last && first != --last) std::iter_swap(first++, last); } |
Hinweise
Implementierungen (z.B.
MSVC STL
) können Vektorisierung ermöglichen, wenn der Iteratortyp
LegacyContiguousIterator
erfüllt und das Austauschen seines Werttyps weder nicht-triviale spezielle Memberfunktionen noch
ADL
-gefundene
swap
-Funktionen aufruft.
Beispiel
#include <algorithm> #include <iostream> #include <iterator> #include <vector> void println(auto rem, auto const& 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); }
Ausgabe:
after reverse, v = 3 2 1 after reverse, a = 7 6 5 4
Fehlerberichte
Die folgenden verhaltensändernden Fehlerberichte wurden rückwirkend auf zuvor veröffentlichte C++-Standards angewendet.
| DR | Angewendet auf | Verhalten wie veröffentlicht | Korrektes Verhalten |
|---|---|---|---|
| LWG 223 | C++98 | std::swap wurde auf jedes Iteratorpaar angewendet | wendet std::iter_swap stattdessen an |
| LWG 2039 | C++98 |
std::iter_swap
wurde auch angewendet, wenn
i
gleich std:: distance ( first, last ) / 2 |
nicht angewendet |
Siehe auch
| erstellt eine Kopie eines Bereichs in umgekehrter Reihenfolge (Funktionsschablone & Algorithmus-Funktionsobjekt) | |
(C++20) |
|
(C++20) |
kehrt die Reihenfolge der Elemente in einem Bereich um (Algorithmus-Funktionsobjekt) |