[Boost-commit] svn:boost r76691 - sandbox/local_function/libs/utility/identity_type/test

Subject: [Boost-commit] svn:boost r76691 - sandbox/local_function/libs/utility/identity_type/test
From: lorcaminiti_at_[hidden]
Date: 2012-01-25 16:43:45

Author: lcaminiti
Date: 2012-01-25 16:43:43 EST (Wed, 25 Jan 2012)
New Revision: 76691
URL: http://svn.boost.org/trac/boost/changeset/76691

Log:
Tests.
Added:
   sandbox/local_function/libs/utility/identity_type/test/Jamfile.v2   (contents, props changed)
   sandbox/local_function/libs/utility/identity_type/test/template.cpp   (contents, props changed)
   sandbox/local_function/libs/utility/identity_type/test/tmp_assert.cpp   (contents, props changed)
Properties modified: 
   sandbox/local_function/libs/utility/identity_type/test/   (props changed)
Text files modified: 
   sandbox/local_function/libs/utility/identity_type/test/var_err.cpp |     8 ++++----                                
   sandbox/local_function/libs/utility/identity_type/test/var_ok.cpp  |    13 +++++++++----                           
   2 files changed, 13 insertions(+), 8 deletions(-)

Added: sandbox/local_function/libs/utility/identity_type/test/Jamfile.v2
==============================================================================
--- (empty file)
+++ sandbox/local_function/libs/utility/identity_type/test/Jamfile.v2	2012-01-25 16:43:43 EST (Wed, 25 Jan 2012)
@@ -0,0 +1,8 @@
+
+import testing ;
+
+compile-fail var_err.cpp ;
+run var_ok.cpp ;
+run template.cpp ;
+run tmp_assert.cpp ;
+

Added: sandbox/local_function/libs/utility/identity_type/test/template.cpp
==============================================================================
--- (empty file)
+++ sandbox/local_function/libs/utility/identity_type/test/template.cpp	2012-01-25 16:43:43 EST (Wed, 25 Jan 2012)
@@ -0,0 +1,42 @@
+
+#include <boost/utility/identity_type.hpp>
+#include <map>
+#include <iostream>
+
+//[template_f_decl
+#define ARG(type, n) type arg ## n
+
+template<typename T>
+void f( // Prefix macro with `typename` in templates.
+    ARG( typename BOOST_IDENTITY_TYPE((std::map<int, T>)), 1 )
+) {
+    std::cout << arg1[0] << std::endl;
+}
+//]
+
+//[template_g_decl
+template<typename T>
+void g(
+    std::map<int, T> arg1
+) {
+    std::cout << arg1[0] << std::endl;
+}
+//]
+
+int main() {
+    //[template_f_call
+    std::map<int, char> a;
+    a[0] = 'a';
+    
+    f<char>(a); // OK.
+    // f(a);    // But error.
+    //]
+
+    //[template_g_call
+    g<char>(a); // OK.
+    g(a);       // Also OK.
+    //]
+    
+    return 0;
+}
+

Added: sandbox/local_function/libs/utility/identity_type/test/tmp_assert.cpp
==============================================================================
--- (empty file)
+++ sandbox/local_function/libs/utility/identity_type/test/tmp_assert.cpp	2012-01-25 16:43:43 EST (Wed, 25 Jan 2012)
@@ -0,0 +1,45 @@
+
+#include <boost/utility/identity_type.hpp>
+#include <boost/type_traits/is_const.hpp>
+#include <boost/static_assert.hpp>
+#include <boost/type_traits/add_reference.hpp>
+#include <boost/type_traits/remove_reference.hpp>
+#include <map>
+
+//[tmp_assert_abstract
+#define TMP_ASSERT(metafunction) \
+    BOOST_STATIC_ASSERT(metafunction::value)
+
+template<typename T, bool b>
+struct abstract {
+    static const bool value = b;
+    virtual void f(T const& x) = 0;
+};
+
+TMP_ASSERT(
+    boost::remove_reference<            // Add and remove
+        BOOST_IDENTITY_TYPE((           // reference for
+            boost::add_reference<       // abstract type.
+                abstract<int, true>
+            >::type
+        ))
+    >::type
+);
+//]
+
+//[tmp_assert_alternative
+#define TMP_ASSERT_PAREN(parenthesized_metafunction) \
+    /* use `BOOST_IDENTITY_TYPE` in macro definition instead of invocation */ \
+    BOOST_STATIC_ASSERT(BOOST_IDENTITY_TYPE(parenthesized_metafunction)::value)
+
+TMP_ASSERT_PAREN(( boost::is_const<std::map<int, char> const> ));
+TMP_ASSERT( BOOST_IDENTITY_TYPE((boost::is_const<std::map<int, char> const>)) );
+//]
+
+//[tmp_assert_alternative_always
+TMP_ASSERT_PAREN(( boost::is_const<int const> )); // Always extra `()`.
+TMP_ASSERT( boost::is_const<int const> ); // No extra `()` and no macro.
+//]
+
+int main() { return 0; }
+

Modified: sandbox/local_function/libs/utility/identity_type/test/var_err.cpp
==============================================================================
--- sandbox/local_function/libs/utility/identity_type/test/var_err.cpp	(original)
+++ sandbox/local_function/libs/utility/identity_type/test/var_err.cpp	2012-01-25 16:43:43 EST (Wed, 25 Jan 2012)
@@ -1,11 +1,11 @@
 
 #include <map>
 
-//[test_var_err
-#define VAR(type, postfix) type var_ ## postfix
+//[var_err
+#define VAR(type, n) type var ## n
 
-VAR(int, a);                    // OK.
-VAR(std::map<char, int>, b);    // Error.
+VAR( int, 1 );                  // OK.
+VAR( std::map<int, char>, 2 );  // Error.
 //]
 
 int main() { return 0; }

Modified: sandbox/local_function/libs/utility/identity_type/test/var_ok.cpp
==============================================================================
--- sandbox/local_function/libs/utility/identity_type/test/var_ok.cpp	(original)
+++ sandbox/local_function/libs/utility/identity_type/test/var_ok.cpp	2012-01-25 16:43:43 EST (Wed, 25 Jan 2012)
@@ -1,14 +1,19 @@
 
 #include <map>
 
-#define VAR(type, postfix) type var_ ## count
+#define VAR(type, n) type var ## n
 
-VAR(int, a); // OK.
+VAR( int, 1 ); // OK.
 
-//[test_var_ok
+//[var_typedef
+typedef std::map<int, char> map_type;
+VAR( map_type, 3 ); // OK.
+//]
+
+//[var_ok
 #include <boost/utility/identity_type.hpp>
 
-VAR(BOOST_IDENTITY_TYPE((std::map<char, int>)), b); // OK.
+VAR( BOOST_IDENTITY_TYPE((std::map<int, char>)), 4 ); // OK.
 //]
 
 int main() { return 0; }