[Boost-commit] svn:boost r45946 - sandbox/committee/concepts/issues/issues

From: dgregor_at_[hidden]
Date: 2008-05-30 09:08:41

Author: dgregor
Date: 2008-05-30 09:08:40 EDT (Fri, 30 May 2008)
New Revision: 45946
URL: http://svn.boost.org/trac/boost/changeset/45946

Log:
New concepts issue 36
Added:
   sandbox/committee/concepts/issues/issues/issue36.xml   (contents, props changed)
Text files modified: 
   sandbox/committee/concepts/issues/issues/issue34.xml |     3 ++-                                     
   1 files changed, 2 insertions(+), 1 deletions(-)

Modified: sandbox/committee/concepts/issues/issues/issue34.xml
==============================================================================
--- sandbox/committee/concepts/issues/issues/issue34.xml	(original)
+++ sandbox/committee/concepts/issues/issues/issue34.xml	2008-05-30 09:08:40 EDT (Fri, 30 May 2008)
@@ -70,7 +70,8 @@
 
   requires ConstructibleAsElement&lt;Alloc, T, const T&amp;&gt; <ins>&amp;&amp; CopyAssignable&lt;T&gt;</ins>
     deque&lt;T,Allocator&gt;&amp; operator=(const deque&lt;T,Allocator&gt;&amp; x); 
-  deque&lt;T,Allocator&gt;&amp; operator=(const deque&lt;T,Allocator&gt;&amp;&amp; x); 
+  <ins>requires ConstructibleAsElement&lt;Alloc, T, T&amp;&amp&gt;</ins>
+    deque&lt;T,Allocator&gt;&amp; operator=(const deque&lt;T,Allocator&gt;&amp;&amp; x); 
   template &lt;InputIterator Iter&gt; 
     requires ConstructibleAsElement&lt;Alloc, T, Iter::reference&gt; <ins>&amp;&amp; HasCopyAssign&lt;T, Iter::reference&gt;</ins>
     void assign(Iter first, Iter last); 

Added: sandbox/committee/concepts/issues/issues/issue36.xml
==============================================================================
--- (empty file)
+++ sandbox/committee/concepts/issues/issues/issue36.xml	2008-05-30 09:08:40 EDT (Fri, 30 May 2008)
@@ -0,0 +1,29 @@
+<?xml version='1.0' encoding='iso-8859-1' standalone='no'?>
+<!DOCTYPE issue SYSTEM "lwg-issue.dtd" [ 
+  <!ENTITY nbsp "&#160;">
+] >
+
+<issue num="36" status="Open">
+<title><code>HasCopyAssign</code> should be named <code>HasAssign</code></title>
+<section><sref ref="[concept.operator]"/></section>
+<submitter>Howard Hinnant</submitter>
+<date>29 May 2008</date>
+
+<discussion>
+  <p>In:</p>
+<pre>
+template &lt;InputIterator Iter&gt;
+     requires ConstructibleAsElement&lt;Alloc, T, Iter::reference&gt; &amp;&amp; HasCopyAssign&lt;T, Iter::reference&gt;
+     void assign(Iter first, Iter last);
+</pre>
+
+<p>Is "HasCopyAssign" a good name for this concept?  I'm thinking more
+  along the lines of "HasAssign".  Rationale: <code>Iter</code> can be
+  a <code>move_iterator&lt;T&gt;</code>.  It's reference type
+  is <code>T&amp;&amp;</code>.  I strongly suspect that
+  the <code>HasCopyAssign</code> concept will work just fine
+  for <code>move_iterator&lt;T&gt;</code>.  I'm just thinking that the
+  name may be misleading because the code may end up doing a move
+  assign.</p>
+</discussion>
+</issue>