counting_iterator概要

template <
    class Incrementable
  , class CategoryOrTraversal = use_default
  , class Difference = use_default
>
class counting_iterator
{
public:
    typedef Incrementable value_type;
    typedef const Incrementable& reference;
    typedef const Incrementable* pointer;
    typedef /* see below */ difference_type;
    typedef /* see below */ iterator_category;

    counting_iterator();
    counting_iterator(counting_iterator const& rhs);
    explicit counting_iterator(Incrementable x);
    Incrementable const& base() const;
    reference operator*() const;
    counting_iterator& operator++();
    counting_iterator& operator--();
private:
    Incrementable m_inc; // exposition
};

如果差值参数是use_default则difference_type是一个未指定的带符号整型类型。否则difference_type是差值.

iterator_category是根据以下算法确定的

if (CategoryOrTraversal is not use_default)
    return CategoryOrTraversal
else if (numeric_limits<Incrementable>::is_specialized)
    return iterator-category(
        random_access_traversal_tag, Incrementable, const Incrementable&)
else
    return iterator-category(
         iterator_traversal<Incrementable>::type,
         Incrementable, const Incrementable&)

[注意：鼓励实现者提供

operator-和difference_type的实现，并在std::numeric_limits<Incrementable>::is_specialized为 true 的情况下避免溢出。]

counting_iteratorrequirements

该Incrementable参数应该是 Copy Constructible 和 Assignable 的。

如果iterator_category可转换为forward_iterator_tag或forward_traversal_tag，则以下语句必须是 well-formed 的

Incrementable i, j;
++i;         // pre-increment
i == j;      // operator equal

如果iterator_category可转换为bidirectional_iterator_tag或bidirectional_traversal_tag，则以下表达式必须也是 well-formed 的

--i

如果iterator_category可转换为random_access_iterator_tag或random_access_traversal_tag，则以下语句必须也是有效的

counting_iterator::difference_type n;
i += n;
n = i - j;
i < j;

counting_iterator模型

的特化counting_iterator模型 Readable Lvalue Iterator。此外，它们还模型与其iterator_category可转换的迭代器标签相对应的概念。另外，如果CategoryOrTraversal不是use_default则counting_iterator模型与迭代器标签相对应的概念CategoryOrTraversal。否则，如果numeric_limits<Incrementable>::is_specialized，那么counting_iterator模型 Random Access Traversal Iterator。否则，counting_iterator模型与Incrementable.

counting_iterator<X,C1,D1>与counting_iterator<Y,C2,D2>当且仅当X与Y.

counting_iterator操作

除了参数所模拟的概念所要求的操作之外，counting_iterator, counting_iterator还提供了以下操作。

counting_iterator();

counting_iterator(counting_iterator const& rhs);

explicit counting_iterator(Incrementable x);

reference operator*() const;

counting_iterator& operator++();

counting_iterator& operator--();

Incrementable const& base() const;

template <class Incrementable>
counting_iterator<Incrementable> make_counting_iterator(Incrementable x);

示例

此示例使用来填充一个包含数字的数组和一个包含指向第一个数组的指针的第二个数组。counting_iterator两者都要完成。最后indirect_iterator用于通过第二个数组的间接访问打印出第一个数组中的数字。

int N = 7;
std::vector<int> numbers;
typedef std::vector<int>::iterator n_iter;
std::copy(boost::counting_iterator<int>(0),
         boost::counting_iterator<int>(N),
         std::back_inserter(numbers));

std::vector<std::vector<int>::iterator> pointers;
std::copy(boost::make_counting_iterator(numbers.begin()),
          boost::make_counting_iterator(numbers.end()),
          std::back_inserter(pointers));

std::cout << "indirectly printing out the numbers from 0 to "
          << N << std::endl;
std::copy(boost::make_indirect_iterator(pointers.begin()),
          boost::make_indirect_iterator(pointers.end()),
          std::ostream_iterator<int>(std::cout, " "));
std::cout << std::endl;

找到。输出是

indirectly printing out the numbers from 0 to 7
0 1 2 3 4 5 6

此示例的源代码可以在 这里 找到。