[Boost-commit] svn:boost r46715 - sandbox/committee/concepts/stdlib

From: dgregor_at_[hidden]
Date: 2008-06-26 10:56:54

Author: dgregor
Date: 2008-06-26 10:56:54 EDT (Thu, 26 Jun 2008)
New Revision: 46715
URL: http://svn.boost.org/trac/boost/changeset/46715

Log:
A few more minor tweaks to the iterator concepts proposal
Text files modified: 
   sandbox/committee/concepts/stdlib/clib-iterators.tex |     6 ++++--                                  
   1 files changed, 4 insertions(+), 2 deletions(-)

Modified: sandbox/committee/concepts/stdlib/clib-iterators.tex
==============================================================================
--- sandbox/committee/concepts/stdlib/clib-iterators.tex	(original)
+++ sandbox/committee/concepts/stdlib/clib-iterators.tex	2008-06-26 10:56:54 EDT (Thu, 26 Jun 2008)
@@ -574,7 +574,9 @@
 
 \color{addclr}
 \begin{itemdecl}
-concept OutputIterator<typename X, typename Value> : @\changedCCC{CopyConstructible<X>}{Semiregular<X>}@ {
+concept OutputIterator<typename X, typename Value> @\removedCCC{: CopyConstructible<X>}@ {
+  @\addedCC{requires Semiregular<X>;}@
+
   @\changedCCC{typename}{MoveConstructible}@ reference;
   requires Has@\removedCCC{Copy}@Assign<reference, Value>@\removedCCC{\&\& CopyAssignable<Value>;}@
 
@@ -850,7 +852,7 @@
   X  operator- (const X& x, difference_type n) @\addedCC{\{ X tmp(x); x -= n; return x; \}}@
 
   difference_type operator-(const X&, const X&);
-  reference operator[](const X&, difference_type);
+  reference operator[](const X& x, difference_type n) @\addedCC{\{ return *(x + n); \}}@
 }
 
 concept MutableRandomAccessIterator<typename X>