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

From: dgregor_at_[hidden]
Date: 2008-03-25 10:40:37

Author: dgregor
Date: 2008-03-25 10:40:36 EDT (Tue, 25 Mar 2008)
New Revision: 43854
URL: http://svn.boost.org/trac/boost/changeset/43854

Log:
Add issue 28
Added:
   sandbox/committee/concepts/issues/issues/issue28.xml   (contents, props changed)
Text files modified: 
   sandbox/committee/concepts/issues/issues/concepts-template.xml |     2 +-                                      
   1 files changed, 1 insertions(+), 1 deletions(-)

Modified: sandbox/committee/concepts/issues/issues/concepts-template.xml
==============================================================================
--- sandbox/committee/concepts/issues/issues/concepts-template.xml	(original)
+++ sandbox/committee/concepts/issues/issues/concepts-template.xml	2008-03-25 10:40:36 EDT (Tue, 25 Mar 2008)
@@ -7,7 +7,7 @@
 <title>Your Title</title>
 <section><sref ref="00.0.0"/></section>
 <submitter>Your Name</submitter>
-<date>28 Feb 2008</date>
+<date>25 Mar 2008</date>
 
 <discussion>
   <p>

Added: sandbox/committee/concepts/issues/issues/issue28.xml
==============================================================================
--- (empty file)
+++ sandbox/committee/concepts/issues/issues/issue28.xml	2008-03-25 10:40:36 EDT (Tue, 25 Mar 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="28" status="New">
+  <title>Abstract classes should not be <code>VariableType</code>s</title>
+<section><sref ref="[concept.support]"/></section>
+<submitter>Thomas Witt</submitter>
+<date>25 Mar 2008</date>
+
+<discussion>
+  <p>Since one cannot create an instance of an abstract class, an
+  abstract class type <code>T</code> should not have an
+  implicitly-defined concept
+  map <code>VariableType&lt;T&gt;</code>.</p>
+</discussion>
+
+<resolution>
+  <p>Modify [concept.support]p9 as follows:</p>
+  <ol start="9">
+    <li><i>Requires</i>: for every type <code>T</code> that is an
+      object type or reference type<ins>, but not an abstract class
+      type ([class.abstract])</ins>, a concept
+      map <code>VariableType&lt;T&gt;</code> shall be implicitly
+      defined in namespace <code>std</code>.</li>
+  </ol>
+</resolution>
+</issue>