std::ranges::reverse_copy, std::ranges::reverse_copy_result
| Definiert in Header <algorithm>
|
||
| Aufrufsignatur |
||
template< std::bidirectional_iterator I, std::sentinel_for<I> S,
std::weakly_incrementable O >
requires std::indirectly_copyable<I, O>
constexpr reverse_copy_result<I, O>
reverse_copy( I first, S last, O result );
|
(1) | (seit C++20) |
template< ranges::bidirectional_range R, std::weakly_incrementable O >
requires std::indirectly_copyable<ranges::iterator_t<R>, O>
constexpr reverse_copy_result<ranges::borrowed_iterator_t<R>, O>
reverse_copy( R&& r, O result );
|
(2) | (seit C++20) |
| Hilfstypen |
||
template< class I, class O >
using reverse_copy_result = ranges::in_out_result<I, O>;
|
(3) | (seit C++20) |
[first, last) in den Zielbereich [result, result + N), wobei N gleich ranges::distance(first, last) ist, so dass die Elemente im neuen Bereich in umgekehrter Reihenfolge vorliegen. Verhält sich, als ob die Zuweisung *(result + N - 1 - i) = *(first + i) einmal für jede ganze Zahl i in [0, N) ausgeführt würde. Das Verhalten ist undefiniert, wenn sich Quell- und Zielbereich überschneiden.r als Quellbereich, als ob ranges::begin(r) als first und ranges::end(r) als last verwendet würden.Die auf dieser Seite beschriebenen funktionsähnlichen Entitäten sind Algorithmus-Funktionsobjekte (informell als Niebloids bekannt), das heißt:
- Explizite Template-Argumentlisten können beim Aufruf einer von ihnen nicht angegeben werden.
- Keine von ihnen sind für die argumentabhängige Suche sichtbar.
- Wenn eine von ihnen durch normale unqualifizierte Suche als Name links vom Funktionsaufrufoperator gefunden wird, wird die argumentabhängige Suche unterdrückt.
Parameter
| first, last | - | das Iterator-Sentinel-Paar, das den Quell- Bereich der zu kopierenden Elemente definiert |
| r | - | der Quellbereich der zu kopierenden Elemente |
| result | - | der Anfang des Zielbereichs. |
Rückgabewert
{ last, result + N } .
Komplexität
Genau
N
Aufgaben.
Hinweise
Implementierungen (z.B.
MSVC STL
) können Vektorisierung ermöglichen, wenn beide Iteratortypen
contiguous_iterator
modellieren und denselben Werttyp haben, und der Werttyp
TriviallyCopyable
ist.
Mögliche Implementierung
Siehe auch die Implementierungen in MSVC STL und libstdc++ .
struct reverse_copy_fn { template<std::bidirectional_iterator I, std::sentinel_for<I> S, std::weakly_incrementable O> requires std::indirectly_copyable<I, O> constexpr ranges::reverse_copy_result<I, O> operator()(I first, S last, O result) const { auto ret = ranges::next(first, last); for (; last != first; *result = *--last, ++result); return {std::move(ret), std::move(result)}; } template<ranges::bidirectional_range R, std::weakly_incrementable O> requires std::indirectly_copyable<ranges::iterator_t<R>, O> constexpr ranges::reverse_copy_result<ranges::borrowed_iterator_t<R>, O> operator()(R&& r, O result) const { return (*this)(ranges::begin(r), ranges::end(r), std::move(result)); } }; inline constexpr reverse_copy_fn reverse_copy {}; |
Beispiel
#include <algorithm> #include <iostream> #include <string> int main() { std::string x {"12345"}, y(x.size(), ' '); std::cout << x << " → "; std::ranges::reverse_copy(x.begin(), x.end(), y.begin()); std::cout << y << " → "; std::ranges::reverse_copy(y, x.begin()); std::cout << x << '\n'; }
Ausgabe:
12345 → 54321 → 12345
Siehe auch
|
(C++20)
|
kehrt die Reihenfolge der Elemente in einem Bereich um
(Algorithmus-Funktionsobjekt) |
|
erstellt eine Kopie eines Bereichs, die umgekehrt ist
(Funktions-Template) |