access.h 6.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211
  1. // -*- C++ -*-
  2. //===----------------------------------------------------------------------===//
  3. //
  4. // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
  5. // See https://llvm.org/LICENSE.txt for license information.
  6. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
  7. //
  8. //===----------------------------------------------------------------------===//
  9. #ifndef _LIBCPP___RANGES_ACCESS_H
  10. #define _LIBCPP___RANGES_ACCESS_H
  11. #include <__concepts/class_or_enum.h>
  12. #include <__config>
  13. #include <__iterator/concepts.h>
  14. #include <__iterator/readable_traits.h>
  15. #include <__ranges/enable_borrowed_range.h>
  16. #include <__type_traits/decay.h>
  17. #include <__type_traits/is_reference.h>
  18. #include <__type_traits/remove_cvref.h>
  19. #include <__type_traits/remove_reference.h>
  20. #include <__utility/auto_cast.h>
  21. #include <__utility/declval.h>
  22. #include <cstddef>
  23. #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
  24. # pragma GCC system_header
  25. #endif
  26. _LIBCPP_BEGIN_NAMESPACE_STD
  27. #if _LIBCPP_STD_VER >= 20
  28. namespace ranges {
  29. template <class _Tp>
  30. concept __can_borrow = is_lvalue_reference_v<_Tp> || enable_borrowed_range<remove_cvref_t<_Tp>>;
  31. } // namespace ranges
  32. // [range.access.begin]
  33. namespace ranges {
  34. namespace __begin {
  35. template <class _Tp>
  36. concept __member_begin = __can_borrow<_Tp> && requires(_Tp&& __t) {
  37. { _LIBCPP_AUTO_CAST(__t.begin()) } -> input_or_output_iterator;
  38. };
  39. void begin() = delete;
  40. template <class _Tp>
  41. concept __unqualified_begin =
  42. !__member_begin<_Tp> && __can_borrow<_Tp> && __class_or_enum<remove_cvref_t<_Tp>> && requires(_Tp&& __t) {
  43. { _LIBCPP_AUTO_CAST(begin(__t)) } -> input_or_output_iterator;
  44. };
  45. struct __fn {
  46. template <class _Tp>
  47. [[nodiscard]] _LIBCPP_HIDE_FROM_ABI constexpr auto operator()(_Tp (&__t)[]) const noexcept
  48. requires(sizeof(_Tp) >= 0) // Disallow incomplete element types.
  49. {
  50. return __t + 0;
  51. }
  52. template <class _Tp, size_t _Np>
  53. [[nodiscard]] _LIBCPP_HIDE_FROM_ABI constexpr auto operator()(_Tp (&__t)[_Np]) const noexcept
  54. requires(sizeof(_Tp) >= 0) // Disallow incomplete element types.
  55. {
  56. return __t + 0;
  57. }
  58. template <class _Tp>
  59. requires __member_begin<_Tp>
  60. [[nodiscard]] _LIBCPP_HIDE_FROM_ABI constexpr auto operator()(_Tp&& __t) const
  61. noexcept(noexcept(_LIBCPP_AUTO_CAST(__t.begin()))) {
  62. return _LIBCPP_AUTO_CAST(__t.begin());
  63. }
  64. template <class _Tp>
  65. requires __unqualified_begin<_Tp>
  66. [[nodiscard]] _LIBCPP_HIDE_FROM_ABI constexpr auto operator()(_Tp&& __t) const
  67. noexcept(noexcept(_LIBCPP_AUTO_CAST(begin(__t)))) {
  68. return _LIBCPP_AUTO_CAST(begin(__t));
  69. }
  70. void operator()(auto&&) const = delete;
  71. };
  72. } // namespace __begin
  73. inline namespace __cpo {
  74. inline constexpr auto begin = __begin::__fn{};
  75. } // namespace __cpo
  76. } // namespace ranges
  77. // [range.range]
  78. namespace ranges {
  79. template <class _Tp>
  80. using iterator_t = decltype(ranges::begin(std::declval<_Tp&>()));
  81. } // namespace ranges
  82. // [range.access.end]
  83. namespace ranges {
  84. namespace __end {
  85. template <class _Tp>
  86. concept __member_end = __can_borrow<_Tp> && requires(_Tp&& __t) {
  87. typename iterator_t<_Tp>;
  88. { _LIBCPP_AUTO_CAST(__t.end()) } -> sentinel_for<iterator_t<_Tp>>;
  89. };
  90. void end() = delete;
  91. template <class _Tp>
  92. concept __unqualified_end =
  93. !__member_end<_Tp> && __can_borrow<_Tp> && __class_or_enum<remove_cvref_t<_Tp>> && requires(_Tp&& __t) {
  94. typename iterator_t<_Tp>;
  95. { _LIBCPP_AUTO_CAST(end(__t)) } -> sentinel_for<iterator_t<_Tp>>;
  96. };
  97. struct __fn {
  98. template <class _Tp, size_t _Np>
  99. [[nodiscard]] _LIBCPP_HIDE_FROM_ABI constexpr auto operator()(_Tp (&__t)[_Np]) const noexcept
  100. requires(sizeof(_Tp) >= 0) // Disallow incomplete element types.
  101. {
  102. return __t + _Np;
  103. }
  104. template <class _Tp>
  105. requires __member_end<_Tp>
  106. [[nodiscard]] _LIBCPP_HIDE_FROM_ABI constexpr auto operator()(_Tp&& __t) const
  107. noexcept(noexcept(_LIBCPP_AUTO_CAST(__t.end()))) {
  108. return _LIBCPP_AUTO_CAST(__t.end());
  109. }
  110. template <class _Tp>
  111. requires __unqualified_end<_Tp>
  112. [[nodiscard]] _LIBCPP_HIDE_FROM_ABI constexpr auto operator()(_Tp&& __t) const
  113. noexcept(noexcept(_LIBCPP_AUTO_CAST(end(__t)))) {
  114. return _LIBCPP_AUTO_CAST(end(__t));
  115. }
  116. void operator()(auto&&) const = delete;
  117. };
  118. } // namespace __end
  119. inline namespace __cpo {
  120. inline constexpr auto end = __end::__fn{};
  121. } // namespace __cpo
  122. } // namespace ranges
  123. // [range.access.cbegin]
  124. namespace ranges {
  125. namespace __cbegin {
  126. struct __fn {
  127. template <class _Tp>
  128. requires is_lvalue_reference_v<_Tp&&>
  129. [[nodiscard]] _LIBCPP_HIDE_FROM_ABI constexpr auto operator()(_Tp&& __t) const
  130. noexcept(noexcept(ranges::begin(static_cast<const remove_reference_t<_Tp>&>(__t))))
  131. -> decltype(ranges::begin(static_cast<const remove_reference_t<_Tp>&>(__t))) {
  132. return ranges::begin(static_cast<const remove_reference_t<_Tp>&>(__t));
  133. }
  134. template <class _Tp>
  135. requires is_rvalue_reference_v<_Tp&&>
  136. [[nodiscard]] _LIBCPP_HIDE_FROM_ABI constexpr auto operator()(_Tp&& __t) const
  137. noexcept(noexcept(ranges::begin(static_cast<const _Tp&&>(__t))))
  138. -> decltype(ranges::begin(static_cast<const _Tp&&>(__t))) {
  139. return ranges::begin(static_cast<const _Tp&&>(__t));
  140. }
  141. };
  142. } // namespace __cbegin
  143. inline namespace __cpo {
  144. inline constexpr auto cbegin = __cbegin::__fn{};
  145. } // namespace __cpo
  146. } // namespace ranges
  147. // [range.access.cend]
  148. namespace ranges {
  149. namespace __cend {
  150. struct __fn {
  151. template <class _Tp>
  152. requires is_lvalue_reference_v<_Tp&&>
  153. [[nodiscard]] _LIBCPP_HIDE_FROM_ABI constexpr auto operator()(_Tp&& __t) const
  154. noexcept(noexcept(ranges::end(static_cast<const remove_reference_t<_Tp>&>(__t))))
  155. -> decltype(ranges::end(static_cast<const remove_reference_t<_Tp>&>(__t))) {
  156. return ranges::end(static_cast<const remove_reference_t<_Tp>&>(__t));
  157. }
  158. template <class _Tp>
  159. requires is_rvalue_reference_v<_Tp&&>
  160. [[nodiscard]] _LIBCPP_HIDE_FROM_ABI constexpr auto operator()(_Tp&& __t) const
  161. noexcept(noexcept(ranges::end(static_cast<const _Tp&&>(__t))))
  162. -> decltype(ranges::end(static_cast<const _Tp&&>(__t))) {
  163. return ranges::end(static_cast<const _Tp&&>(__t));
  164. }
  165. };
  166. } // namespace __cend
  167. inline namespace __cpo {
  168. inline constexpr auto cend = __cend::__fn{};
  169. } // namespace __cpo
  170. } // namespace ranges
  171. #endif // _LIBCPP_STD_VER >= 20
  172. _LIBCPP_END_NAMESPACE_STD
  173. #endif // _LIBCPP___RANGES_ACCESS_H