Subject: [Boost-commit] svn:boost r69974 - sandbox/variadic_templates/sandbox/bind
From: cppljevans_at_[hidden]
Date: 2011-03-14 09:26:16
Author: cppljevans
Date: 2011-03-14 09:26:15 EDT (Mon, 14 Mar 2011)
New Revision: 69974
URL: http://svn.boost.org/trac/boost/changeset/69974
Log:
prototype variadic bind
Added:
sandbox/variadic_templates/sandbox/bind/
sandbox/variadic_templates/sandbox/bind/Makefile (contents, props changed)
sandbox/variadic_templates/sandbox/bind/bindv.cpp (contents, props changed)
sandbox/variadic_templates/sandbox/bind/bindv.out (contents, props changed)
Added: sandbox/variadic_templates/sandbox/bind/Makefile
==============================================================================
--- (empty file)
+++ sandbox/variadic_templates/sandbox/bind/Makefile 2011-03-14 09:26:15 EDT (Mon, 14 Mar 2011)
@@ -0,0 +1,36 @@
+MAIN=bindv
+YES_NOT=yes
+#Purpose:
+# compile/run $(MAIN).cpp with one_of:
+# 1) variadic bind, when YES_NOT=yes
+# 2) phoenix3 bind, when YES_NOT=not
+
+DIR.root := $(shell dirup_dir_file.pl $(PWD) root.imk)
+
+HOW.base=gcc4_6n
+BINDV.yes=-I$(vartmpl.root) $(COMPILER.gcc.opts.variadic) -DUSE_VARIADIC_BIND
+BINDV.not=-I$(phoenix3.root) $(COMPILER.gcc.opts.all) -std=gnu++0x
+COMPILE.$(HOW.base).yes=$(COMPILER.$(HOW.base)) -c $(BINDV.yes) $(INCS)
+COMPILE.$(HOW.base).not=$(COMPILER.$(HOW.base)) -c $(BINDV.not) $(INCS)
+
+LINK.$(HOW.base).yes=$(LINK.$(HOW.base))
+LINK.$(HOW.base).not=$(LINK.$(HOW.base))
+
+HOW=$(HOW.base).$(YES_NOT)
+
+include $(DIR.root)/root.imk
+
+all:
+ for YES_NOT in yes not ; do \
+ make -W$(MAIN).cpp YES_NOT=$$YES_NOT cmp_run ; \
+ done ; \
+ #
+
+cmp_run:
+ $(COMPILE.$(HOW)) $(MAIN).cpp -o $(MAIN).$(YES_NOT).o
+ $(LINK.$(HOW)) $(MAIN).$(YES_NOT).o -o $(MAIN).$(YES_NOT).x
+ ./$(MAIN).$(YES_NOT).x
+
+show:
+ @echo "COMPILE.HOW.base.yes=" $(COMPILE.$(HOW.base).yes)
+ @echo "COMPILE.HOW.base.not=" $(COMPILE.$(HOW.base).not)
Added: sandbox/variadic_templates/sandbox/bind/bindv.cpp
==============================================================================
--- (empty file)
+++ sandbox/variadic_templates/sandbox/bind/bindv.cpp 2011-03-14 09:26:15 EDT (Mon, 14 Mar 2011)
@@ -0,0 +1,490 @@
+//Prototype varadic template bind, bindv.
+//====================================================================
+// (C) Copyright Larry Evans 2011.
+//
+// Permission to copy, use, modify, sell and distribute this software
+// is granted provided this copyright notice appears in all copies.
+// This software is provided "as is" without express or implied
+// warranty, and with no claim as to its suitability for any purpose.
+//====================================================================
+//#define USE_VARIADIC_BIND
+#ifdef USE_VARIADIC_BIND
+ #include <boost/mpl/package_c.hpp>
+ #include <boost/type_traits/remove_cv.hpp>
+ #include <boost/bind/placeholders.hpp>
+ #include <boost/composite_storage/pack/multiple_dispatch/apply_unpack.hpp>
+#else
+ #include <boost/phoenix/bind.hpp>
+ #include <boost/phoenix/core/argument.hpp>
+#endif
+#include <iostream>
+
+namespace boost
+{
+namespace sandbox
+{
+#ifdef USE_VARIADIC_BIND
+ template
+ < unsigned Size
+ >
+ struct
+void_ptr_size_array
+ {
+ static
+ unsigned const
+ size
+ =Size
+ ;
+ typedef
+ void*
+ ptr_type
+ ;
+ ptr_type
+ my_ptrs[size]
+ ;
+
+ void*
+ ptr_at(unsigned index)const
+ {
+ return my_ptrs[index];
+ }
+
+ void*&
+ ptr_at(unsigned index)
+ {
+ return my_ptrs[index];
+ }
+
+ //XTORS:
+ void_ptr_size_array
+ ( void
+ )
+ {
+ #ifdef VOID_PTR_ARRAY_SIZES_INITIALIZE
+ //This is not needed for a correct program.
+ //However, if, somehow, the my_ptr's are
+ //not initialized somewhere else (for example
+ //by replace_source_with_target_ptr), then
+ //detecting whether they are properly intialized
+ //becomes difficult because, without the
+ //following initialization loop, the values
+ //stored in my_ptrs, maybe non-zero and therefore
+ //difficult to check for correctness.
+ for(unsigned i=0; i<size; ++i) my_ptrs[i]=0;
+ #endif
+ }
+
+ template
+ < typename... Types
+ >
+ void_ptr_size_array
+ ( Types*... ptrs
+ )
+ : my_ptrs({ptrs...})
+ {}
+ };
+
+ template
+ < typename Types
+ >
+ struct
+void_ptr_array
+ ;
+
+ template
+ < typename Type
+ >
+ typename remove_cv<Type>::type*
+remove_cv_ptr
+ ( Type&
+ value
+ )
+ /**@brief
+ * Removes 'const and volatile' from Type and returns
+ * pointer to value with that type.
+ */
+ {
+ typedef typename remove_cv<Type>::type remove_cv_type;
+ remove_cv_type*rm_cv_ptr=const_cast<remove_cv_type*>(&value);
+ return rm_cv_ptr;
+ }
+
+ template
+ < typename... Types
+ >
+ struct
+void_ptr_array
+ < mpl::package
+ < Types...
+ >
+ >
+ /**@brief
+ * 1) An array of void* to Types...*
+ * 2) A CTOR which takes Types&.. to create these pointers.
+ * 3) A project<I>() function to convert
+ * these pointers back to the Types&... passed to CTOR.
+ */
+ : void_ptr_size_array
+ < sizeof...(Types)
+ >
+ {
+ typedef
+ void_ptr_size_array
+ < sizeof...(Types)
+ >
+ super_type
+ ;
+ typedef typename
+ super_type::ptr_type
+ ptr_type
+ ;
+ using
+ super_type::
+ ptr_at
+ ;
+ template
+ < unsigned Index
+ >
+ struct
+ result_type
+ : mpl::at_c
+ < mpl::package<Types...>
+ , Index
+ >
+ {
+ };
+
+ template
+ < unsigned Index
+ >
+ typename result_type<Index>::type&
+ project(void)const
+ {
+ ptr_type
+ vp=ptr_at(Index);
+ #ifdef VOID_PTR_ARRAY_SIZES_INITIALIZE
+ assert(vp != 0);
+ #endif
+ typedef
+ typename result_type<Index>::type
+ arg_type;
+ arg_type*ap=static_cast<arg_type*>(vp);
+ return *ap;
+ }
+
+ //XTORS:
+ void_ptr_array()
+ {}
+ void_ptr_array(Types&... args)
+ : super_type
+ ( remove_cv_ptr(args)...
+ )
+ {}
+
+ };
+
+ template
+ < typename TargetFront
+ , typename TargetBack
+ , typename Source
+ >
+ struct
+substitute
+ /**@brief
+ * Subsittute values in TargetBack
+ * with values in Source.
+ */
+;
+ template
+ < typename... Front
+ , int Index
+ , typename... Back
+ , typename Source
+ >
+ struct
+substitute
+ < mpl::package<Front...>
+ , mpl::package<arg<Index>,Back...>
+ , Source
+ >
+{
+ static
+ unsigned const
+ arg_i=Index-1
+ ;
+ typedef typename
+ Source::template result_type<arg_i>::type
+ arg_t
+ ;
+ typedef
+ substitute
+ < mpl::package<Front...,arg_t>
+ , mpl::package<Back...>
+ , Source
+ >
+ next_t
+ /**@brief
+ * Substitute arg<Index> with the Index-th value in Source.
+ */
+ ;
+ static
+ auto
+ _( void_ptr_size_array<sizeof...(Front)+1+sizeof...(Back)>& target
+ , Source const& source
+ )-> decltype(next_t::_(target,source))
+ {
+ unsigned const tar_index=sizeof...(Front);
+ target.ptr_at(tar_index) = source.ptr_at(arg_i);
+ return next_t::_(target,source);
+ }
+};
+
+ template
+ < typename... Front
+ , typename Middle
+ , typename... Back
+ , typename Source
+ >
+ struct
+substitute
+ < mpl::package<Front...>
+ , mpl::package<Middle,Back...>
+ , Source
+ >
+{
+ typedef
+ substitute
+ < mpl::package<Front...,Middle>
+ , mpl::package<Back...>
+ , Source
+ >
+ next_t
+ /**@brief
+ * Since Middle is not a placeholder, just move
+ * it to Front.
+ */
+ ;
+ static
+ auto
+ _( void_ptr_size_array<sizeof...(Front)+1+sizeof...(Back)>& target
+ , Source const& source
+ )->decltype(next_t::_(target,source))
+ {
+ return next_t::_(target,source);
+ }
+};
+
+ template
+ < typename... Front
+ , typename Source
+ >
+ struct
+substitute
+ < mpl::package<Front...>
+ , mpl::package<>
+ , Source
+ >
+{
+ typedef
+ void_ptr_array
+ < mpl::package<Front...>
+ >
+ next_t
+ ;
+ static
+ next_t&
+ _( void_ptr_size_array<sizeof...(Front)>& target
+ , Source const&
+ )
+ /**@brief
+ * Since no more arguments to be sustituted,
+ * just cast target to the actual type.
+ */
+ {
+ return static_cast<next_t&>(target);
+ }
+};
+
+ template
+ < typename Functor
+ , typename... ArgsPart
+ >
+ struct
+bind_result
+ : void_ptr_array
+ < mpl::package<ArgsPart...>
+ >
+ {
+ typedef
+ void_ptr_array
+ < mpl::package<ArgsPart...>
+ >
+ super_t;
+ Functor
+ my_ftor;
+ bind_result
+ ( Functor a_ftor
+ , ArgsPart&... a_args
+ )
+ : super_t
+ ( a_args...
+ )
+ , my_ftor(a_ftor)
+ {}
+
+ template
+ < typename... ArgsComplete
+ >
+ typename Functor::result_type
+ operator()
+ ( ArgsComplete&... a_args
+ )
+ {
+ typedef mpl::package<ArgsComplete...> pkg_args;
+ typedef void_ptr_array<pkg_args> source_t;
+ source_t source_v(a_args...);
+ super_t target_part(*this);
+ auto
+ target_complete
+ =substitute
+ < mpl::package<>
+ , mpl::package<ArgsPart...>
+ , source_t
+ >::_
+ ( target_part
+ , source_v
+ );
+ composite_storage::pack::multiple_dispatch::
+ apply_unpack
+ < typename mpl::package_range_c
+ < unsigned
+ , 0
+ , sizeof...(ArgsPart)
+ >::type
+ >
+ uapp;
+ return uapp(my_ftor,target_complete);
+ }
+ };
+
+ template
+ < typename Functor
+ , typename... Args
+ >
+ bind_result
+ < Functor
+ , Args...
+ >
+bind
+ ( Functor a_ftor
+ , Args&... a_args
+ )
+ {
+ bind_result<Functor,Args...> bres(a_ftor,a_args...);
+ return bres;
+ }
+
+ void
+pkg_print
+ (
+ )
+ {}
+
+ template
+ < typename Head
+ , typename... Tail
+ >
+ void
+pkg_print
+ ( Head head
+ , Tail... tail
+ )
+ {
+ std::cout<<":"<<head;
+ pkg_print(tail...);
+ }
+
+ struct
+functor_any
+ {
+ typedef
+ void
+ result_type;
+ template
+ < typename... Args
+ >
+ result_type
+ operator()
+ ( Args&... a_args
+ )
+ {
+ std::cout<<"functor_any(";
+ pkg_print(a_args...);
+ std::cout<<")\n";
+ }
+ };
+#else
+using namespace phoenix;
+using namespace phoenix::placeholders;
+ struct
+functor_any
+ {
+ typedef
+ void
+ result_type;
+ template
+ < typename Arg1
+ , typename Arg2
+ >
+ result_type
+ operator()
+ ( Arg1& a_arg1
+ , Arg2& a_arg2
+ )
+ {
+ std::cout<<"functor_any(";
+ std::cout<<":"<<a_arg1;
+ std::cout<<":"<<a_arg2;
+ std::cout<<")\n";
+ }
+ };
+#endif
+
+ void
+test()
+ {
+ int act1=1;
+ int act2=2;
+ functor_any f_any;
+ {
+ std::cout<<"(_1,_2)("<<act1<<","<<act2<<")\n";
+ auto bnd_any=bind(f_any,_1,_2);
+ bnd_any(act1,act2);
+ }
+ {
+ std::cout<<"("<<act2<<",_1)("<<act1<<")\n";
+ auto bnd_any=bind(f_any,act2,_1);
+ bnd_any(act1);
+ std::cout<<"("<<act2<<",_1)("<<act2<<")\n";
+ bnd_any(act2);
+ }
+ {
+ std::cout<<"("<<act2<<","<<act1<<")("<<act1<<")\n";
+ auto bnd_any=bind(f_any,act2,act1);
+ bnd_any(act1);
+ }
+ }
+
+}//exit sandbox namespace
+}//exit boost namespace
+
+int main()
+{
+ #ifdef USE_VARIADIC_BIND
+ std::cout<<"YES_VARIADIC_BIND\n";
+ #else
+ std::cout<<"NOT_VARIADIC_BIND\n";
+ #endif
+ boost::sandbox::test();
+ return 0;
+}
Added: sandbox/variadic_templates/sandbox/bind/bindv.out
==============================================================================
--- (empty file)
+++ sandbox/variadic_templates/sandbox/bind/bindv.out 2011-03-14 09:26:15 EDT (Mon, 14 Mar 2011)
@@ -0,0 +1,38 @@
+directory: "~/prog_dev/boost-svn/ro/boost_1_46_0/sandbox/rw/variadic_templates/sandbox/bind/" -*-
+Compilation started at Mon Mar 14 08:12:30
+
+make all
+for YES_NOT in yes not ; do \
+ make -Wbindv.cpp YES_NOT=$YES_NOT cmp_run ; \
+ done ; \
+ #
+make[1]: Entering directory `/home/evansl/prog_dev/boost-svn/ro/boost_1_46_0/sandbox/rw/variadic_templates/sandbox/bind'
+/home/evansl/download/gcc/4.6-20110126/install/bin/g++ -c -I/home/evansl/prog_dev/boost-svn/ro/boost_1_46_0/sandbox/rw/variadic_templates -Wall -ftemplate-depth-300 -O0 -fpermissive -std=gnu++0x -DCXX0X_VARIADIC_TEMPLATES -DBOOST_USE_MPL_VARIADIC_TEMPLATES -DBOOST_MPL_CFG_NO_PREPROCESSED_HEADERS -DUSE_VARIADIC_BIND -I/home/evansl/prog_dev/boost-svn/ro/boost_1_46_0 bindv.cpp -o bindv.yes.o
+/home/evansl/download/gcc/4.6-20110126/install/bin/g++ -Wl,-rpath /home/evansl/download/gcc/4.6-20110126/install/lib64 bindv.yes.o -o bindv.yes.x
+./bindv.yes.x
+YES_VARIADIC_BIND
+(_1,_2)(1,2)
+functor_any(:1:2)
+(2,_1)(1)
+functor_any(:2:1)
+(2,_1)(2)
+functor_any(:2:2)
+(2,1)(1)
+functor_any(:2:1)
+make[1]: Leaving directory `/home/evansl/prog_dev/boost-svn/ro/boost_1_46_0/sandbox/rw/variadic_templates/sandbox/bind'
+make[1]: Entering directory `/home/evansl/prog_dev/boost-svn/ro/boost_1_46_0/sandbox/rw/variadic_templates/sandbox/bind'
+/home/evansl/download/gcc/4.6-20110126/install/bin/g++ -c -I/home/evansl/prog_dev/boost-svn/ro/boost_1_46_0/sandbox/ro/SOC/2010/phoenix3 -Wall -ftemplate-depth-300 -O0 -fpermissive -std=gnu++0x -I/home/evansl/prog_dev/boost-svn/ro/boost_1_46_0 bindv.cpp -o bindv.not.o
+/home/evansl/download/gcc/4.6-20110126/install/bin/g++ -Wl,-rpath /home/evansl/download/gcc/4.6-20110126/install/lib64 bindv.not.o -o bindv.not.x
+./bindv.not.x
+NOT_VARIADIC_BIND
+(_1,_2)(1,2)
+functor_any(:1:2)
+(2,_1)(1)
+functor_any(:2:1)
+(2,_1)(2)
+functor_any(:2:2)
+(2,1)(1)
+functor_any(:2:1)
+make[1]: Leaving directory `/home/evansl/prog_dev/boost-svn/ro/boost_1_46_0/sandbox/rw/variadic_templates/sandbox/bind'
+
+Compilation finished at Mon Mar 14 08:12:42