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

来自cppreference.com
< cpp‎ | iterator
定义于头文件 <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 { };

定义迭代器的分类。这些标签都是空类型,分别对应五种迭代器分类中的一种:

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

每个迭代器类型 It 都有对应的 std::iterator_traits<It>::iterator_category typedef ,即这五种类型之一。

注意

相接迭代器 (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

[编辑] 参阅

(C++17 中弃用)
简化简单迭代器所要求类型定义的基类
(类模板) [编辑]
为迭代器属性提供统一接口
(类模板) [编辑]