std::input_iterator_tag, std::output_iterator_tag, std::forward_iterator_tag, std::bidirectional_iterator_tag, std::random_access_iterator_tag, std::contiguous_iterator_tag

 

C++

语言

标准库头文件

自立与有宿主实现

具名要求

语言支持库

概念库 (C++20)

诊断库

工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

输入/输出库

本地化库

正则表达式库 (C++11)

原子操作库 (C++11)

线程支持库 (C++11)

文件系统库 (C++17)

技术规范

 

迭代器库

迭代器概念
Readable (C++20) Writable (C++20) WeaklyIncrementable (C++20) Incrementable (C++20) Iterator (C++20) Sentinel (C++20) SizedSentinel (C++20)	InputIterator (C++20) OutputIterator (C++20) ForwardIterator (C++20) BidirectionalIterator (C++20) RandomAccessIterator (C++20) ContiguousIterator (C++20)
迭代器原语
iterator_traits input_iterator_tagoutput_iterator_tagforward_iterator_tagbidirectional_iterator_tagrandom_access_iterator_tagcontiguous_iterator_tag (C++20) iterator (C++17 中弃用)	incrementable_traits (C++20) readable_traits (C++20) iter_value_titer_difference_titer_reference_titer_rvalue_reference_titer_common_reference_t (C++20)(C++20)(C++20)(C++20)(C++20)
迭代器适配器
reverse_iterator move_iterator (C++11) move_sentinel (C++20) common_iterator (C++20) counted_iterator (C++20) back_insert_iterator front_insert_iterator insert_iterator	make_reverse_iterator (C++14) make_move_iterator (C++11) default_sentinel_tdefault_sentinel (C++20)(C++20) unreachable_sentinel_tunreachable_sentinel (C++20)(C++20) back_inserter front_inserter inserter
流迭代器
istream_iterator ostream_iterator	istreambuf_iterator ostreambuf_iterator
迭代器定制点
ranges::iter_move (C++20)
ranges::iter_swap (C++20)
迭代器操作
advance distance prev (C++11) next (C++11)	ranges::advance (C++20) ranges::distance (C++20) ranges::prev (C++20) ranges::next (C++20)
范围访问
begincbegin (C++11)(C++14) endcend (C++11)(C++14) sizessize (C++17)(C++20)	rbegincrbegin (C++14)(C++14) rendcrend (C++14)(C++14) empty (C++17) data (C++17)

 

定义于头文件 <iterator>
struct input_iterator_tag { };
struct output_iterator_tag { };
struct forward_iterator_tag : public input_iterator_tag { };
struct bidirectional_iterator_tag : public forward_iterator_tag { };
struct random_access_iterator_tag : public bidirectional_iterator_tag { };
struct contiguous_iterator_tag: public random_access_iterator_tag { };		(C++20 起)

定义迭代器的分类。这些标签都是空类型，分别对应五 (C++20 前)六 (C++20 起)种迭代器分类中的一种：

• input_iterator_tag 对应 LegacyInputIterator 。
• output_iterator_tag 对应 LegacyOutputIterator 。
• forward_iterator_tag 对应 LegacyForwardIterator 。
• bidirectional_iterator_tag 对应 LegacyBidirectionalIterator 。
• random_access_iterator_tag 对应 LegacyRandomAccessIterator 。

contiguous_iterator_tag 对应 LegacyContiguousIterator 。

(C++20 起)

顾名思义，迭代器分类标签可以用以标示某个迭代器的分类，可以根据这一分类所要求的特性来选择最优算法。

每个迭代器类型 It 都有对应的 std::iterator_traits<It>::iterator_category typedef ，即这五 (C++20 前)六 (C++20 起)种类型之一。

另外，可用 std::iterator_traits<It>::iterator_­concept 指示对迭代器概念的遵从。

(C++20 起)

注意 LegacyContiguousIterator 无分离的标签。

(C++17 起) (C++20 前)

示例

如果需要根据迭代器分类标签选择算法，常用做法是使用分发函数（也可以通过 std::enable_if 实现）

运行此代码

#include <iostream>
#include <vector>
#include <list>
#include <iterator>
 
template< class BDIter >
void alg(BDIter, BDIter, std::bidirectional_iterator_tag)
{
    std::cout << "alg() called for bidirectional iterator\n";
}
 
template <class RAIter>
void alg(RAIter, RAIter, std::random_access_iterator_tag)
{
    std::cout << "alg() called for random-access iterator\n";
}
 
template< class Iter >
void alg(Iter first, Iter last)
{
    alg(first, last,
        typename std::iterator_traits<Iter>::iterator_category());
}
 
int main()
{
    std::vector<int> v;
    alg(v.begin(), v.end());
 
    std::list<int> l;
    alg(l.begin(), l.end());
 
//    std::istreambuf_iterator<char> i1(std::cin), i2;
//    alg(i1, i2); // 编译错误：无调用的匹配函数
}

输出：

alg() called for random-access iterator
alg() called for bidirectional iterator

参阅

iterator (C++17 中弃用)	用于简化简单的迭代器的必要类型定义的基类 (类模板)
iterator_traits	为迭代器各项性质提供统一接口 (类模板)