1 2 // Copyright (C) 2009-2012 Lorenzo Caminiti 3 // Distributed under the Boost Software License, Version 1.0 4 // (see accompanying file LICENSE_1_0.txt or a copy at 5 // http://www.boost.org/LICENSE_1_0.txt) 6 // Home at http://www.boost.org/libs/local_function 7 8 #ifndef BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_HPP_ 9 #define BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_HPP_ 10 11 #include <boost/local_function/detail/preprocessor/keyword/void.hpp> 12 #include <boost/config.hpp> 13 #include <boost/preprocessor/cat.hpp> 14 #include <boost/preprocessor/control/iif.hpp> 15 #include <boost/preprocessor/comparison/equal.hpp> 16 #include <boost/preprocessor/tuple/to_list.hpp> 17 #include <boost/preprocessor/seq/size.hpp> 18 #include <boost/preprocessor/seq/to_tuple.hpp> 19 20 // PRIVATE // 21 22 // Argument: (token1)... 23 #define BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_FROM_SEQ_(unused, seq) \ 24 BOOST_PP_TUPLE_TO_LIST(BOOST_PP_SEQ_SIZE(seq), BOOST_PP_SEQ_TO_TUPLE(seq)) 25 26 // Token: void | token1 27 #define BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_HANDLE_VOID_( \ 28 is_void_macro, token) \ 29 BOOST_PP_IIF(is_void_macro(token), \ 30 BOOST_PP_NIL \ 31 , \ 32 (token, BOOST_PP_NIL) \ 33 ) 34 35 // Token: (a)(b)... | empty | void | token 36 #define BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_HANDLE_SEQ_( \ 37 is_void_macro, token) \ 38 BOOST_PP_IIF(BOOST_PP_IS_UNARY(token), /* unary paren (a)... */ \ 39 BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_FROM_SEQ_ \ 40 , \ 41 BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_HANDLE_VOID_ \ 42 )(is_void_macro, token) 43 44 #ifdef BOOST_NO_CXX11_VARIADIC_MACROS 45 46 #define BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_(is_void_macro, seq) \ 47 BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_HANDLE_SEQ_(is_void_macro, seq) 48 49 #else // VARIADICS 50 51 // FUTURE: Replace this with BOOST_PP_VARIADIC_SIZE when and if 52 // BOOST_PP_VARIAIDCS detection will match !BOOST_NO_CXX11_VARIADIC_MACROS (for now 53 // Boost.Preprocessor and Boost.Config disagree on detecting compiler variadic 54 // support while this VARIADIC_SIZE works on compilers not detected by PP). 55 #if BOOST_MSVC 56 # define BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_VARIADIC_SIZE_(...) \ 57 BOOST_PP_CAT(BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_VARIADIC_SIZE_I_(__VA_ARGS__, 64, 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,),) 58 #else // MSVC 59 # define BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_VARIADIC_SIZE_(...) \ 60 BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_VARIADIC_SIZE_I_(__VA_ARGS__, 64, 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,) 61 #endif // MSVC 62 #define BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_VARIADIC_SIZE_I_(e0, e1, e2, e3, e4, e5, e6, e7, e8, e9, e10, e11, e12, e13, e14, e15, e16, e17, e18, e19, e20, e21, e22, e23, e24, e25, e26, e27, e28, e29, e30, e31, e32, e33, e34, e35, e36, e37, e38, e39, e40, e41, e42, e43, e44, e45, e46, e47, e48, e49, e50, e51, e52, e53, e54, e55, e56, e57, e58, e59, e60, e61, e62, e63, size, ...) size 63 64 // Argument: token1, ... 65 #define BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_FROM_VARIADIC_(unused, ...) \ 66 BOOST_PP_TUPLE_TO_LIST( \ 67 BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_VARIADIC_SIZE_( \ 68 __VA_ARGS__), (__VA_ARGS__)) 69 70 #define BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_(is_void_macro, ...) \ 71 BOOST_PP_IIF(BOOST_PP_EQUAL( \ 72 BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_VARIADIC_SIZE_( \ 73 __VA_ARGS__), 1), \ 74 BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_HANDLE_SEQ_ \ 75 , \ 76 BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_FROM_VARIADIC_ \ 77 )(is_void_macro, __VA_ARGS__) 78 79 #endif // VARIADICS 80 81 #define BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_NEVER_(tokens) \ 82 0 /* void check always returns false */ 83 84 // PUBLIC // 85 86 // NOTE: Empty list must always be represented is void (which is also a way to 87 // specify no function parameter) and it can never be empty because (1) 88 // IS_EMPTY(&var) fails (because of the leading non alphanumeric symbol) and 89 // (2) some compilers (MSVC) fail to correctly pass empty macro parameters 90 // even if they support variadic macros. Therefore, always using void to 91 // represent is more portable. 92 93 #ifdef BOOST_NO_CXX11_VARIADIC_MACROS 94 95 // Expand `void | (a)(b)...` to pp-list `NIL | (a, (b, NIL))`. 96 #define BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST(sign) \ 97 BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_( \ 98 BOOST_LOCAL_FUNCTION_DETAIL_PP_KEYWORD_IS_VOID_BACK, sign) 99 100 // Expand `(a)(b)...` to pp-list `(a, (b, NIL))`. 101 #define BOOST_LOCAL_FUNCTION_DETAIL_PP_NON_VOID_LIST(seq) \ 102 BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_( \ 103 BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_NEVER_, seq) 104 105 #else // VARIADICS 106 107 // Expand `void | (a)(b)... | a, b, ...` to pp-list `NIL | (a, (b, NIL))`. 108 #define BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST(...) \ 109 BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_( \ 110 BOOST_LOCAL_FUNCTION_DETAIL_PP_KEYWORD_IS_VOID_BACK, __VA_ARGS__) 111 112 // Expand `(a)(b)... | a, b, ...` to pp-list `(a, (b, NIL))`. 113 #define BOOST_LOCAL_FUNCTION_DETAIL_PP_NON_VOID_LIST(...) \ 114 BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_( \ 115 BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_NEVER_, __VA_ARGS__) 116 117 #endif // VARIADICS 118 119 #endif // #include guard 120 121