indirect.hpp 4.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156
  1. /// \file
  2. // Range v3 library
  3. //
  4. // Copyright Eric Niebler 2013-present
  5. //
  6. // Use, modification and distribution is subject to the
  7. // Boost Software License, Version 1.0. (See accompanying
  8. // file LICENSE_1_0.txt or copy at
  9. // http://www.boost.org/LICENSE_1_0.txt)
  10. //
  11. // Project home: https://github.com/ericniebler/range-v3
  12. //
  13. #ifndef RANGES_V3_VIEW_INDIRECT_HPP
  14. #define RANGES_V3_VIEW_INDIRECT_HPP
  15. #include <iterator>
  16. #include <type_traits>
  17. #include <utility>
  18. #include <meta/meta.hpp>
  19. #include <range/v3/range_fwd.hpp>
  20. #include <range/v3/range/access.hpp>
  21. #include <range/v3/range/traits.hpp>
  22. #include <range/v3/utility/move.hpp>
  23. #include <range/v3/utility/static_const.hpp>
  24. #include <range/v3/view/adaptor.hpp>
  25. #include <range/v3/view/view.hpp>
  26. #include <range/v3/detail/prologue.hpp>
  27. namespace ranges
  28. {
  29. /// \addtogroup group-views
  30. /// @{
  31. template<typename Rng>
  32. struct indirect_view : view_adaptor<indirect_view<Rng>, Rng>
  33. {
  34. private:
  35. friend range_access;
  36. template<bool IsConst>
  37. struct adaptor : adaptor_base
  38. {
  39. friend adaptor<!IsConst>;
  40. using CRng = meta::const_if_c<IsConst, Rng>;
  41. adaptor() = default;
  42. template(bool Other)(
  43. requires IsConst && CPP_NOT(Other)) //
  44. constexpr adaptor(adaptor<Other>) noexcept
  45. {}
  46. // clang-format off
  47. constexpr auto CPP_auto_fun(read)(iterator_t<CRng> const &it)(const)
  48. (
  49. return **it
  50. )
  51. constexpr auto CPP_auto_fun(iter_move)(iterator_t<CRng> const &it)(const)
  52. (
  53. return ranges::iter_move(*it)
  54. )
  55. // clang-format on
  56. };
  57. CPP_member
  58. constexpr auto begin_adaptor() noexcept //
  59. -> CPP_ret(adaptor<false>)(
  60. requires (!simple_view<Rng>()))
  61. {
  62. return {};
  63. }
  64. CPP_member
  65. constexpr auto begin_adaptor() const noexcept //
  66. -> CPP_ret(adaptor<true>)(
  67. requires range<Rng const>)
  68. {
  69. return {};
  70. }
  71. CPP_member
  72. constexpr auto end_adaptor() noexcept //
  73. -> CPP_ret(adaptor<false>)(
  74. requires (!simple_view<Rng>()))
  75. {
  76. return {};
  77. }
  78. CPP_member
  79. constexpr auto end_adaptor() const noexcept //
  80. -> CPP_ret(adaptor<true>)(
  81. requires range<Rng const>)
  82. {
  83. return {};
  84. }
  85. public:
  86. indirect_view() = default;
  87. constexpr explicit indirect_view(Rng rng)
  88. : indirect_view::view_adaptor{detail::move(rng)}
  89. {}
  90. CPP_auto_member
  91. constexpr auto CPP_fun(size)()(const //
  92. requires sized_range<Rng const>)
  93. {
  94. return ranges::size(this->base());
  95. }
  96. CPP_auto_member
  97. constexpr auto CPP_fun(size)()(
  98. requires sized_range<Rng>)
  99. {
  100. return ranges::size(this->base());
  101. }
  102. };
  103. template<typename Rng>
  104. RANGES_INLINE_VAR constexpr bool enable_borrowed_range<indirect_view<Rng>> = //
  105. enable_borrowed_range<Rng>;
  106. #if RANGES_CXX_DEDUCTION_GUIDES >= RANGES_CXX_DEDUCTION_GUIDES_17
  107. template<typename Rng>
  108. indirect_view(Rng &&) //
  109. -> indirect_view<views::all_t<Rng>>;
  110. #endif
  111. namespace views
  112. {
  113. struct indirect_fn
  114. {
  115. template(typename Rng)(
  116. requires viewable_range<Rng> AND input_range<Rng> AND
  117. // We shouldn't need to strip references to test if something
  118. // is readable. https://github.com/ericniebler/stl2/issues/594
  119. // indirectly_readable<range_reference_t<Rng>>)
  120. ((bool)indirectly_readable<range_value_t<Rng>>)) // Cast to bool needed
  121. // for GCC (???))
  122. constexpr auto operator()(Rng && rng) const
  123. {
  124. return indirect_view<all_t<Rng>>{all(static_cast<Rng &&>(rng))};
  125. }
  126. };
  127. /// \relates indirect_fn
  128. /// \ingroup group-views
  129. RANGES_INLINE_VARIABLE(view_closure<indirect_fn>, indirect)
  130. } // namespace views
  131. /// @}
  132. } // namespace ranges
  133. #include <range/v3/detail/epilogue.hpp>
  134. #include <range/v3/detail/satisfy_boost_range.hpp>
  135. RANGES_SATISFY_BOOST_RANGE(::ranges::indirect_view)
  136. #endif