default_function_impl.hpp 3.4 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697
  1. #if !defined(BOOST_PROTO_DONT_USE_PREPROCESSED_FILES)
  2. #include <boost/proto/transform/detail/preprocessed/default_function_impl.hpp>
  3. #elif !defined(BOOST_PP_IS_ITERATING)
  4. #define BOOST_PROTO_DEF_FUN_INVOKE_ARG(Z, M, DATA) \
  5. BOOST_PROTO_DEFAULT_EVAL(Z, BOOST_PP_ADD(M, 2), DATA)
  6. #if defined(__WAVE__) && defined(BOOST_PROTO_CREATE_PREPROCESSED_FILES)
  7. #pragma wave option(preserve: 2, line: 0, output: "preprocessed/default_function_impl.hpp")
  8. #endif
  9. ///////////////////////////////////////////////////////////////////////////////
  10. /// \file default_function_impl.hpp
  11. /// Contains definition of the default_function_impl, the implementation of the
  12. /// _default transform for function-like nodes.
  13. //
  14. // Copyright 2008 Eric Niebler. Distributed under the Boost
  15. // Software License, Version 1.0. (See accompanying file
  16. // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
  17. #if defined(__WAVE__) && defined(BOOST_PROTO_CREATE_PREPROCESSED_FILES)
  18. #pragma wave option(preserve: 1)
  19. #endif
  20. #define BOOST_PP_ITERATION_PARAMS_1 \
  21. (3, (3, BOOST_PROTO_MAX_ARITY, <boost/proto/transform/detail/default_function_impl.hpp>))
  22. #include BOOST_PP_ITERATE()
  23. #if defined(__WAVE__) && defined(BOOST_PROTO_CREATE_PREPROCESSED_FILES)
  24. #pragma wave option(output: null)
  25. #endif
  26. #undef BOOST_PROTO_DEF_FUN_INVOKE_ARG
  27. #else
  28. #define N BOOST_PP_ITERATION()
  29. template<typename Grammar, typename Expr, typename State, typename Data>
  30. struct default_function_impl<Grammar, Expr, State, Data, N>
  31. : transform_impl<Expr, State, Data>
  32. {
  33. BOOST_PP_REPEAT(N, BOOST_PROTO_DEFAULT_EVAL_TYPE, Expr)
  34. typedef
  35. typename proto::detail::result_of_fixup<r0>::type
  36. function_type;
  37. typedef
  38. typename BOOST_PROTO_RESULT_OF<
  39. function_type(BOOST_PP_ENUM_SHIFTED_PARAMS(N, r))
  40. >::type
  41. result_type;
  42. result_type operator ()(
  43. typename default_function_impl::expr_param e
  44. , typename default_function_impl::state_param s
  45. , typename default_function_impl::data_param d
  46. ) const
  47. {
  48. return this->invoke(e, s, d, is_member_function_pointer<function_type>());
  49. }
  50. private:
  51. result_type invoke(
  52. typename default_function_impl::expr_param e
  53. , typename default_function_impl::state_param s
  54. , typename default_function_impl::data_param d
  55. , mpl::false_
  56. ) const
  57. {
  58. return BOOST_PROTO_DEFAULT_EVAL(~, 0, e)(
  59. BOOST_PP_ENUM_SHIFTED(N, BOOST_PROTO_DEFAULT_EVAL, e)
  60. );
  61. }
  62. result_type invoke(
  63. typename default_function_impl::expr_param e
  64. , typename default_function_impl::state_param s
  65. , typename default_function_impl::data_param d
  66. , mpl::true_
  67. ) const
  68. {
  69. BOOST_PROTO_USE_GET_POINTER();
  70. typedef typename detail::class_member_traits<function_type>::class_type class_type;
  71. return (
  72. BOOST_PROTO_GET_POINTER(class_type, (BOOST_PROTO_DEFAULT_EVAL(~, 1, e))) ->*
  73. BOOST_PROTO_DEFAULT_EVAL(~, 0, e)
  74. )(BOOST_PP_ENUM(BOOST_PP_SUB(N, 2), BOOST_PROTO_DEF_FUN_INVOKE_ARG, e));
  75. }
  76. };
  77. #undef N
  78. #endif