Table of Contents
The Boost Iterator Library contains two parts. The first is a system of concepts which extend the C++ standard iterator requirements. The second is a framework of components for building iterators based on these extended concepts and includes several useful iterator adaptors. The extended iterator concepts have been carefully designed so that old-style iterators can fit in the new concepts and so that new-style iterators will be compatible with old-style algorithms, though algorithms may need to be updated if they want to take full advantage of the new-style iterator capabilities. Several components of this library have been accepted into the C++ standard technical report. The components of the Boost Iterator Library replace the older Boost Iterator Adaptor Library.
The iterator categories defined in C++98 are extremely limiting because they
bind together two orthogonal concepts: traversal and element access. For example,
because a random access iterator is required to return a reference (and not
a proxy) when dereferenced, it is impossible to capture the capabilities of
using the C++98 categories. This is the infamous "
is not a container, and its iterators aren't random access iterators",
debacle about which Herb Sutter wrote two papers for the standards comittee
a Guru of the Week. New-style
iterators go well beyond patching up
though: there are lots of other iterators already in use which can't be adequately
represented by the existing concepts. For details about the new iterator concepts,
see our Standard Proposal for New-Style
Writing standard-conforming iterators is tricky, but the need comes up often. In order to ease the implementation of new iterators, the Boost.Iterator library provides the facade class template, which implements many useful defaults and compile-time checks designed to help the iterator author ensure that his iterator is correct.
It is also common to define a new iterator that is similar to some underlying iterator or iterator-like type, but that modifies some aspect of the underlying type's behavior. For that purpose, the library supplies the adaptor class template, which is specially designed to take advantage of as much of the underlying type's behavior as possible.
The iterator library supplies a useful suite of standard-conforming iterator templates based on the Boost iterator facade and adaptor templates.
counting_iterator: an iterator over a sequence of consecutive values. Implements a "lazy sequence"
filter_iterator: an iterator over the subset of elements of some sequence which satisfy a given predicate
function_input_iterator: an input iterator wrapping a generator (nullary function object); each time the iterator is dereferenced, the function object is called to get the value to return.
function_output_iterator: an output iterator wrapping a unary function object; each time an element is written into the dereferenced iterator, it is passed as a parameter to the function object.
generator_iterator: an input iterator wrapping a generator (nullary function object); each time the iterator is dereferenced, the function object is called to get the value to return. An outdated analogue of
indirect_iterator: an iterator over the objects pointed-to by the elements of some sequence.
permutation_iterator: an iterator over the elements of some random-access sequence, rearranged according to some sequence of integer indices.
reverse_iterator: an iterator which traverses the elements of some bidirectional sequence in reverse. Corrects many of the shortcomings of C++98's
shared_container_iterator: an iterator over elements of a container whose lifetime is maintained by a
shared_ptrstored in the iterator.
transform_iterator: an iterator over elements which are the result of applying some functional transformation to the elements of an underlying sequence. This component also replaces the old
zip_iterator: an iterator over tuples of the elements at corresponding positions of heterogeneous underlying iterators.
pointee.hpp: Provides the capability to deduce the referent types of pointers, smart pointers and iterators in generic code. Used in
iterator_traits.hpp: Provides MPL compatible metafunctions which retrieve an iterator's traits. Also corrects for the deficiencies of broken implementations of
The library provides a number of generic algorithms for use with iterators. These algorithms take advantage of the new concepts defined by the library to provide better performance and functionality.
advance()function for advancing an iterator a given number of positions forward or backward.
distance()function for computing distance between two iterators.
prior()functions for obtaining next and prior iterators to a given iterator. The functions are also compatible with non-iterator types.
Last revised: January 19, 2021 at 19:07:09 GMT