Namespaces
Variants

std:: tuple_element <std::ranges::subrange>

From cppreference.net
C++
Ranges library
Range adaptors
std::ranges::subrange
Definiert im Header <ranges>
template < class I, class S, ranges:: subrange_kind K >
struct tuple_element < 0 , ranges:: subrange < I, S, K >> ;
(1) (seit C++20)
template < class I, class S, ranges:: subrange_kind K >
struct tuple_element < 0 , const ranges:: subrange < I, S, K >> ;
(2) (seit C++20)
template < class I, class S, ranges:: subrange_kind K >
struct tuple_element < 1 , ranges:: subrange < I, S, K >> ;
(3) (seit C++20)
template < class I, class S, ranges:: subrange_kind K >
struct tuple_element < 1 , const ranges:: subrange < I, S, K >> ;
(4) (seit C++20)

Die partiellen Spezialisierungen von std::tuple_element für std::ranges::subrange ermöglichen den kompilierzeitlichen Zugriff auf den Iterator- oder Sentinel-Typ eines subrange unter Verwendung einer tupelähnlichen Syntax. Sie werden zur Unterstützung von Structured Bindings bereitgestellt.

1,2) Ermittelt den Iteratortyp, d.h. I .
3,4) Ermittelt den Sentinel-Typ, d.h. S .

Inhaltsverzeichnis

Mitgliedstypen

Mitgliedertyp Definition
type (1,2) I
(3,4) S

Hinweise

Da die get -Funktionen für subrange Iteratoren und Sentinels als Wert zurückgeben, wird der const -Qualifizierer nicht zu den Rückgabetypen hinzugefügt, wenn der subrange const-qualifiziert (aber nicht volatile-qualifiziert) ist.

Wenn der subrange volatile-qualifiziert ist, sind die Ergebnistypen ebenfalls volatile-qualifiziert, da die partielle Spezialisierung für volatile- oder const-volatile-Typen verwendet wird. Eine solche Verwendung ist veraltet.

Beispiel

Diesen Code ausführen 
#include <iterator>
#include <list>
#include <ranges>
#include <type_traits>
int main()
{
    std::list<int> list{3, 1, 4, 1, 5, 9, 2, 6};
    std::ranges::subrange subrange
    {
        std::counted_iterator{std::begin(list), 4},
        std::default_sentinel
    };
    static_assert(
        std::is_same_v<
            std::tuple_element_t<0, decltype(subrange)>,
            // implementation-defined type:
            std::counted_iterator<std::_List_iterator<int>>
            >);
    static_assert(
        std::is_same_v<
            std::tuple_element_t<1, decltype(subrange)>,
            std::default_sentinel_t
            >);
}

Siehe auch

Structured binding (C++17) bindet die angegebenen Namen an Teilobjekte oder Tupel-Elemente des Initialisierers
(C++11)
ermittelt die Elementtypen eines tupelartigen Typs
(Klassen-Template)
(C++20)
ermittelt die Größe eines std::ranges::subrange
(Klassen-Template-Spezialisierung)