Namespaces
Variants

    std:: iterator_traits <std::common_iterator>

    From es.cppreference.net
    C++
    Iterator library
    Iterator concepts
    Iterator primitives
    Algorithm concepts and utilities
    Indirect callable concepts
    Common algorithm requirements
    (C++20)
    (C++20)
    (C++20)
    Utilities
    (C++20)
    Iterator adaptors
    Range access
    (C++11) (C++14)
    (C++14) (C++14)
    (C++11) (C++14)
    (C++14) (C++14)
    (C++17) (C++20)
    (C++17)
    (C++17)
    std::common_iterator
    Definido en el encabezado <iterator>
    template < std:: input_iterator I, class S >
    struct iterator_traits < std:: common_iterator < I, S >> ;
    		(desde C++20)

    Proporciona la interfaz uniforme para las propiedades del tipo std::common_iterator .

    Contenidos

    Tipos de miembros

    Nombre del tipo Definición
    iterator_concept
    iterator_category
    (condicionalmente presente)
    value_type std:: iter_value_t < I >
    difference_type std:: iter_difference_t < I >
    pointer
    • decltype ( c. operator - > ( ) ) , si está bien formado (donde c es un lvalue de tipo const std:: common_iterator < I, S > ).
    • void en caso contrario.
    reference std:: iter_reference_t < I >

    Ejemplo

    Ejecutar este código 
    #include <iterator>
#include <type_traits>
#include <vector>
int main()
{
    std::vector v{1, 2, 3, 4};
    using CV = std::common_iterator<
                    std::counted_iterator<std::vector<int>::iterator>,
                    std::default_sentinel_t>;
    CV i{std::counted_iterator{v.begin(), 3}};
    using TRCV = std::iterator_traits<decltype(i)>;
    static_assert(std::is_same<TRCV::iterator_concept, std::forward_iterator_tag>());
    static_assert(std::is_same<TRCV::iterator_category, std::forward_iterator_tag>());
    static_assert(std::is_same<TRCV::value_type, int>());
    static_assert(std::is_same<TRCV::difference_type,
                  std::vector<int>::difference_type>());
    static_assert(std::is_same<TRCV::pointer, decltype(i.operator->())>());
    static_assert(std::is_same<TRCV::reference, int&>());
    CV s{std::default_sentinel};
    using TRCS = std::iterator_traits<decltype(s)>;
    static_assert(std::is_same<TRCS::iterator_concept, std::forward_iterator_tag>());
    static_assert(std::is_same<TRCS::iterator_category, std::forward_iterator_tag>());
    static_assert(std::is_same<TRCS::value_type, int>());
    static_assert(std::is_same<TRCS::difference_type,
                  std::vector<int>::difference_type>());
    static_assert(std::is_same<TRCS::pointer, decltype(s.operator->())>());
    static_assert(std::is_same<TRCS::reference, int&>());
}

    Informes de defectos

    Los siguientes informes de defectos que modifican el comportamiento se aplicaron retroactivamente a los estándares de C++ publicados anteriormente.

    DR Aplicado a Comportamiento publicado Comportamiento correcto
    LWG 3749 C++20 si std:: iter_difference_t < I > no es un tipo entero,
    iterator_category era std::input_iterator_tag     		iterator_category es
    indefinido en este caso

    Véase también

    		proporciona una interfaz uniforme para las propiedades de un iterador
    (plantilla de clase)
    (C++20)
    		calcula el tipo de diferencia asociado del tipo std::common_iterator
    (especialización de plantilla de clase)