| |
| // Copyright (C) 2009-2012 Lorenzo Caminiti |
| // Distributed under the Boost Software License, Version 1.0 |
| // (see accompanying file LICENSE_1_0.txt or a copy at |
| // http://www.boost.org/LICENSE_1_0.txt) |
| // Home at http://www.boost.org/libs/local_function |
| |
| #ifndef BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_HPP_ |
| #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_HPP_ |
| |
| #include <boost/local_function/aux_/symbol.hpp> |
| #include <boost/local_function/aux_/macro/decl.hpp> |
| #include <boost/local_function/aux_/preprocessor/traits/bind.hpp> |
| #include <boost/local_function/aux_/preprocessor/traits/decl_binds.hpp> |
| #include <boost/local_function/aux_/preprocessor/traits/decl_const_binds.hpp> |
| #include <boost/utility/identity_type.hpp> |
| #include <boost/scope_exit.hpp> |
| #include <boost/type_traits/remove_reference.hpp> |
| #include <boost/type_traits/function_traits.hpp> |
| #include <boost/preprocessor/control/expr_iif.hpp> |
| #include <boost/preprocessor/control/iif.hpp> |
| #include <boost/preprocessor/facilities/empty.hpp> |
| #include <boost/preprocessor/facilities/is_empty.hpp> |
| #include <boost/preprocessor/facilities/identity.hpp> |
| #include <boost/preprocessor/logical/bitand.hpp> |
| #include <boost/preprocessor/punctuation/comma_if.hpp> |
| #include <boost/preprocessor/tuple/elem.hpp> |
| #include <boost/preprocessor/tuple/eat.hpp> |
| #include <boost/preprocessor/list/adt.hpp> |
| #include <boost/preprocessor/list/for_each_i.hpp> |
| #include <boost/preprocessor/list/append.hpp> |
| |
| // PRIVATE // |
| |
| #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_PARAMS_VAR_(id) \ |
| BOOST_LOCAL_FUNCTION_AUX_SYMBOL( (params)(id) ) |
| |
| #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_TAG_DECL_(r, id, i, bind_traits) \ |
| BOOST_SCOPE_EXIT_DETAIL_TAG_DECL(r, id, i, \ |
| BOOST_LOCAL_FUNCTION_AUX_PP_BIND_TRAITS_VAR_WITHOUT_TYPE( \ |
| bind_traits)) |
| |
| #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_CAPTURE_DECL_TYPED_( \ |
| r, id, typename01, i, bind_traits) \ |
| typedef BOOST_PP_EXPR_IIF(typename01, typename) \ |
| /* remove ref because typed var can have & prefix */ \ |
| ::boost::remove_reference< BOOST_PP_EXPR_IIF(typename01, typename) \ |
| ::boost::function_traits< \ |
| /* instead of using Boost.Typeof, get bind type as 1st */ \ |
| /* argument type of func type `void (type_ [&] var_)` */ \ |
| void ( BOOST_LOCAL_FUNCTION_AUX_PP_BIND_TRAITS_VAR_WITH_TYPE( \ |
| bind_traits) ) \ |
| >::arg1_type \ |
| >::type \ |
| BOOST_SCOPE_EXIT_DETAIL_CAPTURE_T(id, i, \ |
| BOOST_LOCAL_FUNCTION_AUX_PP_BIND_TRAITS_VAR_WITHOUT_TYPE( \ |
| bind_traits)) \ |
| ; /* close typedef */ |
| |
| #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_CAPTURE_DECL_DEDUCED_( \ |
| r, id, typename01, i, bind_traits) \ |
| BOOST_SCOPE_EXIT_DETAIL_CAPTURE_DECL(r, \ |
| ( \ |
| id \ |
| , \ |
| /* ScopeExit expects typename or EMPTY() here */ \ |
| BOOST_PP_EXPR_IIF(typename01, typename) \ |
| ), \ |
| i, BOOST_LOCAL_FUNCTION_AUX_PP_BIND_TRAITS_VAR_WITHOUT_TYPE( \ |
| bind_traits)) |
| |
| #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_CAPTURE_DECL_( \ |
| r, id_typename, i, bind_traits) \ |
| BOOST_PP_IIF(BOOST_PP_IS_EMPTY( \ |
| BOOST_LOCAL_FUNCTION_AUX_PP_BIND_TRAITS_VAR_WITH_TYPE(bind_traits)), \ |
| BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_CAPTURE_DECL_DEDUCED_ \ |
| , \ |
| BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_CAPTURE_DECL_TYPED_ \ |
| )(r, BOOST_PP_TUPLE_ELEM(2, 0, id_typename), \ |
| BOOST_PP_TUPLE_ELEM(2, 1, id_typename), i, bind_traits) |
| |
| #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_PARAM_DECL_( \ |
| r, id_typename, i, bind_traits) \ |
| BOOST_SCOPE_EXIT_DETAIL_PARAM_DECL(r, \ |
| ( \ |
| BOOST_PP_TUPLE_ELEM(2, 0, id_typename) \ |
| , \ |
| /* ScopeExit expects typename or EMPTY() here */ \ |
| BOOST_PP_EXPR_IIF(BOOST_PP_TUPLE_ELEM(2, 1, id_typename), \ |
| typename \ |
| ) \ |
| ), \ |
| i, BOOST_LOCAL_FUNCTION_AUX_PP_BIND_TRAITS_VAR_WITHOUT_TYPE( \ |
| bind_traits)) |
| |
| #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_MEMBER_DECL_VAR_( \ |
| r, id, typename01, i, var) \ |
| BOOST_PP_EXPR_IIF(typename01, typename) \ |
| BOOST_IDENTITY_TYPE(( /* must use IDENTITY because of tparam comma */ \ |
| ::boost::scope_exit::detail::member< \ |
| BOOST_SCOPE_EXIT_DETAIL_PARAM_T(id, i, var) \ |
| , BOOST_SCOPE_EXIT_DETAIL_TAG(id, i) \ |
| > \ |
| )) \ |
| BOOST_SCOPE_EXIT_DETAIL_PARAM(id, i, var); |
| |
| #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_MEMBER_DECL_( \ |
| r, id_typename, i, bind_traits) \ |
| BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_MEMBER_DECL_VAR_(r, \ |
| BOOST_PP_TUPLE_ELEM(2, 0, id_typename), \ |
| BOOST_PP_TUPLE_ELEM(2, 1, id_typename), \ |
| i, BOOST_LOCAL_FUNCTION_AUX_PP_BIND_TRAITS_VAR_WITHOUT_TYPE( \ |
| bind_traits)) |
| |
| #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_PARAM_INIT_(r, id, i, bind_traits) \ |
| BOOST_SCOPE_EXIT_DETAIL_PARAM_INIT(r, id, i, \ |
| BOOST_LOCAL_FUNCTION_AUX_PP_BIND_TRAITS_VAR_WITHOUT_TYPE( \ |
| bind_traits)) |
| |
| #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_THIS_CAPTURE_TYPE_(id) \ |
| BOOST_LOCAL_FUNCTION_AUX_SYMBOL( (this_capture_type)(id) ) |
| |
| #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_THIS_TYPE_(id) \ |
| BOOST_LOCAL_FUNCTION_AUX_SYMBOL( (this_type)(id) ) |
| |
| #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_THIS_TYPEDEF_DEDUCED_( \ |
| id, typename01, all_bind_this_types) \ |
| BOOST_SCOPE_EXIT_DETAIL_TYPEDEF_TYPEOF_THIS(id, \ |
| BOOST_PP_EXPR_IIF(typename01, typename), /* otherwise EMPTY() */ \ |
| BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_THIS_CAPTURE_TYPE_(id)) |
| |
| #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_THIS_TYPEDEF_TYPED_( \ |
| id, typename01, all_bind_this_types) \ |
| typedef \ |
| BOOST_LOCAL_FUNCTION_AUX_PP_BIND_TRAITS_THIS_TYPE(BOOST_PP_LIST_FIRST( \ |
| all_bind_this_types)) \ |
| BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_THIS_CAPTURE_TYPE_(id) \ |
| ; |
| |
| #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_THIS_TYPEDEF_( \ |
| id, typename01, all_bind_this_types) \ |
| /* typedef type_ */ \ |
| BOOST_PP_IIF(BOOST_PP_IS_EMPTY( \ |
| /* all_bind_this_type is list with 1 elem (possibly PP_EMPTY), */ \ |
| /* otherwise got a pp-parsing error before getting here */ \ |
| BOOST_LOCAL_FUNCTION_AUX_PP_BIND_TRAITS_THIS_TYPE( \ |
| BOOST_PP_LIST_FIRST(all_bind_this_types))), \ |
| BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_THIS_TYPEDEF_DEDUCED_ \ |
| , \ |
| BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_THIS_TYPEDEF_TYPED_ \ |
| )(id, typename01, all_bind_this_types) |
| |
| #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_ALL_( \ |
| all_binds, all_bind_this_types, id, typename01) \ |
| /* binding tags */ \ |
| BOOST_PP_IIF(BOOST_PP_LIST_IS_CONS(all_bind_this_types), \ |
| BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_THIS_TYPEDEF_ \ |
| , \ |
| BOOST_PP_TUPLE_EAT(3) \ |
| )(id, typename01, all_bind_this_types) \ |
| BOOST_PP_LIST_FOR_EACH_I(BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_TAG_DECL_, id, \ |
| all_binds) \ |
| BOOST_PP_LIST_FOR_EACH_I(BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_CAPTURE_DECL_, \ |
| (id, typename01), all_binds) \ |
| /* binding class */ \ |
| struct BOOST_SCOPE_EXIT_DETAIL_PARAMS_T(id) { \ |
| /* interim capture types to workaround internal error on old GCC */ \ |
| BOOST_PP_EXPR_IIF(BOOST_PP_LIST_IS_CONS(all_bind_this_types), \ |
| typedef BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_THIS_CAPTURE_TYPE_(id) \ |
| BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_THIS_TYPE_(id) ; \ |
| ) \ |
| BOOST_PP_EXPR_IIF(BOOST_PP_LIST_IS_CONS(all_bind_this_types), \ |
| BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_THIS_TYPE_(id) \ |
| BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_THIS_VAR; \ |
| ) \ |
| BOOST_PP_LIST_FOR_EACH_I( \ |
| BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_PARAM_DECL_, \ |
| (id, typename01), all_binds) \ |
| BOOST_PP_LIST_FOR_EACH_I( \ |
| BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_MEMBER_DECL_, \ |
| (id, typename01), all_binds) \ |
| } BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_PARAMS_VAR_(id) = \ |
| /* NOTE: there is no way to wrap member initializer commas within */ \ |
| /* parenthesis so you must handle these commas manually if expanding */ \ |
| /* this macro within another macro */ \ |
| { \ |
| /* initialize the struct with param values to bind */ \ |
| BOOST_PP_EXPR_IIF(BOOST_PP_LIST_IS_CONS(all_bind_this_types), \ |
| this) /* here name `this` access object at enclosing scope */ \ |
| BOOST_PP_COMMA_IF(BOOST_PP_BITAND( \ |
| BOOST_PP_LIST_IS_CONS(all_bind_this_types) \ |
| , BOOST_PP_LIST_IS_CONS(all_binds) \ |
| )) \ |
| BOOST_PP_LIST_FOR_EACH_I( \ |
| BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_PARAM_INIT_, id, all_binds) \ |
| }; |
| |
| #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_(id, typename01, decl_traits) \ |
| /* IMPORTANT: the order of these appends is important, it must follow */ \ |
| /* the indexing order used by the functor code which starts */ \ |
| /* enumerating const binds and then non-const binds */ \ |
| BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_ALL_( \ |
| BOOST_PP_LIST_APPEND( \ |
| BOOST_LOCAL_FUNCTION_AUX_PP_DECL_TRAITS_CONST_BINDS( \ |
| decl_traits),\ |
| BOOST_LOCAL_FUNCTION_AUX_PP_DECL_TRAITS_BINDS( \ |
| decl_traits)), \ |
| BOOST_PP_LIST_APPEND( \ |
| BOOST_LOCAL_FUNCTION_AUX_PP_DECL_TRAITS_CONST_BIND_THIS_TYPES(decl_traits), \ |
| BOOST_LOCAL_FUNCTION_AUX_PP_DECL_TRAITS_BIND_THIS_TYPES( \ |
| decl_traits)), \ |
| id, typename01) |
| |
| // PUBLIC // |
| |
| #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_THIS_TYPE(id, typename01) \ |
| BOOST_PP_EXPR_IIF(typename01, typename) \ |
| BOOST_SCOPE_EXIT_DETAIL_PARAMS_T(id):: \ |
| BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_THIS_TYPE_(id) |
| |
| #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_THIS_VAR \ |
| BOOST_LOCAL_FUNCTION_AUX_SYMBOL( (this_var) ) |
| |
| #define BOOST_LOCAL_FUNCTION_AUX_CODE_BIND(id, typename01, decl_traits) \ |
| /* the binding data structures must be declared and initialized (to */ \ |
| /* empty structs, so hopefully the compiler will optimize away the */ \ |
| /* no-op code) even when there is no bound param because these structs */ \ |
| /* are used to init `...args.value` which is always used by the `END` */ \ |
| /* macro later because this macro does not know if there are bound */ \ |
| /* params or not */ \ |
| BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_(id, typename01, decl_traits) \ |
| /* this code takes advantage of the template argument list/comparison */ \ |
| /* operator ambiguity to declare a variable iff it hasn't already been */ \ |
| /* declared in that scope; the second occurrence is parsed as: */ \ |
| /* (declared<(resolve<sizeof(boost_local_auxXargs)>::cmp1<0)>::cmp2> */ \ |
| /* ...Xargs); */ \ |
| /* which is a no-op */ \ |
| ::boost::scope_exit::detail::declared< boost::scope_exit::detail::resolve< \ |
| /* cannot prefix with `::` as in `sizeof(:: ...` because the name */ \ |
| /* must refer to the local variable name to allow multiple local */ \ |
| /* functions (and exits) within the same scope (however this */ \ |
| /* does not allow for nesting because local variables cannot be */ \ |
| /* used in nested code blocks) */ \ |
| sizeof(BOOST_LOCAL_FUNCTION_AUX_DECL_ARGS_VAR) \ |
| >::cmp1<0>::cmp2 > BOOST_LOCAL_FUNCTION_AUX_DECL_ARGS_VAR; \ |
| /* stores bound types/values into `...args` variable (args variable */ \ |
| /* can be accessed by `NAME` macro because doesn't use __LINE__ id) */ \ |
| BOOST_LOCAL_FUNCTION_AUX_DECL_ARGS_VAR.value = \ |
| &BOOST_LOCAL_FUNCTION_AUX_CODE_BIND_PARAMS_VAR_(id); |
| |
| #endif // #include guard |
| |