| .. Copyright David Abrahams 2006. Distributed under the Boost |
| .. Software License, Version 1.0. (See accompanying |
| .. file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) |
| |
| Lvalue Iterator Concept |
| ....................... |
| |
| The *Lvalue Iterator* concept adds the requirement that the return |
| type of ``operator*`` type be a reference to the value type of the |
| iterator. |
| |
| +-------------------------------------------------------------+ |
| | Lvalue Iterator Requirements | |
| +-------------+-----------+-----------------------------------+ |
| |Expression |Return Type|Note/Assertion | |
| +=============+===========+===================================+ |
| |``*a`` | ``T&`` |``T`` is *cv* | |
| | | |``iterator_traits<X>::value_type`` | |
| | | |where *cv* is an optional | |
| | | |cv-qualification. | |
| | | |pre: ``a`` is | |
| | | |dereferenceable. If ``a | |
| | | |== b`` then ``*a`` is | |
| | | |equivalent to ``*b``. | |
| +-------------+-----------+-----------------------------------+ |
