ref.hpp 3.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125
  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_REF_HPP
  14. #define RANGES_V3_VIEW_REF_HPP
  15. #include <concepts/concepts.hpp>
  16. #include <range/v3/range_fwd.hpp>
  17. #include <range/v3/range/access.hpp>
  18. #include <range/v3/range/primitives.hpp>
  19. #include <range/v3/range/traits.hpp>
  20. #include <range/v3/utility/addressof.hpp>
  21. #include <range/v3/view/interface.hpp>
  22. #include <range/v3/detail/prologue.hpp>
  23. namespace ranges
  24. {
  25. template<typename Rng>
  26. struct ref_view;
  27. template<typename Rng>
  28. RANGES_INLINE_VAR constexpr bool enable_borrowed_range<ref_view<Rng>> = true;
  29. /// \addtogroup group-views
  30. /// @{
  31. template<typename Rng>
  32. struct ref_view : view_interface<ref_view<Rng>, range_cardinality<Rng>::value>
  33. {
  34. private:
  35. CPP_assert(range<Rng>);
  36. static_assert(std::is_object<Rng>::value, "");
  37. Rng * rng_ = nullptr; // exposition only
  38. public:
  39. constexpr ref_view() noexcept = default;
  40. constexpr ref_view(Rng & rng) noexcept
  41. : rng_(detail::addressof(rng))
  42. {}
  43. constexpr Rng & base() const noexcept
  44. {
  45. return *rng_;
  46. }
  47. constexpr iterator_t<Rng> begin() const noexcept(noexcept(ranges::begin(*rng_)))
  48. {
  49. return ranges::begin(*rng_);
  50. }
  51. constexpr sentinel_t<Rng> end() const noexcept(noexcept(ranges::end(*rng_)))
  52. {
  53. return ranges::end(*rng_);
  54. }
  55. CPP_member
  56. constexpr auto empty() const noexcept(noexcept(ranges::empty(*rng_)))
  57. -> CPP_ret(bool)(
  58. requires detail::can_empty_<Rng>)
  59. {
  60. return ranges::empty(*rng_);
  61. }
  62. CPP_auto_member
  63. constexpr auto CPP_fun(size)()(const //
  64. noexcept(noexcept(ranges::size(*rng_))) //
  65. requires sized_range<Rng>)
  66. {
  67. return ranges::size(*rng_);
  68. }
  69. CPP_auto_member
  70. constexpr auto CPP_fun(data)()(const //
  71. noexcept(noexcept(ranges::data(*rng_))) //
  72. requires contiguous_range<Rng>)
  73. {
  74. return ranges::data(*rng_);
  75. }
  76. };
  77. #if RANGES_CXX_DEDUCTION_GUIDES >= RANGES_CXX_DEDUCTION_GUIDES_17
  78. template(typename R)(
  79. requires range<R>)
  80. ref_view(R &) //
  81. -> ref_view<R>;
  82. #endif
  83. namespace views
  84. {
  85. struct ref_fn
  86. {
  87. template(typename Rng)(
  88. requires range<Rng>)
  89. constexpr ref_view<Rng> operator()(Rng & rng) const noexcept
  90. {
  91. return ref_view<Rng>(rng);
  92. }
  93. template<typename Rng>
  94. void operator()(Rng const && rng) const = delete;
  95. };
  96. /// \relates const_fn
  97. /// \ingroup group-views
  98. RANGES_INLINE_VARIABLE(ref_fn, ref)
  99. } // namespace views
  100. namespace cpp20
  101. {
  102. template(typename Rng)(
  103. requires std::is_object<Rng>::value) //
  104. using ref_view = ranges::ref_view<Rng>;
  105. }
  106. } // namespace ranges
  107. #include <range/v3/detail/satisfy_boost_range.hpp>
  108. RANGES_SATISFY_BOOST_RANGE(::ranges::ref_view)
  109. #include <range/v3/detail/epilogue.hpp>
  110. #endif