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>>;

Las especializaciones parciales de std::tuple_element para std::ranges::subrange proporcionan acceso en tiempo de compilación al tipo de iterador o centinela de un subrange, utilizando sintaxis similar a la de una tupla. Se proporcionan para el soporte de enlace estructurado.

Tipos de miembros

Notas

Como las funciones get para subrange retornan iteradores y sentinelas por valor, const no se añade el calificador al tipo de resultado cuando el subrange está calificado como const (pero no calificado como volatile).

Si el subrange está calificado como volátil, los tipos resultantes también están calificados como volátiles porque se utilizan las especializaciones parciales para tipos volátiles o const volátiles. Este uso está obsoleto.

Ejemplo

#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)>,
            // tipo definido por la implementación:
            std::counted_iterator<std::_List_iterator<int>>
            >);
    static_assert(
        std::is_same_v<
            std::tuple_element_t<1, decltype(subrange)>,
            std::default_sentinel_t
            >);
}

Véase también