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

Subject: [Boost-commit] svn:boost r79728 - in sandbox/type_erasure/libs/type_erasure: doc example
From: steven_at_[hidden]
Date: 2012-07-24 18:07:54

Author: steven_watanabe
Date: 2012-07-24 18:07:53 EDT (Tue, 24 Jul 2012)
New Revision: 79728
URL: http://svn.boost.org/trac/boost/changeset/79728

Log:
Add example of conversion.
Added:
   sandbox/type_erasure/libs/type_erasure/example/convert.cpp   (contents, props changed)
Text files modified: 
   sandbox/type_erasure/libs/type_erasure/doc/type_erasure.qbk |     5 +++++                                   
   sandbox/type_erasure/libs/type_erasure/example/Jamfile.jam  |     1 +                                       
   2 files changed, 6 insertions(+), 0 deletions(-)

Modified: sandbox/type_erasure/libs/type_erasure/doc/type_erasure.qbk
==============================================================================
--- sandbox/type_erasure/libs/type_erasure/doc/type_erasure.qbk	(original)
+++ sandbox/type_erasure/libs/type_erasure/doc/type_erasure.qbk	2012-07-24 18:07:53 EDT (Tue, 24 Jul 2012)
@@ -113,6 +113,11 @@
 [multi]
 [endsect]
 
+[section:convert Conversions]
+[import ../example/convert.cpp]
+[convert]
+[endsect]
+
 [section:references Using References]
 [import ../example/references.cpp]
 [references]

Modified: sandbox/type_erasure/libs/type_erasure/example/Jamfile.jam
==============================================================================
--- sandbox/type_erasure/libs/type_erasure/example/Jamfile.jam	(original)
+++ sandbox/type_erasure/libs/type_erasure/example/Jamfile.jam	2012-07-24 18:07:53 EDT (Tue, 24 Jul 2012)
@@ -10,6 +10,7 @@
 
 compile basic.cpp ;
 compile multi.cpp ;
+compile convert.cpp ;
 compile references.cpp ;
 compile custom.cpp ;
 compile construction.cpp ;

Added: sandbox/type_erasure/libs/type_erasure/example/convert.cpp
==============================================================================
--- (empty file)
+++ sandbox/type_erasure/libs/type_erasure/example/convert.cpp	2012-07-24 18:07:53 EDT (Tue, 24 Jul 2012)
@@ -0,0 +1,58 @@
+// Boost.TypeErasure library
+//
+// Copyright 2012 Steven Watanabe
+//
+// Distributed under the Boost Software License Version 1.0. (See
+// accompanying file LICENSE_1_0.txt or copy at
+// http://www.boost.org/LICENSE_1_0.txt)
+//
+// $Id$
+
+#include <boost/type_erasure/any.hpp>
+#include <boost/type_erasure/builtin.hpp>
+#include <boost/type_erasure/operators.hpp>
+
+namespace mpl = boost::mpl;
+using namespace boost::type_erasure;
+
+void convert1() {
+//[convert1
+    /*`
+        An __any can be converted to another __any
+        as long as the conversion is an "upcast."
+    */
+
+    typedef any<
+        mpl::vector<
+            copy_constructible<>,
+            typeid_<>,
+            ostreamable<>
+        >
+    > any_printable;
+    typedef any<
+        mpl::vector<
+            copy_constructible<>,
+            typeid_<>
+        >
+    > common_any;
+    any_printable x(10);
+    common_any y(x);
+
+    /*`
+        This conversion is okay because the requirements of `common_any`
+        are a subset of the requirements of `any_printable`.  Conversion
+        in the other direction is illegal.
+
+        ``
+            common_any x(10);
+            any_printable y(x); // error
+        ``
+    */
+//]
+}
+
+//[convert
+//` (For the source of the examples in this section see
+//` [@boost:/libs/type_erasure/example/convert.cpp convert.cpp])
+//` [convert1]
+//]