[Boost-commit] svn:boost r79630 - in sandbox/type_erasure: boost/type_erasure libs/type_erasure/example

Subject: [Boost-commit] svn:boost r79630 - in sandbox/type_erasure: boost/type_erasure libs/type_erasure/example
From: steven_at_[hidden]
Date: 2012-07-20 19:46:28

Author: steven_watanabe
Date: 2012-07-20 19:46:27 EDT (Fri, 20 Jul 2012)
New Revision: 79630
URL: http://svn.boost.org/trac/boost/changeset/79630

Log:
Clarify the behavior of concept_interface for composite concepts.
Text files modified: 
   sandbox/type_erasure/boost/type_erasure/concept_interface.hpp |    12 +++++++++++-                            
   sandbox/type_erasure/libs/type_erasure/example/compose.cpp    |     4 +++-                                    
   2 files changed, 14 insertions(+), 2 deletions(-)

Modified: sandbox/type_erasure/boost/type_erasure/concept_interface.hpp
==============================================================================
--- sandbox/type_erasure/boost/type_erasure/concept_interface.hpp	(original)
+++ sandbox/type_erasure/boost/type_erasure/concept_interface.hpp	2012-07-20 19:46:27 EDT (Fri, 20 Jul 2012)
@@ -18,10 +18,20 @@
  * The @ref concept_interface class can be specialized to
  * add behavior to an @ref any.
  *
+ * @ref concept_interface can be specialized for either
+ * primitive or composite concepts.  If a concept @c C1
+ * contains another concept @c C2, then the library guarantees
+ * that the specialization of @ref concept_interface for
+ * C2 is a base class of the specialization for C1.
+ * This means that C1 can safely override members of C2.
+ *
  * \tparam Concept The concept that we're specializing
- *         @ref concept_interface for.
+ *         @ref concept_interface for.  One of its
+ *         placeholders should be @c ID.
  * \tparam Base The base of this class.  Specializations of @ref
  *         concept_interface must inherit publicly from this type.
+ *         The metafunctions @ref derived and @ref rebind_any
+ *         can also be applied to @c Base.
  * \tparam ID The placeholder representing this type.
  * \tparam Enable A dummy parameter that can be used for SFINAE.
  */

Modified: sandbox/type_erasure/libs/type_erasure/example/compose.cpp
==============================================================================
--- sandbox/type_erasure/libs/type_erasure/example/compose.cpp	(original)
+++ sandbox/type_erasure/libs/type_erasure/example/compose.cpp	2012-07-20 19:46:27 EDT (Fri, 20 Jul 2012)
@@ -38,7 +38,9 @@
 /*`
     Now, `arithmetic` can be used just like any
     of the base concepts.  We can even specialize
-    __concept_interface for it.
+    __concept_interface for it if we want to
+    add to or override the behavior of the base
+    concepts.
 */
 //]