diff options
Diffstat (limited to 'boost/local_function/aux_/macro/code_/result.hpp')
| -rw-r--r-- | boost/local_function/aux_/macro/code_/result.hpp | 107 |
1 files changed, 107 insertions, 0 deletions
diff --git a/boost/local_function/aux_/macro/code_/result.hpp b/boost/local_function/aux_/macro/code_/result.hpp new file mode 100644 index 0000000000..84334e7996 --- /dev/null +++ b/boost/local_function/aux_/macro/code_/result.hpp @@ -0,0 +1,107 @@ + +// 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 + |