std::iterator_traits<std::common_iterator>

Определено в заголовке `<iterator>`
template< std::input_iterator I, class S > struct iterator_traits<std::common_iterator<I, S>>;		(с C++20)

Обеспечивает унифицированный интерфейс к свойствам типа std::common_iterator.

Типы членов

Тип члена	Определение
`iterator_concept`	`std::forward_iterator_tag`, если `I` моделирует `std::forward_iterator`; `std::input_iterator_tag` в противном случае.
`iterator_category`	`std::forward_iterator_tag`, если `std::iterator_traits<I>::iterator_category` допустимо и обозначает тип, который моделирует `std::derived_from<std::forward_iterator_tag>`; `std::input_iterator_tag` в противном случае.
`value_type`	`std::iter_value_t<I>`
`difference_type`	`std::iter_difference_t<I>`
`pointer`	`decltype(c.operator->())`, если это допустимо, где `c` — lvalue типа `const std::common_iterator<I, S>`; `void` в противном случае.
`reference`	`std::iter_reference_t<I>`

Пример

#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&>());
}

См. также

iterator_traits	обеспечивает унифицированный интерфейс к свойствам итератора (шаблон класса)
std::incrementable_traits<std::common_iterator> (C++20)	вычисляет связанный тип разности для типа `std::common_iterator` (специализация шаблона класса)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/iterator/common_iterator/iterator_traits