move.hpp 3.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136
  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_MOVE_HPP
  14. #define RANGES_V3_VIEW_MOVE_HPP
  15. #include <type_traits>
  16. #include <utility>
  17. #include <range/v3/range_fwd.hpp>
  18. #include <range/v3/range/access.hpp>
  19. #include <range/v3/range/concepts.hpp>
  20. #include <range/v3/range/primitives.hpp>
  21. #include <range/v3/range/traits.hpp>
  22. #include <range/v3/utility/static_const.hpp>
  23. #include <range/v3/view/adaptor.hpp>
  24. #include <range/v3/view/all.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 move_view : view_adaptor<move_view<Rng>, Rng>
  33. {
  34. private:
  35. friend range_access;
  36. template<bool Const>
  37. struct adaptor : adaptor_base
  38. {
  39. adaptor() = default;
  40. template(bool Other)(
  41. requires Const AND CPP_NOT(Other)) //
  42. constexpr adaptor(adaptor<Other>)
  43. {}
  44. using CRng = meta::const_if_c<Const, Rng>;
  45. using value_type = range_value_t<Rng>;
  46. range_rvalue_reference_t<CRng> read(iterator_t<CRng> const & it) const
  47. {
  48. return ranges::iter_move(it);
  49. }
  50. range_rvalue_reference_t<CRng> iter_move(iterator_t<CRng> const & it) const
  51. {
  52. return ranges::iter_move(it);
  53. }
  54. };
  55. adaptor<simple_view<Rng>()> begin_adaptor()
  56. {
  57. return {};
  58. }
  59. adaptor<simple_view<Rng>()> end_adaptor()
  60. {
  61. return {};
  62. }
  63. CPP_member
  64. auto begin_adaptor() const //
  65. -> CPP_ret(adaptor<true>)(
  66. requires input_range<Rng const>)
  67. {
  68. return {};
  69. }
  70. CPP_member
  71. auto end_adaptor() const //
  72. -> CPP_ret(adaptor<true>)(
  73. requires input_range<Rng const>)
  74. {
  75. return {};
  76. }
  77. public:
  78. move_view() = default;
  79. explicit move_view(Rng rng)
  80. : move_view::view_adaptor{std::move(rng)}
  81. {}
  82. CPP_auto_member
  83. auto CPP_fun(size)()(const //
  84. requires sized_range<Rng const>)
  85. {
  86. return ranges::size(this->base());
  87. }
  88. CPP_auto_member
  89. auto CPP_fun(size)()(
  90. requires sized_range<Rng>)
  91. {
  92. return ranges::size(this->base());
  93. }
  94. };
  95. template<typename Rng>
  96. RANGES_INLINE_VAR constexpr bool enable_borrowed_range<move_view<Rng>> =
  97. enable_borrowed_range<Rng>;
  98. #if RANGES_CXX_DEDUCTION_GUIDES >= RANGES_CXX_DEDUCTION_GUIDES_17
  99. template<typename Rng>
  100. move_view(Rng &&) //
  101. -> move_view<views::all_t<Rng>>;
  102. #endif
  103. namespace views
  104. {
  105. struct move_fn
  106. {
  107. template(typename Rng)(
  108. requires viewable_range<Rng> AND input_range<Rng>)
  109. move_view<all_t<Rng>> operator()(Rng && rng) const
  110. {
  111. return move_view<all_t<Rng>>{all(static_cast<Rng &&>(rng))};
  112. }
  113. };
  114. /// \relates move_fn
  115. /// \ingroup group-views
  116. RANGES_INLINE_VARIABLE(view_closure<move_fn>, move)
  117. } // namespace views
  118. /// @}
  119. } // namespace ranges
  120. #include <range/v3/detail/epilogue.hpp>
  121. #include <range/v3/detail/satisfy_boost_range.hpp>
  122. RANGES_SATISFY_BOOST_RANGE(::ranges::move_view)
  123. #endif