2006-09-11 22:27:29 +00:00
|
|
|
.. 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)
|
|
|
|
|
|
2004-01-27 17:03:46 +00:00
|
|
|
Writable Iterator Concept
|
|
|
|
|
.........................
|
|
|
|
|
|
|
|
|
|
A class or built-in type ``X`` models the *Writable Iterator* concept
|
|
|
|
|
if, in addition to ``X`` being Copy Constructible, the following
|
|
|
|
|
expressions are valid and respect the stated semantics. Writable
|
|
|
|
|
Iterators have an associated *set of value types*.
|
|
|
|
|
|
|
|
|
|
+---------------------------------------------------------------------+
|
|
|
|
|
|Writable Iterator Requirements (in addition to Copy Constructible) |
|
|
|
|
|
+-------------------------+--------------+----------------------------+
|
|
|
|
|
|Expression |Return Type |Precondition |
|
|
|
|
|
+=========================+==============+============================+
|
|
|
|
|
|``*a = o`` | | pre: The type of ``o`` |
|
|
|
|
|
| | | is in the set of |
|
|
|
|
|
| | | value types of ``X`` |
|
|
|
|
|
+-------------------------+--------------+----------------------------+
|
