Subject: [Boost-commit] svn:boost r72552 - in sandbox/conversion/boost/conversion: . type_traits
From: vicente.botet_at_[hidden]
Date: 2011-06-12 08:49:27
Author: viboes
Date: 2011-06-12 08:49:26 EDT (Sun, 12 Jun 2011)
New Revision: 72552
URL: http://svn.boost.org/trac/boost/changeset/72552
Log:
Conversion: Added wrappers for convertible from/to and assignable_to
Added:
sandbox/conversion/boost/conversion/assignable_to.hpp (contents, props changed)
sandbox/conversion/boost/conversion/convertible_from.hpp (contents, props changed)
sandbox/conversion/boost/conversion/convertible_to.hpp (contents, props changed)
Text files modified:
sandbox/conversion/boost/conversion/ca_wrapper.hpp | 3 ++-
sandbox/conversion/boost/conversion/include.hpp | 4 +++-
sandbox/conversion/boost/conversion/type_traits/is_extrinsic_convertible.hpp | 16 ++++++++--------
3 files changed, 13 insertions(+), 10 deletions(-)
Added: sandbox/conversion/boost/conversion/assignable_to.hpp
==============================================================================
--- (empty file)
+++ sandbox/conversion/boost/conversion/assignable_to.hpp 2011-06-12 08:49:26 EDT (Sun, 12 Jun 2011)
@@ -0,0 +1,98 @@
+//////////////////////////////////////////////////////////////////////////////
+//
+// (C) Copyright Vicente J. Botet Escriba 2009. 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)
+//
+// See http://www.boost.org/libs/conversion for documentation.
+//
+//////////////////////////////////////////////////////////////////////////////
+
+/*!
+ @file
+ @brief
+ Defines the free function @c mca.
+ */
+#ifndef BOOST_CONVERSION_ASSIGNABLE_TO_HPP
+#define BOOST_CONVERSION_ASSIGNABLE_TO_HPP
+
+#include <boost/conversion/convert_to.hpp>
+#include <boost/conversion/assign_to.hpp>
+
+namespace boost {
+ namespace conversion {
+
+ //! wrapper providing assignment from extrinsic assignable to @c Target.
+
+ template <typename Target>
+ class assignable_to {
+ public:
+ Target& ref_;
+
+ //! default copy constructor
+ //! @NoThrow.
+ //assignable_to(assignable_to const& r) : ref_(r.ref_) { }
+
+ //! constructor from a reference
+ //! @NoThrow.
+ assignable_to(Target& r) : ref_(r) {}
+
+ //! Implicit conversion to @c U.
+ //! @Effects Forwards the conversion from the reference using @c conver_to.
+ //! @Returns @c *this
+ //! @Throws Whatever @c convert_to throws.
+ template <typename U>
+ operator U()
+ {
+ return boost::conversion::convert_to<U>(ref_);
+ }
+
+ //! Assignment.
+ //!
+ //! @Effects Forwards the assignment to the reference.
+ //! @Returns @c *this
+ //! @Throws Whatever @c Target assignment can throws.
+ assignable_to& operator =(assignable_to<Target> const& u)
+ {
+ ref_ = u.ref_;
+ return *this;
+ }
+
+ //! Assignment from a converter assigner wrapping a type U convertible to Target.
+ //!
+ //! @Effects Forwards the assignment to the reference using assign_to.
+ //! @Returns @c *this
+ //! @Throws Whatever @c assign_to throws.
+ template <typename U>
+ assignable_to& operator =(assignable_to<U> const& u)
+ {
+ boost::conversion::assign_to(ref_, u.ref_);
+ return *this;
+ }
+
+ //! Assignment from a type Source assignable to Target.
+ //!
+ //! @Effects Forwards the assignment to the reference using assign_to
+ //! @Returns @c *this
+ //! @Throws Whatever @c assign_to throws.
+ template <typename Source>
+ assignable_to& operator =(Source const& u)
+ {
+ boost::conversion::assign_to(ref_, u);
+ return *this;
+ }
+ };
+ //! makes an assignable to @c Target.
+
+ //! The result is able to transform conversion by convert_to calls and assignments by assign_to calls.
+ //! @NoThrow.
+ template <typename Target>
+ assignable_to<Target> mat(Target& r)
+ {
+ return assignable_to<Target>(r);
+ }
+ }
+}
+
+#endif
+
Modified: sandbox/conversion/boost/conversion/ca_wrapper.hpp
==============================================================================
--- sandbox/conversion/boost/conversion/ca_wrapper.hpp (original)
+++ sandbox/conversion/boost/conversion/ca_wrapper.hpp 2011-06-12 08:49:26 EDT (Sun, 12 Jun 2011)
@@ -28,6 +28,7 @@
class ca_wrapper {
public:
T& ref_;
+
//! copy constructor
//! @NoThrow.
ca_wrapper(ca_wrapper const& r) : ref_(r.ref_) { }
@@ -41,7 +42,7 @@
//! @Returns @c *this
//! @Throws Whatever @c convert_to throws.
template <typename U>
- operator U() {
+ operator U() const {
return boost::conversion::convert_to<U>(ref_);
}
Added: sandbox/conversion/boost/conversion/convertible_from.hpp
==============================================================================
--- (empty file)
+++ sandbox/conversion/boost/conversion/convertible_from.hpp 2011-06-12 08:49:26 EDT (Sun, 12 Jun 2011)
@@ -0,0 +1,59 @@
+//////////////////////////////////////////////////////////////////////////////
+//
+// (C) Copyright Vicente J. Botet Escriba 2009. 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)
+//
+// See http://www.boost.org/libs/conversion for documentation.
+//
+//////////////////////////////////////////////////////////////////////////////
+
+/*!
+ @file
+ @brief
+ Defines the free function @c mca.
+ */
+#ifndef BOOST_CONVERSION_CONVERTIBLE_FROM_HPP
+#define BOOST_CONVERSION_CONVERTIBLE_FROM_HPP
+
+#include <boost/conversion/convert_to.hpp>
+#include <boost/conversion/assign_to.hpp>
+
+namespace boost {
+ namespace conversion {
+
+ //! wrapper providing implicit conversion operation to @c Target.
+
+ template <typename Source>
+ class convertible_from {
+ Source val_;
+ public:
+
+ //! @brief constructor from a @c Source
+ //! @Throws Whatever the @c Source copy constructor could throw.
+ convertible_from(Source source) : val_(source) {}
+
+ //! @brief Implicit conversion to @c Target.
+ //! @Effects Forwards the conversion from the reference using @c conver_to.
+ //! @Returns the conversion using @c conver_to
+ //! @Throws Whatever extrinsic conversion from @c Source to @c Target could throw.
+ template <typename Target>
+ operator Target() const
+ {
+ return conversion::convert_to<Target>(val_);
+ }
+
+ };
+ //! @brief makes a convertible from @c Source.
+ //! The result provides implicitly conversion to any type which is extrinsic convertible from @c Source.
+ //! @NoThrow.
+ template <typename Source>
+ convertible_from<Source> mcf(Source s)
+ {
+ return convertible_from<Source>(s);
+ }
+ }
+}
+
+#endif
+
Added: sandbox/conversion/boost/conversion/convertible_to.hpp
==============================================================================
--- (empty file)
+++ sandbox/conversion/boost/conversion/convertible_to.hpp 2011-06-12 08:49:26 EDT (Sun, 12 Jun 2011)
@@ -0,0 +1,60 @@
+//////////////////////////////////////////////////////////////////////////////
+//
+// (C) Copyright Vicente J. Botet Escriba 2009. 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)
+//
+// See http://www.boost.org/libs/conversion for documentation.
+//
+//////////////////////////////////////////////////////////////////////////////
+
+/*!
+ @file
+ @brief
+ Defines the free function @c mca.
+ */
+#ifndef BOOST_CONVERSION_CONVERTIBLE_TO_HPP
+#define BOOST_CONVERSION_CONVERTIBLE_TO_HPP
+
+#include <boost/conversion/convert_to.hpp>
+#include <boost/conversion/assign_to.hpp>
+
+namespace boost {
+ namespace conversion {
+
+ //! wrapper providing implicit conversion operation to @c Target.
+
+ template <typename Target>
+ class convertible_to {
+ Target val_;
+ public:
+
+ //! constructor from a extrinsic implicitly convertible to @c Target.
+ //! @Effects Store the extrinsic conversion from @c source to @ Target.
+ //! @Throws Whatever extrinsic implicit conversion from @c source to @c Target could throw.
+ template <typename Source>
+ convertible_to(Source const& source)
+ : val_(boost::conversion::convert_to<Target>(source))
+ {}
+
+ //! Implicit conversion to @c Target.
+ //! @Returns @c val_
+ //! @Throws Whatever @c target copy constructor could throw.
+ operator Target() const
+ {
+ return val_;
+ }
+ //! explicit conversion to @c Target.
+ //! @Returns @c val_
+ //! @Throws Whatever @c target copy constructor could throw.
+ Target get() const
+ {
+ return val_;
+ }
+
+ };
+ }
+}
+
+#endif
+
Modified: sandbox/conversion/boost/conversion/include.hpp
==============================================================================
--- sandbox/conversion/boost/conversion/include.hpp (original)
+++ sandbox/conversion/boost/conversion/include.hpp 2011-06-12 08:49:26 EDT (Sun, 12 Jun 2011)
@@ -21,7 +21,9 @@
#include <boost/conversion/assign_to.hpp>
#include <boost/conversion/convert_to_via.hpp>
#include <boost/conversion/ca_wrapper.hpp>
-#include <boost/conversion/pack.hpp>
+#include <boost/conversion/convertible_to.hpp>
+#include <boost/conversion/convertible_from.hpp>
+#include <boost/conversion/assignable_to.hpp>
#include <boost/conversion/try_convert_to.hpp>
#include <boost/conversion/convert_to_or_fallback.hpp>
#include <boost/conversion/try_assign_to.hpp>
Modified: sandbox/conversion/boost/conversion/type_traits/is_extrinsic_convertible.hpp
==============================================================================
--- sandbox/conversion/boost/conversion/type_traits/is_extrinsic_convertible.hpp (original)
+++ sandbox/conversion/boost/conversion/type_traits/is_extrinsic_convertible.hpp 2011-06-12 08:49:26 EDT (Sun, 12 Jun 2011)
@@ -25,14 +25,14 @@
struct is_extrinsic_convertible : conversion::converter<Target, Source> {};
template <class T>
struct is_extrinsic_convertible<fusion::void_,T> : false_type {};
- template <>
- struct is_extrinsic_convertible<void, void> : true_type {};
- template <>
- struct is_extrinsic_convertible<const void,void> : true_type {};
- template <>
- struct is_extrinsic_convertible<void, const void> : true_type {};
- template <>
- struct is_extrinsic_convertible<const void, const void> : true_type {};
+// template <>
+// struct is_extrinsic_convertible<void, void> : true_type {};
+// template <>
+// struct is_extrinsic_convertible<const void,void> : true_type {};
+// template <>
+// struct is_extrinsic_convertible<void, const void> : true_type {};
+// template <>
+// struct is_extrinsic_convertible<const void, const void> : true_type {};
}