[Boost-commit] svn:boost r73142 - sandbox/conversion/libs/conversion_ext/test

Subject: [Boost-commit] svn:boost r73142 - sandbox/conversion/libs/conversion_ext/test
From: vicente.botet_at_[hidden]
Date: 2011-07-16 07:54:34

Author: viboes
Date: 2011-07-16 07:54:33 EDT (Sat, 16 Jul 2011)
New Revision: 73142
URL: http://svn.boost.org/trac/boost/changeset/73142

Log:
conversion: is_explicitly_convertible uses now an independent implementation from is_constructible, based on static_cast.
Text files modified: 
   sandbox/conversion/libs/conversion_ext/test/intrinsec.cpp                 |     9 +++++++++                               
   sandbox/conversion/libs/conversion_ext/test/is_constructible.cpp          |     1 -                                       
   sandbox/conversion/libs/conversion_ext/test/is_copy_assignable.cpp        |     6 +++---                                  
   sandbox/conversion/libs/conversion_ext/test/is_explicitly_convertible.cpp |     5 ++---                                   
   4 files changed, 14 insertions(+), 7 deletions(-)

Modified: sandbox/conversion/libs/conversion_ext/test/intrinsec.cpp
==============================================================================
--- sandbox/conversion/libs/conversion_ext/test/intrinsec.cpp	(original)
+++ sandbox/conversion/libs/conversion_ext/test/intrinsec.cpp	2011-07-16 07:54:33 EDT (Sat, 16 Jul 2011)
@@ -91,8 +91,17 @@
   template <> struct is_constructible< AA, A const& >  : true_type {};
   template <> struct is_constructible< CC, B const& >  : true_type {};
   template <> struct is_constructible< AE, B >  : true_type {};
+
 }
 #endif
+
+#if defined BOOST_CONVERSION_NO_IS_EXPLICIT_CONVERTIBLE
+namespace boost
+{
+  template <> struct is_explicitly_convertible< X, ECF_X >  : true_type {};
+}
+#endif
+
 #if defined(BOOST_CONVERSION_NO_IS_ASSIGNABLE)
 namespace boost
 {

Modified: sandbox/conversion/libs/conversion_ext/test/is_constructible.cpp
==============================================================================
--- sandbox/conversion/libs/conversion_ext/test/is_constructible.cpp	(original)
+++ sandbox/conversion/libs/conversion_ext/test/is_constructible.cpp	2011-07-16 07:54:33 EDT (Sat, 16 Jul 2011)
@@ -53,7 +53,6 @@
   BOOST_STATIC_ASSERT((boost::is_constructible<A, int, double>::value));
   BOOST_STATIC_ASSERT((boost::is_constructible<A, A const&>::value));
   BOOST_STATIC_ASSERT((!boost::is_constructible<void>::value));
-  // BUG: We need to add specializations for void
   BOOST_STATIC_ASSERT((!boost::is_constructible<void,A>::value));
   BOOST_STATIC_ASSERT((boost::is_constructible<B>::value));
 }

Modified: sandbox/conversion/libs/conversion_ext/test/is_copy_assignable.cpp
==============================================================================
--- sandbox/conversion/libs/conversion_ext/test/is_copy_assignable.cpp	(original)
+++ sandbox/conversion/libs/conversion_ext/test/is_copy_assignable.cpp	2011-07-16 07:54:33 EDT (Sat, 16 Jul 2011)
@@ -53,9 +53,9 @@
 int main()
 {
   BOOST_STATIC_ASSERT(( boost::is_copy_assignable<int>::value));
-  //BOOST_STATIC_ASSERT((!boost::is_copy_assignable<const int>::value));
-  //BOOST_STATIC_ASSERT((!boost::is_copy_assignable<int[]>::value));
-  //BOOST_STATIC_ASSERT((!boost::is_copy_assignable<int[3]>::value));
+  BOOST_STATIC_ASSERT((!boost::is_copy_assignable<const int>::value));
+  BOOST_STATIC_ASSERT((!boost::is_copy_assignable<int[]>::value));
+  BOOST_STATIC_ASSERT((!boost::is_copy_assignable<int[3]>::value));
   BOOST_STATIC_ASSERT(( boost::is_copy_assignable<int&>::value));
   BOOST_STATIC_ASSERT(( boost::is_copy_assignable<A>::value));
   BOOST_STATIC_ASSERT(( boost::is_copy_assignable<bit_zero>::value));

Modified: sandbox/conversion/libs/conversion_ext/test/is_explicitly_convertible.cpp
==============================================================================
--- sandbox/conversion/libs/conversion_ext/test/is_explicitly_convertible.cpp	(original)
+++ sandbox/conversion/libs/conversion_ext/test/is_explicitly_convertible.cpp	2011-07-16 07:54:33 EDT (Sat, 16 Jul 2011)
@@ -8,7 +8,6 @@
 //
 //////////////////////////////////////////////////////////////////////////////
 
-
 #include <iostream>
 #include <boost/static_assert.hpp>
 #include <boost/conversion/type_traits/is_explicitly_convertible.hpp>
@@ -24,8 +23,8 @@
 #if defined(BOOST_CONVERSION_NO_IS_CONSTRUCTIBLE)
 namespace boost
 {
-  template <> struct is_constructible< A, int >  : true_type {};
-  template <> struct is_constructible< A, double >  : true_type {};
+  template <> struct is_explicitly_convertible< int, A >  : true_type {};
+  template <> struct is_explicitly_convertible< double, A >  : true_type {};
   template <> struct is_constructible< A, int, double >  : true_type {};
   template <> struct is_constructible< A, A const& >  : true_type {};
 }