std::ranges::views::adjacent, std::ranges::adjacent_view, std::ranges::views::pairwise

 

C++

Compiler-Unterstützung

Freestanding und gehostet

Sprache

Standardbibliothek

Header der Standardbibliothek

Benannte Anforderungen

Feature-Test-Makros (C++20)

Bibliothek für Sprachunterstützung

Konzepte-Bibliothek (C++20)

Diagnostik-Bibliothek

Speicherverwaltungsbibliothek

Metaprogrammierungsbibliothek (C++11)

Allgemeine Dienstprogramme-Bibliothek

Container-Bibliothek

Iterator-Bibliothek

Ranges-Bibliothek (C++20)

Algorithmen-Bibliothek

Bibliothek für Zeichenketten

Textverarbeitungsbibliothek

Numerik-Bibliothek

Datums- und Zeitbibliothek

Ein-/Ausgabe-Bibliothek

Dateisystembibliothek (C++17)

Unterstützung für nebenläufige Programmierung (C++11)

Ausführungssteuerungsbibliothek (C++26)

Technische Spezifikationen

Symbolverzeichnis

Externe Bibliotheken

 

Bereichsbibliothek

Bereichszugriff begin cbegin   end cend rbegin crbegin   rend crend size ssize   data cdata reserve_hint (C++26)   empty

Range-Konvertierungen std::from_range_t std::from_range (C++23)(C++23)     to (C++23)

Behandlung von hängenden Iteratoren dangling borrowed_iterator_t borrowed_subrange_t

Range-Primitive
range_size_trange_difference_trange_value_t elements_of (C++23)	iterator_tconst_iterator_tsentinel_tconst_sentinel_t (C++23)(C++23)	range_reference_trange_const_reference_trange_rvalue_reference_trange_common_reference_t (C++23)

Range-Konzepte
range borrowed_range    common_range	sized_range viewable_range    view	input_range output_range forward_range	bidirectional_range    random_access_range contiguous_range	approximately_sized_range (C++26) constant_range (C++23)

Ansichten
view_interface	subrange

Range-Fabriken
empty_viewviews::empty	single_viewviews::single	basic_istream_viewviews::istream	iota_viewviews::iota	repeat_viewviews::repeat (C++23)(C++23)

Range-Adaptoren
views::all_tviews::all as_rvalue_viewviews::as_rvalue (C++23)(C++23)   filter_viewviews::filter transform_viewviews::transform take_viewviews::take take_while_viewviews::take_while common_viewviews::common views::counted to_input_viewviews::to_input (C++26)(C++26)	ref_view drop_viewviews::drop drop_while_viewviews::drop_while lazy_split_viewviews::lazy_split split_viewviews::split join_viewviews::join join_with_viewviews::join_with (C++23)(C++23)   concat_viewviews::concat (C++26)(C++26) cache_latest_viewviews::cache_latest (C++26)(C++26)	owning_view reverse_viewviews::reverse as_const_viewviews::as_const (C++23)(C++23) elements_viewviews::elements keys_viewviews::keys values_viewviews::values enumerate_viewviews::enumerate (C++23)(C++23) zip_viewviews::zip (C++23)(C++23) zip_transform_viewviews::zip_transform (C++23)(C++23)	adjacent_viewviews::adjacent (C++23)(C++23) views::pairwise (C++23) adjacent_transform_viewviews::adjacent_transform (C++23)(C++23) views::pairwise_transform (C++23) chunk_viewviews::chunk (C++23)(C++23) slide_viewviews::slide (C++23)(C++23) chunk_by_viewviews::chunk_by (C++23)(C++23) stride_viewviews::stride (C++23)(C++23) cartesian_product_viewviews::cartesian_product (C++23)(C++23)

Range generators std::generator (C++23)

Range-Adaptor-Closure-Objekte range_adaptor_closure (C++23)

Range-Adaptor-Objekte

Hilfselemente
copyable-box movable-box (bis C++23)  (C++23)	simple-view non-propagating-cache

 

std::ranges::adjacent_view

Memberfunktionen

adjacent_view::adjacent_view

adjacent_view::begin

adjacent_view::end

adjacent_view::size

Iterator

Memberfunktionen

adjacent_view::iterator::iterator

adjacent_view::iterator::operator*

adjacent_view::iterator::operator[]

