void_list.hpp 5.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120
  1. // Copyright (C) 2009-2012 Lorenzo Caminiti
  2. // Distributed under the Boost Software License, Version 1.0
  3. // (see accompanying file LICENSE_1_0.txt or a copy at
  4. // http://www.boost.org/LICENSE_1_0.txt)
  5. // Home at http://www.boost.org/libs/local_function
  6. #ifndef BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_HPP_
  7. #define BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_HPP_
  8. #include <boost/local_function/detail/preprocessor/keyword/void.hpp>
  9. #include <boost/config.hpp>
  10. #include <boost/preprocessor/cat.hpp>
  11. #include <boost/preprocessor/control/iif.hpp>
  12. #include <boost/preprocessor/comparison/equal.hpp>
  13. #include <boost/preprocessor/tuple/to_list.hpp>
  14. #include <boost/preprocessor/seq/size.hpp>
  15. #include <boost/preprocessor/seq/to_tuple.hpp>
  16. // PRIVATE //
  17. // Argument: (token1)...
  18. #define BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_FROM_SEQ_(unused, seq) \
  19. BOOST_PP_TUPLE_TO_LIST(BOOST_PP_SEQ_SIZE(seq), BOOST_PP_SEQ_TO_TUPLE(seq))
  20. // Token: void | token1
  21. #define BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_HANDLE_VOID_( \
  22. is_void_macro, token) \
  23. BOOST_PP_IIF(is_void_macro(token), \
  24. BOOST_PP_NIL \
  25. , \
  26. (token, BOOST_PP_NIL) \
  27. )
  28. // Token: (a)(b)... | empty | void | token
  29. #define BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_HANDLE_SEQ_( \
  30. is_void_macro, token) \
  31. BOOST_PP_IIF(BOOST_PP_IS_UNARY(token), /* unary paren (a)... */ \
  32. BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_FROM_SEQ_ \
  33. , \
  34. BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_HANDLE_VOID_ \
  35. )(is_void_macro, token)
  36. #ifdef BOOST_NO_CXX11_VARIADIC_MACROS
  37. #define BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_(is_void_macro, seq) \
  38. BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_HANDLE_SEQ_(is_void_macro, seq)
  39. #else // VARIADICS
  40. // FUTURE: Replace this with BOOST_PP_VARIADIC_SIZE when and if
  41. // BOOST_PP_VARIAIDCS detection will match !BOOST_NO_CXX11_VARIADIC_MACROS (for now
  42. // Boost.Preprocessor and Boost.Config disagree on detecting compiler variadic
  43. // support while this VARIADIC_SIZE works on compilers not detected by PP).
  44. #if BOOST_MSVC
  45. # define BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_VARIADIC_SIZE_(...) \
  46. 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,),)
  47. #else // MSVC
  48. # define BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_VARIADIC_SIZE_(...) \
  49. 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,)
  50. #endif // MSVC
  51. #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
  52. // Argument: token1, ...
  53. #define BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_FROM_VARIADIC_(unused, ...) \
  54. BOOST_PP_TUPLE_TO_LIST( \
  55. BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_VARIADIC_SIZE_( \
  56. __VA_ARGS__), (__VA_ARGS__))
  57. #define BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_(is_void_macro, ...) \
  58. BOOST_PP_IIF(BOOST_PP_EQUAL( \
  59. BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_VARIADIC_SIZE_( \
  60. __VA_ARGS__), 1), \
  61. BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_HANDLE_SEQ_ \
  62. , \
  63. BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_FROM_VARIADIC_ \
  64. )(is_void_macro, __VA_ARGS__)
  65. #endif // VARIADICS
  66. #define BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_NEVER_(tokens) \
  67. 0 /* void check always returns false */
  68. // PUBLIC //
  69. // NOTE: Empty list must always be represented is void (which is also a way to
  70. // specify no function parameter) and it can never be empty because (1)
  71. // IS_EMPTY(&var) fails (because of the leading non alphanumeric symbol) and
  72. // (2) some compilers (MSVC) fail to correctly pass empty macro parameters
  73. // even if they support variadic macros. Therefore, always using void to
  74. // represent is more portable.
  75. #ifdef BOOST_NO_CXX11_VARIADIC_MACROS
  76. // Expand `void | (a)(b)...` to pp-list `NIL | (a, (b, NIL))`.
  77. #define BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST(sign) \
  78. BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_( \
  79. BOOST_LOCAL_FUNCTION_DETAIL_PP_KEYWORD_IS_VOID_BACK, sign)
  80. // Expand `(a)(b)...` to pp-list `(a, (b, NIL))`.
  81. #define BOOST_LOCAL_FUNCTION_DETAIL_PP_NON_VOID_LIST(seq) \
  82. BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_( \
  83. BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_NEVER_, seq)
  84. #else // VARIADICS
  85. // Expand `void | (a)(b)... | a, b, ...` to pp-list `NIL | (a, (b, NIL))`.
  86. #define BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST(...) \
  87. BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_( \
  88. BOOST_LOCAL_FUNCTION_DETAIL_PP_KEYWORD_IS_VOID_BACK, __VA_ARGS__)
  89. // Expand `(a)(b)... | a, b, ...` to pp-list `(a, (b, NIL))`.
  90. #define BOOST_LOCAL_FUNCTION_DETAIL_PP_NON_VOID_LIST(...) \
  91. BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_( \
  92. BOOST_LOCAL_FUNCTION_DETAIL_PP_VOID_LIST_NEVER_, __VA_ARGS__)
  93. #endif // VARIADICS
  94. #endif // #include guard