Namespaces
Variants

std:: reverse

From cppreference.net
Algorithm library
Constrained algorithms and algorithms on ranges (C++20)
Constrained algorithms, e.g. ranges::copy , ranges::sort , ...
Execution policies (C++17)
Non-modifying sequence operations
Batch operations
(C++17)
Search operations
Modifying sequence operations
Copy operations
(C++11)
(C++11)
Swap operations
Transformation operations
Generation operations
Removing operations
Order-changing operations
(until C++17) (C++11)
(C++20) (C++20)
Sampling operations
(C++17)

Sorting and related operations
Partitioning operations
Sorting operations
Binary search operations
(on partitioned ranges)
Set operations (on sorted ranges)
Merge operations (on sorted ranges)
Heap operations
Minimum/maximum operations
Lexicographical comparison operations
Permutation operations
C library
Numeric operations
Operations on uninitialized memory
Definiert im 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)
1) Kehrt die Reihenfolge der Elemente im Bereich [ first , last ) um.
Verhält sich so, als würde std::iter_swap auf jedes Iteratorpaar first + i und ( last - i ) - 1 für jede ganze Zahl i in [ 0 , std:: distance ( first, last ) / 2 ) angewendet werden.
2) Gleich wie (1) , aber ausgeführt gemäß policy .
Diese Überladung nimmt nur dann an der Überladungsauflösung teil, wenn alle folgenden Bedingungen erfüllt sind:

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.

Inhaltsverzeichnis

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 ExecutionPolicy einer der Standard-Policies ist, wird std::terminate aufgerufen. Für jede andere ExecutionPolicy ist 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, der umgekehrt ist
(Funktions-Template)
kehrt die Reihenfolge der Elemente in einem Bereich um
(Algorithmus-Funktionsobjekt)