std::incrementable_traits<std::common_iterator>

< cpp‎ | iterator‎ | common iterator

Defined in header `<iterator>`
template< class I, class S > struct incrementable_traits<std::common_iterator<I, S>> { using difference_type = std::iter_difference_t<I>; };		(since C++20)

Provides the uniform interface to the associated difference type of the std::common_iterator type.

Example

#include <list>
#include <string>
#include <cstddef>
#include <iterator>
#include <type_traits>
 
int main()
{
    using CI = std::common_iterator<
                    std::counted_iterator<int*>,
                    std::default_sentinel_t
                    >;
    using CL = std::common_iterator<
                    std::counted_iterator<std::list<std::string>::iterator>,
                    std::default_sentinel_t
                    >;
    CL cl { std::default_sentinel };
    static_assert(
        std::same_as<std::incrementable_traits<CI>::difference_type, std::ptrdiff_t> &&
        std::same_as<std::incrementable_traits<CL>::difference_type, std::ptrdiff_t> &&
        std::same_as<std::incrementable_traits<decltype(cl)>::difference_type, std::ptrdiff_t>
    );
}

incrementable_traits (C++20)	computes the difference type of a `weakly_incrementable` type (class template)
iter_value_titer_reference_titer_const_reference_titer_difference_titer_rvalue_reference_titer_common_reference_t (C++20)(C++20)(C++23)(C++20)(C++20)(C++20)	computes the associated types of an iterator (alias template)
std::iterator_traits<std::common_iterator> (C++20)	provides uniform interface to the properties of the std::common_iterator type (class template specialization)

std::incrementable_traits<std::common_iterator>

Example

See also