Namespaces
Variants

std:: incrementable_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 < class I, class S >

struct incrementable_traits < std:: common_iterator < I, S >> {
using difference_type = std:: iter_difference_t < I > ;

} ;
(C++20 起)

为 std::common_iterator 类型的关联差值类型提供统一接口。

示例

运行此代码 
#include <cstddef>
#include <iterator>
#include <list>
#include <string>
#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>);
}

参见

(C++20)
计算 weakly_incrementable 类型的差值类型
(类模板)
(C++20) (C++20) (C++23) (C++20) (C++20) (C++20)
计算迭代器的关联类型
(别名模板)
(C++20)
为 std::common_iterator 类型的属性提供统一接口
(类模板特化)