Boost logo

Boost-Commit :

Subject: [Boost-commit] svn:boost r48809 - sandbox/committee/concepts/stdlib
From: dgregor_at_[hidden]
Date: 2008-09-17 02:17:34


Author: dgregor
Date: 2008-09-17 02:17:33 EDT (Wed, 17 Sep 2008)
New Revision: 48809
URL: http://svn.boost.org/trac/boost/changeset/48809

Log:
Address a few minor issues
Text files modified:
   sandbox/committee/concepts/stdlib/clib-algorithms.tex | 9 +++++----
   sandbox/committee/concepts/stdlib/clib-utilities.tex | 6 +++---
   2 files changed, 8 insertions(+), 7 deletions(-)

Modified: sandbox/committee/concepts/stdlib/clib-algorithms.tex
==============================================================================
--- sandbox/committee/concepts/stdlib/clib-algorithms.tex (original)
+++ sandbox/committee/concepts/stdlib/clib-algorithms.tex 2008-09-17 02:17:33 EDT (Wed, 17 Sep 2008)
@@ -82,6 +82,9 @@
   concept, which is used to constrain the third \tcode{random_shuffle}
   overload. Made the third \tcode{random_shuffle} accept its random
   number generator by rvalue reference.
+\item Now that \tcode{ShuffleIterator} requires
+ \tcode{ForwardIterator}, simplified the \tcode{rotate} algorithm to
+ only directly require \tcode{ShuffleIterator}.
 \end{itemize}
 
 \end{titlepage}
@@ -431,8 +434,7 @@
   template<BidirectionalIterator InIter, OutputIterator<auto, InIter::reference> OutIter>
     OutIter reverse_copy(InIter @\farg{first}@, InIter @\farg{last}@, OutIter @\farg{result}@);
 
- template<ForwardIterator Iter>
- requires ShuffleIterator<Iter>
+ template<ShuffleIterator Iter>
     Iter rotate(Iter @\farg{first}@, Iter @\farg{middle}@,
                 Iter @\farg{last}@);
   template<ForwardIterator InIter, OutputIterator<auto, InIter::reference> OutIter>
@@ -2450,8 +2452,7 @@
 
 \index{rotate@\tcode{rotate}}%
 \color{addclr}\begin{itemdecl}
-template<ForwardIterator Iter>
- requires ShuffleIterator<Iter>
+template<ShuffleIterator Iter>
   Iter rotate(Iter @\farg{first}@, Iter @\farg{middle}@,
               Iter @\farg{last}@);
 \end{itemdecl}\color{black}

Modified: sandbox/committee/concepts/stdlib/clib-utilities.tex
==============================================================================
--- sandbox/committee/concepts/stdlib/clib-utilities.tex (original)
+++ sandbox/committee/concepts/stdlib/clib-utilities.tex 2008-09-17 02:17:33 EDT (Wed, 17 Sep 2008)
@@ -636,7 +636,7 @@
 
 \begin{itemdecl}
 template<class @\farg{U}@, class @\farg{V}@>
- @\addedConcepts{requires HasAssign<T1, RvalueOf<U>::type> \&\& MoveAssignable<T2, RvalueOf<V>::type>}@
+ @\addedConcepts{requires HasAssign<T1, RvalueOf<U>::type> \&\& HasAssign<T2, RvalueOf<V>::type>}@
   pair& operator=(pair<@\farg{U}@, @\farg{V}@>&& @\farg{p}@);
 \end{itemdecl}
 
@@ -1164,7 +1164,7 @@
 \index{operator=@\tcode{operator=}!tuple@\tcode{tuple}}%
 \begin{itemdecl}
 template <@\addedD{class... UTypes}@>
- @\addedConcepts{requires CopyAssignable<Types, UTypes>...}@
+ @\addedConcepts{requires HasAssign<Types, const UTypes\&>...}@
   tuple& operator=(const tuple<@\addedD{UTypes...}@>& u);
 \end{itemdecl}
 
@@ -1186,7 +1186,7 @@
 \index{operator=@\tcode{operator=}!tuple@\tcode{tuple}}%
 \begin{itemdecl}
 @\addedD{template <class... UTypes>}@
- @\addedConcepts{requires MoveAssignable<Types, UTypes>...}@
+ @\addedConcepts{requires HasMoveAssign<Types, RvalueOf<UTypes>::type>...}@
   @\addedD{tuple\& operator=(tuple<UTypes...>\&\& u);}@
 \end{itemdecl}
 


Boost-Commit list run by bdawes at acm.org, david.abrahams at rcn.com, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk