Namespaces
Variants

std:: iterator_traits <std::common_iterator>

From 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
헤더에 정의됨 <iterator>
template < std:: input_iterator I, class S >
struct iterator_traits < std:: common_iterator < I, S >> ;
(C++20부터)

std::common_iterator 타입의 속성에 대한 통일된 인터페이스를 제공합니다.

목차

멤버 타입

타입 이름 정의
iterator_concept
iterator_category
(조건부로 존재)
value_type std:: iter_value_t < I >
difference_type std:: iter_difference_t < I >
pointer
  • decltype ( c. operator - > ( ) ) , 만약 이것이 올바른 형식인 경우 (여기서 c 는 const std:: common_iterator < I, S > 타입의 lvalue).
  • 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&>());
}

결함 보고서

다음의 동작 변경 결함 보고서들은 이전에 발표된 C++ 표준에 소급 적용되었습니다.

DR 적용 대상 게시된 동작 올바른 동작
LWG 3749 C++20 std:: iter_difference_t < I > 가 정수 타입이 아닌 경우,
iterator_category 가 std::input_iterator_tag 로 지정됨 		iterator_category 는
이 경우 정의되지 않음

참고 항목

반복자의 속성에 대한 통일된 인터페이스를 제공합니다
(클래스 템플릿)
(C++20)
std::common_iterator 타입의 관련된 차이 타입을 계산합니다
(클래스 템플릿 특수화)