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.[0, std::distance(first, last) / 2) angewendet würde.|
std::is_execution_policy_v<std::decay_t<ExecutionPolicy>> ist true. |
(bis C++20) |
|
std::is_execution_policy_v<std::remove_cvref_t<ExecutionPolicy>> ist true. |
(seit C++20) |
Wenn *first nicht Swappable(bis C++20)BidirIt nicht ValueSwappable(seit C++20) ist, ist das Verhalten undefiniert.
Inhalt |
[bearbeiten] Parameter
| first, last | - | das Iteratorenpool, das den Bereich der umzukehrenden Elemente definiert |
| policy | - | die Ausführungsrichtlinie, die verwendet werden soll |
| Typanforderungen | ||
-BidirIt muss die Anforderungen von LegacyBidirectionalIterator erfüllen. | ||
[bearbeiten] Komplexität
Genau std::distance(first, last) / 2 Tauschvorgänge.
[bearbeiten] Ausnahmen
Die Überladung mit einem Template-Parameter namens ExecutionPolicy meldet Fehler wie folgt
- Wenn die Ausführung einer Funktion, die als Teil des Algorithmus aufgerufen wird, eine Ausnahme auslöst und
ExecutionPolicyeine der Standardrichtlinien ist, wird std::terminate aufgerufen. Für jede andereExecutionPolicyist das Verhalten implementierungsabhängig. - Wenn dem Algorithmus der Speicher zur Neuzuweisung fehlt, wird std::bad_alloc ausgelöst.
[bearbeiten] Mögliche Implementierung
Siehe auch die Implementierungen in libstdc++, libc++ und MSVC STL.
template<class BidirIt> constexpr // since C++20 void reverse(BidirIt first, BidirIt last) { using iter_cat = typename std::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. 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); } |
[bearbeiten] Hinweise
Implementierungen (z.B. MSVC STL) können Vektorisierung aktivieren, wenn der Iteratortyp LegacyContiguousIterator erfüllt und das Vertauschen seines Wertetyps weder eine nicht-triviale spezielle Member-Funktion noch eine über ADL gefundene swap-Funktion aufruft.
[bearbeiten] 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
[bearbeiten] Fehlerberichte
Die folgenden Verhaltensändernden Fehlerberichte wurden rückwirkend auf zuvor veröffentlichte C++-Standards angewendet.
| DR | angewendet auf | Verhalten wie veröffentlicht | Korrigiertes Verhalten |
|---|---|---|---|
| LWG 223 | C++98 | std::swap wurde auf jedes Paar von Iteratoren angewendet | wendet stattdessen std::iter_swap an |
| LWG 2039 | C++98 | std::iter_swap wurde auch angewendet, wenn i gleich std::distance(first, last) / 2 ist |
nicht angewendet |
[bearbeiten] Siehe auch
| Erstellt eine Kopie eines Bereichs, der umgekehrt ist (Funktionstemplate) | |
| (C++20) |
Kehrt die Reihenfolge der Elemente in einem Bereich um (Algorithmus-Funktionsobjekt) |