adjacent_view::iterator::operator++ adjacent_view::iterator::operator++(int) adjacent_view::iterator::operator-- adjacent_view::iterator::operator--(int) adjacent_view::iterator::operator+= adjacent_view::iterator::operator-=

Nicht-Member-Funktionen

operator==(adjacent_view::iterator) operator<(adjacent_view::iterator) operator>(adjacent_view::iterator) operator<=(adjacent_view::iterator) operator>=(adjacent_view::iterator) operator<=>(adjacent_view::iterator)

operator+(adjacent_view::iterator) operator-(adjacent_view::iterator)

iter_move(adjacent_view::iterator)

iter_swap(adjacent_view::iterator)

Sentinel

Memberfunktionen

adjacent_view::sentinel::sentinel

Nicht-Member-Funktionen

operator==(adjacent_view::iterator,adjacent_view::sentinel)

operator-(adjacent_view::iterator,adjacent_view::sentinel)

 

Definiert in der Header-Datei <ranges>
template< ranges::forward_range V, std::size_t N >     requires ranges::view<V> && (N > 0) class adjacent_view     : public ranges::view_interface<adjacent_view<V, N>>	(1)	(seit C++23)
namespace views {     template< std::size_t N >     constexpr /* nicht spezifiziert */ adjacent = /* nicht spezifiziert */ ; }	(2)	(seit C++23)
namespace views {     inline constexpr auto pairwise = adjacent<2>; }	(3)	(seit C++23)
Aufruf-Signatur
template< ranges::viewable_range R >     requires /* siehe unten */ constexpr ranges::view auto adjacent<N>( R&& r );		(seit C++23)

1) adjacent_view ist ein Range-Adaptor, der eine view entgegennimmt und eine view erzeugt, deren i-tes Element (ein "Fenster") ein std::tuple ist, das N Referenzen auf die Elemente der ursprünglichen View enthält, vom i-ten bis zum i + N - 1-ten Element, einschließlich.

Sei S die Größe der ursprünglichen View. Dann ist die Größe der erzeugten View

• S - N + 1, wenn S >= N,
• ​0​ andernfalls, und die resultierende View ist leer.

2) Der Name views::adjacent<N> bezeichnet ein RangeAdaptorObject. Gegeben einen Teilausdruck e und einen konstanten Ausdruck N, ist der Ausdruck views::adjacent<N>(e) ausdrucksäquivalent zu

• ((void)e, auto(views::empty<tuple<>>)) wenn N gleich ​0​ ist und decltype((e)) forward_range modelliert,
• adjacent_view<views::all_t<decltype((e))>, N>(e) andernfalls.

3) Der Name views::pairwise bezeichnet ein RangeAdaptorObject, das sich exakt wie views::adjacent<2> verhält.

adjacent_view modelliert immer forward_range und modelliert bidirectional_range, random_access_range oder sized_range, wenn die adaptierte view den entsprechenden Begriff modelliert.

Datenmitglieder

