local_function/example/gcc_lambda.hpp

130 lines
5.0 KiB
C++

// 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 GCC_LAMBDA_HPP_
#define GCC_LAMBDA_HPP_
#include <boost/local_function.hpp>
#include <boost/local_function/detail/preprocessor/void_list.hpp>
#include <boost/local_function/detail/preprocessor/line_counter.hpp>
#include <boost/local_function/detail/preprocessor/keyword/return.hpp>
#include <boost/local_function/detail/preprocessor/keyword/const_bind.hpp>
#include <boost/local_function/detail/preprocessor/keyword/bind.hpp>
#include <boost/preprocessor/list/for_each_i.hpp>
#include <boost/preprocessor/list/fold_left.hpp>
#include <boost/preprocessor/list/append.hpp>
#include <boost/preprocessor/list/enum.hpp>
#include <boost/preprocessor/list/adt.hpp>
#include <boost/preprocessor/tuple/elem.hpp>
#include <boost/preprocessor/tuple/eat.hpp>
#include <boost/preprocessor/control/iif.hpp>
#include <boost/preprocessor/punctuation/comma_if.hpp>
#include <boost/preprocessor/facilities/expand.hpp>
#include <boost/preprocessor/cat.hpp>
#include <boost/config.hpp>
// PRIVATE //
#define GCC_LAMBDA_SPLIT_BIND_(elem, binds, params, results) \
(BOOST_PP_LIST_APPEND(binds, (elem, BOOST_PP_NIL)), params, results)
#define GCC_LAMBDA_SPLIT_PARAM_(elem, binds, params, results) \
(binds, BOOST_PP_LIST_APPEND(params, (elem, BOOST_PP_NIL)), results)
#define GCC_LAMBDA_SPLIT_RESULT_(elem, binds, params, results) \
(binds, params, BOOST_PP_LIST_APPEND(results, (elem, BOOT_PP_NIL)))
#define GCC_LAMBDA_SPLIT_DISPATCH_(d, binds_params_results, elem) \
BOOST_PP_IIF(BOOST_LOCAL_FUNCTION_DETAIL_PP_KEYWORD_IS_RETURN_FRONT(elem), \
GCC_LAMBDA_SPLIT_RESULT_ \
, BOOST_PP_IIF(BOOST_LOCAL_FUNCTION_DETAIL_PP_KEYWORD_IS_BIND_FRONT(elem), \
GCC_LAMBDA_SPLIT_BIND_ \
, BOOST_PP_IIF(BOOST_LOCAL_FUNCTION_DETAIL_PP_KEYWORD_IS_CONST_BIND_FRONT( \
elem), \
GCC_LAMBDA_SPLIT_BIND_ \
, /* no result, no bind, and no const bind so it's param */ \
GCC_LAMBDA_SPLIT_PARAM_ \
)))(elem, BOOST_PP_TUPLE_ELEM(3, 0, binds_params_results), \
BOOST_PP_TUPLE_ELEM(3, 1, binds_params_results), \
BOOST_PP_TUPLE_ELEM(3, 2, binds_params_results))
#define GCC_LAMBDA_SPLIT_(list) \
BOOST_PP_LIST_FOLD_LEFT(GCC_LAMBDA_SPLIT_DISPATCH_, \
(BOOST_PP_NIL, BOOST_PP_NIL, BOOST_PP_NIL), list)
#define GCC_LAMBDA_REMOVE_CONST_BIND_(r, unused, i, elem) \
BOOST_PP_COMMA_IF(i) \
BOOST_LOCAL_FUNCTION_DETAIL_PP_KEYWORD_CONST_BIND_REMOVE_FRONT(elem)
#define GCC_LAMBDA_RESULT_TYPE_(results) \
BOOST_LOCAL_FUNCTION_DETAIL_PP_KEYWORD_RETURN_REMOVE_FRONT( \
BOOST_PP_LIST_FIRST(results))
#ifdef BOOST_NO_CXX11_LAMBDAS
//[gcc_lambda_macro
# define GCC_LAMBDA_(binds, params, results) \
({ /* open statement expression (GCC extension only) */ \
BOOST_LOCAL_FUNCTION( \
BOOST_PP_LIST_ENUM(BOOST_PP_LIST_APPEND(binds, \
BOOST_PP_LIST_APPEND(params, \
BOOST_PP_IIF(BOOST_PP_LIST_IS_NIL(results), \
(return void, BOOST_PP_NIL) /* default for lambdas */ \
, \
results \
)\
) \
)) \
)
//]
#else
# define GCC_LAMBDA_(binds, params, results) \
/* ignore const binding because not supported by C++11 lambdas */ \
[ BOOST_PP_LIST_FOR_EACH_I(GCC_LAMBDA_REMOVE_CONST_BIND_, ~, binds) ] \
( BOOST_PP_LIST_ENUM(params) ) \
BOOST_PP_IIF(BOOST_PP_LIST_IS_NIL(results), \
BOOST_PP_TUPLE_EAT(1) /* void result type (default) */ \
, \
-> GCC_LAMBDA_RESULT_TYPE_ \
)(results)
#endif
#define GCC_LAMBDA_TUPLE_(binds_params_results) \
GCC_LAMBDA_(BOOST_PP_TUPLE_ELEM(3, 0, binds_params_results), \
BOOST_PP_TUPLE_ELEM(3, 1, binds_params_results), \
BOOST_PP_TUPLE_ELEM(3, 2, binds_params_results))
//[gcc_lambda_end_macro
#define GCC_LAMBDA_END_(id) \
BOOST_LOCAL_FUNCTION_NAME(BOOST_PP_CAT(gcc_lambda_, id)) \
BOOST_PP_CAT(gcc_lambda_, id); \
}) /* close statement expression (GCC extension only) */
//]
// PUBLIC //
// Same arguments as for local functions but respect to C++11 lambdas:
// const bind v is =v, bind& v is &v, void if no return specified, no = or &.
#ifdef BOOST_NO_CXX11_VARIADIC_MACROS
# define GCC_LAMBDA(void_or_seq) \
GCC_LAMBDA_TUPLE_(GCC_LAMBDA_SPLIT_( \
BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST(void_or_seq)))
#else
# define GCC_LAMBDA(...) \
GCC_LAMBDA_TUPLE_(GCC_LAMBDA_SPLIT_( \
BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST(__VA_ARGS__)))
#endif
#ifdef BOOST_NO_CXX11_LAMBDAS
# define GCC_LAMBDA_END \
GCC_LAMBDA_END_(BOOST_LOCAL_FUNCTION_DETAIL_PP_LINE_COUNTER)
#else
# define GCC_LAMBDA_END /* nothing */
#endif
#endif // #include guard