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

template< class I, class S, ranges::subrange_kind K >
struct tuple_element<0, ranges::subrange<I, S, K>>;

template< class I, class S, ranges::subrange_kind K >
struct tuple_element<0, const ranges::subrange<I, S, K>>;

template< class I, class S, ranges::subrange_kind K >
struct tuple_element<1, ranges::subrange<I, S, K>>;

template< class I, class S, ranges::subrange_kind K >
struct tuple_element<1, const ranges::subrange<I, S, K>>;

Die partiellen Spezialisierungen von std::tuple_element für std::ranges::subrange ermöglichen den Kompilierzeit-Zugriff auf den Iterator- oder Sentinel-Typ einer subrange mittels einer tuple-ähnlichen Syntax. Sie werden zur Unterstützung von strukturierten Bindungen bereitgestellt.

Mitgliedstypen

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

#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