diff options
Diffstat (limited to 'boost/hof/detail/pp.hpp')
| -rw-r--r-- | boost/hof/detail/pp.hpp | 93 |
1 files changed, 93 insertions, 0 deletions
diff --git a/boost/hof/detail/pp.hpp b/boost/hof/detail/pp.hpp new file mode 100644 index 0000000000..20bc7a960e --- /dev/null +++ b/boost/hof/detail/pp.hpp @@ -0,0 +1,93 @@ +/*============================================================================= + Copyright (c) 2014 Paul Fultz II + pp.h + Distributed under the Boost Software License, Version 1.0. (See accompanying + file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) +==============================================================================*/ + +#ifndef BOOST_HOF_GUARD_PP_H +#define BOOST_HOF_GUARD_PP_H + +#define BOOST_HOF_PP_CAT(x, y) BOOST_HOF_PP_PRIMITIVE_CAT(x, y) +#define BOOST_HOF_PP_PRIMITIVE_CAT(x, y) x ## y + +#define BOOST_HOF_PP_SEQ_ITERATE(...) BOOST_HOF_PP_PRIMITIVE_SEQ_ITERATE(__VA_ARGS__) +#define BOOST_HOF_PP_PRIMITIVE_SEQ_ITERATE(...) __VA_ARGS__ ## _END + +// +// BOOST_HOF_PP_NARGS returns the number of args in __VA_ARGS__ +// +#define BOOST_HOF_PP_NARGS(...) \ + BOOST_HOF_PP_DETAIL_NARG((__VA_ARGS__,BOOST_HOF_PP_DETAIL_RSEQ_N())) + +#define BOOST_HOF_PP_DETAIL_NARG(args) \ + BOOST_HOF_PP_DETAIL_ARG_N args + +#define BOOST_HOF_PP_DETAIL_ARG_N( \ + _1, _2, _3, _4, _5, _6, _7, _8, _9,_10, \ + _11,_12,_13,_14,_15,_16,_17,_18,_19,_20, \ + _21,_22,_23,_24,_25,_26,_27,_28,_29,_30, \ + _31,_32,_33,_34,_35,_36,_37,_38,_39,_40, \ + _41,_42,_43,_44,_45,_46,_47,_48,_49,_50, \ + _51,_52,_53,_54,_55,_56,_57,_58,_59,_60, \ + _61,_62,_63,N,...) N +#define BOOST_HOF_PP_DETAIL_RSEQ_N() \ + 63,62,61,60, \ + 59,58,57,56,55,54,53,52,51,50, \ + 49,48,47,46,45,44,43,42,41,40, \ + 39,38,37,36,35,34,33,32,31,30, \ + 29,28,27,26,25,24,23,22,21,20, \ + 19,18,17,16,15,14,13,12,11,10, \ + 9,8,7,6,5,4,3,2,1,0 + + +// +// BOOST_HOF_PP_IS_PAREN is used to detect if the first token is a parenthesis. +// It expands to 1 if it is, otherwise it expands to 0. +// +#define BOOST_HOF_PP_IS_PAREN(x) BOOST_HOF_PP_IS_PAREN_CHECK(BOOST_HOF_PP_IS_PAREN_PROBE x) +#define BOOST_HOF_PP_IS_PAREN_CHECK(...) BOOST_HOF_PP_IS_PAREN_CHECK_N(__VA_ARGS__,0) +#define BOOST_HOF_PP_IS_PAREN_PROBE(...) ~, 1, +#ifndef _MSC_VER +#define BOOST_HOF_PP_IS_PAREN_CHECK_N(x, n, ...) n +#else +// MSVC workarounds +#define BOOST_HOF_PP_IS_PAREN_CHECK_RES(x) x +#define BOOST_HOF_PP_IS_PAREN_CHECK_II(x, n, ...) n +#define BOOST_HOF_PP_IS_PAREN_CHECK_I(x) BOOST_HOF_PP_IS_PAREN_CHECK_RES(BOOST_HOF_PP_IS_PAREN_CHECK_II x) +#define BOOST_HOF_PP_IS_PAREN_CHECK_N(...) BOOST_HOF_PP_IS_PAREN_CHECK_I((__VA_ARGS__)) +#endif + +// +// BOOST_HOF_PP_IS_1 is used to detect if the first token is a 1. +// It expands to 1 if it is, otherwise it expands to 0. +// +#define BOOST_HOF_PP_IS_1(x) BOOST_HOF_PP_IS_PAREN(BOOST_HOF_PP_CAT(BOOST_HOF_PP_IS_1_PROBE_, x)) +#define BOOST_HOF_PP_IS_1_PROBE_1 () + +#define BOOST_HOF_PP_ARGS_IS_SINGLE(...) BOOST_HOF_PP_IS_1(BOOST_HOF_PP_NARGS(__VA_ARGS__)) + +#define BOOST_HOF_PP_EMPTY(...) +#define BOOST_HOF_PP_DEFER(...) __VA_ARGS__ BOOST_HOF_PP_EMPTY() +#define BOOST_HOF_PP_OBSTRUCT(...) __VA_ARGS__ BOOST_HOF_PP_DEFER(BOOST_HOF_PP_EMPTY)() +#define BOOST_HOF_PP_EXPAND(...) __VA_ARGS__ + +#define BOOST_HOF_PP_IIF(c) BOOST_HOF_PP_PRIMITIVE_CAT(BOOST_HOF_PP_IIF_, c) +#define BOOST_HOF_PP_IIF_0(t, ...) __VA_ARGS__ +#define BOOST_HOF_PP_IIF_1(t, ...) t + +#define BOOST_HOF_PP_WALL(...) __VA_ARGS__ + +#define BOOST_HOF_PP_RAIL_IIF(c) BOOST_HOF_PP_PRIMITIVE_CAT(BOOST_HOF_PP_RAIL_IIF_, c) +#define BOOST_HOF_PP_RAIL_IIF_0(t, ...) __VA_ARGS__ +#define BOOST_HOF_PP_RAIL_IIF_1(t, ...) t + +#define BOOST_HOF_PP_RAIL(macro) \ + BOOST_HOF_PP_RAIL_IIF(BOOST_HOF_PP_IS_PAREN(BOOST_HOF_PP_WALL(())))( \ + BOOST_HOF_PP_RAIL_ID BOOST_HOF_PP_OBSTRUCT()()(macro), \ + macro BOOST_HOF_PP_OBSTRUCT() \ + ) + +#define BOOST_HOF_PP_RAIL_ID() BOOST_HOF_PP_RAIL + +#endif |