std::iterator_traits<std::common_iterator>

 

C++

编译器支持

自由（freestanding）与宿主（hosted）

语言

标准库

标准库头文件

具名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

迭代器库

迭代器概念
indirectly_readable（间接可读） (C++20) indirectly_writable（间接可写） (C++20) weakly_incrementable（弱可递增） (C++20) incrementable（可递增） (C++20) is-integer-like（类整数） is-signed-integer-like（类有符号整数） (C++20)(C++20)	sentinel_for（哨兵） (C++20) sized_sentinel_for（大小可测哨兵） (C++20) input_iterator（输入迭代器） (C++20) output_iterator（输出迭代器） (C++20) input_or_output_iterator（输入或输出迭代器） (C++20)	forward_iterator（前向迭代器） (C++20) bidirectional_iterator（双向迭代器） (C++20) random_access_iterator（随机访问迭代器） (C++20) contiguous_iterator（连续迭代器） (C++20)
迭代器原语
input_iterator_tag（输入迭代器标签）output_iterator_tag（输出迭代器标签）forward_iterator_tag（前向迭代器标签）bidirectional_iterator_tag（双向迭代器标签）random_access_iterator_tag（随机访问迭代器标签）contiguous_iterator_tag（连续迭代器标签） (C++20)	iter_value_t（迭代器值类型）iter_difference_t（迭代器差值类型）iter_reference_t（迭代器引用类型）iter_const_reference_t（迭代器常引用类型）iter_rvalue_reference_t（迭代器右值引用类型）iter_common_reference_t（迭代器通用引用类型） (C++20)(C++20)(C++20)(C++23)(C++20)(C++20)	iterator（迭代器） (C++17 中已弃用) iterator_traits（迭代器特性） incrementable_traits（可递增特性） (C++20) indirectly_readable_traits（间接可读特性） (C++20)
算法概念与工具
间接可调用概念
indirectly_unary_invocable（间接一元可调用）indirectly_regular_unary_invocable（间接正则一元可调用） (C++20)(C++20)	indirect_unary_predicate（间接一元谓词） (C++20) indirect_binary_predicate（间接二元谓词） (C++20)	indirect_equivalence_relation（间接等价关系） (C++20) indirect_strict_weak_order（间接严格弱序） (C++20)
常用算法要求
indirectly_movable（间接可移动） (C++20) indirectly_movable_storable（间接可移动可存储） (C++20) indirectly_copyable（间接可复制） (C++20)	indirectly_copyable_storable（间接可复制可存储） (C++20)   indirectly_swappable（间接可交换） (C++20) indirectly_comparable（间接可比较） (C++20)	permutable（可置换） (C++20) mergeable（可合并） (C++20) sortable（可排序） (C++20)
工具
indirect_result_t（间接结果类型） (C++20)	projected（投影） (C++20)	projected_value_t（投影值类型） (C++26)
迭代器适配器
reverse_iterator（反向迭代器） make_reverse_iterator（创建反向迭代器） (C++14) move_iterator（移动迭代器） (C++11) make_move_iterator（创建移动迭代器） (C++11) default_sentinel_t（默认哨兵类型）default_sentinel（默认哨兵） (C++20)(C++20) unreachable_sentinel_t（不可达哨兵类型）unreachable_sentinel（不可达哨兵） (C++20)(C++20)	front_insert_iterator（前插迭代器） back_insert_iterator（后插迭代器） inserter（插入器） insert_iterator（插入迭代器） front_inserter（前插器） back_inserter（后插器） move_sentinel（移动哨兵） (C++20)	common_iterator（公共迭代器） (C++20) counted_iterator（计数迭代器） (C++20) basic_const_iterator（基本常迭代器） (C++23) const_iterator（常迭代器） (C++23) const_sentinel（常哨兵） (C++23) make_const_iterator（创建常迭代器） (C++23) make_const_sentinel（创建常哨兵） (C++23)
流迭代器 istream_iterator（输入流迭代器）    ostream_iterator（输出流迭代器） istreambuf_iterator（输入流缓冲区迭代器） ostreambuf_iterator（输出流缓冲区迭代器）	迭代器定制点 ranges::iter_move（ranges::迭代器移动） (C++20) ranges::iter_swap（ranges::迭代器交换） (C++20)
迭代器操作 advance（前进） distance（距离） prev（前一个） (C++11)   next（后一个） (C++11) ranges::advance（ranges::前进） (C++20) ranges::distance（ranges::距离） (C++20) ranges::prev（ranges::前一个） (C++20) ranges::next（ranges::后一个） (C++20)	范围访问 begin（起始）cbegin（常量起始） (C++11)(C++14) rbegin（反向起始）crbegin（常量反向起始） (C++14)(C++14)   end（结束）cend（常量结束） (C++11)(C++14) rend（反向结束）crend（常量反向结束） (C++14)(C++14)   size（大小）ssize（有符号大小） (C++17)(C++20) empty（空） (C++17) data（数据） (C++17)

 

std::common_iterator

成员函数

common_iterator::common_iterator（公共迭代器构造函数）

common_iterator::operator=（公共迭代器赋值运算符）

common_iterator::operator*（公共迭代器解引用运算符）common_iterator::operator->（公共迭代器成员访问运算符）

common_iterator::operator++（公共迭代器前置递增运算符）common_iterator::operator++(int)（公共迭代器后置递增运算符）

非成员函数

operator==（等于运算符） (C++20)

operator-（减法运算符） (C++20)

iter_move（迭代器移动） (C++20)

iter_swap（迭代器交换） (C++20)

辅助类

incrementable_traits<std::common_iterator>（可递增特性） (C++20)

iterator_traits<std::common_iterator>（迭代器特性） (C++20)

 

定义于头文件 <iterator>
template< std::input_iterator I, class S > struct iterator_traits<std::common_iterator<I, S>>;		(C++20 起)

为 std::common_iterator 类型提供统一的属性接口。

成员类型

类型名称	定义
iterator_concept（迭代器概念）	如果 I 实现了 std::forward_iterator，则为 std::forward_iterator_tag。 std::input_iterator_tag 否则。
iterator_category（迭代器类别） (有条件存在)	如果 std::iter_difference_t<I> 不是整型，则未定义。 否则，如果 std::iterator_traits<I>::iterator_category 有效并表示实现 std::derived_from<std::forward_iterator_tag> 的类型，则为 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 是类型为 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&>());
}

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告	应用于	发布时的行为	正确的行为
LWG 3749	C++20	如果 std::iter_difference_t<I> 不是整型， iterator_category 原为 std::input_iterator_tag	iterator_category 为 未定义的

另请参阅

iterator_traits（迭代器特性）	提供迭代器属性的统一接口 (类模板)
std::incrementable_traits<std::common_iterator> (C++20)	计算 std::common_iterator 类型关联的差值类型 (类模板特化)