命名空间
变体
操作

std::incrementable_traits<std::common_iterator>

来自 cppreference.com
 
 
迭代器库
迭代器概念
迭代器基本类型
算法概念和实用程序
间接可调用概念
常见算法需求
(C++20)
(C++20)
(C++20)
实用程序
(C++20)
迭代器适配器
范围访问
(C++11)(C++14)
(C++14)(C++14)  
(C++11)(C++14)
(C++14)(C++14)  
(C++17)(C++20)
(C++17)
(C++17)
 
 
定义在头文件 <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>);
}

[编辑] 另请参阅

计算 weakly_incrementable 类型的差值类型
(类模板) [编辑]
计算迭代器的关联类型
(别名模板)[编辑]
提供对 std::common_iterator 类型的属性的统一接口
(类模板特化) [编辑]