123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107 |
- // 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_RESULT_HPP_
- #define BOOST_LOCAL_FUNCTION_AUX_CODE_RESULT_HPP_
- #include <boost/local_function/aux_/symbol.hpp>
- #include <boost/local_function/aux_/preprocessor/traits/decl_returns.hpp>
- #include <boost/scope_exit.hpp>
- #include <boost/typeof/typeof.hpp>
- #include <boost/type_traits/remove_pointer.hpp>
- #include <boost/type_traits/function_traits.hpp>
- #include <boost/preprocessor/control/iif.hpp>
- #include <boost/preprocessor/control/expr_iif.hpp>
- #include <boost/preprocessor/list/adt.hpp>
- #include <boost/preprocessor/cat.hpp>
- // PRIVATE //
- #define BOOST_LOCAL_FUNCTION_AUX_CODE_RESULT_FUNC_(id) \
- /* symbol (not internal) also gives error if missing result type */ \
- BOOST_PP_CAT( \
- ERROR_missing_result_type_before_the_local_function_parameter_macro_id, \
- id)
- #define BOOST_LOCAL_FUNCTION_AUX_CODE_RESULT_PARAMS_(id) \
- BOOST_LOCAL_FUNCTION_AUX_SYMBOL( (deduce_result_params)(id) )
- #define BOOST_LOCAL_FUNCTION_AUX_CODE_RESULT_TYPE_(id) \
- BOOST_LOCAL_FUNCTION_AUX_SYMBOL( (result_type)(id) )
- #define BOOST_LOCAL_FUNCTION_AUX_CODE_RESULT_INDEX_ \
- /* this does not have to be an integral index because ScopeExit uses */ \
- /* just as a symbol to concatenate go generate unique symbols (but */ \
- /* if it'd ever needed to became integral, the number of function */ \
- /* params + 1 as in the macro CONFIG_ARITY_MAX could be used) */ \
- result
- // User did not explicitly specified result type, deduce it (using Typeof).
- #define BOOST_LOCAL_FUNCTION_AUX_CODE_RESULT_DEDUCE_( \
- id, typename01, decl_traits) \
- /* user specified result type here */ \
- BOOST_LOCAL_FUNCTION_AUX_CODE_RESULT_DECL(id) \
- /* tagging, wrapping, etc as from ScopeExit type deduction are */ \
- /* necessary within templates (at least on GCC) to work around an */ \
- /* compiler internal errors) */ \
- BOOST_SCOPE_EXIT_DETAIL_TAG_DECL(0, /* no recursive step r */ \
- id, BOOST_LOCAL_FUNCTION_AUX_CODE_RESULT_INDEX_, \
- BOOST_LOCAL_FUNCTION_AUX_CODE_RESULT_FUNC_(id)) \
- BOOST_SCOPE_EXIT_DETAIL_CAPTURE_DECL(0, /* no recursive step r */ \
- ( id, BOOST_PP_EXPR_IIF(typename01, typename) ), \
- BOOST_LOCAL_FUNCTION_AUX_CODE_RESULT_INDEX_, \
- BOOST_LOCAL_FUNCTION_AUX_CODE_RESULT_FUNC_(id)) \
- /* extra struct to workaround GCC and other compiler's issues */ \
- struct BOOST_LOCAL_FUNCTION_AUX_CODE_RESULT_PARAMS_(id) { \
- typedef \
- BOOST_PP_EXPR_IIF(typename01, typename) \
- ::boost::function_traits< \
- BOOST_PP_EXPR_IIF(typename01, typename) \
- ::boost::remove_pointer< \
- BOOST_SCOPE_EXIT_DETAIL_CAPTURE_T(id, \
- BOOST_LOCAL_FUNCTION_AUX_CODE_RESULT_INDEX_, \
- BOOST_LOCAL_FUNCTION_AUX_CODE_RESULT_FUNC_(id)) \
- >::type \
- >::result_type \
- BOOST_LOCAL_FUNCTION_AUX_CODE_RESULT_TYPE_(id) \
- ; \
- };
- // Use result type as explicitly specified by user (no type deduction needed).
- // Precondition: RETURNS(decl_traits) != NIL
- #define BOOST_LOCAL_FUNCTION_AUX_CODE_RESULT_TYPED_( \
- id, typename01, decl_traits) \
- /* user specified result type here */ \
- struct BOOST_LOCAL_FUNCTION_AUX_CODE_RESULT_PARAMS_(id) { \
- typedef \
- BOOST_PP_LIST_FIRST( \
- BOOST_LOCAL_FUNCTION_AUX_PP_DECL_TRAITS_RETURNS( \
- decl_traits)) \
- BOOST_LOCAL_FUNCTION_AUX_CODE_RESULT_TYPE_(id) \
- ; \
- };
- // PUBLIC //
- #define BOOST_LOCAL_FUNCTION_AUX_CODE_RESULT_TYPE(id, typename01) \
- BOOST_PP_EXPR_IIF(typename01, typename) \
- BOOST_LOCAL_FUNCTION_AUX_CODE_RESULT_PARAMS_(id) :: \
- BOOST_LOCAL_FUNCTION_AUX_CODE_RESULT_TYPE_(id)
- #define BOOST_LOCAL_FUNCTION_AUX_CODE_RESULT_DECL(id) \
- /* result type here */ (*BOOST_LOCAL_FUNCTION_AUX_CODE_RESULT_FUNC_(id))();
- #define BOOST_LOCAL_FUNCTION_AUX_CODE_RESULT(id, typename01, decl_traits) \
- BOOST_PP_IIF(BOOST_PP_LIST_IS_CONS( \
- BOOST_LOCAL_FUNCTION_AUX_PP_DECL_TRAITS_RETURNS(decl_traits)), \
- BOOST_LOCAL_FUNCTION_AUX_CODE_RESULT_TYPED_ \
- , \
- BOOST_LOCAL_FUNCTION_AUX_CODE_RESULT_DEDUCE_ \
- )(id, typename01, decl_traits)
- #endif // #include guard
|