Member-Name	Definition
base_ (privat)	die zugrunde liegende view vom Typ V. ((exposition-only member object*)

Member-Funktionen

(Konstruktor)	konstruiert eine adjacent_view (öffentliche Member-Funktion)
begin	gibt einen Iterator zum Anfang zurück (öffentliche Member-Funktion)
end	gibt einen Iterator oder Sentinel zum Ende zurück (öffentliche Member-Funktion)
size	gibt die Anzahl der Elemente zurück, nur bereitgestellt, wenn die zugrunde liegende (adaptierte) Range sized_range erfüllt (öffentliche Member-Funktion)
Geerbt von std::ranges::view_interface
empty	gibt zurück, ob die abgeleitete Ansicht leer ist, bereitgestellt nur, wenn sie sized_range oder forward_range erfüllt (public member function of std::ranges::view_interface<D>)
cbegin (C++23)	gibt einen konstanten Iterator zum Anfang des Bereichs zurück (public member function of std::ranges::view_interface<D>)
cend (C++23)	gibt ein Sentinel für den konstanten Iterator des Bereichs zurück (public member function of std::ranges::view_interface<D>)
operator bool	gibt zurück, ob die abgeleitete Ansicht nicht leer ist, bereitgestellt nur, wenn ranges::empty darauf anwendbar ist (public member function of std::ranges::view_interface<D>)
front	gibt das erste Element in der abgeleiteten View zurück, bereitgestellt, wenn sie forward_range erfüllt (öffentliche Member-Funktion von std::ranges::view_interface<D>)
back	gibt das letzte Element in der abgeleiteten View zurück, nur bereitgestellt, wenn sie bidirectional_range und common_range erfüllt (öffentliche Member-Funktion von std::ranges::view_interface<D>)
operator[]	gibt das n-te Element in der abgeleiteten View zurück, nur bereitgestellt, wenn sie random_access_range erfüllt (öffentliche Member-Funktion von std::ranges::view_interface<D>)

Ableitungsleitfäden

(keine)

Verschachtelte Klassen

iterator	der Iterator-Typ ((nur zur Veranschaulichung Exposition-only Member-Klassenschablone)*)
sentinel	der Sentinel-Typ, der verwendet wird, wenn adjacent_view keine common_range ist ((nur zur Veranschaulichung Exposition-only Member-Klassenschablone)*)

Hilfsschablonen

template< class V, size_t N > constexpr bool ranges::enable_borrowed_range<adjacent_view<V, N>> =     ranges::enable_borrowed_range<V>;		(seit C++23)

Diese Spezialisierung von ranges::enable_borrowed_range bewirkt, dass adjacent_view borrowed_range erfüllt, wenn die zugrunde liegende View dies tut.

Hinweise

views::adjacent akzeptiert nur Forward Ranges, auch wenn N gleich 0 ist.

Es gibt Ähnlichkeiten zwischen ranges::adjacent_view und ranges::slide_view

• Beide erzeugen ein "gleitendes Fenster" der Größe N.
• Beide haben die gleiche Größe S - N + 1, wobei S die Größe einer adaptierten view ist, so dass S >= N > 0.

Die folgende Tabelle zeigt die Unterschiede zwischen diesen Adaptoren

View-Adaptor	value_type	Die Fenstergröße N
ranges::adjacent_view	std::tuple	Ein Schablonenparameter
ranges::slide_view	ranges::range	Ein Laufzeitargument

Feature-Test-Makro	Wert	Std	Feature
__cpp_lib_ranges_zip	202110L	(C++23)	ranges::zip_view, ranges::zip_transform_view, ranges::adjacent_view, ranges::adjacent_transform_view

Beispiel

Führen Sie diesen Code aus

#include <array>
#include <format>
#include <iostream>
#include <ranges>
#include <tuple>
 
int main()
{
    constexpr std::array v{1, 2, 3, 4, 5, 6};
    std::cout << "v = [1 2 3 4 5 6]\n";
 
    for (int i{}; std::tuple t : v | std::views::adjacent<3>)
    {
        auto [t0, t1, t2] = t;
        std::cout << std::format("e = {:<{}}[{} {} {}]\n", "", 2 * i++, t0, t1, t2);
    }
}

Ausgabe

v = [1 2 3 4 5 6]
e = [1 2 3]
e =   [2 3 4]
e =     [3 4 5]
e =       [4 5 6]

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 4098	C++23	views::adjacent<0> akzeptierte früher nur Eingabe-Ranges	als abgelehnt markiert

Referenzen

• C++23 Standard (ISO/IEC 14882:2024)

• 26.7.25 Adjacent view [range.adjacent]

Siehe auch

ranges::adjacent_transform_viewviews::adjacent_transform (C++23)	ein view, der aus den Ergebnissen der Anwendung einer Transformationsfunktion auf benachbarte Elemente des adaptierten Views besteht (Klassen-Template) (Range-Adaptor-Objekt)
ranges::slide_viewviews::slide (C++23)	eine view, deren M-tes Element eine view über die M-ten bis (M + N - 1)-ten Elemente einer anderen view ist (Klassenschablone) (Range-Adaptor-Objekt)
ranges::chunk_viewviews::chunk (C++23)	eine Reihe von views, die N-elementige, nicht überlappende, aufeinanderfolgende Blöcke von Elementen einer anderen view sind (Klassenschablone) (Range-Adaptor-Objekt)
ranges::stride_viewviews::stride (C++23)	eine view, die aus Elementen einer anderen view besteht und dabei jeweils N Elemente überspringt (Klassenschablone) (Range-Adaptor-Objekt)