[Boost-commit] svn:boost r83252 - sandbox/type_erasure/boost/type_erasure

Subject: [Boost-commit] svn:boost r83252 - sandbox/type_erasure/boost/type_erasure
From: steven_at_[hidden]
Date: 2013-03-02 14:58:43

Author: steven_watanabe
Date: 2013-03-02 14:58:42 EST (Sat, 02 Mar 2013)
New Revision: 83252
URL: http://svn.boost.org/trac/boost/changeset/83252

Log:
More complete description of relaxed.
Text files modified: 
   sandbox/type_erasure/boost/type_erasure/relaxed.hpp |    27 +++++++++++++++------------             
   1 files changed, 15 insertions(+), 12 deletions(-)

Modified: sandbox/type_erasure/boost/type_erasure/relaxed.hpp
==============================================================================
--- sandbox/type_erasure/boost/type_erasure/relaxed.hpp	(original)
+++ sandbox/type_erasure/boost/type_erasure/relaxed.hpp	2013-03-02 14:58:42 EST (Sat, 02 Mar 2013)
@@ -43,24 +43,27 @@
 }
 
 /**
- * This special concept does not have any behavior by
- * itself.  However it affects the behavior of other
- * concepts.  In the presence of this concept, the
- * requirement that all the arguments to a function
- * must match is relaxed.  Instead, if there is a
- * reasonable default implementation, it will be used,
- * otherwise a @ref bad_function_call exception will
- * be thrown.
+ * This special concept enables various useful default behavior that
+ * makes @ref any act like an ordinary object.  By default @ref any
+ * forwards all operations to the underlying type, and provides only
+ * the operations that are specified in its @c Concept.
  *
- * The following concepts have special behavior with
- * this flag:
- * - @ref assignable "assignable": If the types are not the same,
- *   it will fall back on copy and swap.
+ * In detail, @ref relaxed enables the following:
+ * - A raw value can be assigned to an @ref any.  This will replace
+ *   the value stored by the @ref any.  (But note that if @ref assignable
+ *   is present, it takes priority.)
+ * - copy assignment of @ref any uses the copy constructor if it can't
+ *   use @ref assignable (either because @ref assignable is missing,
+ *   or because the stored types do not match).
+ * - default construction of @ref any is allowed and creates a null any.
  * - @ref equality_comparable "equality_comparable": If the types do not
  *   match, it will return false.
  * - @ref less_than_comparable "less_than_comparable": If the types do not
  *   match, the ordering will be according to
  *   @c std::type_info::before.
+ * - if the arguments to any other function do not match, it will throw
+ *   a @ref bad_function_call exception instead of having undefined
+ *   behavior.
  */
 struct relaxed : ::boost::mpl::vector0<> {};