unrolled.hpp 3.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687
  1. /*!
  2. @file
  3. Defines `boost::hana::detail::variadic::reverse_apply_unrolled`.
  4. @copyright Louis Dionne 2013-2017
  5. Distributed under the Boost Software License, Version 1.0.
  6. (See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt)
  7. */
  8. #ifndef BOOST_HANA_DETAIL_VARIADIC_REVERSE_APPLY_UNROLLED_HPP
  9. #define BOOST_HANA_DETAIL_VARIADIC_REVERSE_APPLY_UNROLLED_HPP
  10. #include <boost/hana/config.hpp>
  11. #include <boost/hana/functional/reverse_partial.hpp>
  12. BOOST_HANA_NAMESPACE_BEGIN namespace detail { namespace variadic {
  13. struct reverse_apply_unrolled_impl {
  14. template <typename F>
  15. constexpr decltype(auto) operator()(F&& f) const {
  16. return static_cast<F&&>(f)();
  17. }
  18. template <typename F, typename X1>
  19. constexpr decltype(auto) operator()(F&& f, X1&& x1) const {
  20. return static_cast<F&&>(f)(
  21. static_cast<X1&&>(x1)
  22. );
  23. }
  24. template <typename F, typename X1, typename X2>
  25. constexpr decltype(auto) operator()(F&& f, X1&& x1, X2&& x2) const {
  26. return static_cast<F&&>(f)(
  27. static_cast<X2&&>(x2),
  28. static_cast<X1&&>(x1)
  29. );
  30. }
  31. template <typename F, typename X1, typename X2, typename X3>
  32. constexpr decltype(auto) operator()(F&& f, X1&& x1, X2&& x2, X3&& x3) const {
  33. return static_cast<F&&>(f)(
  34. static_cast<X3&&>(x3),
  35. static_cast<X2&&>(x2),
  36. static_cast<X1&&>(x1)
  37. );
  38. }
  39. template <typename F, typename X1, typename X2, typename X3, typename X4>
  40. constexpr decltype(auto) operator()(F&& f, X1&& x1, X2&& x2, X3&& x3, X4&& x4) const {
  41. return static_cast<F&&>(f)(
  42. static_cast<X4&&>(x4),
  43. static_cast<X3&&>(x3),
  44. static_cast<X2&&>(x2),
  45. static_cast<X1&&>(x1)
  46. );
  47. }
  48. template <typename F, typename X1, typename X2, typename X3, typename X4, typename X5>
  49. constexpr decltype(auto) operator()(F&& f, X1&& x1, X2&& x2, X3&& x3, X4&& x4, X5&& x5) const {
  50. return static_cast<F&&>(f)(
  51. static_cast<X5&&>(x5),
  52. static_cast<X4&&>(x4),
  53. static_cast<X3&&>(x3),
  54. static_cast<X2&&>(x2),
  55. static_cast<X1&&>(x1)
  56. );
  57. }
  58. template <typename F, typename X1, typename X2, typename X3, typename X4, typename X5, typename X6, typename ...Xn>
  59. constexpr decltype(auto) operator()(F&& f, X1&& x1, X2&& x2, X3&& x3, X4&& x4, X5&& x5, X6&& x6, Xn&& ...xn) const {
  60. return (*this)(hana::reverse_partial(
  61. static_cast<F&&>(f)
  62. , static_cast<X6&&>(x6)
  63. , static_cast<X5&&>(x5)
  64. , static_cast<X4&&>(x4)
  65. , static_cast<X3&&>(x3)
  66. , static_cast<X2&&>(x2)
  67. , static_cast<X1&&>(x1)
  68. ), static_cast<Xn&&>(xn)...);
  69. }
  70. };
  71. constexpr reverse_apply_unrolled_impl reverse_apply_unrolled{};
  72. }} BOOST_HANA_NAMESPACE_END
  73. #endif // !BOOST_HANA_DETAIL_VARIADIC_REVERSE_APPLY_UNROLLED_HPP