[SVN r21814]
This commit is contained in:
Jeremy Siek 2004-01-18 20:09:56 +00:00
parent 35c14adc12
commit 08cd7bf6e7

View File

@ -72,6 +72,9 @@ Issue 9.41x
+``value_type`` is ``Value``. +``value_type`` is ``Value``.
+ +
+ +
Issue 9.37x
+If ``Iterator`` models Readable Lvalue Iterator and if ``Iterator`` +If ``Iterator`` models Readable Lvalue Iterator and if ``Iterator``
+models Random Access Traversal Iterator, then ``iterator_category`` is +models Random Access Traversal Iterator, then ``iterator_category`` is
+convertible to ``random_access_iterator_tag``. Otherwise, if +convertible to ``random_access_iterator_tag``. Otherwise, if
@ -118,9 +121,14 @@ Issue 9.37x
-concept that is modeled by ``Iterator``. -concept that is modeled by ``Iterator``.
+concept that is modeled by the ``Iterator`` argument. +concept that is modeled by the ``Iterator`` argument.
Issue 9.41x
-The ``reference`` type of ``transform_iterator`` is -The ``reference`` type of ``transform_iterator`` is
-``result_of<UnaryFunction(iterator_traits<Iterator>::reference)>::type``. -``result_of<UnaryFunction(iterator_traits<Iterator>::reference)>::type``.
-The ``value_type`` is ``remove_cv<remove_reference<reference> >::type``. -The ``value_type`` is ``remove_cv<remove_reference<reference> >::type``.
Issue 9.37x.
+If ``transform_iterator`` is a model of Readable Lvalue Iterator then +If ``transform_iterator`` is a model of Readable Lvalue Iterator then
+it models the following original iterator concepts depending on what +it models the following original iterator concepts depending on what
+the ``Iterator`` argument models. +the ``Iterator`` argument models.