30#ifndef _GLIBCXX_RANGES
31#define _GLIBCXX_RANGES 1
33#if __cplusplus > 201703L
36#pragma GCC system_header
50#if __cplusplus > 202002L
58#define __glibcxx_want_algorithm_default_value_type
59#define __glibcxx_want_hardened_view_interface
60#define __glibcxx_want_ranges
61#define __glibcxx_want_ranges_as_const
62#define __glibcxx_want_ranges_as_rvalue
63#define __glibcxx_want_ranges_cache_latest
64#define __glibcxx_want_ranges_cartesian_product
65#define __glibcxx_want_ranges_concat
66#define __glibcxx_want_ranges_chunk
67#define __glibcxx_want_ranges_chunk_by
68#define __glibcxx_want_ranges_enumerate
69#define __glibcxx_want_ranges_filter
70#define __glibcxx_want_ranges_indices
71#define __glibcxx_want_ranges_join_with
72#define __glibcxx_want_ranges_repeat
73#define __glibcxx_want_ranges_slide
74#define __glibcxx_want_ranges_stride
75#define __glibcxx_want_ranges_to_container
76#define __glibcxx_want_ranges_as_input
77#define __glibcxx_want_ranges_zip
80#ifdef __glibcxx_generator
81# include <bits/elements_of.h>
90namespace std _GLIBCXX_VISIBILITY(default)
92_GLIBCXX_BEGIN_NAMESPACE_VERSION
107 template<
typename _Tp>
requires is_object_v<_Tp>
112 static constexpr _Tp* begin()
noexcept {
return nullptr; }
113 static constexpr _Tp* end()
noexcept {
return nullptr; }
114 static constexpr _Tp* data()
noexcept {
return nullptr; }
115 static constexpr size_t size()
noexcept {
return 0; }
116 static constexpr bool empty()
noexcept {
return true; }
119 template<
typename _Tp>
120 inline constexpr bool enable_borrowed_range<empty_view<_Tp>> =
true;
124#if __cpp_lib_ranges >= 202207L
126 template<
typename _Tp>
129 template<
typename _Tp>
133 template<__boxable _Tp>
134 struct __box : std::optional<_Tp>
136 using std::optional<_Tp>::optional;
140 noexcept(is_nothrow_default_constructible_v<_Tp>)
142 :
std::optional<_Tp>{std::in_place}
145 __box(
const __box&) =
default;
146 __box(__box&&) =
default;
148 using std::optional<_Tp>::operator=;
154 operator=(
const __box& __that)
155 noexcept(is_nothrow_copy_constructible_v<_Tp>)
156 requires (!copyable<_Tp>) && copy_constructible<_Tp>
161 this->emplace(*__that);
169 operator=(__box&& __that)
170 noexcept(is_nothrow_move_constructible_v<_Tp>)
171 requires (!movable<_Tp>)
184 template<
typename _Tp>
185 concept __boxable_copyable
186 = copy_constructible<_Tp>
187 && (copyable<_Tp> || (is_nothrow_move_constructible_v<_Tp>
188 && is_nothrow_copy_constructible_v<_Tp>));
189 template<
typename _Tp>
190 concept __boxable_movable
191 = (!copy_constructible<_Tp>)
192 && (movable<_Tp> || is_nothrow_move_constructible_v<_Tp>);
198 template<__boxable _Tp>
199 requires __boxable_copyable<_Tp> || __boxable_movable<_Tp>
203 [[no_unique_address]] _Tp _M_value = _Tp();
206 __box()
requires default_initializable<_Tp> = default;
209 __box(const _Tp& __t)
210 noexcept(is_nothrow_copy_constructible_v<_Tp>)
211 requires copy_constructible<_Tp>
217 noexcept(is_nothrow_move_constructible_v<_Tp>)
218 : _M_value(std::move(__t))
221 template<
typename... _Args>
222 requires constructible_from<_Tp, _Args...>
224 __box(in_place_t, _Args&&... __args)
225 noexcept(is_nothrow_constructible_v<_Tp, _Args...>)
226 : _M_value(std::
forward<_Args>(__args)...)
229 __box(
const __box&) =
default;
230 __box(__box&&) =
default;
231 __box& operator=(
const __box&)
requires copyable<_Tp> =
default;
232 __box& operator=(__box&&)
requires movable<_Tp> = default;
237 operator=(const __box& __that) noexcept
238 requires (!copyable<_Tp>) && copy_constructible<_Tp>
240 static_assert(is_nothrow_copy_constructible_v<_Tp>);
251 operator=(__box&& __that)
noexcept
252 requires (!movable<_Tp>)
254 static_assert(is_nothrow_move_constructible_v<_Tp>);
264 has_value() const noexcept
279 constexpr const _Tp&&
284 operator->() noexcept
288 operator->() const noexcept
292 namespace __func_handle
294 template<
typename _Fn>
297 _Inplace() =
default;
300 _Inplace(_Fn __func) noexcept
304 template<
typename... _Iters>
305 constexpr decltype(
auto)
306 _M_call_deref(
const _Iters&... __iters)
const
307 noexcept(
noexcept(_M_fn(*__iters...)))
308 {
return _M_fn(*__iters...); }
310 template<
typename _DistType,
typename... _Iters>
311 constexpr decltype(
auto)
312 _M_call_subscript(
const _DistType __n,
const _Iters&... __iters)
const
313 noexcept(
noexcept(_M_fn(__iters[iter_difference_t<_Iters>(__n)]...)))
314 {
return _M_fn(__iters[iter_difference_t<_Iters>(__n)]...); }
317 [[no_unique_address]] _Fn _M_fn = _Fn();
320 template<
typename _Fn>
321 struct _InplaceMemPtr
323 _InplaceMemPtr() =
default;
326 _InplaceMemPtr(_Fn __func) noexcept
330 template<
typename... _Iters>
331 constexpr decltype(
auto)
332 _M_call_deref(
const _Iters&... __iters)
const
336 template<
typename _DistType,
typename... _Iters>
337 constexpr decltype(
auto)
338 _M_call_subscript(
const _DistType __n,
const _Iters&... __iters)
const
339 noexcept(
noexcept(
std::__invoke(_M_ptr, __iters[iter_difference_t<_Iters>(__n)]...)))
340 {
return std::__invoke(_M_ptr, __iters[iter_difference_t<_Iters>(__n)]...); }
343 _Fn _M_ptr =
nullptr;
346 template<
typename _Fn>
349 _ViaPointer() =
default;
352 _ViaPointer(_Fn& __func) noexcept
356 template<
typename _Un>
357 requires (!is_const_v<_Un>) && is_same_v<const _Un, _Fn>
359 _ViaPointer(_ViaPointer<_Un> __other) noexcept
360 : _M_ptr(__other._M_ptr)
363 template<
typename... _Iters>
364 constexpr decltype(
auto)
365 _M_call_deref(
const _Iters&... __iters)
const
366 noexcept(
noexcept((*_M_ptr)(*__iters...)))
367 {
return (*_M_ptr)(*__iters...); }
369 template<
typename _DistType,
typename... _Iters>
370 constexpr decltype(
auto)
371 _M_call_subscript(
const _DistType __n,
const _Iters&... __iters)
const
372 noexcept(
noexcept((*_M_ptr)(__iters[iter_difference_t<_Iters>(__n)]...)))
373 {
return (*_M_ptr)(__iters[iter_difference_t<_Iters>(__n)]...); }
376 _Fn* _M_ptr =
nullptr;
379 friend struct _ViaPointer;
382 template<
typename _Fn>
385 _StaticCall() =
default;
388 _StaticCall(
const _Fn&)
noexcept
391 template<
typename... _Iters>
392 static constexpr decltype(
auto)
393 _M_call_deref(
const _Iters&... __iters)
394 noexcept(
noexcept(_Fn::operator()(*__iters...)))
395 {
return _Fn::operator()(*__iters...); }
397 template<
typename _DistType,
typename... _Iters>
398 static constexpr decltype(
auto)
399 _M_call_subscript(_DistType __n,
const _Iters&... __iters)
400 noexcept(
noexcept(_Fn::operator()(__iters[iter_difference_t<_Iters>(__n)]...)))
401 {
return _Fn::operator()(__iters[iter_difference_t<_Iters>(__n)]...); }
404 template<
typename _Fn,
typename... _Iters>
408 using _Fd = remove_cv_t<_Fn>;
409 if constexpr (is_member_pointer_v<_Fd>)
410 return __func_handle::_InplaceMemPtr<_Fd>();
411 else if constexpr (is_function_v<remove_pointer_t<_Fd>>)
412 return __func_handle::_Inplace<_Fd>();
413 else if constexpr (__is_std_op_wrapper<_Fd>)
414 return __func_handle::_Inplace<_Fd>();
415 else if constexpr (
requires (
const _Iters&... __iters)
416 { _Fd::operator()(*__iters...); })
417 return __func_handle::_StaticCall<_Fd>();
419 return __func_handle::_ViaPointer<_Fn>();
423 template<
typename _Fn,
typename... _Iters>
424 using __func_handle_t =
decltype(__func_handle::__select<_Fn, _Iters...>());
428#if __cpp_lib_ranges >= 202207L
429 template<move_constructible _Tp>
431 template<copy_constructible _Tp>
433 requires is_object_v<_Tp>
440 single_view(
const _Tp& __t)
441 noexcept(is_nothrow_copy_constructible_v<_Tp>)
447 single_view(_Tp&& __t)
448 noexcept(is_nothrow_move_constructible_v<_Tp>)
454 template<
typename... _Args>
457 single_view(in_place_t, _Args&&... __args)
458 noexcept(is_nothrow_constructible_v<_Tp, _Args...>)
467 begin()
const noexcept
472 {
return data() + 1; }
476 {
return data() + 1; }
480 static constexpr bool
484 static constexpr size_t
490 {
return _M_value.operator->(); }
493 data()
const noexcept
494 {
return _M_value.operator->(); }
497 [[no_unique_address]] __detail::__box<_Tp> _M_value;
500 template<
typename _Tp>
505 template<
typename _Wp>
506 constexpr auto __to_signed_like(_Wp __w)
noexcept
508 if constexpr (!integral<_Wp>)
509 return iter_difference_t<_Wp>();
510 else if constexpr (
sizeof(iter_difference_t<_Wp>) >
sizeof(_Wp))
511 return iter_difference_t<_Wp>(__w);
512 else if constexpr (
sizeof(ptrdiff_t) >
sizeof(_Wp))
513 return ptrdiff_t(__w);
514 else if constexpr (
sizeof(
long long) >
sizeof(_Wp))
515 return (
long long)(__w);
516#ifdef __SIZEOF_INT128__
517 else if constexpr (__SIZEOF_INT128__ >
sizeof(_Wp))
518 return __int128(__w);
521 return __max_diff_type(__w);
524 template<
typename _Wp>
527 template<
typename _It>
528 concept __decrementable = incrementable<_It>
531 { --__i } -> same_as<_It&>;
532 { __i-- } -> same_as<_It>;
535 template<
typename _It>
536 concept __advanceable = __decrementable<_It> && totally_ordered<_It>
537 &&
requires( _It __i,
const _It __j,
const __iota_diff_t<_It> __n)
539 { __i += __n } -> same_as<_It&>;
540 { __i -= __n } -> same_as<_It&>;
544 { __j - __j } -> convertible_to<__iota_diff_t<_It>>;
547 template<
typename _Winc>
548 struct __iota_view_iter_cat
551 template<incrementable _Winc>
552 struct __iota_view_iter_cat<_Winc>
553 {
using iterator_category = input_iterator_tag; };
556 template<weakly_incrementable _Winc,
557 semiregular _Bound = unreachable_sentinel_t>
558 requires std::__detail::__weakly_eq_cmp_with<_Winc, _Bound>
565 struct _Iterator : __detail::__iota_view_iter_cat<_Winc>
571 using namespace __detail;
572 if constexpr (__advanceable<_Winc>)
573 return random_access_iterator_tag{};
574 else if constexpr (__decrementable<_Winc>)
575 return bidirectional_iterator_tag{};
576 else if constexpr (incrementable<_Winc>)
577 return forward_iterator_tag{};
579 return input_iterator_tag{};
583 using iterator_concept =
decltype(_S_iter_concept());
585 using value_type = _Winc;
586 using difference_type = __detail::__iota_diff_t<_Winc>;
588 _Iterator()
requires default_initializable<_Winc> = default;
591 _Iterator(_Winc __value)
592 : _M_value(__value) { }
595 operator*() const noexcept(is_nothrow_copy_constructible_v<_Winc>)
610 operator++(
int)
requires incrementable<_Winc>
618 operator--()
requires __detail::__decrementable<_Winc>
625 operator--(
int)
requires __detail::__decrementable<_Winc>
633 operator+=(difference_type __n)
requires __detail::__advanceable<_Winc>
635 using __detail::__is_integer_like;
636 using __detail::__is_signed_integer_like;
637 if constexpr (__is_integer_like<_Winc>
638 && !__is_signed_integer_like<_Winc>)
640 if (__n >= difference_type(0))
641 _M_value +=
static_cast<_Winc
>(__n);
643 _M_value -=
static_cast<_Winc
>(-__n);
651 operator-=(difference_type __n)
requires __detail::__advanceable<_Winc>
653 using __detail::__is_integer_like;
654 using __detail::__is_signed_integer_like;
655 if constexpr (__is_integer_like<_Winc>
656 && !__is_signed_integer_like<_Winc>)
658 if (__n >= difference_type(0))
659 _M_value -=
static_cast<_Winc
>(__n);
661 _M_value +=
static_cast<_Winc
>(-__n);
669 operator[](difference_type __n)
const
670 requires __detail::__advanceable<_Winc>
671 {
return _Winc(_M_value + __n); }
673 friend constexpr bool
674 operator==(
const _Iterator& __x,
const _Iterator& __y)
675 requires equality_comparable<_Winc>
676 {
return __x._M_value == __y._M_value; }
678 friend constexpr bool
679 operator<(
const _Iterator& __x,
const _Iterator& __y)
680 requires totally_ordered<_Winc>
681 {
return __x._M_value < __y._M_value; }
683 friend constexpr bool
684 operator>(
const _Iterator& __x,
const _Iterator& __y)
685 requires totally_ordered<_Winc>
686 {
return __y < __x; }
688 friend constexpr bool
689 operator<=(
const _Iterator& __x,
const _Iterator& __y)
690 requires totally_ordered<_Winc>
691 {
return !(__y < __x); }
693 friend constexpr bool
694 operator>=(
const _Iterator& __x,
const _Iterator& __y)
695 requires totally_ordered<_Winc>
696 {
return !(__x < __y); }
698#ifdef __cpp_lib_three_way_comparison
699 friend constexpr auto
700 operator<=>(
const _Iterator& __x,
const _Iterator& __y)
701 requires totally_ordered<_Winc> && three_way_comparable<_Winc>
702 {
return __x._M_value <=> __y._M_value; }
705 friend constexpr _Iterator
706 operator+(_Iterator __i, difference_type __n)
707 requires __detail::__advanceable<_Winc>
713 friend constexpr _Iterator
714 operator+(difference_type __n, _Iterator __i)
715 requires __detail::__advanceable<_Winc>
716 {
return __i += __n; }
718 friend constexpr _Iterator
719 operator-(_Iterator __i, difference_type __n)
720 requires __detail::__advanceable<_Winc>
726 friend constexpr difference_type
727 operator-(
const _Iterator& __x,
const _Iterator& __y)
728 requires __detail::__advanceable<_Winc>
730 using __detail::__is_integer_like;
731 using __detail::__is_signed_integer_like;
732 using _Dt = difference_type;
733 if constexpr (__is_integer_like<_Winc>)
735 if constexpr (__is_signed_integer_like<_Winc>)
736 return _Dt(_Dt(__x._M_value) - _Dt(__y._M_value));
738 return (__y._M_value > __x._M_value)
739 ? _Dt(-_Dt(__y._M_value - __x._M_value))
740 : _Dt(__x._M_value - __y._M_value);
743 return __x._M_value - __y._M_value;
747 _Winc _M_value = _Winc();
756 _Bound _M_bound = _Bound();
759 _Sentinel() =
default;
762 _Sentinel(_Bound __bound)
763 : _M_bound(__bound) { }
765 friend constexpr bool
766 operator==(
const _Iterator& __x,
const _Sentinel& __y)
767 {
return __x._M_value == __y._M_bound; }
769 friend constexpr iter_difference_t<_Winc>
770 operator-(
const _Iterator& __x,
const _Sentinel& __y)
771 requires sized_sentinel_for<_Bound, _Winc>
772 {
return -(__y._M_bound - __x._M_value); }
774 friend constexpr iter_difference_t<_Winc>
775 operator-(
const _Sentinel& __x,
const _Iterator& __y)
776 requires sized_sentinel_for<_Bound, _Winc>
777 {
return __x._M_bound - __y._M_value; }
782 _Winc _M_value = _Winc();
783 [[no_unique_address]] _Bound _M_bound = _Bound();
786 iota_view()
requires default_initializable<_Winc> = default;
789 iota_view(_Winc __value)
794 iota_view(type_identity_t<_Winc> __value,
795 type_identity_t<_Bound> __bound)
796 : _M_value(__value), _M_bound(__bound)
798 if constexpr (totally_ordered_with<_Winc, _Bound>)
799 __glibcxx_assert(
bool(__value <= __bound) );
803 iota_view(_Iterator __first, _Iterator __last)
804 requires same_as<_Winc, _Bound>
805 : iota_view(__first._M_value, __last._M_value)
809 iota_view(_Iterator __first, unreachable_sentinel_t __last)
810 requires same_as<_Bound, unreachable_sentinel_t>
811 : iota_view(__first._M_value, __last)
815 iota_view(_Iterator __first, _Sentinel __last)
816 requires (!same_as<_Winc, _Bound>) && (!same_as<_Bound, unreachable_sentinel_t>)
817 : iota_view(__first._M_value, __last._M_bound)
821 begin()
const {
return _Iterator{_M_value}; }
826 if constexpr (same_as<_Bound, unreachable_sentinel_t>)
827 return unreachable_sentinel;
829 return _Sentinel{_M_bound};
833 end() const requires same_as<_Winc, _Bound>
834 {
return _Iterator{_M_bound}; }
840 {
return _M_value == _M_bound; }
844 requires (same_as<_Winc, _Bound> && __detail::__advanceable<_Winc>)
845 || (integral<_Winc> && integral<_Bound>)
846 || sized_sentinel_for<_Bound, _Winc>
848 using __detail::__is_integer_like;
849 using __detail::__to_unsigned_like;
850 if constexpr (integral<_Winc> && integral<_Bound>)
853 return _Up(_M_bound) - _Up(_M_value);
855 else if constexpr (__is_integer_like<_Winc>)
856 return __to_unsigned_like(_M_bound) - __to_unsigned_like(_M_value);
858 return __to_unsigned_like(_M_bound - _M_value);
862 template<
typename _Winc,
typename _Bound>
863 requires (!__detail::__is_integer_like<_Winc>
864 || !__detail::__is_integer_like<_Bound>
865 || (__detail::__is_signed_integer_like<_Winc>
866 == __detail::__is_signed_integer_like<_Bound>))
867 iota_view(_Winc, _Bound) -> iota_view<_Winc, _Bound>;
869 template<
typename _Winc,
typename _Bound>
870 inline constexpr bool
871 enable_borrowed_range<iota_view<_Winc, _Bound>> =
true;
875 template<
typename _Tp>
876 inline constexpr empty_view<_Tp> empty{};
880 template<
typename _Tp>
881 concept __can_single_view
887 template<__detail::__can_single_view _Tp>
889 operator() [[nodiscard]] (_Tp&& __e)
const
894 inline constexpr _Single single{};
898 template<
typename... _Args>
906 template<__detail::__can_iota_view _Tp>
907 constexpr iota_view<decay_t<_Tp>>
908 operator() [[nodiscard]] (_Tp&& __e)
const
911 template<
typename _Tp,
typename _Up>
912 requires __detail::__can_iota_view<_Tp, _Up>
914 operator() [[nodiscard]] (_Tp&& __e, _Up&& __f)
const
918 inline constexpr _Iota iota{};
920#ifdef __cpp_lib_ranges_indices
923 template<ranges::__detail::__is_
integer_like _Tp>
924 requires __detail::__can_iota_view<_Tp>
925 [[nodiscard]]
constexpr auto
926 operator() (_Tp __e)
const noexcept
927 {
return iota(_Tp{}, __e); }
930 inline constexpr _Indices indices{};
937 template<
typename _Val,
typename _CharT,
typename _Traits>
938 concept __stream_extractable
939 =
requires(basic_istream<_CharT, _Traits>& is, _Val& t) { is >> t; };
942 template<movable _Val,
typename _CharT,
943 typename _Traits = char_traits<_CharT>>
944 requires default_initializable<_Val>
945 && __detail::__stream_extractable<_Val, _CharT, _Traits>
946 class basic_istream_view
947 :
public view_interface<basic_istream_view<_Val, _CharT, _Traits>>
951 basic_istream_view(basic_istream<_CharT, _Traits>& __stream)
958 *_M_stream >> _M_object;
959 return _Iterator{
this};
962 constexpr default_sentinel_t
967 basic_istream<_CharT, _Traits>* _M_stream;
968 _Val _M_object = _Val();
973 using iterator_concept = input_iterator_tag;
974 using difference_type = ptrdiff_t;
975 using value_type = _Val;
978 _Iterator(basic_istream_view* __parent) noexcept
979 : _M_parent(__parent)
982 _Iterator(
const _Iterator&) =
delete;
983 _Iterator(_Iterator&&) =
default;
984 _Iterator& operator=(
const _Iterator&) =
delete;
985 _Iterator& operator=(_Iterator&&) =
default;
990 *_M_parent->_M_stream >> _M_parent->_M_object;
1000 {
return _M_parent->_M_object; }
1003 operator==(
const _Iterator& __x, default_sentinel_t)
1004 {
return !*__x._M_parent->_M_stream; }
1007 basic_istream_view* _M_parent;
1013 template<
typename _Val>
1014 using istream_view = basic_istream_view<_Val, char>;
1016 template<
typename _Val>
1017 using wistream_view = basic_istream_view<_Val, wchar_t>;
1023 template<
typename _Tp,
typename _Up>
1024 concept __can_istream_view =
requires (_Up __e) {
1025 basic_istream_view<_Tp, typename _Up::char_type, typename _Up::traits_type>(__e);
1029 template<
typename _Tp>
1032 template<
typename _CharT,
typename _Traits>
1034 operator() [[nodiscard]] (basic_istream<_CharT, _Traits>& __e)
const
1036 {
return basic_istream_view<_Tp, _CharT, _Traits>(__e); }
1039 template<
typename _Tp>
1040 inline constexpr _Istream<_Tp> istream;
1048 template<
typename _Tp,
int _Disc>
1057 template<
bool _Present,
typename _Tp,
int _Disc = 0>
1058 using __maybe_present_t = __conditional_t<_Present, _Tp, _Absent<_Tp, _Disc>>;
1061 template<
bool _Const,
typename _Tp>
1062 using __maybe_const_t = __conditional_t<_Const, const _Tp, _Tp>;
1067using __detail::__maybe_const_t;
1069namespace views::__adaptor
1072 template<
typename _Adaptor,
typename... _Args>
1073 concept __adaptor_invocable
1078 template<
typename _Adaptor,
typename... _Args>
1079 concept __adaptor_partial_app_viable = (_Adaptor::_S_arity > 1)
1080 && (
sizeof...(_Args) == _Adaptor::_S_arity - 1)
1081 && (constructible_from<decay_t<_Args>, _Args> && ...);
1083 template<
typename _Adaptor,
typename... _Args>
1086 template<
typename _Lhs,
typename _Rhs>
1094 template<
typename _Derived>
1095 struct _RangeAdaptorClosure;
1097 template<
typename _Tp,
typename _Up>
1098 requires (!same_as<_Tp, _RangeAdaptorClosure<_Up>>)
1099 void __is_range_adaptor_closure_fn
1100 (
const _Tp&,
const _RangeAdaptorClosure<_Up>&);
1102 template<
typename _Tp>
1103 concept __is_range_adaptor_closure
1104 =
requires (_Tp __t) { __adaptor::__is_range_adaptor_closure_fn(__t, __t); };
1106#pragma GCC diagnostic push
1107#pragma GCC diagnostic ignored "-Wdangling-reference"
1109 template<
typename _Self,
typename _Range>
1110 requires __is_range_adaptor_closure<_Self>
1111 && __adaptor_invocable<_Self, _Range>
1113 operator|(_Range&& __r, _Self&& __self)
1118 template<
typename _Lhs,
typename _Rhs>
1119 requires __is_range_adaptor_closure<_Lhs>
1120 && __is_range_adaptor_closure<_Rhs>
1122 operator|(_Lhs&& __lhs, _Rhs&& __rhs)
1127#pragma GCC diagnostic pop
1129 template<
typename _Derived>
1130 struct _RangeAdaptorClosure
1136 template<
typename _Self,
typename _Range>
1137 requires __is_range_adaptor_closure<_Self>
1138 && __adaptor_invocable<_Self, _Range>
1139 friend constexpr auto
1140 operator|(_Range&& __r, _Self&& __self);
1142 template<
typename _Lhs,
typename _Rhs>
1143 requires __is_range_adaptor_closure<_Lhs>
1144 && __is_range_adaptor_closure<_Rhs>
1145 friend constexpr auto
1146 operator|(_Lhs&& __lhs, _Rhs&& __rhs);
1160 template<
typename _Derived>
1161 struct _RangeAdaptor
1165 template<
typename... _Args>
1166 requires __adaptor_partial_app_viable<_Derived, _Args...>
1168 operator()(_Args&&... __args)
const
1177 template<
typename _Adaptor>
1178 concept __closure_has_simple_call_op = _Adaptor::_S_has_simple_call_op;
1182 template<
typename _Adaptor,
typename... _Args>
1183 concept __adaptor_has_simple_extra_args = _Adaptor::_S_has_simple_extra_args
1184 || _Adaptor::template _S_has_simple_extra_args<_Args...>;
1188 template<
typename _Adaptor,
typename... _Args>
1189 struct _Partial : _RangeAdaptorClosure<_Partial<_Adaptor, _Args...>>
1191 using _Binder = _Bind_back_t<_Adaptor, _Args...>;
1192 [[no_unique_address]] _Binder _M_binder;
1196 template<
typename... _Ts>
1198 _Partial(
int, _Ts&&... __args)
1199 : _M_binder(0, _Adaptor(), std::
forward<_Ts>(__args)...)
1204#if _GLIBCXX_EXPLICIT_THIS_PARAMETER
1205# pragma GCC diagnostic push
1206# pragma GCC diagnostic ignored "-Wc++23-extensions"
1207 template<
typename _Self,
typename _Range>
1208 requires __adaptor_invocable<_Adaptor, _Range, __like_t<_Self, _Args>...>
1210 operator()(
this _Self&& __self, _Range&& __r)
1212 return _Binder::_S_call(__like_t<_Self, _Partial>(__self)._M_binder,
1215# pragma GCC diagnostic pop
1217 template<
typename _Range>
1218 requires __adaptor_invocable<_Adaptor, _Range,
const _Args&...>
1220 operator()(_Range&& __r)
const &
1223 template<
typename _Range>
1224 requires __adaptor_invocable<_Adaptor, _Range, _Args...>
1226 operator()(_Range&& __r) &&
1229 template<
typename _Range>
1231 operator()(_Range&& __r)
const && =
delete;
1239 template<
typename _Adaptor,
typename... _Args>
1240 requires __adaptor_has_simple_extra_args<_Adaptor, _Args...>
1241 && (is_trivially_copy_constructible_v<_Args> && ...)
1242 struct _Partial<_Adaptor, _Args...> : _RangeAdaptorClosure<_Partial<_Adaptor, _Args...>>
1244 using _Binder = _Bind_back_t<_Adaptor, _Args...>;
1245 [[no_unique_address]] _Binder _M_binder;
1247 template<
typename... _Ts>
1249 _Partial(
int, _Ts&&... __args)
1250 : _M_binder(0, _Adaptor(), std::
forward<_Ts>(__args)...)
1255 template<
typename _Range>
1256 requires __adaptor_invocable<_Adaptor, _Range,
const _Args&...>
1258 operator()(_Range&& __r)
const
1261 static constexpr bool _S_has_simple_call_op =
true;
1264 template<
typename _Lhs,
typename _Rhs,
typename _Range>
1265 concept __pipe_invocable
1270 template<
typename _Lhs,
typename _Rhs>
1271 struct _Pipe : _RangeAdaptorClosure<_Pipe<_Lhs, _Rhs>>
1273 [[no_unique_address]] _Lhs _M_lhs;
1274 [[no_unique_address]] _Rhs _M_rhs;
1276 template<
typename _Tp,
typename _Up>
1278 _Pipe(_Tp&& __lhs, _Up&& __rhs)
1279 : _M_lhs(std::
forward<_Tp>(__lhs)), _M_rhs(std::
forward<_Up>(__rhs))
1284#if _GLIBCXX_EXPLICIT_THIS_PARAMETER
1285# pragma GCC diagnostic push
1286# pragma GCC diagnostic ignored "-Wc++23-extensions"
1287 template<
typename _Self,
typename _Range>
1288 requires __pipe_invocable<__like_t<_Self, _Lhs>, __like_t<_Self, _Rhs>, _Range>
1290 operator()(
this _Self&& __self, _Range&& __r)
1292 return (__like_t<_Self, _Pipe>(__self)._M_rhs
1293 (__like_t<_Self, _Pipe>(__self)._M_lhs
1296# pragma GCC diagnostic pop
1298 template<
typename _Range>
1299 requires __pipe_invocable<const _Lhs&, const _Rhs&, _Range>
1301 operator()(_Range&& __r)
const &
1304 template<
typename _Range>
1305 requires __pipe_invocable<_Lhs, _Rhs, _Range>
1307 operator()(_Range&& __r) &&
1310 template<
typename _Range>
1312 operator()(_Range&& __r)
const && =
delete;
1320 template<
typename _Lhs,
typename _Rhs>
1321 requires __closure_has_simple_call_op<_Lhs>
1322 && __closure_has_simple_call_op<_Rhs>
1323 struct _Pipe<_Lhs, _Rhs> : _RangeAdaptorClosure<_Pipe<_Lhs, _Rhs>>
1325 [[no_unique_address]] _Lhs _M_lhs;
1326 [[no_unique_address]] _Rhs _M_rhs;
1328 template<
typename _Tp,
typename _Up>
1330 _Pipe(_Tp&& __lhs, _Up&& __rhs)
1331 : _M_lhs(std::
forward<_Tp>(__lhs)), _M_rhs(std::
forward<_Up>(__rhs))
1334 template<
typename _Range>
1335 requires __pipe_invocable<const _Lhs&, const _Rhs&, _Range>
1337 operator()(_Range&& __r)
const
1340 static constexpr bool _S_has_simple_call_op =
true;
1344#if __cpp_lib_ranges >= 202202L
1346 template<
typename _Derived>
1347 requires is_class_v<_Derived> && same_as<_Derived, remove_cv_t<_Derived>>
1348 class range_adaptor_closure
1349 :
public views::__adaptor::_RangeAdaptorClosure<_Derived>
1353 template<range _Range>
requires is_object_v<_Range>
1359 static void _S_fun(_Range&);
1360 static void _S_fun(_Range&&) =
delete;
1363 template<__detail::__different_from<ref_view> _Tp>
1364 requires convertible_to<_Tp, _Range&>
1376 constexpr iterator_t<_Range>
1378 {
return ranges::begin(*_M_r); }
1380 constexpr sentinel_t<_Range>
1382 {
return ranges::end(*_M_r); }
1385 empty() const requires requires { ranges::empty(*_M_r); }
1386 {
return ranges::empty(*_M_r); }
1389 size() const requires sized_range<_Range>
1390 {
return ranges::size(*_M_r); }
1393 data() const requires contiguous_range<_Range>
1394 {
return ranges::data(*_M_r); }
1397 template<
typename _Range>
1398 ref_view(_Range&) -> ref_view<_Range>;
1400 template<
typename _Tp>
1401 inline constexpr bool enable_borrowed_range<ref_view<_Tp>> =
true;
1403 template<range _Range>
1404 requires movable<_Range>
1405 && (!__detail::__is_initializer_list<remove_cv_t<_Range>>)
1409 _Range _M_r = _Range();
1412 owning_view()
requires default_initializable<_Range> = default;
1415 owning_view(_Range&& __t)
1416 noexcept(is_nothrow_move_constructible_v<_Range>)
1417 : _M_r(std::move(__t))
1420 owning_view(owning_view&&) =
default;
1421 owning_view& operator=(owning_view&&) =
default;
1427 constexpr const _Range&
1428 base() const& noexcept
1435 constexpr const _Range&&
1436 base() const&& noexcept
1439 constexpr iterator_t<_Range>
1441 {
return ranges::begin(_M_r); }
1443 constexpr sentinel_t<_Range>
1445 {
return ranges::end(_M_r); }
1449 {
return ranges::begin(_M_r); }
1452 end() const requires
range<const _Range>
1453 {
return ranges::end(_M_r); }
1456 empty()
requires requires { ranges::empty(_M_r); }
1457 {
return ranges::empty(_M_r); }
1460 empty() const requires requires { ranges::empty(_M_r); }
1461 {
return ranges::empty(_M_r); }
1465 {
return ranges::size(_M_r); }
1469 {
return ranges::size(_M_r); }
1473 {
return ranges::data(_M_r); }
1477 {
return ranges::data(_M_r); }
1480 template<
typename _Tp>
1481 inline constexpr bool enable_borrowed_range<owning_view<_Tp>>
1482 = enable_borrowed_range<_Tp>;
1488 template<
typename _Range>
1491 template<
typename _Range>
1495 struct _All : __adaptor::_RangeAdaptorClosure<_All>
1497 template<
typename _Range>
1498 static constexpr bool
1501 if constexpr (view<decay_t<_Range>>)
1503 else if constexpr (__detail::__can_ref_view<_Range>)
1509 template<viewable_range _Range>
1510 requires view<decay_t<_Range>>
1511 || __detail::__can_ref_view<_Range>
1512 || __detail::__can_owning_view<_Range>
1514 operator() [[nodiscard]] (_Range&& __r)
const
1515 noexcept(_S_noexcept<_Range>())
1517 if constexpr (view<decay_t<_Range>>)
1519 else if constexpr (__detail::__can_ref_view<_Range>)
1525 static constexpr bool _S_has_simple_call_op =
true;
1528 inline constexpr _All all;
1530 template<viewable_range _Range>
1536 template<
typename _Tp>
1537 struct __non_propagating_cache
1545 template<
typename _Tp>
1546 requires is_object_v<_Tp>
1547 struct __non_propagating_cache<_Tp>
1548 :
protected _Optional_base<_Tp>
1550 __non_propagating_cache() =
default;
1553 __non_propagating_cache(
const __non_propagating_cache&)
noexcept
1557 __non_propagating_cache(__non_propagating_cache&& __other)
noexcept
1558 { __other._M_reset(); }
1560 constexpr __non_propagating_cache&
1561 operator=(
const __non_propagating_cache& __other)
noexcept
1568 constexpr __non_propagating_cache&
1569 operator=(__non_propagating_cache&& __other)
noexcept
1576 constexpr __non_propagating_cache&
1577 operator=(_Tp __val)
1580 this->_M_payload._M_construct(
std::move(__val));
1585 operator bool() const noexcept
1586 {
return this->_M_is_engaged(); }
1590 {
return this->_M_get(); }
1592 constexpr const _Tp&
1594 {
return this->_M_get(); }
1596 template<
typename _Iter>
1598 _M_emplace_deref(
const _Iter& __i)
1601 auto __f = [] (
auto& __x) {
return *__x; };
1602 this->_M_payload._M_apply(_Optional_func{__f}, __i);
1603 return this->_M_get();
1606 using _Optional_base<_Tp>::_M_reset;
1609 template<range _Range>
1610 struct _CachedPosition
1613 _M_has_value()
const
1616 constexpr iterator_t<_Range>
1617 _M_get(
const _Range&)
const
1619 __glibcxx_assert(
false);
1620 __builtin_unreachable();
1624 _M_set(
const _Range&,
const iterator_t<_Range>&)
const
1628 template<forward_range _Range>
1629 struct _CachedPosition<_Range>
1630 :
protected __non_propagating_cache<iterator_t<_Range>>
1633 _M_has_value()
const
1634 {
return this->_M_is_engaged(); }
1636 constexpr iterator_t<_Range>
1637 _M_get(
const _Range&)
const
1639 __glibcxx_assert(_M_has_value());
1644 _M_set(
const _Range&,
const iterator_t<_Range>& __it)
1646 __glibcxx_assert(!_M_has_value());
1649 this->_M_payload._M_engaged =
true;
1653 template<random_access_range _Range>
1654 struct _CachedPosition<_Range>
1657 range_difference_t<_Range> _M_offset = -1;
1660 _CachedPosition() =
default;
1663 _CachedPosition(
const _CachedPosition&) =
default;
1666 _CachedPosition(_CachedPosition&& __other)
noexcept
1669 constexpr _CachedPosition&
1670 operator=(
const _CachedPosition&) =
default;
1672 constexpr _CachedPosition&
1673 operator=(_CachedPosition&& __other)
noexcept
1676 _M_offset = __other._M_offset;
1677 __other._M_offset = -1;
1682 _M_has_value()
const
1683 {
return _M_offset >= 0; }
1685 constexpr iterator_t<_Range>
1686 _M_get(_Range& __r)
const
1688 __glibcxx_assert(_M_has_value());
1689 return ranges::begin(__r) + _M_offset;
1693 _M_set(_Range& __r,
const iterator_t<_Range>& __it)
1695 __glibcxx_assert(!_M_has_value());
1696 _M_offset = __it - ranges::begin(__r);
1703 template<
typename _Base>
1704 struct __filter_view_iter_cat
1707 template<forward_range _Base>
1708 struct __filter_view_iter_cat<_Base>
1714 using _Cat =
typename iterator_traits<iterator_t<_Base>>::iterator_category;
1715 if constexpr (derived_from<_Cat, bidirectional_iterator_tag>)
1716 return bidirectional_iterator_tag{};
1717 else if constexpr (derived_from<_Cat, forward_iterator_tag>)
1718 return forward_iterator_tag{};
1723 using iterator_category =
decltype(_S_iter_cat());
1728 indirect_unary_predicate<iterator_t<_Vp>> _Pred>
1729 requires view<_Vp> && is_object_v<_Pred>
1730 class filter_view :
public view_interface<filter_view<_Vp, _Pred>>
1733 template<
bool _Const>
1736 template<
bool _Const>
1737 struct _Iterator : __detail::__filter_view_iter_cat<_Vp>
1740 static constexpr auto
1743 if constexpr (_Const)
1744 return input_iterator_tag{};
1745 else if constexpr (bidirectional_range<_Vp>)
1746 return bidirectional_iterator_tag{};
1747 else if constexpr (forward_range<_Vp>)
1748 return forward_iterator_tag{};
1750 return input_iterator_tag{};
1754 friend _Iterator<!_Const>;
1756 using _Parent = __maybe_const_t<_Const, filter_view>;
1757 using _Base = __maybe_const_t<_Const, _Vp>;
1758 using _Base_iter = iterator_t<_Base>;
1760 _Base_iter _M_current = _Base_iter();
1761 _Parent* _M_parent =
nullptr;
1764 using iterator_concept =
decltype(_S_iter_concept());
1766 using value_type = range_value_t<_Base>;
1767 using difference_type = range_difference_t<_Base>;
1769 _Iterator()
requires default_initializable<_Base_iter> = default;
1772 _Iterator(_Parent* __parent, _Base_iter __current)
1773 : _M_current(std::move(__current)),
1778 _Iterator(_Iterator<!_Const> __i)
1779 requires _Const && convertible_to<iterator_t<_Vp>, iterator_t<_Base>>
1780 : _M_current(
std::move(__i._M_current)),
1784 constexpr const _Base_iter&
1785 base() const & noexcept
1786 {
return _M_current; }
1788 constexpr _Base_iter
1792 constexpr range_reference_t<_Base>
1794 {
return *_M_current; }
1796 constexpr _Base_iter
1798 requires __detail::__has_arrow<_Base_iter>
1799 && copyable<_Base_iter>
1800 {
return _M_current; }
1802 constexpr _Iterator&
1805 _M_current = ranges::find_if(
std::move(++_M_current),
1806 ranges::end(_M_parent->_M_base),
1816 operator++(
int)
requires forward_range<_Base>
1823 constexpr _Iterator&
1824 operator--()
requires bidirectional_range<_Base>
1833 operator--(
int)
requires bidirectional_range<_Base>
1840 friend constexpr bool
1841 operator==(
const _Iterator& __x,
const _Iterator& __y)
1842 requires equality_comparable<_Base_iter>
1843 {
return __x._M_current == __y._M_current; }
1845 friend constexpr range_rvalue_reference_t<_Base>
1846 iter_move(
const _Iterator& __i)
1847 noexcept(
noexcept(ranges::iter_move(__i._M_current)))
1848 {
return ranges::iter_move(__i._M_current); }
1850 friend constexpr void
1851 iter_swap(
const _Iterator& __x,
const _Iterator& __y)
1852 noexcept(
noexcept(ranges::iter_swap(__x._M_current, __y._M_current)))
1853 requires indirectly_swappable<_Base_iter>
1854 { ranges::iter_swap(__x._M_current, __y._M_current); }
1857 template<
bool _Const>
1861 using _Parent = __maybe_const_t<_Const, filter_view>;
1862 using _Base = __maybe_const_t<_Const, _Vp>;
1863 sentinel_t<_Base> _M_end = sentinel_t<_Base>();
1865 friend _Sentinel<!_Const>;
1868 _Sentinel() =
default;
1871 _Sentinel(_Parent* __parent)
1872 : _M_end(ranges::end(__parent->_M_base))
1876 _Sentinel(_Sentinel<!_Const> __i)
1877 requires _Const && convertible_to<sentinel_t<_Vp>, sentinel_t<_Base>>
1881 constexpr sentinel_t<_Base>
1885 template<
bool _Const2>
1886 requires sentinel_for<sentinel_t<_Base>,
1887 iterator_t<__maybe_const_t<_Const2, _Vp>>>
1888 friend constexpr bool
1889 operator==(
const _Iterator<_Const2>& __x,
const _Sentinel& __y)
1890 {
return __x._M_current == __y._M_end; }
1893 _Vp _M_base = _Vp();
1894 [[no_unique_address]] __detail::__box<_Pred> _M_pred;
1895 [[no_unique_address]] __detail::_CachedPosition<_Vp> _M_cached_begin;
1898 filter_view()
requires (default_initializable<_Vp>
1899 && default_initializable<_Pred>)
1903 filter_view(_Vp __base, _Pred __pred)
1904 : _M_base(std::move(
__base)), _M_pred(std::move(__pred))
1908 base() const& requires copy_constructible<_Vp>
1915 constexpr const _Pred&
1917 {
return *_M_pred; }
1919 constexpr _Iterator<false>
1922 if (_M_cached_begin._M_has_value())
1923 return {
this, _M_cached_begin._M_get(_M_base)};
1925 __glibcxx_assert(_M_pred.has_value());
1926 auto __it = ranges::find_if(ranges::begin(_M_base),
1927 ranges::end(_M_base),
1929 _M_cached_begin._M_set(_M_base, __it);
1933 constexpr _Iterator<true>
1935 requires (input_range<const _Vp> && !forward_range<const _Vp>
1936 && indirect_unary_predicate<const _Pred, iterator_t<const _Vp>>)
1938 __glibcxx_assert(_M_pred.has_value());
1939 auto __it = ranges::find_if(ranges::begin(_M_base),
1940 ranges::end(_M_base),
1948 if constexpr (common_range<_Vp>)
1949 return _Iterator<false>{
this, ranges::end(_M_base)};
1951 return _Sentinel<false>{
this};
1954 constexpr _Sentinel<true>
1956 requires (input_range<const _Vp> && !forward_range<const _Vp>
1957 && indirect_unary_predicate<const _Pred, iterator_t<const _Vp>>)
1958 {
return _Sentinel<true>{
this}; }
1961 template<
typename _Range,
typename _Pred>
1962 filter_view(_Range&&, _Pred) -> filter_view<views::all_t<_Range>, _Pred>;
1968 template<
typename _Range,
typename _Pred>
1969 concept __can_filter_view
1973 struct _Filter : __adaptor::_RangeAdaptor<_Filter>
1975 template<viewable_range _Range,
typename _Pred>
1976 requires __detail::__can_filter_view<_Range, _Pred>
1978 operator() [[nodiscard]] (_Range&& __r, _Pred&& __p)
const
1983 using _RangeAdaptor<_Filter>::operator();
1984 static constexpr int _S_arity = 2;
1985 static constexpr bool _S_has_simple_extra_args =
true;
1988 inline constexpr _Filter filter;
1991#if __cpp_lib_ranges >= 202207L
1992 template<input_range _Vp, move_constructible _Fp>
1994 template<input_range _Vp, copy_constructible _Fp>
1997 && regular_invocable<_Fp&, range_reference_t<_Vp>>
1998 && std::__detail::__can_reference<invoke_result_t<_Fp&,
1999 range_reference_t<_Vp>>>
2000 class transform_view :
public view_interface<transform_view<_Vp, _Fp>>
2003 template<
bool _Const>
2004 using _Base = __detail::__maybe_const_t<_Const, _Vp>;
2006 template<
bool _Const>
2010 template<
bool _Const>
2011 requires forward_range<_Base<_Const>>
2012 struct __iter_cat<_Const>
2021 using _Base = transform_view::_Base<_Const>;
2022 using _Res = invoke_result_t<__maybe_const_t<_Const, _Fp>&,
2023 range_reference_t<_Base>>;
2026 if constexpr (is_reference_v<_Res>)
2029 =
typename iterator_traits<iterator_t<_Base>>::iterator_category;
2030 if constexpr (derived_from<_Cat, contiguous_iterator_tag>)
2031 return random_access_iterator_tag{};
2036 return input_iterator_tag{};
2039 using iterator_category =
decltype(_S_iter_cat());
2042 template<
bool _Const>
2045 template<
bool _Const>
2046 struct _Iterator : __iter_cat<_Const>
2049 using _Parent = __detail::__maybe_const_t<_Const, transform_view>;
2050 using _Base = transform_view::_Base<_Const>;
2051 using _Base_iter = iterator_t<_Base>;
2052 using _Func_handle = __detail::__func_handle_t<
2053 __detail::__maybe_const_t<_Const, _Fp>,
2059 if constexpr (random_access_range<_Base>)
2060 return random_access_iterator_tag{};
2061 else if constexpr (bidirectional_range<_Base>)
2062 return bidirectional_iterator_tag{};
2063 else if constexpr (forward_range<_Base>)
2064 return forward_iterator_tag{};
2066 return input_iterator_tag{};
2069 _Base_iter _M_current = _Base_iter();
2070 [[no_unique_address]] _Func_handle _M_fun;
2073 using iterator_concept =
decltype(_S_iter_concept());
2076 = remove_cvref_t<invoke_result_t<__maybe_const_t<_Const, _Fp>&,
2077 range_reference_t<_Base>>>;
2078 using difference_type = range_difference_t<_Base>;
2080 _Iterator()
requires default_initializable<_Base_iter> = default;
2083 _Iterator(_Func_handle __fun, _Base_iter __current)
2084 : _M_current(std::move(__current)), _M_fun(__fun)
2088 _Iterator(_Parent* __parent, _Base_iter __current)
2089 : _M_current(std::move(__current)), _M_fun(*__parent->_M_fun)
2093 _Iterator(_Iterator<!_Const> __i)
2095 && convertible_to<iterator_t<_Vp>, _Base_iter>
2096 : _M_current(
std::move(__i._M_current)), _M_fun(__i._M_fun)
2099 constexpr const _Base_iter&
2100 base() const & noexcept
2101 {
return _M_current; }
2103 constexpr _Base_iter
2107 constexpr decltype(
auto)
2109 noexcept(
noexcept(_M_fun._M_call_deref(_M_current)))
2110 {
return _M_fun._M_call_deref(_M_current); }
2112 constexpr _Iterator&
2124 operator++(
int)
requires forward_range<_Base>
2131 constexpr _Iterator&
2132 operator--()
requires bidirectional_range<_Base>
2139 operator--(
int)
requires bidirectional_range<_Base>
2146 constexpr _Iterator&
2147 operator+=(difference_type __n)
requires random_access_range<_Base>
2153 constexpr _Iterator&
2154 operator-=(difference_type __n)
requires random_access_range<_Base>
2160 constexpr decltype(
auto)
2161 operator[](difference_type __n)
const
2162 requires random_access_range<_Base>
2163 {
return _M_fun._M_call_subscript(__n, _M_current); }
2165 friend constexpr bool
2166 operator==(
const _Iterator& __x,
const _Iterator& __y)
2167 requires equality_comparable<_Base_iter>
2168 {
return __x._M_current == __y._M_current; }
2170 friend constexpr bool
2171 operator<(
const _Iterator& __x,
const _Iterator& __y)
2172 requires random_access_range<_Base>
2173 {
return __x._M_current < __y._M_current; }
2175 friend constexpr bool
2176 operator>(
const _Iterator& __x,
const _Iterator& __y)
2177 requires random_access_range<_Base>
2178 {
return __y < __x; }
2180 friend constexpr bool
2181 operator<=(
const _Iterator& __x,
const _Iterator& __y)
2182 requires random_access_range<_Base>
2183 {
return !(__y < __x); }
2185 friend constexpr bool
2186 operator>=(
const _Iterator& __x,
const _Iterator& __y)
2187 requires random_access_range<_Base>
2188 {
return !(__x < __y); }
2190#ifdef __cpp_lib_three_way_comparison
2191 friend constexpr auto
2192 operator<=>(
const _Iterator& __x,
const _Iterator& __y)
2193 requires random_access_range<_Base>
2194 && three_way_comparable<_Base_iter>
2195 {
return __x._M_current <=> __y._M_current; }
2198 friend constexpr _Iterator
2199 operator+(_Iterator __i, difference_type __n)
2200 requires random_access_range<_Base>
2201 {
return {__i._M_fun, __i._M_current + __n}; }
2203 friend constexpr _Iterator
2204 operator+(difference_type __n, _Iterator __i)
2205 requires random_access_range<_Base>
2206 {
return {__i._M_fun, __i._M_current + __n}; }
2208 friend constexpr _Iterator
2209 operator-(_Iterator __i, difference_type __n)
2210 requires random_access_range<_Base>
2211 {
return {__i._M_fun, __i._M_current - __n}; }
2215 friend constexpr difference_type
2216 operator-(
const _Iterator& __x,
const _Iterator& __y)
2217 requires sized_sentinel_for<iterator_t<_Base>, iterator_t<_Base>>
2218 {
return __x._M_current - __y._M_current; }
2220 friend constexpr decltype(
auto)
2221 iter_move(
const _Iterator& __i)
noexcept(
noexcept(*__i))
2223 if constexpr (is_lvalue_reference_v<
decltype(*__i)>)
2229 friend _Iterator<!_Const>;
2230 template<
bool>
friend struct _Sentinel;
2233 template<
bool _Const>
2237 using _Parent = __detail::__maybe_const_t<_Const, transform_view>;
2238 using _Base = transform_view::_Base<_Const>;
2240 sentinel_t<_Base> _M_end = sentinel_t<_Base>();
2243 _Sentinel() =
default;
2246 _Sentinel(sentinel_t<_Base> __end)
2251 _Sentinel(_Sentinel<!_Const> __i)
2253 && convertible_to<sentinel_t<_Vp>, sentinel_t<_Base>>
2257 constexpr sentinel_t<_Base>
2261 template<
bool _Const2>
2262 requires sentinel_for<sentinel_t<_Base>,
2263 iterator_t<__detail::__maybe_const_t<_Const2, _Vp>>>
2264 friend constexpr bool
2265 operator==(
const _Iterator<_Const2>& __x,
const _Sentinel& __y)
2266 {
return __x._M_current == __y._M_end; }
2268 template<
bool _Const2,
2269 typename _Base2 = __detail::__maybe_const_t<_Const2, _Vp>>
2270 requires sized_sentinel_for<sentinel_t<_Base>, iterator_t<_Base2>>
2271 friend constexpr range_difference_t<_Base2>
2272 operator-(
const _Iterator<_Const2>& __x,
const _Sentinel& __y)
2273 {
return -(__y._M_end - __x._M_current); }
2275 template<
bool _Const2,
2276 typename _Base2 = __detail::__maybe_const_t<_Const2, _Vp>>
2277 requires sized_sentinel_for<sentinel_t<_Base>, iterator_t<_Base2>>
2278 friend constexpr range_difference_t<_Base2>
2279 operator-(
const _Sentinel& __y,
const _Iterator<_Const2>& __x)
2280 {
return __y._M_end - __x._M_current; }
2282 friend _Sentinel<!_Const>;
2285 _Vp _M_base = _Vp();
2286 [[no_unique_address]] __detail::__box<_Fp> _M_fun;
2289 transform_view()
requires (default_initializable<_Vp>
2290 && default_initializable<_Fp>)
2294 transform_view(_Vp __base, _Fp __fun)
2295 : _M_base(std::move(
__base)), _M_fun(std::move(__fun))
2299 base() const& requires copy_constructible<_Vp>
2300 {
return _M_base ; }
2306 constexpr _Iterator<false>
2308 {
return _Iterator<false>{
this, ranges::begin(_M_base)}; }
2310 constexpr _Iterator<true>
2312 requires range<const _Vp>
2313 && regular_invocable<const _Fp&, range_reference_t<const _Vp>>
2314 {
return _Iterator<true>{
this, ranges::begin(_M_base)}; }
2316 constexpr _Sentinel<false>
2318 {
return _Sentinel<false>{ranges::end(_M_base)}; }
2320 constexpr _Iterator<false>
2321 end()
requires common_range<_Vp>
2322 {
return _Iterator<false>{
this, ranges::end(_M_base)}; }
2324 constexpr _Sentinel<true>
2326 requires range<const _Vp>
2327 && regular_invocable<const _Fp&, range_reference_t<const _Vp>>
2328 {
return _Sentinel<true>{ranges::end(_M_base)}; }
2330 constexpr _Iterator<true>
2332 requires common_range<const _Vp>
2333 && regular_invocable<const _Fp&, range_reference_t<const _Vp>>
2334 {
return _Iterator<true>{
this, ranges::end(_M_base)}; }
2337 size()
requires sized_range<_Vp>
2338 {
return ranges::size(_M_base); }
2341 size() const requires sized_range<const _Vp>
2342 {
return ranges::size(_M_base); }
2345 template<
typename _Range,
typename _Fp>
2346 transform_view(_Range&&, _Fp) -> transform_view<views::all_t<_Range>, _Fp>;
2352 template<
typename _Range,
typename _Fp>
2353 concept __can_transform_view
2357 struct _Transform : __adaptor::_RangeAdaptor<_Transform>
2359 template<viewable_range _Range,
typename _Fp>
2360 requires __detail::__can_transform_view<_Range, _Fp>
2362 operator() [[nodiscard]] (_Range&& __r, _Fp&& __f)
const
2367 using _RangeAdaptor<_Transform>::operator();
2368 static constexpr int _S_arity = 2;
2369 static constexpr bool _S_has_simple_extra_args =
true;
2372 inline constexpr _Transform transform;
2379 template<
bool _Const>
2380 using _CI = counted_iterator<
2381 iterator_t<__detail::__maybe_const_t<_Const, _Vp>>>;
2383 template<
bool _Const>
2387 using _Base = __detail::__maybe_const_t<_Const, _Vp>;
2388 sentinel_t<_Base> _M_end = sentinel_t<_Base>();
2391 _Sentinel() =
default;
2394 _Sentinel(sentinel_t<_Base> __end)
2399 _Sentinel(_Sentinel<!_Const> __s)
2400 requires _Const && convertible_to<sentinel_t<_Vp>, sentinel_t<_Base>>
2404 constexpr sentinel_t<_Base>
2408 friend constexpr bool
2409 operator==(
const _CI<_Const>& __y,
const _Sentinel& __x)
2410 {
return __y.count() == 0 || __y.base() == __x._M_end; }
2412 template<
bool _OtherConst = !_Const,
2413 typename _Base2 = __detail::__maybe_const_t<_OtherConst, _Vp>>
2414 requires sentinel_for<sentinel_t<_Base>, iterator_t<_Base2>>
2415 friend constexpr bool
2416 operator==(
const _CI<_OtherConst>& __y,
const _Sentinel& __x)
2417 {
return __y.count() == 0 || __y.base() == __x._M_end; }
2419 friend _Sentinel<!_Const>;
2422 _Vp _M_base = _Vp();
2423 range_difference_t<_Vp> _M_count = 0;
2426 take_view()
requires default_initializable<_Vp> = default;
2429 take_view(_Vp __base, range_difference_t<_Vp> __count)
2430 : _M_base(std::move(__base)), _M_count(std::move(__count))
2434 base() const& requires copy_constructible<_Vp>
2442 begin()
requires (!__detail::__simple_view<_Vp>)
2444 if constexpr (sized_range<_Vp>)
2446 if constexpr (random_access_range<_Vp>)
2447 return ranges::begin(_M_base);
2451 return counted_iterator(ranges::begin(_M_base), __sz);
2455 return counted_iterator(ranges::begin(_M_base), _M_count);
2459 begin() const requires range<const _Vp>
2461 if constexpr (sized_range<const _Vp>)
2463 if constexpr (random_access_range<const _Vp>)
2464 return ranges::begin(_M_base);
2468 return counted_iterator(ranges::begin(_M_base), __sz);
2472 return counted_iterator(ranges::begin(_M_base), _M_count);
2476 end()
requires (!__detail::__simple_view<_Vp>)
2478 if constexpr (sized_range<_Vp>)
2480 if constexpr (random_access_range<_Vp>)
2481 return ranges::begin(_M_base) + size();
2486 return _Sentinel<false>{ranges::end(_M_base)};
2490 end() const requires range<const _Vp>
2492 if constexpr (sized_range<const _Vp>)
2494 if constexpr (random_access_range<const _Vp>)
2495 return ranges::begin(_M_base) + size();
2500 return _Sentinel<true>{ranges::end(_M_base)};
2504 size()
requires sized_range<_Vp>
2506 auto __n = ranges::size(_M_base);
2507 return std::min(__n,
static_cast<decltype(__n)
>(_M_count));
2511 size() const requires sized_range<const _Vp>
2513 auto __n = ranges::size(_M_base);
2514 return std::min(__n,
static_cast<decltype(__n)
>(_M_count));
2521 template<
typename _Range>
2522 take_view(_Range&&, range_difference_t<_Range>)
2523 -> take_view<views::all_t<_Range>>;
2525 template<
typename _Tp>
2526 inline constexpr bool enable_borrowed_range<take_view<_Tp>>
2527 = enable_borrowed_range<_Tp>;
2533 template<
typename _Range>
2534 inline constexpr bool __is_empty_view =
false;
2536 template<
typename _Tp>
2537 inline constexpr bool __is_empty_view<empty_view<_Tp>> =
true;
2539 template<
typename _Range>
2540 inline constexpr bool __is_basic_string_view =
false;
2542 template<
typename _CharT,
typename _Traits>
2543 inline constexpr bool __is_basic_string_view<basic_string_view<_CharT, _Traits>>
2546 using ranges::__detail::__is_subrange;
2548 template<
typename _Range>
2549 inline constexpr bool __is_iota_view =
false;
2551 template<
typename _Winc,
typename _Bound>
2552 inline constexpr bool __is_iota_view<iota_view<_Winc, _Bound>> =
true;
2554 template<
typename _Range>
2555 inline constexpr bool __is_repeat_view =
false;
2557 template<
typename _Range>
2559 __take_of_repeat_view(_Range&&, range_difference_t<_Range>);
2561 template<
typename _Range,
typename _Dp>
2562 concept __can_take_view
2566 struct _Take : __adaptor::_RangeAdaptor<_Take>
2568 template<viewable_range _Range,
typename _Dp = range_difference_t<_Range>>
2569 requires __detail::__can_take_view<_Range, _Dp>
2571 operator() [[nodiscard]] (_Range&& __r, type_identity_t<_Dp> __n)
const
2573 using _Tp = remove_cvref_t<_Range>;
2574 if constexpr (__detail::__is_empty_view<_Tp>)
2576#ifdef __cpp_lib_optional_range_support
2577 else if constexpr (__is_optional_v<_Tp> && view<_Tp>)
2580 else if constexpr (random_access_range<_Tp>
2582 && (std::__detail::__is_span<_Tp>
2583 || __detail::__is_basic_string_view<_Tp>
2584 || __detail::__is_subrange<_Tp>
2585 || __detail::__is_iota_view<_Tp>))
2588 auto __begin = ranges::begin(__r);
2589 auto __end = __begin + __n;
2590 if constexpr (std::__detail::__is_span<_Tp>)
2591 return span<typename _Tp::element_type>(__begin, __end);
2592 else if constexpr (__detail::__is_basic_string_view<_Tp>)
2593 return _Tp(__begin, __end);
2594 else if constexpr (__detail::__is_subrange<_Tp>)
2595 return subrange<iterator_t<_Tp>>(__begin, __end);
2597 return iota_view(*__begin, *__end);
2599 else if constexpr (__detail::__is_repeat_view<_Tp>)
2605 using _RangeAdaptor<_Take>::operator();
2606 static constexpr int _S_arity = 2;
2610 template<
typename _Tp>
2611 static constexpr bool _S_has_simple_extra_args
2612 = ranges::__detail::__is_integer_like<_Tp>;
2615 inline constexpr _Take take;
2618 template<view _Vp,
typename _Pred>
2620 && indirect_unary_predicate<const _Pred, iterator_t<_Vp>>
2621 class take_while_view :
public view_interface<take_while_view<_Vp, _Pred>>
2623 template<
bool _Const>
2627 using _Base = __detail::__maybe_const_t<_Const, _Vp>;
2629 sentinel_t<_Base> _M_end = sentinel_t<_Base>();
2630 const _Pred* _M_pred =
nullptr;
2633 _Sentinel() =
default;
2636 _Sentinel(sentinel_t<_Base> __end,
const _Pred* __pred)
2637 : _M_end(__end), _M_pred(__pred)
2641 _Sentinel(_Sentinel<!_Const> __s)
2642 requires _Const && convertible_to<sentinel_t<_Vp>, sentinel_t<_Base>>
2643 : _M_end(__s._M_end), _M_pred(__s._M_pred)
2646 constexpr sentinel_t<_Base>
2647 base()
const {
return _M_end; }
2649 friend constexpr bool
2650 operator==(
const iterator_t<_Base>& __x,
const _Sentinel& __y)
2651 {
return __y._M_end == __x || !
std::__invoke(*__y._M_pred, *__x); }
2653 template<
bool _OtherConst = !_Const,
2654 typename _Base2 = __detail::__maybe_const_t<_OtherConst, _Vp>>
2655 requires sentinel_for<sentinel_t<_Base>, iterator_t<_Base2>>
2656 friend constexpr bool
2657 operator==(
const iterator_t<_Base2>& __x,
const _Sentinel& __y)
2658 {
return __y._M_end == __x || !
std::__invoke(*__y._M_pred, *__x); }
2660 friend _Sentinel<!_Const>;
2663 _Vp _M_base = _Vp();
2664 [[no_unique_address]] __detail::__box<_Pred> _M_pred;
2667 take_while_view()
requires (default_initializable<_Vp>
2668 && default_initializable<_Pred>)
2672 take_while_view(_Vp __base, _Pred __pred)
2673 : _M_base(std::move(
__base)), _M_pred(std::move(__pred))
2677 base() const& requires copy_constructible<_Vp>
2684 constexpr const _Pred&
2686 {
return *_M_pred; }
2689 begin()
requires (!__detail::__simple_view<_Vp>)
2690 {
return ranges::begin(_M_base); }
2693 begin() const requires range<const _Vp>
2694 && indirect_unary_predicate<const _Pred, iterator_t<const _Vp>>
2695 {
return ranges::begin(_M_base); }
2698 end()
requires (!__detail::__simple_view<_Vp>)
2699 {
return _Sentinel<false>(ranges::end(_M_base),
2703 end() const requires range<const _Vp>
2704 && indirect_unary_predicate<const _Pred, iterator_t<const _Vp>>
2705 {
return _Sentinel<true>(ranges::end(_M_base),
2709 template<
typename _Range,
typename _Pred>
2710 take_while_view(_Range&&, _Pred)
2711 -> take_while_view<views::all_t<_Range>, _Pred>;
2717 template<
typename _Range,
typename _Pred>
2718 concept __can_take_while_view
2722 struct _TakeWhile : __adaptor::_RangeAdaptor<_TakeWhile>
2724 template<viewable_range _Range,
typename _Pred>
2725 requires __detail::__can_take_while_view<_Range, _Pred>
2727 operator() [[nodiscard]] (_Range&& __r, _Pred&& __p)
const
2732 using _RangeAdaptor<_TakeWhile>::operator();
2733 static constexpr int _S_arity = 2;
2734 static constexpr bool _S_has_simple_extra_args =
true;
2737 inline constexpr _TakeWhile take_while;
2744 _Vp _M_base = _Vp();
2745 range_difference_t<_Vp> _M_count = 0;
2749 static constexpr bool _S_needs_cached_begin
2750 = !(random_access_range<const _Vp> && sized_range<const _Vp>);
2751 [[no_unique_address]]
2752 __detail::__maybe_present_t<_S_needs_cached_begin,
2753 __detail::_CachedPosition<_Vp>>
2757 drop_view()
requires default_initializable<_Vp> = default;
2760 drop_view(_Vp __base, range_difference_t<_Vp> __count)
2761 : _M_base(std::move(__base)), _M_count(__count)
2762 { __glibcxx_assert(__count >= 0); }
2765 base() const& requires copy_constructible<_Vp>
2775 requires (!(__detail::__simple_view<_Vp>
2776 && random_access_range<const _Vp>
2777 && sized_range<const _Vp>))
2779 if constexpr (_S_needs_cached_begin)
2780 if (_M_cached_begin._M_has_value())
2781 return _M_cached_begin._M_get(_M_base);
2783 auto __it = ranges::next(ranges::begin(_M_base),
2784 _M_count, ranges::end(_M_base));
2785 if constexpr (_S_needs_cached_begin)
2786 _M_cached_begin._M_set(_M_base, __it);
2794 requires random_access_range<const _Vp> && sized_range<const _Vp>
2796 return ranges::begin(_M_base) + ranges::min(ranges::distance(_M_base),
2801 end()
requires (!__detail::__simple_view<_Vp>)
2802 {
return ranges::end(_M_base); }
2805 end() const requires range<const _Vp>
2806 {
return ranges::end(_M_base); }
2809 size()
requires sized_range<_Vp>
2811 const auto __s = ranges::size(_M_base);
2812 const auto __c =
static_cast<decltype(__s)
>(_M_count);
2813 return __s < __c ? 0 : __s - __c;
2817 size() const requires sized_range<const _Vp>
2819 const auto __s = ranges::size(_M_base);
2820 const auto __c =
static_cast<decltype(__s)
>(_M_count);
2821 return __s < __c ? 0 : __s - __c;
2825 template<
typename _Range>
2826 drop_view(_Range&&, range_difference_t<_Range>)
2827 -> drop_view<views::all_t<_Range>>;
2829 template<
typename _Tp>
2830 inline constexpr bool enable_borrowed_range<drop_view<_Tp>>
2831 = enable_borrowed_range<_Tp>;
2837 template<
typename _Range>
2839 __drop_of_repeat_view(_Range&&, range_difference_t<_Range>);
2841 template<
typename _Range,
typename _Dp>
2842 concept __can_drop_view
2846 struct _Drop : __adaptor::_RangeAdaptor<_Drop>
2848 template<viewable_range _Range,
typename _Dp = range_difference_t<_Range>>
2849 requires __detail::__can_drop_view<_Range, _Dp>
2851 operator() [[nodiscard]] (_Range&& __r, type_identity_t<_Dp> __n)
const
2853 using _Tp = remove_cvref_t<_Range>;
2854 if constexpr (__detail::__is_empty_view<_Tp>)
2856#ifdef __cpp_lib_optional_range_support
2857 else if constexpr (__is_optional_v<_Tp> && view<_Tp>)
2860 else if constexpr (random_access_range<_Tp>
2862 && (std::__detail::__is_span<_Tp>
2863 || __detail::__is_basic_string_view<_Tp>
2864 || __detail::__is_iota_view<_Tp>
2865 || __detail::__is_subrange<_Tp>))
2868 auto __begin = ranges::begin(__r) + __n;
2869 auto __end = ranges::end(__r);
2870 if constexpr (std::__detail::__is_span<_Tp>)
2871 return span<typename _Tp::element_type>(__begin, __end);
2872 else if constexpr (__detail::__is_subrange<_Tp>)
2874 if constexpr (_Tp::_S_store_size)
2876 using ranges::__detail::__to_unsigned_like;
2877 auto __m = ranges::distance(__r) - __n;
2878 return _Tp(__begin, __end, __to_unsigned_like(__m));
2881 return _Tp(__begin, __end);
2884 return _Tp(__begin, __end);
2886 else if constexpr (__detail::__is_repeat_view<_Tp>)
2892 using _RangeAdaptor<_Drop>::operator();
2893 static constexpr int _S_arity = 2;
2894 template<
typename _Tp>
2895 static constexpr bool _S_has_simple_extra_args
2896 = _Take::_S_has_simple_extra_args<_Tp>;
2899 inline constexpr _Drop drop;
2902 template<view _Vp,
typename _Pred>
2904 && indirect_unary_predicate<const _Pred, iterator_t<_Vp>>
2905 class drop_while_view :
public view_interface<drop_while_view<_Vp, _Pred>>
2908 _Vp _M_base = _Vp();
2909 [[no_unique_address]] __detail::__box<_Pred> _M_pred;
2910 [[no_unique_address]] __detail::_CachedPosition<_Vp> _M_cached_begin;
2913 drop_while_view()
requires (default_initializable<_Vp>
2914 && default_initializable<_Pred>)
2918 drop_while_view(_Vp __base, _Pred __pred)
2919 : _M_base(std::move(
__base)), _M_pred(std::move(__pred))
2923 base() const& requires copy_constructible<_Vp>
2930 constexpr const _Pred&
2932 {
return *_M_pred; }
2937 if (_M_cached_begin._M_has_value())
2938 return _M_cached_begin._M_get(_M_base);
2940 __glibcxx_assert(_M_pred.has_value());
2941 auto __it = ranges::find_if_not(ranges::begin(_M_base),
2942 ranges::end(_M_base),
2944 _M_cached_begin._M_set(_M_base, __it);
2950 {
return ranges::end(_M_base); }
2953 template<
typename _Range,
typename _Pred>
2954 drop_while_view(_Range&&, _Pred)
2955 -> drop_while_view<views::all_t<_Range>, _Pred>;
2957 template<
typename _Tp,
typename _Pred>
2958 inline constexpr bool enable_borrowed_range<drop_while_view<_Tp, _Pred>>
2959 = enable_borrowed_range<_Tp>;
2965 template<
typename _Range,
typename _Pred>
2966 concept __can_drop_while_view
2970 struct _DropWhile : __adaptor::_RangeAdaptor<_DropWhile>
2972 template<viewable_range _Range,
typename _Pred>
2973 requires __detail::__can_drop_while_view<_Range, _Pred>
2975 operator() [[nodiscard]] (_Range&& __r, _Pred&& __p)
const
2981 using _RangeAdaptor<_DropWhile>::operator();
2982 static constexpr int _S_arity = 2;
2983 static constexpr bool _S_has_simple_extra_args =
true;
2986 inline constexpr _DropWhile drop_while;
2991 template<
typename _Tp>
2993 __as_lvalue(_Tp&& __t)
2994 {
return static_cast<_Tp&
>(__t); }
2997 template<input_range _Vp>
3002 using _InnerRange = range_reference_t<_Vp>;
3004 template<
bool _Const>
3005 using _Base = __detail::__maybe_const_t<_Const, _Vp>;
3007 template<
bool _Const>
3008 using _Outer_iter = iterator_t<_Base<_Const>>;
3010 template<
bool _Const>
3011 using _Inner_iter = iterator_t<range_reference_t<_Base<_Const>>>;
3013 template<
bool _Const>
3014 static constexpr bool _S_ref_is_glvalue
3015 = is_reference_v<range_reference_t<_Base<_Const>>>;
3017 template<
bool _Const>
3021 template<
bool _Const>
3022 requires _S_ref_is_glvalue<_Const>
3023 && forward_range<_Base<_Const>>
3024 && forward_range<range_reference_t<_Base<_Const>>>
3025 struct __iter_cat<_Const>
3028 static constexpr auto
3031 using _Outer_iter = join_view::_Outer_iter<_Const>;
3032 using _Inner_iter = join_view::_Inner_iter<_Const>;
3033 using _OuterCat =
typename iterator_traits<_Outer_iter>::iterator_category;
3034 using _InnerCat =
typename iterator_traits<_Inner_iter>::iterator_category;
3035 if constexpr (derived_from<_OuterCat, bidirectional_iterator_tag>
3036 && derived_from<_InnerCat, bidirectional_iterator_tag>
3037 && common_range<range_reference_t<_Base<_Const>>>)
3038 return bidirectional_iterator_tag{};
3039 else if constexpr (derived_from<_OuterCat, forward_iterator_tag>
3040 && derived_from<_InnerCat, forward_iterator_tag>)
3041 return forward_iterator_tag{};
3043 return input_iterator_tag{};
3046 using iterator_category =
decltype(_S_iter_cat());
3049 template<
bool _Const>
3052 template<
bool _Const>
3053 struct _Iterator : __iter_cat<_Const>
3056 using _Parent = __detail::__maybe_const_t<_Const, join_view>;
3057 using _Base = join_view::_Base<_Const>;
3061 static constexpr bool _S_ref_is_glvalue
3062 = join_view::_S_ref_is_glvalue<_Const>;
3067 auto __update_inner = [
this] (
const iterator_t<_Base>& __x) ->
auto&& {
3068 if constexpr (_S_ref_is_glvalue)
3071 return _M_parent->_M_inner._M_emplace_deref(__x);
3074 _Outer_iter& __outer = _M_get_outer();
3075 for (; __outer != ranges::end(_M_parent->_M_base); ++__outer)
3077 auto&& __inner = __update_inner(__outer);
3078 _M_inner = ranges::begin(__inner);
3079 if (_M_inner != ranges::end(__inner))
3083 if constexpr (_S_ref_is_glvalue)
3085 if constexpr (forward_iterator<_Inner_iter>)
3086 _M_inner = _Inner_iter();
3092 static constexpr auto
3095 if constexpr (_S_ref_is_glvalue
3096 && bidirectional_range<_Base>
3097 && bidirectional_range<range_reference_t<_Base>>
3098 && common_range<range_reference_t<_Base>>)
3099 return bidirectional_iterator_tag{};
3100 else if constexpr (_S_ref_is_glvalue
3101 && forward_range<_Base>
3102 && forward_range<range_reference_t<_Base>>)
3103 return forward_iterator_tag{};
3105 return input_iterator_tag{};
3108 using _Outer_iter = join_view::_Outer_iter<_Const>;
3109 using _Inner_iter = join_view::_Inner_iter<_Const>;
3111 constexpr _Outer_iter&
3114 if constexpr (forward_range<_Base>)
3117 return *_M_parent->_M_outer;
3120 constexpr const _Outer_iter&
3121 _M_get_outer()
const
3123 if constexpr (forward_range<_Base>)
3126 return *_M_parent->_M_outer;
3129 constexpr _Inner_iter&
3130 _M_get_inner() noexcept
3132 if constexpr (forward_iterator<_Inner_iter>)
3138 constexpr const _Inner_iter&
3139 _M_get_inner() const noexcept
3141 if constexpr (forward_iterator<_Inner_iter>)
3148 _Iterator(_Parent* __parent, _Outer_iter __outer)
requires forward_range<_Base>
3149 : _M_outer(
std::move(__outer)), _M_parent(__parent)
3153 _Iterator(_Parent* __parent)
requires (!forward_range<_Base>)
3154 : _M_parent(__parent)
3157 [[no_unique_address]]
3158 __detail::__maybe_present_t<forward_range<_Base>, _Outer_iter> _M_outer
3159 =
decltype(_M_outer)();
3160 __conditional_t<forward_iterator<_Inner_iter>,
3161 _Inner_iter, optional<_Inner_iter>> _M_inner
3162 =
decltype(_M_inner)();
3163 _Parent* _M_parent =
nullptr;
3166 using iterator_concept =
decltype(_S_iter_concept());
3168 using value_type = range_value_t<range_reference_t<_Base>>;
3169 using difference_type
3171 range_difference_t<range_reference_t<_Base>>>;
3173 _Iterator() =
default;
3176 _Iterator(_Iterator<!_Const> __i)
3178 && convertible_to<iterator_t<_Vp>, _Outer_iter>
3179 && convertible_to<iterator_t<_InnerRange>, _Inner_iter>
3181 _M_parent(__i._M_parent)
3184 constexpr decltype(
auto)
3186 {
return *_M_get_inner(); }
3190 constexpr _Inner_iter
3192 requires __detail::__has_arrow<_Inner_iter>
3193 && copyable<_Inner_iter>
3194 {
return _M_get_inner(); }
3196 constexpr _Iterator&
3199 auto&& __inner_range = [
this] () ->
auto&& {
3200 if constexpr (_S_ref_is_glvalue)
3201 return *_M_get_outer();
3203 return *_M_parent->_M_inner;
3205 if (++_M_get_inner() == ranges::end(__inner_range))
3219 requires _S_ref_is_glvalue && forward_range<_Base>
3220 && forward_range<range_reference_t<_Base>>
3227 constexpr _Iterator&
3229 requires _S_ref_is_glvalue && bidirectional_range<_Base>
3230 && bidirectional_range<range_reference_t<_Base>>
3231 && common_range<range_reference_t<_Base>>
3233 if (_M_outer == ranges::end(_M_parent->_M_base))
3234 _M_inner = ranges::end(__detail::__as_lvalue(*--_M_outer));
3235 while (_M_get_inner() == ranges::begin(__detail::__as_lvalue(*_M_outer)))
3236 _M_get_inner() = ranges::end(__detail::__as_lvalue(*--_M_outer));
3243 requires _S_ref_is_glvalue && bidirectional_range<_Base>
3244 && bidirectional_range<range_reference_t<_Base>>
3245 && common_range<range_reference_t<_Base>>
3252 friend constexpr bool
3253 operator==(
const _Iterator& __x,
const _Iterator& __y)
3254 requires _S_ref_is_glvalue
3255 && forward_range<_Base>
3256 && equality_comparable<_Inner_iter>
3258 return (__x._M_outer == __y._M_outer
3259 && __x._M_inner == __y._M_inner);
3262 friend constexpr decltype(
auto)
3263 iter_move(
const _Iterator& __i)
3264 noexcept(
noexcept(ranges::iter_move(__i._M_get_inner())))
3265 {
return ranges::iter_move(__i._M_get_inner()); }
3267 friend constexpr void
3268 iter_swap(
const _Iterator& __x,
const _Iterator& __y)
3269 noexcept(
noexcept(ranges::iter_swap(__x._M_get_inner(), __y._M_get_inner())))
3270 requires indirectly_swappable<_Inner_iter>
3271 {
return ranges::iter_swap(__x._M_get_inner(), __y._M_get_inner()); }
3273 friend _Iterator<!_Const>;
3274 template<
bool>
friend struct _Sentinel;
3277 template<
bool _Const>
3281 using _Parent = __detail::__maybe_const_t<_Const, join_view>;
3282 using _Base = join_view::_Base<_Const>;
3284 sentinel_t<_Base> _M_end = sentinel_t<_Base>();
3287 _Sentinel() =
default;
3290 _Sentinel(_Parent* __parent)
3291 : _M_end(ranges::end(__parent->_M_base))
3295 _Sentinel(_Sentinel<!_Const> __s)
3296 requires _Const && convertible_to<sentinel_t<_Vp>, sentinel_t<_Base>>
3300 template<
bool _Const2>
3301 requires sentinel_for<sentinel_t<_Base>,
3302 iterator_t<__detail::__maybe_const_t<_Const2, _Vp>>>
3303 friend constexpr bool
3304 operator==(
const _Iterator<_Const2>& __x,
const _Sentinel& __y)
3305 {
return __x._M_get_outer() == __y._M_end; }
3307 friend _Sentinel<!_Const>;
3310 _Vp _M_base = _Vp();
3311 [[no_unique_address]]
3312 __detail::__maybe_present_t<!forward_range<_Vp>,
3313 __detail::__non_propagating_cache<iterator_t<_Vp>>> _M_outer;
3314 [[no_unique_address]]
3315 __detail::__non_propagating_cache<remove_cv_t<_InnerRange>> _M_inner;
3318 join_view()
requires default_initializable<_Vp> = default;
3321 join_view(_Vp __base)
3322 : _M_base(std::move(__base))
3326 base() const& requires copy_constructible<_Vp>
3336 if constexpr (forward_range<_Vp>)
3338 constexpr bool __use_const
3339 = (__detail::__simple_view<_Vp>
3340 && is_reference_v<range_reference_t<_Vp>>);
3341 return _Iterator<__use_const>{
this, ranges::begin(_M_base)};
3345 _M_outer = ranges::begin(_M_base);
3346 return _Iterator<false>{
this};
3352 requires forward_range<const _Vp>
3353 && is_reference_v<range_reference_t<const _Vp>>
3354 && input_range<range_reference_t<const _Vp>>
3356 return _Iterator<true>{
this, ranges::begin(_M_base)};
3362 if constexpr (forward_range<_Vp> && is_reference_v<_InnerRange>
3363 && forward_range<_InnerRange>
3364 && common_range<_Vp> && common_range<_InnerRange>)
3365 return _Iterator<__detail::__simple_view<_Vp>>{
this,
3366 ranges::end(_M_base)};
3368 return _Sentinel<__detail::__simple_view<_Vp>>{
this};
3373 requires forward_range<const _Vp>
3374 && is_reference_v<range_reference_t<const _Vp>>
3375 && input_range<range_reference_t<const _Vp>>
3377 if constexpr (is_reference_v<range_reference_t<const _Vp>>
3378 && forward_range<range_reference_t<const _Vp>>
3379 && common_range<const _Vp>
3380 && common_range<range_reference_t<const _Vp>>)
3381 return _Iterator<true>{
this, ranges::end(_M_base)};
3383 return _Sentinel<true>{
this};
3387 template<
typename _Range>
3388 explicit join_view(_Range&&) -> join_view<views::all_t<_Range>>;
3394 template<
typename _Range>
3395 concept __can_join_view
3399 struct _Join : __adaptor::_RangeAdaptorClosure<_Join>
3401 template<viewable_range _Range>
3402 requires __detail::__can_join_view<_Range>
3404 operator() [[nodiscard]] (_Range&& __r)
const
3411 static constexpr bool _S_has_simple_call_op =
true;
3414 inline constexpr _Join join;
3420 struct __require_constant;
3422 template<
typename _Range>
3423 concept __tiny_range = sized_range<_Range>
3425 {
typename __require_constant<remove_reference_t<_Range>::size()>; }
3426 && (remove_reference_t<_Range>::size() <= 1);
3428 template<
typename _Base>
3429 struct __lazy_split_view_outer_iter_cat
3432 template<forward_range _Base>
3433 struct __lazy_split_view_outer_iter_cat<_Base>
3434 {
using iterator_category = input_iterator_tag; };
3436 template<
typename _Base>
3437 struct __lazy_split_view_inner_iter_cat
3440 template<forward_range _Base>
3441 struct __lazy_split_view_inner_iter_cat<_Base>
3444 static constexpr auto
3447 using _Cat =
typename iterator_traits<iterator_t<_Base>>::iterator_category;
3448 if constexpr (derived_from<_Cat, forward_iterator_tag>)
3449 return forward_iterator_tag{};
3454 using iterator_category =
decltype(_S_iter_cat());
3458 template<input_range _Vp, forward_range _Pattern>
3460 && indirectly_comparable<iterator_t<_Vp>, iterator_t<_Pattern>,
3463 class lazy_split_view : public
view_interface<lazy_split_view<_Vp, _Pattern>>
3466 template<
bool _Const>
3467 using _Base = __detail::__maybe_const_t<_Const, _Vp>;
3469 template<
bool _Const>
3472 template<
bool _Const>
3474 : __detail::__lazy_split_view_outer_iter_cat<_Base<_Const>>
3477 using _Parent = __detail::__maybe_const_t<_Const, lazy_split_view>;
3478 using _Base = lazy_split_view::_Base<_Const>;
3485 __current() noexcept
3487 if constexpr (forward_range<_Vp>)
3490 return *_M_parent->_M_current;
3494 __current() const noexcept
3496 if constexpr (forward_range<_Vp>)
3499 return *_M_parent->_M_current;
3502 _Parent* _M_parent =
nullptr;
3504 [[no_unique_address]]
3505 __detail::__maybe_present_t<forward_range<_Vp>,
3506 iterator_t<_Base>> _M_current
3507 =
decltype(_M_current)();
3508 bool _M_trailing_empty =
false;
3511 using iterator_concept = __conditional_t<forward_range<_Base>,
3512 forward_iterator_tag,
3513 input_iterator_tag>;
3515 using difference_type = range_difference_t<_Base>;
3517 struct value_type : view_interface<value_type>
3520 _OuterIter _M_i = _OuterIter();
3526 value_type(_OuterIter __i)
3527 : _M_i(std::move(__i))
3533 constexpr _InnerIter<_Const>
3535 {
return _InnerIter<_Const>{_M_i}; }
3537 constexpr default_sentinel_t
3538 end() const noexcept
3542 _OuterIter() =
default;
3545 _OuterIter(_Parent* __parent)
requires (!forward_range<_Base>)
3546 : _M_parent(__parent)
3550 _OuterIter(_Parent* __parent, iterator_t<_Base> __current)
3551 requires forward_range<_Base>
3552 : _M_parent(__parent),
3557 _OuterIter(_OuterIter<!_Const> __i)
3559 && convertible_to<iterator_t<_Vp>, iterator_t<_Base>>
3560 : _M_parent(__i._M_parent), _M_current(
std::move(__i._M_current)),
3561 _M_trailing_empty(__i._M_trailing_empty)
3564 constexpr value_type
3566 {
return value_type{*
this}; }
3568 constexpr _OuterIter&
3573 const auto __end = ranges::end(_M_parent->_M_base);
3574 if (__current() == __end)
3576 _M_trailing_empty =
false;
3579 const auto [__pbegin, __pend] = subrange{_M_parent->_M_pattern};
3580 if (__pbegin == __pend)
3582 else if constexpr (__detail::__tiny_range<_Pattern>)
3584 __current() = ranges::find(
std::move(__current()), __end,
3586 if (__current() != __end)
3589 if (__current() == __end)
3590 _M_trailing_empty =
true;
3597 = ranges::mismatch(__current(), __end, __pbegin, __pend);
3601 if (__current() == __end)
3602 _M_trailing_empty =
true;
3605 }
while (++__current() != __end);
3609 constexpr decltype(
auto)
3612 if constexpr (forward_range<_Base>)
3622 friend constexpr bool
3623 operator==(
const _OuterIter& __x,
const _OuterIter& __y)
3624 requires forward_range<_Base>
3626 return __x._M_current == __y._M_current
3627 && __x._M_trailing_empty == __y._M_trailing_empty;
3630 friend constexpr bool
3631 operator==(
const _OuterIter& __x, default_sentinel_t)
3633 return __x.__current() == ranges::end(__x._M_parent->_M_base)
3634 && !__x._M_trailing_empty;
3637 friend _OuterIter<!_Const>;
3638 friend _InnerIter<_Const>;
3641 template<
bool _Const>
3643 : __detail::__lazy_split_view_inner_iter_cat<_Base<_Const>>
3646 using _Base = lazy_split_view::_Base<_Const>;
3651 auto [__pcur, __pend] = subrange{_M_i._M_parent->_M_pattern};
3652 auto __end = ranges::end(_M_i._M_parent->_M_base);
3653 if constexpr (__detail::__tiny_range<_Pattern>)
3655 const auto& __cur = _M_i_current();
3658 if (__pcur == __pend)
3659 return _M_incremented;
3660 return *__cur == *__pcur;
3664 auto __cur = _M_i_current();
3667 if (__pcur == __pend)
3668 return _M_incremented;
3671 if (*__cur != *__pcur)
3673 if (++__pcur == __pend)
3675 }
while (++__cur != __end);
3681 _M_i_current() noexcept
3682 {
return _M_i.__current(); }
3685 _M_i_current() const noexcept
3686 {
return _M_i.__current(); }
3688 _OuterIter<_Const> _M_i = _OuterIter<_Const>();
3689 bool _M_incremented =
false;
3692 using iterator_concept
3693 =
typename _OuterIter<_Const>::iterator_concept;
3695 using value_type = range_value_t<_Base>;
3696 using difference_type = range_difference_t<_Base>;
3698 _InnerIter() =
default;
3701 _InnerIter(_OuterIter<_Const> __i)
3702 : _M_i(std::move(__i))
3705 constexpr const iterator_t<_Base>&
3706 base() const& noexcept
3707 {
return _M_i_current(); }
3709 constexpr iterator_t<_Base>
3710 base() &&
requires forward_range<_Vp>
3713 constexpr decltype(
auto)
3715 {
return *_M_i_current(); }
3717 constexpr _InnerIter&
3720 _M_incremented =
true;
3721 if constexpr (!forward_range<_Base>)
3722 if constexpr (_Pattern::size() == 0)
3728 constexpr decltype(
auto)
3731 if constexpr (forward_range<_Base>)
3741 friend constexpr bool
3742 operator==(
const _InnerIter& __x,
const _InnerIter& __y)
3743 requires forward_range<_Base>
3744 {
return __x._M_i == __y._M_i; }
3746 friend constexpr bool
3747 operator==(
const _InnerIter& __x, default_sentinel_t)
3748 {
return __x.__at_end(); }
3750 friend constexpr decltype(
auto)
3751 iter_move(
const _InnerIter& __i)
3752 noexcept(
noexcept(ranges::iter_move(__i._M_i_current())))
3753 {
return ranges::iter_move(__i._M_i_current()); }
3755 friend constexpr void
3756 iter_swap(
const _InnerIter& __x,
const _InnerIter& __y)
3757 noexcept(
noexcept(ranges::iter_swap(__x._M_i_current(),
3758 __y._M_i_current())))
3759 requires indirectly_swappable<iterator_t<_Base>>
3760 { ranges::iter_swap(__x._M_i_current(), __y._M_i_current()); }
3763 _Vp _M_base = _Vp();
3764 _Pattern _M_pattern = _Pattern();
3765 [[no_unique_address]]
3766 __detail::__maybe_present_t<!forward_range<_Vp>,
3767 __detail::__non_propagating_cache<iterator_t<_Vp>>> _M_current;
3771 lazy_split_view()
requires (default_initializable<_Vp>
3772 && default_initializable<_Pattern>)
3776 lazy_split_view(_Vp __base, _Pattern __pattern)
3777 : _M_base(std::move(
__base)), _M_pattern(std::move(__pattern))
3780 template<input_range _Range>
3781 requires constructible_from<_Vp, views::all_t<_Range>>
3782 && constructible_from<_Pattern, single_view<range_value_t<_Range>>>
3784 lazy_split_view(_Range&& __r, range_value_t<_Range> __e)
3785 : _M_base(views::all(std::
forward<_Range>(__r))),
3786 _M_pattern(views::single(std::move(__e)))
3790 base() const& requires copy_constructible<_Vp>
3800 if constexpr (forward_range<_Vp>)
3802 constexpr bool __simple
3803 = __detail::__simple_view<_Vp> && __detail::__simple_view<_Pattern>;
3804 return _OuterIter<__simple>{
this, ranges::begin(_M_base)};
3808 _M_current = ranges::begin(_M_base);
3809 return _OuterIter<false>{
this};
3817 begin() const requires forward_range<_Vp> && forward_range<const _Vp>
3818 && forward_range<const _Pattern>
3820 return _OuterIter<true>{
this, ranges::begin(_M_base)};
3824 end()
requires forward_range<_Vp> && common_range<_Vp>
3826 constexpr bool __simple
3827 = __detail::__simple_view<_Vp> && __detail::__simple_view<_Pattern>;
3828 return _OuterIter<__simple>{
this, ranges::end(_M_base)};
3834 if constexpr (forward_range<_Vp>
3835 && forward_range<const _Vp>
3836 && common_range<const _Vp>
3837 && forward_range<const _Pattern>)
3838 return _OuterIter<true>{
this, ranges::end(_M_base)};
3844 template<
typename _Range,
typename _Pattern>
3845 lazy_split_view(_Range&&, _Pattern&&)
3846 -> lazy_split_view<views::all_t<_Range>, views::all_t<_Pattern>>;
3848 template<input_range _Range>
3849 lazy_split_view(_Range&&, range_value_t<_Range>)
3856 template<
typename _Range,
typename _Pattern>
3857 concept __can_lazy_split_view
3861 struct _LazySplit : __adaptor::_RangeAdaptor<_LazySplit>
3863 template<viewable_range _Range,
typename _Pattern>
3864 requires __detail::__can_lazy_split_view<_Range, _Pattern>
3866 operator() [[nodiscard]] (_Range&& __r, _Pattern&& __f)
const
3871 using _RangeAdaptor<_LazySplit>::operator();
3872 static constexpr int _S_arity = 2;
3877 template<
typename _Pattern>
3878 static constexpr bool _S_has_simple_extra_args
3879 = is_scalar_v<_Pattern> || (view<_Pattern>
3880 && copy_constructible<_Pattern>);
3883 inline constexpr _LazySplit lazy_split;
3886 template<forward_range _Vp, forward_range _Pattern>
3888 && indirectly_comparable<iterator_t<_Vp>, iterator_t<_Pattern>,
3890 class split_view :
public view_interface<split_view<_Vp, _Pattern>>
3893 _Vp _M_base = _Vp();
3894 _Pattern _M_pattern = _Pattern();
3895 __detail::__non_propagating_cache<subrange<iterator_t<_Vp>>> _M_cached_begin;
3901 split_view()
requires (default_initializable<_Vp>
3902 && default_initializable<_Pattern>)
3906 split_view(_Vp __base, _Pattern __pattern)
3907 : _M_base(std::move(
__base)), _M_pattern(std::move(__pattern))
3910 template<forward_range _Range>
3911 requires constructible_from<_Vp, views::all_t<_Range>>
3912 && constructible_from<_Pattern, single_view<range_value_t<_Range>>>
3914 split_view(_Range&& __r, range_value_t<_Range> __e)
3915 : _M_base(views::all(std::
forward<_Range>(__r))),
3916 _M_pattern(views::single(std::move(__e)))
3920 base() const& requires copy_constructible<_Vp>
3930 if (!_M_cached_begin)
3931 _M_cached_begin = _M_find_next(ranges::begin(_M_base));
3932 return {
this, ranges::begin(_M_base), *_M_cached_begin};
3938 if constexpr (common_range<_Vp>)
3939 return _Iterator{
this, ranges::end(_M_base), {}};
3941 return _Sentinel{
this};
3944 constexpr subrange<iterator_t<_Vp>>
3945 _M_find_next(iterator_t<_Vp> __it)
3947 auto [__b, __e] = ranges::search(subrange(__it, ranges::end(_M_base)), _M_pattern);
3948 if (__b != ranges::end(_M_base) && ranges::empty(_M_pattern))
3960 split_view* _M_parent =
nullptr;
3961 iterator_t<_Vp> _M_cur = iterator_t<_Vp>();
3962 subrange<iterator_t<_Vp>> _M_next = subrange<iterator_t<_Vp>>();
3963 bool _M_trailing_empty =
false;
3965 friend struct _Sentinel;
3968 using iterator_concept = forward_iterator_tag;
3969 using iterator_category = input_iterator_tag;
3970 using value_type = subrange<iterator_t<_Vp>>;
3971 using difference_type = range_difference_t<_Vp>;
3973 _Iterator() =
default;
3976 _Iterator(split_view* __parent,
3977 iterator_t<_Vp> __current,
3978 subrange<iterator_t<_Vp>> __next)
3979 : _M_parent(__parent),
3980 _M_cur(std::move(__current)),
3981 _M_next(std::move(__next))
3984 constexpr iterator_t<_Vp>
3988 constexpr value_type
3990 {
return {_M_cur, _M_next.begin()}; }
3992 constexpr _Iterator&
3995 _M_cur = _M_next.begin();
3996 if (_M_cur != ranges::end(_M_parent->_M_base))
3998 _M_cur = _M_next.end();
3999 if (_M_cur == ranges::end(_M_parent->_M_base))
4001 _M_trailing_empty =
true;
4002 _M_next = {_M_cur, _M_cur};
4005 _M_next = _M_parent->_M_find_next(_M_cur);
4008 _M_trailing_empty =
false;
4020 friend constexpr bool
4021 operator==(
const _Iterator& __x,
const _Iterator& __y)
4023 return __x._M_cur == __y._M_cur
4024 && __x._M_trailing_empty == __y._M_trailing_empty;
4031 sentinel_t<_Vp> _M_end = sentinel_t<_Vp>();
4034 _Sentinel() =
default;
4037 _Sentinel(split_view* __parent)
4038 : _M_end(ranges::end(__parent->_M_base))
4041 friend constexpr bool
4042 operator==(
const _Iterator& __x,
const _Sentinel& __y)
4043 {
return __x._M_cur == __y._M_end && !__x._M_trailing_empty; }
4047 template<
typename _Range,
typename _Pattern>
4048 split_view(_Range&&, _Pattern&&)
4049 -> split_view<views::all_t<_Range>, views::all_t<_Pattern>>;
4051 template<forward_range _Range>
4052 split_view(_Range&&, range_value_t<_Range>)
4059 template<
typename _Range,
typename _Pattern>
4060 concept __can_split_view
4064 struct _Split : __adaptor::_RangeAdaptor<_Split>
4066 template<viewable_range _Range,
typename _Pattern>
4067 requires __detail::__can_split_view<_Range, _Pattern>
4069 operator() [[nodiscard]] (_Range&& __r, _Pattern&& __f)
const
4074 using _RangeAdaptor<_Split>::operator();
4075 static constexpr int _S_arity = 2;
4076 template<
typename _Pattern>
4077 static constexpr bool _S_has_simple_extra_args
4078 = _LazySplit::_S_has_simple_extra_args<_Pattern>;
4081 inline constexpr _Split split;
4088 template<input_or_output_iterator _Iter>
4090 operator() [[nodiscard]] (_Iter __i, iter_difference_t<_Iter> __n)
const
4092 if constexpr (contiguous_iterator<_Iter>)
4094 else if constexpr (random_access_iterator<_Iter>)
4095 return subrange(__i, __i + __n);
4097 return subrange(counted_iterator(
std::move(__i), __n),
4102 inline constexpr _Counted counted{};
4110 _Vp _M_base = _Vp();
4113 common_view()
requires default_initializable<_Vp> = default;
4116 common_view(_Vp __r)
4117 : _M_base(std::move(__r))
4121 base() const& requires copy_constructible<_Vp>
4131 begin()
requires (!__detail::__simple_view<_Vp>)
4134 return ranges::begin(_M_base);
4136 return common_iterator<iterator_t<_Vp>, sentinel_t<_Vp>>
4137 (ranges::begin(_M_base));
4144 return ranges::begin(_M_base);
4146 return common_iterator<iterator_t<const _Vp>, sentinel_t<const _Vp>>
4147 (ranges::begin(_M_base));
4151 end()
requires (!__detail::__simple_view<_Vp>)
4154 return ranges::begin(_M_base) + ranges::size(_M_base);
4156 return common_iterator<iterator_t<_Vp>, sentinel_t<_Vp>>
4157 (ranges::end(_M_base));
4161 end() const requires
range<const _Vp>
4164 return ranges::begin(_M_base) + ranges::size(_M_base);
4166 return common_iterator<iterator_t<const _Vp>, sentinel_t<const _Vp>>
4167 (ranges::end(_M_base));
4172 {
return ranges::size(_M_base); }
4176 {
return ranges::size(_M_base); }
4179 template<
typename _Range>
4180 common_view(_Range&&) -> common_view<views::all_t<_Range>>;
4182 template<
typename _Tp>
4183 inline constexpr bool enable_borrowed_range<common_view<_Tp>>
4184 = enable_borrowed_range<_Tp>;
4190 template<
typename _Range>
4191 concept __already_common = common_range<_Range>
4194 template<
typename _Range>
4195 concept __can_common_view
4199 struct _Common : __adaptor::_RangeAdaptorClosure<_Common>
4201 template<viewable_range _Range>
4202 requires __detail::__already_common<_Range>
4203 || __detail::__can_common_view<_Range>
4205 operator() [[nodiscard]] (_Range&& __r)
const
4207 if constexpr (__detail::__already_common<_Range>)
4213 static constexpr bool _S_has_simple_call_op =
true;
4216 inline constexpr _Common common;
4224 static constexpr bool _S_needs_cached_begin
4225 = !common_range<_Vp> && !(random_access_range<_Vp>
4226 && sized_sentinel_for<sentinel_t<_Vp>,
4229 _Vp _M_base = _Vp();
4230 [[no_unique_address]]
4231 __detail::__maybe_present_t<_S_needs_cached_begin,
4232 __detail::_CachedPosition<_Vp>>
4236 reverse_view()
requires default_initializable<_Vp> = default;
4239 reverse_view(_Vp __r)
4240 : _M_base(std::move(__r))
4244 base() const& requires copy_constructible<_Vp>
4251 constexpr reverse_iterator<iterator_t<_Vp>>
4254 if constexpr (_S_needs_cached_begin)
4255 if (_M_cached_begin._M_has_value())
4258 auto __it = ranges::next(ranges::begin(_M_base), ranges::end(_M_base));
4259 if constexpr (_S_needs_cached_begin)
4260 _M_cached_begin._M_set(_M_base, __it);
4265 begin()
requires common_range<_Vp>
4269 begin() const requires common_range<const _Vp>
4272 constexpr reverse_iterator<iterator_t<_Vp>>
4277 end() const requires common_range<const _Vp>
4281 size()
requires sized_range<_Vp>
4282 {
return ranges::size(_M_base); }
4285 size() const requires sized_range<const _Vp>
4286 {
return ranges::size(_M_base); }
4289 template<
typename _Range>
4290 reverse_view(_Range&&) -> reverse_view<views::all_t<_Range>>;
4292 template<
typename _Tp>
4293 inline constexpr bool enable_borrowed_range<reverse_view<_Tp>>
4294 = enable_borrowed_range<_Tp>;
4301 inline constexpr bool __is_reversible_subrange =
false;
4303 template<
typename _Iter, subrange_kind _Kind>
4304 inline constexpr bool
4305 __is_reversible_subrange<subrange<reverse_iterator<_Iter>,
4306 reverse_iterator<_Iter>,
4310 inline constexpr bool __is_reverse_view =
false;
4312 template<
typename _Vp>
4313 inline constexpr bool __is_reverse_view<reverse_view<_Vp>> =
true;
4315 template<
typename _Range>
4316 concept __can_reverse_view
4320 struct _Reverse : __adaptor::_RangeAdaptorClosure<_Reverse>
4322 template<viewable_range _Range>
4323 requires __detail::__is_reverse_view<remove_cvref_t<_Range>>
4324 || __detail::__is_reversible_subrange<remove_cvref_t<_Range>>
4325 || __detail::__can_reverse_view<_Range>
4327 operator() [[nodiscard]] (_Range&& __r)
const
4329 using _Tp = remove_cvref_t<_Range>;
4330 if constexpr (__detail::__is_reverse_view<_Tp>)
4332#ifdef __cpp_lib_optional_range_support
4333 else if constexpr (__is_optional_v<_Tp> && view<_Tp>)
4336 else if constexpr (__detail::__is_reversible_subrange<_Tp>)
4338 using _Iter =
decltype(ranges::begin(__r).base());
4339 if constexpr (sized_range<_Tp>)
4340 return subrange<_Iter, _Iter, subrange_kind::sized>
4341 {__r.end().base(), __r.begin().base(), __r.size()};
4343 return subrange<_Iter, _Iter, subrange_kind::unsized>
4344 {__r.end().base(), __r.begin().base()};
4350 static constexpr bool _S_has_simple_call_op =
true;
4353 inline constexpr _Reverse reverse;
4358#if __cpp_lib_tuple_like
4361 template<
typename _Tp,
size_t _Nm>
4362 concept __has_tuple_element = __tuple_like<_Tp> && _Nm < tuple_size_v<_Tp>
4363 &&
requires(_Tp __t)
4365 { std::get<_Nm>(__t) }
4366 -> convertible_to<const tuple_element_t<_Nm, _Tp>&>;
4369 template<
typename _Tp,
size_t _Nm>
4370 concept __has_tuple_element =
requires(_Tp __t)
4372 typename tuple_size<_Tp>::type;
4373 requires _Nm < tuple_size_v<_Tp>;
4374 typename tuple_element_t<_Nm, _Tp>;
4375 { std::get<_Nm>(__t) }
4376 -> convertible_to<const tuple_element_t<_Nm, _Tp>&>;
4380 template<
typename _Tp,
size_t _Nm>
4381 concept __returnable_element
4382 = is_reference_v<_Tp> || move_constructible<tuple_element_t<_Nm, _Tp>>;
4385 template<input_range _Vp,
size_t _Nm>
4387 && __detail::__has_tuple_element<range_value_t<_Vp>, _Nm>
4388 && __detail::__has_tuple_element<remove_reference_t<range_reference_t<_Vp>>,
4390 && __detail::__returnable_element<range_reference_t<_Vp>, _Nm>
4391 class elements_view :
public view_interface<elements_view<_Vp, _Nm>>
4394 elements_view()
requires default_initializable<_Vp> = default;
4397 elements_view(_Vp __base)
4398 : _M_base(std::move(__base))
4402 base() const& requires copy_constructible<_Vp>
4410 begin()
requires (!__detail::__simple_view<_Vp>)
4411 {
return _Iterator<false>(ranges::begin(_M_base)); }
4414 begin() const requires range<const _Vp>
4415 {
return _Iterator<true>(ranges::begin(_M_base)); }
4418 end()
requires (!__detail::__simple_view<_Vp> && !common_range<_Vp>)
4419 {
return _Sentinel<false>{ranges::end(_M_base)}; }
4422 end()
requires (!__detail::__simple_view<_Vp> && common_range<_Vp>)
4423 {
return _Iterator<false>{ranges::end(_M_base)}; }
4426 end() const requires range<const _Vp>
4427 {
return _Sentinel<true>{ranges::end(_M_base)}; }
4430 end() const requires common_range<const _Vp>
4431 {
return _Iterator<true>{ranges::end(_M_base)}; }
4434 size()
requires sized_range<_Vp>
4435 {
return ranges::size(_M_base); }
4438 size() const requires sized_range<const _Vp>
4439 {
return ranges::size(_M_base); }
4442 template<
bool _Const>
4443 using _Base = __detail::__maybe_const_t<_Const, _Vp>;
4445 template<
bool _Const>
4449 template<
bool _Const>
4450 requires forward_range<_Base<_Const>>
4451 struct __iter_cat<_Const>
4454 static auto _S_iter_cat()
4456 using _Base = elements_view::_Base<_Const>;
4457 using _Cat =
typename iterator_traits<iterator_t<_Base>>::iterator_category;
4458 using _Res =
decltype((std::get<_Nm>(*
std::declval<iterator_t<_Base>>())));
4459 if constexpr (!is_lvalue_reference_v<_Res>)
4460 return input_iterator_tag{};
4461 else if constexpr (derived_from<_Cat, random_access_iterator_tag>)
4462 return random_access_iterator_tag{};
4467 using iterator_category =
decltype(_S_iter_cat());
4470 template<
bool _Const>
4473 template<
bool _Const>
4474 struct _Iterator : __iter_cat<_Const>
4477 using _Base = elements_view::_Base<_Const>;
4479 iterator_t<_Base> _M_current = iterator_t<_Base>();
4481 static constexpr decltype(
auto)
4482 _S_get_element(
const iterator_t<_Base>& __i)
4484 if constexpr (is_reference_v<range_reference_t<_Base>>)
4485 return std::get<_Nm>(*__i);
4488 using _Et = remove_cv_t<tuple_element_t<_Nm, range_reference_t<_Base>>>;
4489 return static_cast<_Et
>(std::get<_Nm>(*__i));
4496 if constexpr (random_access_range<_Base>)
4497 return random_access_iterator_tag{};
4498 else if constexpr (bidirectional_range<_Base>)
4499 return bidirectional_iterator_tag{};
4500 else if constexpr (forward_range<_Base>)
4501 return forward_iterator_tag{};
4503 return input_iterator_tag{};
4506 friend _Iterator<!_Const>;
4509 using iterator_concept =
decltype(_S_iter_concept());
4512 = remove_cvref_t<tuple_element_t<_Nm, range_value_t<_Base>>>;
4513 using difference_type = range_difference_t<_Base>;
4515 _Iterator()
requires default_initializable<iterator_t<_Base>> = default;
4518 _Iterator(iterator_t<_Base> __current)
4519 : _M_current(std::move(__current))
4523 _Iterator(_Iterator<!_Const> __i)
4524 requires _Const && convertible_to<iterator_t<_Vp>, iterator_t<_Base>>
4528 constexpr const iterator_t<_Base>&
4529 base() const& noexcept
4530 {
return _M_current; }
4532 constexpr iterator_t<_Base>
4536 constexpr decltype(
auto)
4538 {
return _S_get_element(_M_current); }
4540 constexpr _Iterator&
4552 operator++(
int)
requires forward_range<_Base>
4559 constexpr _Iterator&
4560 operator--()
requires bidirectional_range<_Base>
4567 operator--(
int)
requires bidirectional_range<_Base>
4574 constexpr _Iterator&
4575 operator+=(difference_type __n)
4576 requires random_access_range<_Base>
4582 constexpr _Iterator&
4583 operator-=(difference_type __n)
4584 requires random_access_range<_Base>
4590 constexpr decltype(
auto)
4591 operator[](difference_type __n)
const
4592 requires random_access_range<_Base>
4593 {
return _S_get_element(_M_current + __n); }
4595 friend constexpr bool
4596 operator==(
const _Iterator& __x,
const _Iterator& __y)
4597 requires equality_comparable<iterator_t<_Base>>
4598 {
return __x._M_current == __y._M_current; }
4600 friend constexpr bool
4601 operator<(
const _Iterator& __x,
const _Iterator& __y)
4602 requires random_access_range<_Base>
4603 {
return __x._M_current < __y._M_current; }
4605 friend constexpr bool
4606 operator>(
const _Iterator& __x,
const _Iterator& __y)
4607 requires random_access_range<_Base>
4608 {
return __y._M_current < __x._M_current; }
4610 friend constexpr bool
4611 operator<=(
const _Iterator& __x,
const _Iterator& __y)
4612 requires random_access_range<_Base>
4613 {
return !(__y._M_current > __x._M_current); }
4615 friend constexpr bool
4616 operator>=(
const _Iterator& __x,
const _Iterator& __y)
4617 requires random_access_range<_Base>
4618 {
return !(__x._M_current > __y._M_current); }
4620#ifdef __cpp_lib_three_way_comparison
4621 friend constexpr auto
4622 operator<=>(
const _Iterator& __x,
const _Iterator& __y)
4623 requires random_access_range<_Base>
4624 && three_way_comparable<iterator_t<_Base>>
4625 {
return __x._M_current <=> __y._M_current; }
4628 friend constexpr _Iterator
4629 operator+(
const _Iterator& __x, difference_type __y)
4630 requires random_access_range<_Base>
4631 {
return _Iterator{__x} += __y; }
4633 friend constexpr _Iterator
4634 operator+(difference_type __x,
const _Iterator& __y)
4635 requires random_access_range<_Base>
4636 {
return __y + __x; }
4638 friend constexpr _Iterator
4639 operator-(
const _Iterator& __x, difference_type __y)
4640 requires random_access_range<_Base>
4641 {
return _Iterator{__x} -= __y; }
4645 friend constexpr difference_type
4646 operator-(
const _Iterator& __x,
const _Iterator& __y)
4647 requires sized_sentinel_for<iterator_t<_Base>, iterator_t<_Base>>
4648 {
return __x._M_current - __y._M_current; }
4650 template <
bool>
friend struct _Sentinel;
4653 template<
bool _Const>
4657 using _Base = elements_view::_Base<_Const>;
4658 sentinel_t<_Base> _M_end = sentinel_t<_Base>();
4661 _Sentinel() =
default;
4664 _Sentinel(sentinel_t<_Base> __end)
4665 : _M_end(std::move(__end))
4669 _Sentinel(_Sentinel<!_Const> __other)
4671 && convertible_to<sentinel_t<_Vp>, sentinel_t<_Base>>
4675 constexpr sentinel_t<_Base>
4679 template<
bool _Const2>
4680 requires sentinel_for<sentinel_t<_Base>,
4681 iterator_t<__detail::__maybe_const_t<_Const2, _Vp>>>
4682 friend constexpr bool
4683 operator==(
const _Iterator<_Const2>& __x,
const _Sentinel& __y)
4684 {
return __x._M_current == __y._M_end; }
4686 template<
bool _Const2,
4687 typename _Base2 = __detail::__maybe_const_t<_Const2, _Vp>>
4688 requires sized_sentinel_for<sentinel_t<_Base>, iterator_t<_Base2>>
4689 friend constexpr range_difference_t<_Base2>
4690 operator-(
const _Iterator<_Const2>& __x,
const _Sentinel& __y)
4691 {
return -(__y._M_end - __x._M_current); }
4693 template<
bool _Const2,
4694 typename _Base2 = __detail::__maybe_const_t<_Const2, _Vp>>
4695 requires sized_sentinel_for<sentinel_t<_Base>, iterator_t<_Base2>>
4696 friend constexpr range_difference_t<_Base2>
4697 operator-(
const _Sentinel& __x,
const _Iterator<_Const2>& __y)
4698 {
return __x._M_end - __y._M_current; }
4700 friend _Sentinel<!_Const>;
4703 _Vp _M_base = _Vp();
4706 template<
typename _Tp,
size_t _Nm>
4707 inline constexpr bool enable_borrowed_range<elements_view<_Tp, _Nm>>
4708 = enable_borrowed_range<_Tp>;
4712 template<
typename _Range>
4713 using keys_view = elements_view<_Range, 0>;
4715 template<
typename _Range>
4716 using values_view = elements_view<_Range, 1>;
4722 template<
size_t _Nm,
typename _Range>
4723 concept __can_elements_view
4727 template<
size_t _Nm>
4728 struct _Elements : __adaptor::_RangeAdaptorClosure<_Elements<_Nm>>
4730 template<viewable_range _Range>
4731 requires __detail::__can_elements_view<_Nm, _Range>
4733 operator() [[nodiscard]] (_Range&& __r)
const
4738 static constexpr bool _S_has_simple_call_op =
true;
4741 template<
size_t _Nm>
4742 inline constexpr _Elements<_Nm> elements;
4743 inline constexpr auto keys = elements<0>;
4744 inline constexpr auto values = elements<1>;
4747#ifdef __cpp_lib_ranges_zip
4750 template<
typename... _Rs>
4751 concept __zip_is_common = (
sizeof...(_Rs) == 1 && (common_range<_Rs> && ...))
4752 || (!(bidirectional_range<_Rs> && ...) && (common_range<_Rs> && ...))
4753 || ((random_access_range<_Rs> && ...) && (sized_range<_Rs> && ...));
4755 template<
typename _Fp,
typename _Tuple>
4757 __tuple_transform(_Fp&& __f, _Tuple&& __tuple)
4759 return std::apply([&]<
typename... _Ts>(_Ts&&... __elts) {
4760 return tuple<invoke_result_t<_Fp&, _Ts>...>
4765 template<
typename _Fp,
typename _Tuple>
4767 __tuple_for_each(_Fp&& __f, _Tuple&& __tuple)
4769 std::apply([&]<
typename... _Ts>(_Ts&&... __elts) {
4776 requires (
view<_Vs> && ...) && (
sizeof...(_Vs) > 0)
4779 tuple<_Vs...> _M_views;
4781 template<
bool>
class _Iterator;
4782 template<
bool>
class _Sentinel;
4785 zip_view() =
default;
4788 zip_view(_Vs... __views)
4789 : _M_views(std::move(__views)...)
4793 begin()
requires (!(__detail::__simple_view<_Vs> && ...))
4794 {
return _Iterator<false>(__detail::__tuple_transform(ranges::begin, _M_views)); }
4797 begin() const requires (
range<const _Vs> && ...)
4798 {
return _Iterator<true>(__detail::__tuple_transform(ranges::begin, _M_views)); }
4801 end()
requires (!(__detail::__simple_view<_Vs> && ...))
4803 if constexpr (!__detail::__zip_is_common<_Vs...>)
4804 return _Sentinel<false>(__detail::__tuple_transform(ranges::end, _M_views));
4806 return begin() + iter_difference_t<_Iterator<false>>(
size());
4808 return _Iterator<false>(__detail::__tuple_transform(ranges::end, _M_views));
4812 end() const requires (
range<const _Vs> && ...)
4814 if constexpr (!__detail::__zip_is_common<
const _Vs...>)
4815 return _Sentinel<true>(__detail::__tuple_transform(ranges::end, _M_views));
4817 return begin() + iter_difference_t<_Iterator<true>>(
size());
4819 return _Iterator<true>(__detail::__tuple_transform(ranges::end, _M_views));
4825 return std::apply([](
auto... __sizes) {
4826 using _CT = __detail::__make_unsigned_like_t<
common_type_t<
decltype(__sizes)...>>;
4827 return ranges::min({_CT(__sizes)...});
4828 }, __detail::__tuple_transform(ranges::size, _M_views));
4834 return std::apply([](
auto... __sizes) {
4835 using _CT = __detail::__make_unsigned_like_t<
common_type_t<
decltype(__sizes)...>>;
4836 return ranges::min({_CT(__sizes)...});
4837 }, __detail::__tuple_transform(ranges::size, _M_views));
4841 template<
typename... _Rs>
4842 zip_view(_Rs&&...) -> zip_view<views::all_t<_Rs>...>;
4844 template<
typename... _Views>
4845 inline constexpr bool enable_borrowed_range<zip_view<_Views...>>
4846 = (enable_borrowed_range<_Views> && ...);
4850 template<
bool _Const,
typename... _Vs>
4851 concept __all_random_access
4852 = (random_access_range<__maybe_const_t<_Const, _Vs>> && ...);
4854 template<
bool _Const,
typename... _Vs>
4855 concept __all_bidirectional
4856 = (bidirectional_range<__maybe_const_t<_Const, _Vs>> && ...);
4858 template<
bool _Const,
typename... _Vs>
4859 concept __all_forward
4860 = (forward_range<__maybe_const_t<_Const, _Vs>> && ...);
4862 template<
bool _Const,
typename... _Views>
4863 struct __zip_view_iter_cat
4866 template<
bool _Const,
typename... _Views>
4867 requires __all_forward<_Const, _Views...>
4868 struct __zip_view_iter_cat<_Const, _Views...>
4869 {
using iterator_category = input_iterator_tag; };
4873 requires (
view<_Vs> && ...) && (
sizeof...(_Vs) > 0)
4874 template<bool _Const>
4875 class zip_view<_Vs...>::_Iterator
4876 : public __detail::__zip_view_iter_cat<_Const, _Vs...>
4878#ifdef _GLIBCXX_CLANG
4881 tuple<iterator_t<__detail::__maybe_const_t<_Const, _Vs>>...> _M_current;
4884 _Iterator(
decltype(_M_current) __current)
4885 : _M_current(std::move(__current))
4891 if constexpr (__detail::__all_random_access<_Const, _Vs...>)
4892 return random_access_iterator_tag{};
4893 else if constexpr (__detail::__all_bidirectional<_Const, _Vs...>)
4894 return bidirectional_iterator_tag{};
4895 else if constexpr (__detail::__all_forward<_Const, _Vs...>)
4896 return forward_iterator_tag{};
4898 return input_iterator_tag{};
4901#ifndef _GLIBCXX_CLANG
4902 template<move_constructible _Fp,
input_range... _Ws>
4903 requires (
view<_Ws> && ...) && (
sizeof...(_Ws) > 0) && is_object_v<_Fp>
4904 && regular_invocable<_Fp&, range_reference_t<_Ws>...>
4905 && std::__detail::__can_reference<invoke_result_t<_Fp&, range_reference_t<_Ws>...>>
4906 friend class zip_transform_view;
4911 using iterator_concept =
decltype(_S_iter_concept());
4913 = tuple<range_value_t<__detail::__maybe_const_t<_Const, _Vs>>...>;
4914 using difference_type
4917 _Iterator() =
default;
4920 _Iterator(_Iterator<!_Const> __i)
4922 && (convertible_to<iterator_t<_Vs>,
4923 iterator_t<__detail::__maybe_const_t<_Const, _Vs>>> && ...)
4924 : _M_current(std::move(__i._M_current))
4930 auto __f = [](
auto& __i) ->
decltype(
auto) {
4933 return __detail::__tuple_transform(__f, _M_current);
4936 constexpr _Iterator&
4939 __detail::__tuple_for_each([](
auto& __i) { ++__i; }, _M_current);
4949 requires __detail::__all_forward<_Const, _Vs...>
4956 constexpr _Iterator&
4958 requires __detail::__all_bidirectional<_Const, _Vs...>
4960 __detail::__tuple_for_each([](
auto& __i) { --__i; }, _M_current);
4966 requires __detail::__all_bidirectional<_Const, _Vs...>
4973 constexpr _Iterator&
4974 operator+=(difference_type __x)
4975 requires __detail::__all_random_access<_Const, _Vs...>
4977 auto __f = [&]<
typename _It>(_It& __i) {
4978 __i += iter_difference_t<_It>(__x);
4980 __detail::__tuple_for_each(__f, _M_current);
4984 constexpr _Iterator&
4985 operator-=(difference_type __x)
4986 requires __detail::__all_random_access<_Const, _Vs...>
4988 auto __f = [&]<
typename _It>(_It& __i) {
4989 __i -= iter_difference_t<_It>(__x);
4991 __detail::__tuple_for_each(__f, _M_current);
4996 operator[](difference_type __n)
const
4997 requires __detail::__all_random_access<_Const, _Vs...>
4999 auto __f = [&]<
typename _It>(_It& __i) ->
decltype(
auto) {
5000 return __i[iter_difference_t<_It>(__n)];
5002 return __detail::__tuple_transform(__f, _M_current);
5005 friend constexpr bool
5006 operator==(
const _Iterator& __x,
const _Iterator& __y)
5007 requires (equality_comparable<iterator_t<__detail::__maybe_const_t<_Const, _Vs>>> && ...)
5009 if constexpr (__detail::__all_bidirectional<_Const, _Vs...>)
5010 return __x._M_current == __y._M_current;
5013 return ((std::get<_Is>(__x._M_current) == std::get<_Is>(__y._M_current)) || ...);
5017 friend constexpr auto
5018 operator<=>(
const _Iterator& __x,
const _Iterator& __y)
5019 requires __detail::__all_random_access<_Const, _Vs...>
5020 {
return __x._M_current <=> __y._M_current; }
5022 friend constexpr _Iterator
5023 operator+(
const _Iterator& __i, difference_type __n)
5024 requires __detail::__all_random_access<_Const, _Vs...>
5031 friend constexpr _Iterator
5032 operator+(difference_type __n,
const _Iterator& __i)
5033 requires __detail::__all_random_access<_Const, _Vs...>
5040 friend constexpr _Iterator
5041 operator-(
const _Iterator& __i, difference_type __n)
5042 requires __detail::__all_random_access<_Const, _Vs...>
5049 friend constexpr difference_type
5050 operator-(
const _Iterator& __x,
const _Iterator& __y)
5051 requires (sized_sentinel_for<iterator_t<__detail::__maybe_const_t<_Const, _Vs>>,
5052 iterator_t<__detail::__maybe_const_t<_Const, _Vs>>> && ...)
5055 return ranges::min({difference_type(std::get<_Is>(__x._M_current)
5056 - std::get<_Is>(__y._M_current))...},
5058 [](difference_type __i) {
5059 return __detail::__to_unsigned_like(__i < 0 ? -__i : __i);
5064 friend constexpr auto
5065 iter_move(
const _Iterator& __i)
5066 {
return __detail::__tuple_transform(ranges::iter_move, __i._M_current); }
5068 friend constexpr void
5069 iter_swap(
const _Iterator& __l,
const _Iterator& __r)
5070 requires (indirectly_swappable<iterator_t<__detail::__maybe_const_t<_Const, _Vs>>> && ...)
5073 (ranges::iter_swap(std::get<_Is>(__l._M_current), std::get<_Is>(__r._M_current)), ...);
5077 friend class zip_view;
5081 requires (
view<_Vs> && ...) && (
sizeof...(_Vs) > 0)
5082 template<bool _Const>
5083 class zip_view<_Vs...>::_Sentinel
5085 tuple<sentinel_t<__detail::__maybe_const_t<_Const, _Vs>>...> _M_end;
5088 _Sentinel(
decltype(_M_end) __end)
5092 friend class zip_view;
5095 _Sentinel() =
default;
5098 _Sentinel(_Sentinel<!_Const> __i)
5100 && (convertible_to<sentinel_t<_Vs>,
5101 sentinel_t<__detail::__maybe_const_t<_Const, _Vs>>> && ...)
5102 : _M_end(std::move(__i._M_end))
5105 template<
bool _OtherConst>
5106 requires (sentinel_for<sentinel_t<__detail::__maybe_const_t<_Const, _Vs>>,
5107 iterator_t<__detail::__maybe_const_t<_OtherConst, _Vs>>> && ...)
5108 friend constexpr bool
5109 operator==(
const _Iterator<_OtherConst>& __x,
const _Sentinel& __y)
5112 return ((std::get<_Is>(__x._M_current) == std::get<_Is>(__y._M_end)) || ...);
5116 template<
bool _OtherConst>
5117 requires (sized_sentinel_for<sentinel_t<__detail::__maybe_const_t<_Const, _Vs>>,
5118 iterator_t<__detail::__maybe_const_t<_OtherConst, _Vs>>> && ...)
5119 friend constexpr auto
5120 operator-(
const _Iterator<_OtherConst>& __x,
const _Sentinel& __y)
5125 return ranges::min({_Ret(std::get<_Is>(__x._M_current) - std::get<_Is>(__y._M_end))...},
5128 return __detail::__to_unsigned_like(__i < 0 ? -__i : __i);
5133 template<
bool _OtherConst>
5134 requires (sized_sentinel_for<sentinel_t<__detail::__maybe_const_t<_Const, _Vs>>,
5135 iterator_t<__detail::__maybe_const_t<_OtherConst, _Vs>>> && ...)
5136 friend constexpr auto
5137 operator-(
const _Sentinel& __y,
const _Iterator<_OtherConst>& __x)
5138 {
return -(__x - __y); }
5145 template<
typename... _Ts>
5146 concept __can_zip_view
5152 template<
typename... _Ts>
5153 requires (
sizeof...(_Ts) == 0 || __detail::__can_zip_view<_Ts...>)
5155 operator() [[nodiscard]] (_Ts&&... __ts)
const
5157 if constexpr (
sizeof...(_Ts) == 0)
5158 return views::empty<tuple<>>;
5164 inline constexpr _Zip zip;
5169 template<
typename _Range,
bool _Const>
5170 using __range_iter_cat
5171 =
typename iterator_traits<iterator_t<__maybe_const_t<_Const, _Range>>>::iterator_category;
5174 template<move_constructible _Fp,
input_range... _Vs>
5175 requires (
view<_Vs> && ...) && (
sizeof...(_Vs) > 0) && is_object_v<_Fp>
5176 && regular_invocable<_Fp&, range_reference_t<_Vs>...>
5177 && std::__detail::__can_reference<invoke_result_t<_Fp&, range_reference_t<_Vs>...>>
5178 class zip_transform_view : public
view_interface<zip_transform_view<_Fp, _Vs...>>
5180 [[no_unique_address]] __detail::__box<_Fp> _M_fun;
5181 zip_view<_Vs...> _M_zip;
5183 using _InnerView = zip_view<_Vs...>;
5185 template<
bool _Const>
5186 using __ziperator = iterator_t<__detail::__maybe_const_t<_Const, _InnerView>>;
5188 template<
bool _Const>
5189 using __zentinel = sentinel_t<__detail::__maybe_const_t<_Const, _InnerView>>;
5191 template<
bool _Const>
5192 using _Base = __detail::__maybe_const_t<_Const, _InnerView>;
5194 template<
bool _Const>
5198 template<
bool _Const>
5200 struct __iter_cat<_Const>
5206 using __detail::__maybe_const_t;
5207 using __detail::__range_iter_cat;
5208 using _Res = invoke_result_t<__maybe_const_t<_Const, _Fp>&,
5209 range_reference_t<__maybe_const_t<_Const, _Vs>>...>;
5212 if constexpr (!is_reference_v<_Res>)
5213 return input_iterator_tag{};
5214 else if constexpr ((derived_from<__range_iter_cat<_Vs, _Const>,
5215 random_access_iterator_tag> && ...))
5216 return random_access_iterator_tag{};
5217 else if constexpr ((derived_from<__range_iter_cat<_Vs, _Const>,
5218 bidirectional_iterator_tag> && ...))
5219 return bidirectional_iterator_tag{};
5220 else if constexpr ((derived_from<__range_iter_cat<_Vs, _Const>,
5221 forward_iterator_tag> && ...))
5222 return forward_iterator_tag{};
5224 return input_iterator_tag{};
5227 using iterator_category =
decltype(_S_iter_cat());
5230 template<
bool>
class _Iterator;
5231 template<
bool>
class _Sentinel;
5234 zip_transform_view() =
default;
5237 zip_transform_view(_Fp __fun, _Vs... __views)
5238 : _M_fun(std::move(__fun)), _M_zip(std::move(__views)...)
5243 {
return _Iterator<false>(*
this, _M_zip.begin()); }
5247 requires
range<const _InnerView>
5248 && regular_invocable<const _Fp&, range_reference_t<const _Vs>...>
5249 {
return _Iterator<true>(*
this, _M_zip.begin()); }
5255 return _Iterator<false>(*
this, _M_zip.end());
5257 return _Sentinel<false>(_M_zip.end());
5262 requires
range<const _InnerView>
5263 && regular_invocable<const _Fp&, range_reference_t<const _Vs>...>
5266 return _Iterator<true>(*
this, _M_zip.end());
5268 return _Sentinel<true>(_M_zip.end());
5273 {
return _M_zip.size(); }
5277 {
return _M_zip.size(); }
5280 template<
class _Fp,
class... _Rs>
5281 zip_transform_view(_Fp, _Rs&&...)
5282 -> zip_transform_view<_Fp, views::all_t<_Rs>...>;
5284 template<move_constructible _Fp,
input_range... _Vs>
5285 requires (
view<_Vs> && ...) && (
sizeof...(_Vs) > 0) && is_object_v<_Fp>
5286 && regular_invocable<_Fp&, range_reference_t<_Vs>...>
5287 && std::__detail::__can_reference<invoke_result_t<_Fp&, range_reference_t<_Vs>...>>
5288 template<bool _Const>
5289 class zip_transform_view<_Fp, _Vs...>::_Iterator : public __iter_cat<_Const>
5291 using _Parent = __detail::__maybe_const_t<_Const, zip_transform_view>;
5292 using _Fun_handle = __detail::__func_handle_t<
5293 __detail::__maybe_const_t<_Const, _Fp>,
5294 iterator_t<__detail::__maybe_const_t<_Const, _Vs>>...>;
5296 [[no_unique_address]] _Fun_handle _M_fun;
5297 __ziperator<_Const> _M_inner;
5300 _Iterator(_Fun_handle __fun, __ziperator<_Const> __inner)
5301 : _M_fun(__fun), _M_inner(std::move(__inner))
5305 _Iterator(_Parent& __parent, __ziperator<_Const> __inner)
5306 : _M_fun(*__parent._M_fun), _M_inner(std::move(__inner))
5309 friend class zip_transform_view;
5313 using iterator_concept =
typename __ziperator<_Const>::iterator_concept;
5315 = remove_cvref_t<invoke_result_t<__detail::__maybe_const_t<_Const, _Fp>&,
5316 range_reference_t<__detail::__maybe_const_t<_Const, _Vs>>...>>;
5317 using difference_type = range_difference_t<_Base<_Const>>;
5319 _Iterator() =
default;
5322 _Iterator(_Iterator<!_Const> __i)
5323 requires _Const && convertible_to<__ziperator<false>, __ziperator<_Const>>
5324 : _M_fun(__i._M_fun), _M_inner(
std::move(__i._M_inner))
5327 constexpr decltype(
auto)
5330 return std::apply([&](
const auto&... __iters) ->
decltype(
auto) {
5331 return _M_fun._M_call_deref(__iters...);
5332 }, _M_inner._M_current);
5335 constexpr _Iterator&
5354 constexpr _Iterator&
5369 constexpr _Iterator&
5376 constexpr _Iterator&
5383 constexpr decltype(
auto)
5386 return std::apply([&]<
typename... _Is>(
const _Is&... __iters) ->
decltype(
auto) {
5387 return _M_fun._M_call_subscript(__n, __iters...);
5388 }, _M_inner._M_current);
5391 friend constexpr bool
5392 operator==(
const _Iterator& __x,
const _Iterator& __y)
5393 requires equality_comparable<__ziperator<_Const>>
5394 {
return __x._M_inner == __y._M_inner; }
5396 friend constexpr auto
5397 operator<=>(
const _Iterator& __x,
const _Iterator& __y)
5399 {
return __x._M_inner <=> __y._M_inner; }
5401 friend constexpr _Iterator
5402 operator+(
const _Iterator& __i, difference_type __n)
5404 {
return _Iterator(__i._M_fun, __i._M_inner + __n); }
5406 friend constexpr _Iterator
5407 operator+(difference_type __n,
const _Iterator& __i)
5409 {
return _Iterator(__i._M_fun, __i._M_inner + __n); }
5411 friend constexpr _Iterator
5412 operator-(
const _Iterator& __i, difference_type __n)
5414 {
return _Iterator(__i._M_fun, __i._M_inner - __n); }
5416 friend constexpr difference_type
5417 operator-(
const _Iterator& __x,
const _Iterator& __y)
5418 requires sized_sentinel_for<__ziperator<_Const>, __ziperator<_Const>>
5419 {
return __x._M_inner - __y._M_inner; }
5422 template<move_constructible _Fp,
input_range... _Vs>
5423 requires (
view<_Vs> && ...) && (
sizeof...(_Vs) > 0) && is_object_v<_Fp>
5424 && regular_invocable<_Fp&, range_reference_t<_Vs>...>
5425 && std::__detail::__can_reference<invoke_result_t<_Fp&, range_reference_t<_Vs>...>>
5426 template<bool _Const>
5427 class zip_transform_view<_Fp, _Vs...>::_Sentinel
5429 __zentinel<_Const> _M_inner;
5432 _Sentinel(__zentinel<_Const> __inner)
5436 friend class zip_transform_view;
5439 _Sentinel() =
default;
5442 _Sentinel(_Sentinel<!_Const> __i)
5443 requires _Const && convertible_to<__zentinel<false>, __zentinel<_Const>>
5447 template<
bool _OtherConst>
5448 requires sentinel_for<__zentinel<_Const>, __ziperator<_OtherConst>>
5449 friend constexpr bool
5450 operator==(
const _Iterator<_OtherConst>& __x,
const _Sentinel& __y)
5451 {
return __x._M_inner == __y._M_inner; }
5453 template<
bool _OtherConst>
5454 requires sized_sentinel_for<__zentinel<_Const>, __ziperator<_OtherConst>>
5455 friend constexpr range_difference_t<__detail::__maybe_const_t<_OtherConst, _InnerView>>
5456 operator-(
const _Iterator<_OtherConst>& __x,
const _Sentinel& __y)
5457 {
return __x._M_inner - __y._M_inner; }
5459 template<
bool _OtherConst>
5460 requires sized_sentinel_for<__zentinel<_Const>, __ziperator<_OtherConst>>
5461 friend constexpr range_difference_t<__detail::__maybe_const_t<_OtherConst, _InnerView>>
5462 operator-(
const _Sentinel& __x,
const _Iterator<_OtherConst>& __y)
5463 {
return __x._M_inner - __y._M_inner; }
5470 template<
typename _Fp,
typename... _Ts>
5471 concept __can_zip_transform_view
5475 struct _ZipTransform
5477 template<
typename _Fp>
5478 requires move_constructible<decay_t<_Fp>> && regular_invocable<decay_t<_Fp>&>
5479 && is_object_v<decay_t<invoke_result_t<decay_t<_Fp>&>>>
5481 operator() [[nodiscard]] (_Fp&&)
const
5483 return views::empty<decay_t<invoke_result_t<decay_t<_Fp>&>>>;
5486 template<
typename _Fp,
typename... _Ts>
5487 requires (
sizeof...(_Ts) != 0) && __detail::__can_zip_transform_view<_Fp, _Ts...>
5489 operator() [[nodiscard]] (_Fp&& __f, _Ts&&... __ts)
const
5495 inline constexpr _ZipTransform zip_transform;
5498 template<forward_range _Vp,
size_t _Nm>
5500 class adjacent_view : public
view_interface<adjacent_view<_Vp, _Nm>>
5502 _Vp _M_base = _Vp();
5504 template<
bool>
class _Iterator;
5505 template<
bool>
class _Sentinel;
5507 struct __as_sentinel
5511 adjacent_view()
requires default_initializable<_Vp> = default;
5514 adjacent_view(_Vp __base)
5515 : _M_base(std::move(__base))
5521 base() const & requires copy_constructible<_Vp>
5529 begin()
requires (!__detail::__simple_view<_Vp>)
5530 {
return _Iterator<false>(ranges::begin(_M_base), ranges::end(_M_base)); }
5534 {
return _Iterator<true>(ranges::begin(_M_base), ranges::end(_M_base)); }
5537 end()
requires (!__detail::__simple_view<_Vp>)
5540 return _Iterator<false>(__as_sentinel{}, ranges::begin(_M_base), ranges::end(_M_base));
5542 return _Sentinel<false>(ranges::end(_M_base));
5546 end() const requires
range<const _Vp>
5549 return _Iterator<true>(__as_sentinel{}, ranges::begin(_M_base), ranges::end(_M_base));
5551 return _Sentinel<true>(ranges::end(_M_base));
5557 using _ST =
decltype(ranges::size(_M_base));
5559 auto __sz =
static_cast<_CT
>(ranges::size(_M_base));
5561 return static_cast<_ST
>(__sz);
5567 using _ST =
decltype(ranges::size(_M_base));
5569 auto __sz =
static_cast<_CT
>(ranges::size(_M_base));
5571 return static_cast<_ST
>(__sz);
5575 template<
typename _Vp,
size_t _Nm>
5576 inline constexpr bool enable_borrowed_range<adjacent_view<_Vp, _Nm>>
5577 = enable_borrowed_range<_Vp>;
5582 template<
typename _Tp,
size_t _Nm>
5583 using __repeated_tuple =
typename __make_tuple<array<_Tp, _Nm>>::__type;
5587 template<
typename _Fp,
size_t _Nm>
5590 template<
typename... _Ts>
5591 static invoke_result_t<_Fp, _Ts...>
5592 __tuple_apply(
const tuple<_Ts...>&);
5594 template<
typename _Tp>
5595 decltype(__tuple_apply(
std::declval<__repeated_tuple<_Tp, _Nm>>()))
5600 template<forward_range _Vp,
size_t _Nm>
5602 template<bool _Const>
5603 class adjacent_view<_Vp, _Nm>::_Iterator
5605#ifdef _GLIBCXX_CLANG
5608 using _Base = __detail::__maybe_const_t<_Const, _Vp>;
5609 array<iterator_t<_Base>, _Nm> _M_current = array<iterator_t<_Base>, _Nm>();
5612 _Iterator(iterator_t<_Base> __first, sentinel_t<_Base> __last)
5614 for (
auto& __i : _M_current)
5617 ranges::advance(__first, 1, __last);
5622 _Iterator(__as_sentinel, iterator_t<_Base> __first, iterator_t<_Base> __last)
5625 for (
auto& __it : _M_current)
5628 for (
size_t __i = 0; __i < _Nm; ++__i)
5630 _M_current[_Nm - 1 - __i] = __last;
5631 ranges::advance(__last, -1, __first);
5639 return random_access_iterator_tag{};
5641 return bidirectional_iterator_tag{};
5643 return forward_iterator_tag{};
5646 friend class adjacent_view;
5648#ifndef _GLIBCXX_CLANG
5649 template<forward_range _Wp, move_constructible _Fp,
size_t _Mm>
5650 requires view<_Wp> && (_Mm > 0) && is_object_v<_Fp>
5651 && regular_invocable<__detail::__unarize<_Fp&, _Mm>, range_reference_t<_Wp>>
5652 && std::__detail::__can_reference<invoke_result_t<__detail::__unarize<_Fp&, _Mm>,
5653 range_reference_t<_Wp>>>
5654 friend class adjacent_transform_view;
5658 using iterator_category = input_iterator_tag;
5659 using iterator_concept =
decltype(_S_iter_concept());
5660 using value_type = __detail::__repeated_tuple<range_value_t<_Base>, _Nm>;
5661 using difference_type = range_difference_t<_Base>;
5663 _Iterator() =
default;
5666 _Iterator(_Iterator<!_Const> __i)
5667 requires _Const && convertible_to<iterator_t<_Vp>, iterator_t<_Base>>
5669 for (
size_t __j = 0; __j < _Nm; ++__j)
5670 _M_current[__j] =
std::move(__i._M_current[__j]);
5676 auto __f = [](
auto& __i) ->
decltype(
auto) {
return *__i; };
5677 return __detail::__tuple_transform(__f, _M_current);
5680 constexpr _Iterator&
5683 for (
auto& __i : _M_current)
5696 constexpr _Iterator&
5699 for (
auto& __i : _M_current)
5712 constexpr _Iterator&
5713 operator+=(difference_type __x)
5716 for (
auto& __i : _M_current)
5721 constexpr _Iterator&
5722 operator-=(difference_type __x)
5725 for (
auto& __i : _M_current)
5731 operator[](difference_type __n)
const
5734 auto __f = [&](
auto& __i) ->
decltype(
auto) {
return __i[__n]; };
5735 return __detail::__tuple_transform(__f, _M_current);
5738 friend constexpr bool
5739 operator==(
const _Iterator& __x,
const _Iterator& __y)
5740 {
return __x._M_current.back() == __y._M_current.back(); }
5742 friend constexpr bool
5743 operator<(
const _Iterator& __x,
const _Iterator& __y)
5745 {
return __x._M_current.back() < __y._M_current.back(); }
5747 friend constexpr bool
5748 operator>(
const _Iterator& __x,
const _Iterator& __y)
5750 {
return __y < __x; }
5752 friend constexpr bool
5753 operator<=(
const _Iterator& __x,
const _Iterator& __y)
5755 {
return !(__y < __x); }
5757 friend constexpr bool
5758 operator>=(
const _Iterator& __x,
const _Iterator& __y)
5760 {
return !(__x < __y); }
5762 friend constexpr auto
5763 operator<=>(
const _Iterator& __x,
const _Iterator& __y)
5765 && three_way_comparable<iterator_t<_Base>>
5766 {
return __x._M_current.back() <=> __y._M_current.back(); }
5768 friend constexpr _Iterator
5769 operator+(
const _Iterator& __i, difference_type __n)
5777 friend constexpr _Iterator
5778 operator+(difference_type __n,
const _Iterator& __i)
5786 friend constexpr _Iterator
5787 operator-(
const _Iterator& __i, difference_type __n)
5795 friend constexpr difference_type
5796 operator-(
const _Iterator& __x,
const _Iterator& __y)
5797 requires sized_sentinel_for<iterator_t<_Base>, iterator_t<_Base>>
5798 {
return __x._M_current.back() - __y._M_current.back(); }
5800 friend constexpr auto
5801 iter_move(
const _Iterator& __i)
5802 {
return __detail::__tuple_transform(ranges::iter_move, __i._M_current); }
5804 friend constexpr void
5805 iter_swap(
const _Iterator& __l,
const _Iterator& __r)
5806 requires indirectly_swappable<iterator_t<_Base>>
5808 for (
size_t __i = 0; __i < _Nm; __i++)
5809 ranges::iter_swap(__l._M_current[__i], __r._M_current[__i]);
5813 template<forward_range _Vp,
size_t _Nm>
5815 template<bool _Const>
5816 class adjacent_view<_Vp, _Nm>::_Sentinel
5818 using _Base = __detail::__maybe_const_t<_Const, _Vp>;
5820 sentinel_t<_Base> _M_end = sentinel_t<_Base>();
5823 _Sentinel(sentinel_t<_Base> __end)
5827 friend class adjacent_view;
5830 _Sentinel() =
default;
5833 _Sentinel(_Sentinel<!_Const> __i)
5834 requires _Const && convertible_to<sentinel_t<_Vp>, sentinel_t<_Base>>
5838 template<
bool _OtherConst>
5839 requires sentinel_for<sentinel_t<_Base>,
5840 iterator_t<__detail::__maybe_const_t<_OtherConst, _Vp>>>
5841 friend constexpr bool
5842 operator==(
const _Iterator<_OtherConst>& __x,
const _Sentinel& __y)
5843 {
return __x._M_current.back() == __y._M_end; }
5845 template<
bool _OtherConst>
5846 requires sized_sentinel_for<sentinel_t<_Base>,
5847 iterator_t<__detail::__maybe_const_t<_OtherConst, _Vp>>>
5848 friend constexpr range_difference_t<__detail::__maybe_const_t<_OtherConst, _Vp>>
5849 operator-(
const _Iterator<_OtherConst>& __x,
const _Sentinel& __y)
5850 {
return __x._M_current.back() - __y._M_end; }
5852 template<
bool _OtherConst>
5853 requires sized_sentinel_for<sentinel_t<_Base>,
5854 iterator_t<__detail::__maybe_const_t<_OtherConst, _Vp>>>
5855 friend constexpr range_difference_t<__detail::__maybe_const_t<_OtherConst, _Vp>>
5856 operator-(
const _Sentinel& __y,
const _Iterator<_OtherConst>& __x)
5857 {
return __y._M_end - __x._M_current.back(); }
5864 template<
size_t _Nm,
typename _Range>
5865 concept __can_adjacent_view
5869 template<
size_t _Nm>
5870 struct _Adjacent : __adaptor::_RangeAdaptorClosure<_Adjacent<_Nm>>
5874 template<viewable_range _Range>
5875 requires ((_Nm == 0) && forward_range<_Range>)
5876 || __detail::__can_adjacent_view<_Nm, _Range>
5878 operator() [[nodiscard]] (_Range&& __r)
const
5880 if constexpr (_Nm == 0)
5881 return views::empty<tuple<>>;
5887 template<
size_t _Nm>
5888 inline constexpr _Adjacent<_Nm> adjacent;
5890 inline constexpr auto pairwise = adjacent<2>;
5893 template<forward_range _Vp, move_constructible _Fp,
size_t _Nm>
5894 requires view<_Vp> && (_Nm > 0) && is_object_v<_Fp>
5895 && regular_invocable<__detail::__unarize<_Fp&, _Nm>, range_reference_t<_Vp>>
5896 && std::__detail::__can_reference<invoke_result_t<__detail::__unarize<_Fp&, _Nm>,
5897 range_reference_t<_Vp>>>
5898 class adjacent_transform_view : public
view_interface<adjacent_transform_view<_Vp, _Fp, _Nm>>
5900 [[no_unique_address]] __detail::__box<_Fp> _M_fun;
5901 adjacent_view<_Vp, _Nm> _M_inner;
5903 using _InnerView = adjacent_view<_Vp, _Nm>;
5905 template<
bool _Const>
5906 using _InnerIter = iterator_t<__detail::__maybe_const_t<_Const, _InnerView>>;
5908 template<
bool _Const>
5909 using _InnerSent = sentinel_t<__detail::__maybe_const_t<_Const, _InnerView>>;
5911 template<
bool>
class _Iterator;
5912 template<
bool>
class _Sentinel;
5915 adjacent_transform_view() =
default;
5918 adjacent_transform_view(_Vp __base, _Fp __fun)
5919 : _M_fun(std::move(__fun)), _M_inner(std::move(
__base))
5926 base() const & requires copy_constructible<_Vp>
5927 {
return _M_inner.base(); }
5935 {
return _Iterator<false>(*
this, _M_inner.begin()); }
5939 requires
range<const _InnerView>
5940 && regular_invocable<__detail::__unarize<const _Fp&, _Nm>,
5941 range_reference_t<const _Vp>>
5942 {
return _Iterator<true>(*
this, _M_inner.begin()); }
5948 return _Iterator<false>(*
this, _M_inner.end());
5950 return _Sentinel<false>(_M_inner.end());
5955 requires
range<const _InnerView>
5956 && regular_invocable<__detail::__unarize<const _Fp&, _Nm>,
5957 range_reference_t<const _Vp>>
5960 return _Iterator<true>(*
this, _M_inner.end());
5962 return _Sentinel<true>(_M_inner.end());
5967 {
return _M_inner.size(); }
5971 {
return _M_inner.size(); }
5974 template<forward_range _Vp, move_constructible _Fp,
size_t _Nm>
5975 requires view<_Vp> && (_Nm > 0) && is_object_v<_Fp>
5976 && regular_invocable<__detail::__unarize<_Fp&, _Nm>, range_reference_t<_Vp>>
5977 && std::__detail::__can_reference<invoke_result_t<__detail::__unarize<_Fp&, _Nm>,
5978 range_reference_t<_Vp>>>
5979 template<bool _Const>
5980 class adjacent_transform_view<_Vp, _Fp, _Nm>::_Iterator
5982 using _Parent = __detail::__maybe_const_t<_Const, adjacent_transform_view>;
5983 using _Base = __detail::__maybe_const_t<_Const, _Vp>;
5985 return __detail::__func_handle_t<
5986 __detail::__maybe_const_t<_Const, _Fp>,
5987 iterator_t<__detail::__maybe_const_t<(_Ids, _Const), _Vp>>...>();
5990 [[no_unique_address]] _Fun_handle _M_fun;
5991 _InnerIter<_Const> _M_inner;
5994 _Iterator(_Fun_handle __fun, _InnerIter<_Const> __inner)
5995 : _M_fun(__fun), _M_inner(std::move(__inner))
5999 _Iterator(_Parent& __parent, _InnerIter<_Const> __inner)
6000 : _M_fun(*__parent._M_fun), _M_inner(std::move(__inner))
6006 using __detail::__maybe_const_t;
6007 using __detail::__unarize;
6008 using _Res = invoke_result_t<__unarize<__maybe_const_t<_Const, _Fp>&, _Nm>,
6009 range_reference_t<_Base>>;
6010 using _Cat =
typename iterator_traits<iterator_t<_Base>>::iterator_category;
6013 if constexpr (!is_reference_v<_Res>)
6014 return input_iterator_tag{};
6015 else if constexpr (derived_from<_Cat, random_access_iterator_tag>)
6016 return random_access_iterator_tag{};
6017 else if constexpr (derived_from<_Cat, bidirectional_iterator_tag>)
6018 return bidirectional_iterator_tag{};
6019 else if constexpr (derived_from<_Cat, forward_iterator_tag>)
6020 return forward_iterator_tag{};
6022 return input_iterator_tag{};
6025 friend class adjacent_transform_view;
6028 using iterator_category =
decltype(_S_iter_cat());
6029 using iterator_concept =
typename _InnerIter<_Const>::iterator_concept;
6031 = remove_cvref_t<invoke_result_t
6032 <__detail::__unarize<__detail::__maybe_const_t<_Const, _Fp>&, _Nm>,
6033 range_reference_t<_Base>>>;
6034 using difference_type = range_difference_t<_Base>;
6036 _Iterator() =
default;
6039 _Iterator(_Iterator<!_Const> __i)
6040 requires _Const && convertible_to<_InnerIter<false>, _InnerIter<_Const>>
6041 : _M_fun(__i._M_fun), _M_inner(
std::move(__i._M_inner))
6044 constexpr decltype(
auto)
6047 return std::apply([&](
const auto&... __iters) ->
decltype(
auto) {
6048 return _M_fun._M_call_deref(__iters...);
6049 }, _M_inner._M_current);
6052 constexpr _Iterator&
6067 constexpr _Iterator&
6082 constexpr _Iterator&
6089 constexpr _Iterator&
6096 constexpr decltype(
auto)
6099 return std::apply([&](
const auto&... __iters) ->
decltype(
auto) {
6100 return _M_fun._M_call_subscript(__n, __iters...);
6101 }, _M_inner._M_current);
6104 friend constexpr bool
6105 operator==(
const _Iterator& __x,
const _Iterator& __y)
6106 {
return __x._M_inner == __y._M_inner; }
6108 friend constexpr bool
6109 operator<(
const _Iterator& __x,
const _Iterator& __y)
6111 {
return __x._M_inner < __y._M_inner; }
6113 friend constexpr bool
6114 operator>(
const _Iterator& __x,
const _Iterator& __y)
6116 {
return __x._M_inner > __y._M_inner; }
6118 friend constexpr bool
6119 operator<=(
const _Iterator& __x,
const _Iterator& __y)
6121 {
return __x._M_inner <= __y._M_inner; }
6123 friend constexpr bool
6124 operator>=(
const _Iterator& __x,
const _Iterator& __y)
6126 {
return __x._M_inner >= __y._M_inner; }
6128 friend constexpr auto
6129 operator<=>(
const _Iterator& __x,
const _Iterator& __y)
6131 three_way_comparable<_InnerIter<_Const>>
6132 {
return __x._M_inner <=> __y._M_inner; }
6134 friend constexpr _Iterator
6135 operator+(
const _Iterator& __i, difference_type __n)
6137 {
return _Iterator(__i._M_fun, __i._M_inner + __n); }
6139 friend constexpr _Iterator
6140 operator+(difference_type __n,
const _Iterator& __i)
6142 {
return _Iterator(__i._M_fun, __i._M_inner + __n); }
6144 friend constexpr _Iterator
6145 operator-(
const _Iterator& __i, difference_type __n)
6147 {
return _Iterator(__i._M_fun, __i._M_inner - __n); }
6149 friend constexpr difference_type
6150 operator-(
const _Iterator& __x,
const _Iterator& __y)
6151 requires sized_sentinel_for<_InnerIter<_Const>, _InnerIter<_Const>>
6152 {
return __x._M_inner - __y._M_inner; }
6155 template<forward_range _Vp, move_constructible _Fp,
size_t _Nm>
6156 requires view<_Vp> && (_Nm > 0) && is_object_v<_Fp>
6157 && regular_invocable<__detail::__unarize<_Fp&, _Nm>, range_reference_t<_Vp>>
6158 && std::__detail::__can_reference<invoke_result_t<__detail::__unarize<_Fp&, _Nm>,
6159 range_reference_t<_Vp>>>
6160 template<bool _Const>
6161 class adjacent_transform_view<_Vp, _Fp, _Nm>::_Sentinel
6163 _InnerSent<_Const> _M_inner;
6166 _Sentinel(_InnerSent<_Const> __inner)
6170 friend class adjacent_transform_view;
6173 _Sentinel() =
default;
6176 _Sentinel(_Sentinel<!_Const> __i)
6177 requires _Const && convertible_to<_InnerSent<false>, _InnerSent<_Const>>
6181 template<
bool _OtherConst>
6182 requires sentinel_for<_InnerSent<_Const>, _InnerIter<_OtherConst>>
6183 friend constexpr bool
6184 operator==(
const _Iterator<_OtherConst>& __x,
const _Sentinel& __y)
6185 {
return __x._M_inner == __y._M_inner; }
6187 template<
bool _OtherConst>
6188 requires sized_sentinel_for<_InnerSent<_Const>, _InnerIter<_OtherConst>>
6189 friend constexpr range_difference_t<__detail::__maybe_const_t<_OtherConst, _InnerView>>
6190 operator-(
const _Iterator<_OtherConst>& __x,
const _Sentinel& __y)
6191 {
return __x._M_inner - __y._M_inner; }
6193 template<
bool _OtherConst>
6194 requires sized_sentinel_for<_InnerSent<_Const>, _InnerIter<_OtherConst>>
6195 friend constexpr range_difference_t<__detail::__maybe_const_t<_OtherConst, _InnerView>>
6196 operator-(
const _Sentinel& __x,
const _Iterator<_OtherConst>& __y)
6197 {
return __x._M_inner - __y._M_inner; }
6204 template<
size_t _Nm,
typename _Range,
typename _Fp>
6205 concept __can_adjacent_transform_view
6206 =
requires { adjacent_transform_view<all_t<_Range>,
decay_t<_Fp>, _Nm>
6210 template<
size_t _Nm>
6211 struct _AdjacentTransform : __adaptor::_RangeAdaptor<_AdjacentTransform<_Nm>>
6215 template<viewable_range _Range,
typename _Fp>
6216 requires ((_Nm == 0) && forward_range<_Range>)
6217 || __detail::__can_adjacent_transform_view<_Nm, _Range, _Fp>
6219 operator() [[nodiscard]] (_Range&& __r, _Fp&& __f)
const
6221 if constexpr (_Nm == 0)
6224 return adjacent_transform_view<all_t<_Range>, decay_t<_Fp>, _Nm>
6228 using __adaptor::_RangeAdaptor<_AdjacentTransform>::operator();
6229 static constexpr int _S_arity = 2;
6230 static constexpr bool _S_has_simple_extra_args =
true;
6233 template<
size_t _Nm>
6234 inline constexpr _AdjacentTransform<_Nm> adjacent_transform;
6236 inline constexpr auto pairwise_transform = adjacent_transform<2>;
6240#ifdef __cpp_lib_ranges_chunk
6243 template<
typename _Tp>
6244 constexpr _Tp __div_ceil(_Tp __num, _Tp __denom)
6246 _Tp __r = __num / __denom;
6247 if (__num % __denom)
6258 range_difference_t<_Vp> _M_n;
6259 range_difference_t<_Vp> _M_remainder = 0;
6260 __detail::__non_propagating_cache<iterator_t<_Vp>> _M_current;
6267 chunk_view(_Vp __base, range_difference_t<_Vp> __n)
6268 : _M_base(std::move(
__base)), _M_n(__n)
6269 { __glibcxx_assert(__n >= 0); }
6272 base() const & requires copy_constructible<_Vp>
6279 constexpr _OuterIter
6282 _M_current = ranges::begin(_M_base);
6283 _M_remainder = _M_n;
6284 return _OuterIter(*
this);
6287 constexpr default_sentinel_t
6288 end() const noexcept
6292 size()
requires sized_range<_Vp>
6294 return __detail::__to_unsigned_like(__detail::__div_ceil
6295 (ranges::distance(_M_base), _M_n));
6299 size() const requires sized_range<const _Vp>
6301 return __detail::__to_unsigned_like(__detail::__div_ceil
6302 (ranges::distance(_M_base), _M_n));
6306 template<
typename _Range>
6307 chunk_view(_Range&&, range_difference_t<_Range>) -> chunk_view<views::all_t<_Range>>;
6311 class chunk_view<_Vp>::_OuterIter
6313 chunk_view* _M_parent;
6316 _OuterIter(chunk_view& __parent) noexcept
6323 using iterator_concept = input_iterator_tag;
6324 using difference_type = range_difference_t<_Vp>;
6328 _OuterIter(_OuterIter&&) =
default;
6329 _OuterIter& operator=(_OuterIter&&) =
default;
6331 constexpr value_type
6334 __glibcxx_assert(*
this != default_sentinel);
6335 return value_type(*_M_parent);
6338 constexpr _OuterIter&
6341 __glibcxx_assert(*
this != default_sentinel);
6342 ranges::advance(*_M_parent->_M_current, _M_parent->_M_remainder,
6343 ranges::end(_M_parent->_M_base));
6344 _M_parent->_M_remainder = _M_parent->_M_n;
6352 friend constexpr bool
6353 operator==(
const _OuterIter& __x, default_sentinel_t)
6355 return *__x._M_parent->_M_current == ranges::end(__x._M_parent->_M_base)
6356 && __x._M_parent->_M_remainder != 0;
6359 friend constexpr difference_type
6360 operator-(default_sentinel_t,
const _OuterIter& __x)
6361 requires sized_sentinel_for<sentinel_t<_Vp>, iterator_t<_Vp>>
6363 const auto __dist = ranges::end(__x._M_parent->_M_base) - *__x._M_parent->_M_current;
6365 if (__dist < __x._M_parent->_M_remainder)
6366 return __dist == 0 ? 0 : 1;
6368 return 1 + __detail::__div_ceil(__dist - __x._M_parent->_M_remainder,
6369 __x._M_parent->_M_n);
6372 friend constexpr difference_type
6373 operator-(
const _OuterIter& __x, default_sentinel_t __y)
6374 requires sized_sentinel_for<sentinel_t<_Vp>, iterator_t<_Vp>>
6375 {
return -(__y - __x); }
6380 struct chunk_view<_Vp>::_OuterIter::value_type :
view_interface<value_type>
6383 chunk_view* _M_parent;
6386 value_type(chunk_view& __parent) noexcept
6393 constexpr _InnerIter
6394 begin() const noexcept
6395 {
return _InnerIter(*_M_parent); }
6397 constexpr default_sentinel_t
6398 end() const noexcept
6403 requires sized_sentinel_for<sentinel_t<_Vp>, iterator_t<_Vp>>
6405 return __detail::__to_unsigned_like
6406 (ranges::min(_M_parent->_M_remainder,
6407 ranges::end(_M_parent->_M_base) - *_M_parent->_M_current));
6413 class chunk_view<_Vp>::_InnerIter
6415 chunk_view* _M_parent;
6418 _InnerIter(chunk_view& __parent) noexcept
6422 friend _OuterIter::value_type;
6425 using iterator_concept = input_iterator_tag;
6426 using difference_type = range_difference_t<_Vp>;
6427 using value_type = range_value_t<_Vp>;
6429 _InnerIter(_InnerIter&&) =
default;
6430 _InnerIter& operator=(_InnerIter&&) =
default;
6432 constexpr const iterator_t<_Vp>&
6434 {
return *_M_parent->_M_current; }
6436 constexpr range_reference_t<_Vp>
6439 __glibcxx_assert(*
this != default_sentinel);
6440 return **_M_parent->_M_current;
6443 constexpr _InnerIter&
6446 __glibcxx_assert(*
this != default_sentinel);
6447 ++*_M_parent->_M_current;
6448 if (*_M_parent->_M_current == ranges::end(_M_parent->_M_base))
6449 _M_parent->_M_remainder = 0;
6451 --_M_parent->_M_remainder;
6459 friend constexpr bool
6460 operator==(
const _InnerIter& __x, default_sentinel_t)
noexcept
6461 {
return __x._M_parent->_M_remainder == 0; }
6463 friend constexpr difference_type
6464 operator-(default_sentinel_t,
const _InnerIter& __x)
6465 requires sized_sentinel_for<sentinel_t<_Vp>, iterator_t<_Vp>>
6467 return ranges::min(__x._M_parent->_M_remainder,
6468 ranges::end(__x._M_parent->_M_base) - *__x._M_parent->_M_current);
6471 friend constexpr difference_type
6472 operator-(
const _InnerIter& __x, default_sentinel_t __y)
6473 requires sized_sentinel_for<sentinel_t<_Vp>, iterator_t<_Vp>>
6474 {
return -(__y - __x); }
6478 friend constexpr range_rvalue_reference_t<_Vp>
6479 iter_move(
const _InnerIter& __i)
6480 noexcept(
noexcept(ranges::iter_move(*__i._M_parent->_M_current)))
6481 {
return ranges::iter_move(*__i._M_parent->_M_current); }
6483 friend constexpr void
6484 iter_swap(
const _InnerIter& __x,
const _InnerIter& __y)
6485 noexcept(
noexcept(ranges::iter_swap(*__x._M_parent->_M_current,
6486 *__x._M_parent->_M_current)))
6487 requires indirectly_swappable<iterator_t<_Vp>>
6488 {
return ranges::iter_swap(*__x._M_parent->_M_current, *__y._M_parent->_M_current); }
6496 range_difference_t<_Vp> _M_n;
6497 template<
bool>
class _Iterator;
6501 chunk_view(_Vp __base, range_difference_t<_Vp> __n)
6502 : _M_base(std::move(
__base)), _M_n(__n)
6503 { __glibcxx_assert(__n > 0); }
6506 base() const & requires copy_constructible<_Vp>
6514 begin()
requires (!__detail::__simple_view<_Vp>)
6515 {
return _Iterator<false>(
this, ranges::begin(_M_base)); }
6518 begin() const requires forward_range<const _Vp>
6519 {
return _Iterator<true>(
this, ranges::begin(_M_base)); }
6522 end()
requires (!__detail::__simple_view<_Vp>)
6524 if constexpr (common_range<_Vp> && sized_range<_Vp>)
6526 auto __missing = (_M_n - ranges::distance(_M_base) % _M_n) % _M_n;
6527 return _Iterator<false>(
this, ranges::end(_M_base), __missing);
6529 else if constexpr (common_range<_Vp> && !bidirectional_range<_Vp>)
6530 return _Iterator<false>(
this, ranges::end(_M_base));
6536 end() const requires forward_range<const _Vp>
6538 if constexpr (common_range<const _Vp> && sized_range<const _Vp>)
6540 auto __missing = (_M_n - ranges::distance(_M_base) % _M_n) % _M_n;
6541 return _Iterator<true>(
this, ranges::end(_M_base), __missing);
6543 else if constexpr (common_range<const _Vp> && !bidirectional_range<const _Vp>)
6544 return _Iterator<true>(
this, ranges::end(_M_base));
6550 size()
requires sized_range<_Vp>
6552 return __detail::__to_unsigned_like(__detail::__div_ceil
6553 (ranges::distance(_M_base), _M_n));
6557 size() const requires sized_range<const _Vp>
6559 return __detail::__to_unsigned_like(__detail::__div_ceil
6560 (ranges::distance(_M_base), _M_n));
6564 template<
typename _Vp>
6565 inline constexpr bool enable_borrowed_range<chunk_view<_Vp>>
6570 template<
bool _Const>
6571 class chunk_view<_Vp>::_Iterator
6573 using _Parent = __detail::__maybe_const_t<_Const, chunk_view>;
6574 using _Base = __detail::__maybe_const_t<_Const, _Vp>;
6576 iterator_t<_Base> _M_current = iterator_t<_Base>();
6577 sentinel_t<_Base> _M_end = sentinel_t<_Base>();
6578 range_difference_t<_Base> _M_n = 0;
6579 range_difference_t<_Base> _M_missing = 0;
6582 _Iterator(_Parent* __parent, iterator_t<_Base> __current,
6583 range_difference_t<_Base> __missing = 0)
6584 : _M_current(__current), _M_end(ranges::end(__parent->_M_base)),
6585 _M_n(__parent->_M_n), _M_missing(__missing)
6591 if constexpr (random_access_range<_Base>)
6592 return random_access_iterator_tag{};
6593 else if constexpr (bidirectional_range<_Base>)
6594 return bidirectional_iterator_tag{};
6596 return forward_iterator_tag{};
6602 using iterator_category = input_iterator_tag;
6603 using iterator_concept =
decltype(_S_iter_cat());
6604 using value_type =
decltype(views::take(subrange(_M_current, _M_end), _M_n));
6605 using difference_type = range_difference_t<_Base>;
6607 _Iterator() =
default;
6609 constexpr _Iterator(_Iterator<!_Const> __i)
6611 && convertible_to<iterator_t<_Vp>, iterator_t<_Base>>
6612 && convertible_to<sentinel_t<_Vp>, sentinel_t<_Base>>
6614 _M_n(__i._M_n), _M_missing(__i._M_missing)
6617 constexpr iterator_t<_Base>
6619 {
return _M_current; }
6621 constexpr value_type
6624 __glibcxx_assert(_M_current != _M_end);
6625 return views::take(subrange(_M_current, _M_end), _M_n);
6628 constexpr _Iterator&
6631 __glibcxx_assert(_M_current != _M_end);
6632 _M_missing = ranges::advance(_M_current, _M_n, _M_end);
6644 constexpr _Iterator&
6645 operator--()
requires bidirectional_range<_Base>
6647 ranges::advance(_M_current, _M_missing - _M_n);
6653 operator--(
int)
requires bidirectional_range<_Base>
6660 constexpr _Iterator&
6661 operator+=(difference_type __x)
6662 requires random_access_range<_Base>
6666 __glibcxx_assert(ranges::distance(_M_current, _M_end) > _M_n * (__x - 1));
6667 _M_missing = ranges::advance(_M_current, _M_n * __x, _M_end);
6671 ranges::advance(_M_current, _M_n * __x + _M_missing);
6677 constexpr _Iterator&
6678 operator-=(difference_type __x)
6679 requires random_access_range<_Base>
6680 {
return *
this += -__x; }
6682 constexpr value_type
6683 operator[](difference_type __n)
const
6684 requires random_access_range<_Base>
6685 {
return *(*
this + __n); }
6687 friend constexpr bool
6688 operator==(
const _Iterator& __x,
const _Iterator& __y)
6689 {
return __x._M_current == __y._M_current; }
6691 friend constexpr bool
6692 operator==(
const _Iterator& __x, default_sentinel_t)
6693 {
return __x._M_current == __x._M_end; }
6695 friend constexpr bool
6696 operator<(
const _Iterator& __x,
const _Iterator& __y)
6697 requires random_access_range<_Base>
6698 {
return __x._M_current > __y._M_current; }
6700 friend constexpr bool
6701 operator>(
const _Iterator& __x,
const _Iterator& __y)
6702 requires random_access_range<_Base>
6703 {
return __y < __x; }
6705 friend constexpr bool
6706 operator<=(
const _Iterator& __x,
const _Iterator& __y)
6707 requires random_access_range<_Base>
6708 {
return !(__y < __x); }
6710 friend constexpr bool
6711 operator>=(
const _Iterator& __x,
const _Iterator& __y)
6712 requires random_access_range<_Base>
6713 {
return !(__x < __y); }
6715 friend constexpr auto
6716 operator<=>(
const _Iterator& __x,
const _Iterator& __y)
6717 requires random_access_range<_Base>
6718 && three_way_comparable<iterator_t<_Base>>
6719 {
return __x._M_current <=> __y._M_current; }
6721 friend constexpr _Iterator
6722 operator+(
const _Iterator& __i, difference_type __n)
6723 requires random_access_range<_Base>
6730 friend constexpr _Iterator
6731 operator+(difference_type __n,
const _Iterator& __i)
6732 requires random_access_range<_Base>
6739 friend constexpr _Iterator
6740 operator-(
const _Iterator& __i, difference_type __n)
6741 requires random_access_range<_Base>
6748 friend constexpr difference_type
6749 operator-(
const _Iterator& __x,
const _Iterator& __y)
6750 requires sized_sentinel_for<iterator_t<_Base>, iterator_t<_Base>>
6752 return (__x._M_current - __y._M_current
6753 + __x._M_missing - __y._M_missing) / __x._M_n;
6756 friend constexpr difference_type
6757 operator-(default_sentinel_t,
const _Iterator& __x)
6758 requires sized_sentinel_for<sentinel_t<_Base>, iterator_t<_Base>>
6759 {
return __detail::__div_ceil(__x._M_end - __x._M_current, __x._M_n); }
6761 friend constexpr difference_type
6762 operator-(
const _Iterator& __x, default_sentinel_t __y)
6763 requires sized_sentinel_for<sentinel_t<_Base>, iterator_t<_Base>>
6764 {
return -(__y - __x); }
6771 template<
typename _Range,
typename _Dp>
6772 concept __can_chunk_view
6776 struct _Chunk : __adaptor::_RangeAdaptor<_Chunk>
6778 template<viewable_range _Range,
typename _Dp = range_difference_t<_Range>>
6779 requires __detail::__can_chunk_view<_Range, _Dp>
6781 operator() [[nodiscard]] (_Range&& __r, type_identity_t<_Dp> __n)
const
6784 using __adaptor::_RangeAdaptor<_Chunk>::operator();
6785 static constexpr int _S_arity = 2;
6786 static constexpr bool _S_has_simple_extra_args =
true;
6789 inline constexpr _Chunk chunk;
6793#ifdef __cpp_lib_ranges_slide
6796 template<
typename _Vp>
6797 concept __slide_caches_nothing = random_access_range<_Vp> && sized_range<_Vp>;
6799 template<
typename _Vp>
6800 concept __slide_caches_last
6801 = !__slide_caches_nothing<_Vp> && bidirectional_range<_Vp> && common_range<_Vp>;
6803 template<
typename _Vp>
6804 concept __slide_caches_first
6805 = !__slide_caches_nothing<_Vp> && !__slide_caches_last<_Vp>;
6808 template<forward_range _Vp>
6813 range_difference_t<_Vp> _M_n;
6814 [[no_unique_address]]
6815 __detail::__maybe_present_t<__detail::__slide_caches_first<_Vp>,
6816 __detail::_CachedPosition<_Vp>, 0> _M_cached_begin;
6817 [[no_unique_address]]
6818 __detail::__maybe_present_t<__detail::__slide_caches_last<_Vp>,
6819 __detail::_CachedPosition<_Vp>, 1> _M_cached_end;
6821 template<
bool>
class _Iterator;
6826 slide_view(_Vp __base, range_difference_t<_Vp> __n)
6827 : _M_base(std::move(
__base)), _M_n(__n)
6828 { __glibcxx_assert(__n > 0); }
6833 base() const & requires copy_constructible<_Vp>
6841 begin()
requires (!(__detail::__simple_view<_Vp>
6842 && __detail::__slide_caches_nothing<const _Vp>))
6844 if constexpr (__detail::__slide_caches_first<_Vp>)
6846 iterator_t<_Vp> __it;
6847 if (_M_cached_begin._M_has_value())
6848 __it = _M_cached_begin._M_get(_M_base);
6851 __it = ranges::next(ranges::begin(_M_base), _M_n - 1, ranges::end(_M_base));
6852 _M_cached_begin._M_set(_M_base, __it);
6854 return _Iterator<false>(ranges::begin(_M_base),
std::move(__it), _M_n);
6857 return _Iterator<false>(ranges::begin(_M_base), _M_n);
6861 begin() const requires __detail::__slide_caches_nothing<const _Vp>
6862 {
return _Iterator<true>(ranges::begin(_M_base), _M_n); }
6865 end()
requires (!(__detail::__simple_view<_Vp>
6866 && __detail::__slide_caches_nothing<const _Vp>))
6868 if constexpr (__detail::__slide_caches_nothing<_Vp>)
6869 return _Iterator<false>(ranges::begin(_M_base) + range_difference_t<_Vp>(size()),
6871 else if constexpr (__detail::__slide_caches_last<_Vp>)
6873 iterator_t<_Vp> __it;
6874 if (_M_cached_end._M_has_value())
6875 __it = _M_cached_end._M_get(_M_base);
6878 __it = ranges::prev(ranges::end(_M_base), _M_n - 1, ranges::begin(_M_base));
6879 _M_cached_end._M_set(_M_base, __it);
6881 return _Iterator<false>(
std::move(__it), _M_n);
6883 else if constexpr (common_range<_Vp>)
6884 return _Iterator<false>(ranges::end(_M_base), ranges::end(_M_base), _M_n);
6886 return _Sentinel(ranges::end(_M_base));
6890 end() const requires __detail::__slide_caches_nothing<const _Vp>
6891 {
return begin() + range_difference_t<const _Vp>(size()); }
6894 size()
requires sized_range<_Vp>
6896 auto __sz = ranges::distance(_M_base) - _M_n + 1;
6899 return __detail::__to_unsigned_like(__sz);
6903 size() const requires sized_range<const _Vp>
6905 auto __sz = ranges::distance(_M_base) - _M_n + 1;
6908 return __detail::__to_unsigned_like(__sz);
6912 template<
typename _Range>
6913 slide_view(_Range&&, range_difference_t<_Range>) -> slide_view<views::all_t<_Range>>;
6915 template<
typename _Vp>
6916 inline constexpr bool enable_borrowed_range<slide_view<_Vp>>
6917 = enable_borrowed_range<_Vp>;
6919 template<forward_range _Vp>
6921 template<
bool _Const>
6922 class slide_view<_Vp>::_Iterator
6924 using _Base = __detail::__maybe_const_t<_Const, _Vp>;
6925 static constexpr bool _S_last_elt_present
6926 = __detail::__slide_caches_first<_Base>;
6928 iterator_t<_Base> _M_current = iterator_t<_Base>();
6929 [[no_unique_address]]
6930 __detail::__maybe_present_t<_S_last_elt_present, iterator_t<_Base>>
6931 _M_last_elt =
decltype(_M_last_elt)();
6932 range_difference_t<_Base> _M_n = 0;
6935 _Iterator(iterator_t<_Base> __current, range_difference_t<_Base> __n)
6936 requires (!_S_last_elt_present)
6937 : _M_current(__current), _M_n(__n)
6941 _Iterator(iterator_t<_Base> __current, iterator_t<_Base> __last_elt,
6942 range_difference_t<_Base> __n)
6943 requires _S_last_elt_present
6944 : _M_current(__current), _M_last_elt(__last_elt), _M_n(__n)
6950 if constexpr (random_access_range<_Base>)
6951 return random_access_iterator_tag{};
6952 else if constexpr (bidirectional_range<_Base>)
6953 return bidirectional_iterator_tag{};
6955 return forward_iterator_tag{};
6959 friend slide_view::_Sentinel;
6962 using iterator_category = input_iterator_tag;
6963 using iterator_concept =
decltype(_S_iter_concept());
6964 using value_type =
decltype(views::counted(_M_current, _M_n));
6965 using difference_type = range_difference_t<_Base>;
6967 _Iterator() =
default;
6970 _Iterator(_Iterator<!_Const> __i)
6971 requires _Const && convertible_to<iterator_t<_Vp>, iterator_t<_Base>>
6972 : _M_current(
std::move(__i._M_current)), _M_n(__i._M_n)
6977 {
return views::counted(_M_current, _M_n); }
6979 constexpr _Iterator&
6983 if constexpr (_S_last_elt_present)
6996 constexpr _Iterator&
6997 operator--()
requires bidirectional_range<_Base>
7000 if constexpr (_S_last_elt_present)
7006 operator--(
int)
requires bidirectional_range<_Base>
7013 constexpr _Iterator&
7014 operator+=(difference_type __x)
7015 requires random_access_range<_Base>
7018 if constexpr (_S_last_elt_present)
7023 constexpr _Iterator&
7024 operator-=(difference_type __x)
7025 requires random_access_range<_Base>
7028 if constexpr (_S_last_elt_present)
7034 operator[](difference_type __n)
const
7035 requires random_access_range<_Base>
7036 {
return views::counted(_M_current + __n, _M_n); }
7038 friend constexpr bool
7039 operator==(
const _Iterator& __x,
const _Iterator& __y)
7041 if constexpr (_S_last_elt_present)
7042 return __x._M_last_elt == __y._M_last_elt;
7044 return __x._M_current == __y._M_current;
7047 friend constexpr bool
7048 operator<(
const _Iterator& __x,
const _Iterator& __y)
7049 requires random_access_range<_Base>
7050 {
return __x._M_current < __y._M_current; }
7052 friend constexpr bool
7053 operator>(
const _Iterator& __x,
const _Iterator& __y)
7054 requires random_access_range<_Base>
7055 {
return __y < __x; }
7057 friend constexpr bool
7058 operator<=(
const _Iterator& __x,
const _Iterator& __y)
7059 requires random_access_range<_Base>
7060 {
return !(__y < __x); }
7062 friend constexpr bool
7063 operator>=(
const _Iterator& __x,
const _Iterator& __y)
7064 requires random_access_range<_Base>
7065 {
return !(__x < __y); }
7067 friend constexpr auto
7068 operator<=>(
const _Iterator& __x,
const _Iterator& __y)
7069 requires random_access_range<_Base>
7070 && three_way_comparable<iterator_t<_Base>>
7071 {
return __x._M_current <=> __y._M_current; }
7073 friend constexpr _Iterator
7074 operator+(
const _Iterator& __i, difference_type __n)
7075 requires random_access_range<_Base>
7082 friend constexpr _Iterator
7083 operator+(difference_type __n,
const _Iterator& __i)
7084 requires random_access_range<_Base>
7091 friend constexpr _Iterator
7092 operator-(
const _Iterator& __i, difference_type __n)
7093 requires random_access_range<_Base>
7100 friend constexpr difference_type
7101 operator-(
const _Iterator& __x,
const _Iterator& __y)
7102 requires sized_sentinel_for<iterator_t<_Base>, iterator_t<_Base>>
7104 if constexpr (_S_last_elt_present)
7105 return __x._M_last_elt - __y._M_last_elt;
7107 return __x._M_current - __y._M_current;
7111 template<forward_range _Vp>
7113 class slide_view<_Vp>::_Sentinel
7115 sentinel_t<_Vp> _M_end = sentinel_t<_Vp>();
7118 _Sentinel(sentinel_t<_Vp> __end)
7125 _Sentinel() =
default;
7127 friend constexpr bool
7128 operator==(
const _Iterator<false>& __x,
const _Sentinel& __y)
7129 {
return __x._M_last_elt == __y._M_end; }
7131 friend constexpr range_difference_t<_Vp>
7132 operator-(
const _Iterator<false>& __x,
const _Sentinel& __y)
7133 requires sized_sentinel_for<sentinel_t<_Vp>, iterator_t<_Vp>>
7134 {
return __x._M_last_elt - __y._M_end; }
7136 friend constexpr range_difference_t<_Vp>
7137 operator-(
const _Sentinel& __y,
const _Iterator<false>& __x)
7138 requires sized_sentinel_for<sentinel_t<_Vp>, iterator_t<_Vp>>
7139 {
return __y._M_end -__x._M_last_elt; }
7146 template<
typename _Range,
typename _Dp>
7147 concept __can_slide_view
7151 struct _Slide : __adaptor::_RangeAdaptor<_Slide>
7153 template<viewable_range _Range,
typename _Dp = range_difference_t<_Range>>
7154 requires __detail::__can_slide_view<_Range, _Dp>
7156 operator() [[nodiscard]] (_Range&& __r, type_identity_t<_Dp> __n)
const
7159 using __adaptor::_RangeAdaptor<_Slide>::operator();
7160 static constexpr int _S_arity = 2;
7161 static constexpr bool _S_has_simple_extra_args =
true;
7164 inline constexpr _Slide slide;
7168#ifdef __cpp_lib_ranges_chunk_by
7170 indirect_binary_predicate<iterator_t<_Vp>, iterator_t<_Vp>> _Pred>
7171 requires view<_Vp> && is_object_v<_Pred>
7172 class chunk_by_view :
public view_interface<chunk_by_view<_Vp, _Pred>>
7174 _Vp _M_base = _Vp();
7175 __detail::__box<_Pred> _M_pred;
7176 __detail::_CachedPosition<_Vp> _M_cached_begin;
7178 constexpr iterator_t<_Vp>
7179 _M_find_next(iterator_t<_Vp> __current)
7181 __glibcxx_assert(_M_pred.has_value());
7182 auto __pred = [
this]<
typename _Tp,
typename _Up>(_Tp&& __x, _Up&& __y) {
7185 auto __it = ranges::adjacent_find(__current, ranges::end(_M_base), __pred);
7186 return ranges::next(__it, 1, ranges::end(_M_base));
7189 constexpr iterator_t<_Vp>
7190 _M_find_prev(iterator_t<_Vp> __current)
requires bidirectional_range<_Vp>
7192 __glibcxx_assert(_M_pred.has_value());
7193 auto __pred = [
this]<
typename _Tp,
typename _Up>(_Tp&& __x, _Up&& __y) {
7198 __glibcxx_assert(__rbegin != __rend);
7199 auto __it = ranges::adjacent_find(__rbegin, __rend, __pred).base();
7200 return ranges::prev(__it, 1, ranges::begin(_M_base));
7206 chunk_by_view()
requires (default_initializable<_Vp>
7207 && default_initializable<_Pred>)
7211 chunk_by_view(_Vp __base, _Pred __pred)
7212 : _M_base(std::move(
__base)), _M_pred(std::move(__pred))
7216 base() const & requires copy_constructible<_Vp>
7223 constexpr const _Pred&
7225 {
return *_M_pred; }
7230 __glibcxx_assert(_M_pred.has_value());
7231 iterator_t<_Vp> __it;
7232 if (_M_cached_begin._M_has_value())
7233 __it = _M_cached_begin._M_get(_M_base);
7236 __it = _M_find_next(ranges::begin(_M_base));
7237 _M_cached_begin._M_set(_M_base, __it);
7239 return _Iterator(*
this, ranges::begin(_M_base), __it);
7245 if constexpr (common_range<_Vp>)
7246 return _Iterator(*
this, ranges::end(_M_base), ranges::end(_M_base));
7252 template<
typename _Range,
typename _Pred>
7253 chunk_by_view(_Range&&, _Pred) -> chunk_by_view<views::all_t<_Range>, _Pred>;
7256 indirect_binary_predicate<iterator_t<_Vp>, iterator_t<_Vp>> _Pred>
7257 requires view<_Vp> && is_object_v<_Pred>
7258 class chunk_by_view<_Vp, _Pred>::_Iterator
7260 chunk_by_view* _M_parent =
nullptr;
7261 iterator_t<_Vp> _M_current = iterator_t<_Vp>();
7262 iterator_t<_Vp> _M_next = iterator_t<_Vp>();
7265 _Iterator(chunk_by_view& __parent, iterator_t<_Vp> __current, iterator_t<_Vp> __next)
7266 : _M_parent(std::
__addressof(__parent)), _M_current(__current), _M_next(__next)
7272 if constexpr (bidirectional_range<_Vp>)
7273 return bidirectional_iterator_tag{};
7275 return forward_iterator_tag{};
7278 friend chunk_by_view;
7281 using value_type = subrange<iterator_t<_Vp>>;
7282 using difference_type = range_difference_t<_Vp>;
7283 using iterator_category = input_iterator_tag;
7284 using iterator_concept =
decltype(_S_iter_concept());
7286 _Iterator() =
default;
7288 constexpr value_type
7291 __glibcxx_assert(_M_current != _M_next);
7292 return ranges::subrange(_M_current, _M_next);
7295 constexpr _Iterator&
7298 __glibcxx_assert(_M_current != _M_next);
7299 _M_current = _M_next;
7300 _M_next = _M_parent->_M_find_next(_M_current);
7312 constexpr _Iterator&
7313 operator--()
requires bidirectional_range<_Vp>
7315 _M_next = _M_current;
7316 _M_current = _M_parent->_M_find_prev(_M_next);
7321 operator--(
int)
requires bidirectional_range<_Vp>
7328 friend constexpr bool
7329 operator==(
const _Iterator& __x,
const _Iterator& __y)
7330 {
return __x._M_current == __y._M_current; }
7332 friend constexpr bool
7333 operator==(
const _Iterator& __x, default_sentinel_t)
7334 {
return __x._M_current == __x._M_next; }
7341 template<
typename _Range,
typename _Pred>
7342 concept __can_chunk_by_view
7346 struct _ChunkBy : __adaptor::_RangeAdaptor<_ChunkBy>
7348 template<viewable_range _Range,
typename _Pred>
7349 requires __detail::__can_chunk_by_view<_Range, _Pred>
7351 operator() [[nodiscard]] (_Range&& __r, _Pred&& __pred)
const
7354 using __adaptor::_RangeAdaptor<_ChunkBy>::operator();
7355 static constexpr int _S_arity = 2;
7356 static constexpr bool _S_has_simple_extra_args =
true;
7359 inline constexpr _ChunkBy chunk_by;
7363#ifdef __cpp_lib_ranges_join_with
7366 template<
typename _Range,
typename _Pattern>
7367 concept __compatible_joinable_ranges
7368 = common_with<range_value_t<_Range>, range_value_t<_Pattern>>
7369 && common_reference_with<range_reference_t<_Range>,
7370 range_reference_t<_Pattern>>
7371 && common_reference_with<range_rvalue_reference_t<_Range>,
7372 range_rvalue_reference_t<_Pattern>>;
7374 template<
typename _Range>
7375 concept __bidirectional_common = bidirectional_range<_Range> && common_range<_Range>;
7378 template<input_range _Vp, forward_range _Pattern>
7381 && __detail::__compatible_joinable_ranges<range_reference_t<_Vp>, _Pattern>
7382 class join_with_view :
public view_interface<join_with_view<_Vp, _Pattern>>
7384 using _InnerRange = range_reference_t<_Vp>;
7386 _Vp _M_base = _Vp();
7387 [[no_unique_address]]
7388 __detail::__maybe_present_t<!forward_range<_Vp>,
7389 __detail::__non_propagating_cache<iterator_t<_Vp>>> _M_outer_it;
7390 __detail::__non_propagating_cache<remove_cv_t<_InnerRange>> _M_inner;
7391 _Pattern _M_pattern = _Pattern();
7393 template<
bool _Const>
using _Base = __detail::__maybe_const_t<_Const, _Vp>;
7394 template<
bool _Const>
using _InnerBase = range_reference_t<_Base<_Const>>;
7395 template<
bool _Const>
using _PatternBase = __detail::__maybe_const_t<_Const, _Pattern>;
7397 template<
bool _Const>
using _OuterIter = iterator_t<_Base<_Const>>;
7398 template<
bool _Const>
using _InnerIter = iterator_t<_InnerBase<_Const>>;
7399 template<
bool _Const>
using _PatternIter = iterator_t<_PatternBase<_Const>>;
7401 template<
bool _Const>
7402 static constexpr bool _S_ref_is_glvalue = is_reference_v<_InnerBase<_Const>>;
7404 template<
bool _Const>
7408 template<
bool _Const>
7409 requires _S_ref_is_glvalue<_Const>
7410 && forward_range<_Base<_Const>>
7411 && forward_range<_InnerBase<_Const>>
7412 struct __iter_cat<_Const>
7418 using _OuterIter = join_with_view::_OuterIter<_Const>;
7419 using _InnerIter = join_with_view::_InnerIter<_Const>;
7420 using _PatternIter = join_with_view::_PatternIter<_Const>;
7421 using _OuterCat =
typename iterator_traits<_OuterIter>::iterator_category;
7422 using _InnerCat =
typename iterator_traits<_InnerIter>::iterator_category;
7423 using _PatternCat =
typename iterator_traits<_PatternIter>::iterator_category;
7426 if constexpr (!is_reference_v<common_reference_t<iter_reference_t<_InnerIter>,
7427 iter_reference_t<_PatternIter>>>)
7428 return input_iterator_tag{};
7429 else if constexpr (derived_from<_OuterCat, bidirectional_iterator_tag>
7430 && derived_from<_InnerCat, bidirectional_iterator_tag>
7431 && derived_from<_PatternCat, bidirectional_iterator_tag>
7432 && common_range<_InnerBase<_Const>>
7433 && common_range<_PatternBase<_Const>>)
7434 return bidirectional_iterator_tag{};
7435 else if constexpr (derived_from<_OuterCat, forward_iterator_tag>
7436 && derived_from<_InnerCat, forward_iterator_tag>
7437 && derived_from<_PatternCat, forward_iterator_tag>)
7438 return forward_iterator_tag{};
7440 return input_iterator_tag{};
7443 using iterator_category =
decltype(_S_iter_cat());
7446 template<
bool>
class _Iterator;
7447 template<
bool>
class _Sentinel;
7450 join_with_view()
requires (default_initializable<_Vp>
7451 && default_initializable<_Pattern>)
7455 join_with_view(_Vp __base, _Pattern __pattern)
7456 : _M_base(std::move(
__base)), _M_pattern(std::move(__pattern))
7459 template<input_range _Range>
7460 requires constructible_from<_Vp, views::all_t<_Range>>
7461 && constructible_from<_Pattern, single_view<range_value_t<_InnerRange>>>
7463 join_with_view(_Range&& __r, range_value_t<_InnerRange> __e)
7464 : _M_base(views::all(std::
forward<_Range>(__r))),
7465 _M_pattern(views::single(std::move(__e)))
7469 base() const& requires copy_constructible<_Vp>
7479 if constexpr (forward_range<_Vp>)
7481 constexpr bool __use_const = is_reference_v<_InnerRange>
7482 && __detail::__simple_view<_Vp> && __detail::__simple_view<_Pattern>;
7483 return _Iterator<__use_const>{*
this, ranges::begin(_M_base)};
7487 _M_outer_it = ranges::begin(_M_base);
7488 return _Iterator<false>{*
this};
7494 requires forward_range<const _Vp>
7495 && forward_range<const _Pattern>
7496 && is_reference_v<range_reference_t<const _Vp>>
7497 && input_range<range_reference_t<const _Vp>>
7498 {
return _Iterator<true>{*
this, ranges::begin(_M_base)}; }
7503 constexpr bool __use_const
7504 = __detail::__simple_view<_Vp> && __detail::__simple_view<_Pattern>;
7505 if constexpr (is_reference_v<_InnerRange>
7506 && forward_range<_Vp> && common_range<_Vp>
7507 && forward_range<_InnerRange> && common_range<_InnerRange>)
7508 return _Iterator<__use_const>{*
this, ranges::end(_M_base)};
7510 return _Sentinel<__use_const>{*
this};
7515 requires forward_range<const _Vp>
7516 && forward_range<const _Pattern>
7517 && is_reference_v<range_reference_t<const _Vp>>
7518 && input_range<range_reference_t<const _Vp>>
7520 using _InnerConstRange = range_reference_t<const _Vp>;
7521 if constexpr (forward_range<_InnerConstRange>
7522 && common_range<const _Vp>
7523 && common_range<_InnerConstRange>)
7524 return _Iterator<true>{*
this, ranges::end(_M_base)};
7526 return _Sentinel<true>{*
this};
7530 template<
typename _Range,
typename _Pattern>
7531 join_with_view(_Range&&, _Pattern&&)
7532 -> join_with_view<views::all_t<_Range>, views::all_t<_Pattern>>;
7534 template<input_range _Range>
7535 join_with_view(_Range&&, range_value_t<range_reference_t<_Range>>)
7536 -> join_with_view<views::all_t<_Range>,
7539 template<input_range _Vp, forward_range _Pattern>
7542 && __detail::__compatible_joinable_ranges<range_reference_t<_Vp>, _Pattern>
7543 template<
bool _Const>
7544 class join_with_view<_Vp, _Pattern>::_Iterator :
public __iter_cat<_Const>
7546 using _Parent = __detail::__maybe_const_t<_Const, join_with_view>;
7547 using _Base = join_with_view::_Base<_Const>;
7548 using _InnerBase = join_with_view::_InnerBase<_Const>;
7549 using _PatternBase = join_with_view::_PatternBase<_Const>;
7551 using _OuterIter = join_with_view::_OuterIter<_Const>;
7552 using _InnerIter = join_with_view::_InnerIter<_Const>;
7553 using _PatternIter = join_with_view::_PatternIter<_Const>;
7555 static constexpr bool _S_ref_is_glvalue = join_with_view::_S_ref_is_glvalue<_Const>;
7557 _Parent* _M_parent =
nullptr;
7558 [[no_unique_address]]
7559 __detail::__maybe_present_t<forward_range<_Base>, _OuterIter> _M_outer_it
7560 =
decltype(_M_outer_it)();
7561 variant<_PatternIter, _InnerIter> _M_inner_it;
7563 constexpr _OuterIter&
7566 if constexpr (forward_range<_Base>)
7569 return *_M_parent->_M_outer_it;
7572 constexpr const _OuterIter&
7573 _M_get_outer()
const
7575 if constexpr (forward_range<_Base>)
7578 return *_M_parent->_M_outer_it;
7582 _Iterator(_Parent& __parent, _OuterIter __outer)
7583 requires forward_range<_Base>
7586 if (_M_get_outer() != ranges::end(_M_parent->_M_base))
7588 auto&& __inner = _M_update_inner();
7589 _M_inner_it.template emplace<1>(ranges::begin(__inner));
7595 _Iterator(_Parent& __parent)
7596 requires (!forward_range<_Base>)
7599 if (_M_get_outer() != ranges::end(_M_parent->_M_base))
7601 auto&& __inner = _M_update_inner();
7602 _M_inner_it.template emplace<1>(ranges::begin(__inner));
7610 _OuterIter& __outer = _M_get_outer();
7611 if constexpr (_S_ref_is_glvalue)
7612 return __detail::__as_lvalue(*__outer);
7614 return _M_parent->_M_inner._M_emplace_deref(__outer);
7620 if constexpr (_S_ref_is_glvalue)
7621 return __detail::__as_lvalue(*_M_get_outer());
7623 return *_M_parent->_M_inner;
7631 if (_M_inner_it.index() == 0)
7633 if (std::get<0>(_M_inner_it) != ranges::end(_M_parent->_M_pattern))
7636 auto&& __inner = _M_update_inner();
7637 _M_inner_it.template emplace<1>(ranges::begin(__inner));
7641 auto&& __inner = _M_get_inner();
7642 if (std::get<1>(_M_inner_it) != ranges::end(__inner))
7645 if (++_M_get_outer() == ranges::end(_M_parent->_M_base))
7647 if constexpr (_S_ref_is_glvalue)
7648 _M_inner_it.template emplace<0>();
7652 _M_inner_it.template emplace<0>(ranges::begin(_M_parent->_M_pattern));
7660 if constexpr (_S_ref_is_glvalue
7661 && bidirectional_range<_Base>
7662 && __detail::__bidirectional_common<_InnerBase>
7663 && __detail::__bidirectional_common<_PatternBase>)
7664 return bidirectional_iterator_tag{};
7665 else if constexpr (_S_ref_is_glvalue
7666 && forward_range<_Base>
7667 && forward_range<_InnerBase>)
7668 return forward_iterator_tag{};
7670 return input_iterator_tag{};
7673 friend join_with_view;
7676 using iterator_concept =
decltype(_S_iter_concept());
7678 using value_type = common_type_t<iter_value_t<_InnerIter>,
7679 iter_value_t<_PatternIter>>;
7680 using difference_type = common_type_t<iter_difference_t<_OuterIter>,
7681 iter_difference_t<_InnerIter>,
7682 iter_difference_t<_PatternIter>>;
7684 _Iterator() =
default;
7687 _Iterator(_Iterator<!_Const> __i)
7689 && convertible_to<iterator_t<_Vp>, _OuterIter>
7690 && convertible_to<iterator_t<_InnerRange>, _InnerIter>
7691 && convertible_to<iterator_t<_Pattern>, _PatternIter>
7692 : _M_parent(__i._M_parent),
7695 if (__i._M_inner_it.index() == 0)
7696 _M_inner_it.template emplace<0>(std::get<0>(
std::move(__i._M_inner_it)));
7698 _M_inner_it.template emplace<1>(std::get<1>(
std::move(__i._M_inner_it)));
7701 constexpr common_reference_t<iter_reference_t<_InnerIter>,
7702 iter_reference_t<_PatternIter>>
7705 if (_M_inner_it.index() == 0)
7706 return *std::get<0>(_M_inner_it);
7708 return *std::get<1>(_M_inner_it);
7711 constexpr _Iterator&
7714 if (_M_inner_it.index() == 0)
7715 ++std::get<0>(_M_inner_it);
7717 ++std::get<1>(_M_inner_it);
7728 requires _S_ref_is_glvalue
7729 && forward_iterator<_OuterIter> && forward_iterator<_InnerIter>
7731 _Iterator __tmp = *
this;
7736 constexpr _Iterator&
7738 requires _S_ref_is_glvalue
7739 && bidirectional_range<_Base>
7740 && __detail::__bidirectional_common<_InnerBase>
7741 && __detail::__bidirectional_common<_PatternBase>
7743 if (_M_outer_it == ranges::end(_M_parent->_M_base))
7745 auto&& __inner = *--_M_outer_it;
7746 _M_inner_it.template emplace<1>(ranges::end(__inner));
7751 if (_M_inner_it.index() == 0)
7753 auto& __it = std::get<0>(_M_inner_it);
7754 if (__it == ranges::begin(_M_parent->_M_pattern))
7756 auto&& __inner = *--_M_outer_it;
7757 _M_inner_it.template emplace<1>(ranges::end(__inner));
7764 auto& __it = std::get<1>(_M_inner_it);
7765 auto&& __inner = *_M_outer_it;
7766 if (__it == ranges::begin(__inner))
7767 _M_inner_it.template emplace<0>(ranges::end(_M_parent->_M_pattern));
7773 if (_M_inner_it.index() == 0)
7774 --std::get<0>(_M_inner_it);
7776 --std::get<1>(_M_inner_it);
7782 requires _S_ref_is_glvalue && bidirectional_range<_Base>
7783 && __detail::__bidirectional_common<_InnerBase>
7784 && __detail::__bidirectional_common<_PatternBase>
7786 _Iterator __tmp = *
this;
7791 friend constexpr bool
7792 operator==(
const _Iterator& __x,
const _Iterator& __y)
7793 requires _S_ref_is_glvalue
7794 && forward_range<_Base> && equality_comparable<_InnerIter>
7795 {
return __x._M_outer_it == __y._M_outer_it && __x._M_inner_it ==__y._M_inner_it; }
7797 friend constexpr common_reference_t<iter_rvalue_reference_t<_InnerIter>,
7798 iter_rvalue_reference_t<_PatternIter>>
7799 iter_move(
const _Iterator& __x)
7801 if (__x._M_inner_it.index() == 0)
7802 return ranges::iter_move(std::get<0>(__x._M_inner_it));
7804 return ranges::iter_move(std::get<1>(__x._M_inner_it));
7807 friend constexpr void
7808 iter_swap(
const _Iterator& __x,
const _Iterator& __y)
7809 requires indirectly_swappable<_InnerIter, _PatternIter>
7811 if (__x._M_inner_it.index() == 0)
7813 if (__y._M_inner_it.index() == 0)
7814 ranges::iter_swap(std::get<0>(__x._M_inner_it), std::get<0>(__y._M_inner_it));
7816 ranges::iter_swap(std::get<0>(__x._M_inner_it), std::get<1>(__y._M_inner_it));
7820 if (__y._M_inner_it.index() == 0)
7821 ranges::iter_swap(std::get<1>(__x._M_inner_it), std::get<0>(__y._M_inner_it));
7823 ranges::iter_swap(std::get<1>(__x._M_inner_it), std::get<1>(__y._M_inner_it));
7828 template<input_range _Vp, forward_range _Pattern>
7831 && __detail::__compatible_joinable_ranges<range_reference_t<_Vp>, _Pattern>
7832 template<
bool _Const>
7833 class join_with_view<_Vp, _Pattern>::_Sentinel
7835 using _Parent = __detail::__maybe_const_t<_Const, join_with_view>;
7836 using _Base = join_with_view::_Base<_Const>;
7838 sentinel_t<_Base> _M_end = sentinel_t<_Base>();
7841 _Sentinel(_Parent& __parent)
7842 : _M_end(ranges::end(__parent._M_base))
7845 friend join_with_view;
7848 _Sentinel() =
default;
7851 _Sentinel(_Sentinel<!_Const> __s)
7852 requires _Const && convertible_to<sentinel_t<_Vp>, sentinel_t<_Base>>
7856 template<
bool _OtherConst>
7857 requires sentinel_for<sentinel_t<_Base>,
7858 iterator_t<__detail::__maybe_const_t<_OtherConst, _Vp>>>
7859 friend constexpr bool
7860 operator==(
const _Iterator<_OtherConst>& __x,
const _Sentinel& __y)
7861 {
return __x._M_get_outer() == __y._M_end; }
7868 template<
typename _Range,
typename _Pattern>
7869 concept __can_join_with_view
7873 struct _JoinWith : __adaptor::_RangeAdaptor<_JoinWith>
7875 template<viewable_range _Range,
typename _Pattern>
7876 requires __detail::__can_join_with_view<_Range, _Pattern>
7878 operator() [[nodiscard]] (_Range&& __r, _Pattern&& __f)
const
7883 using _RangeAdaptor<_JoinWith>::operator();
7884 static constexpr int _S_arity = 2;
7885 template<
typename _Pattern>
7886 static constexpr bool _S_has_simple_extra_args
7887 = _LazySplit::_S_has_simple_extra_args<_Pattern>;
7890 inline constexpr _JoinWith join_with;
7894#ifdef __cpp_lib_ranges_repeat
7895 template<move_constructible _Tp, semiregular _Bound = unreachable_sentinel_t>
7896 requires is_object_v<_Tp> && same_as<_Tp, remove_cv_t<_Tp>>
7897 && (__detail::__is_integer_like<_Bound> || same_as<_Bound, unreachable_sentinel_t>)
7898 class repeat_view : public
view_interface<repeat_view<_Tp, _Bound>>
7900 [[no_unique_address]] __detail::__box<_Tp> _M_value;
7901 [[no_unique_address]] _Bound _M_bound = _Bound();
7905 template<
typename _Range>
7906 friend constexpr auto
7907 views::__detail::__take_of_repeat_view(_Range&&, range_difference_t<_Range>);
7909 template<
typename _Range>
7910 friend constexpr auto
7911 views::__detail::__drop_of_repeat_view(_Range&&, range_difference_t<_Range>);
7914 repeat_view()
requires default_initializable<_Tp> = default;
7917 repeat_view(const _Tp& __value, _Bound __bound = _Bound())
7918 requires copy_constructible<_Tp>
7919 : _M_value(__value), _M_bound(__bound)
7921 if constexpr (!same_as<_Bound, unreachable_sentinel_t>)
7922 __glibcxx_assert(__bound >= 0);
7926 repeat_view(_Tp&& __value, _Bound __bound = _Bound())
7927 : _M_value(std::move(__value)), _M_bound(__bound)
7930 template<
typename... _Args,
typename... _BoundArgs>
7931 requires constructible_from<_Tp, _Args...>
7932 && constructible_from<_Bound, _BoundArgs...>
7934 repeat_view(piecewise_construct_t,
7935 tuple<_Args...> __args,
7936 tuple<_BoundArgs...> __bound_args = tuple<>{})
7937 : _M_value(std::make_from_tuple<_Tp>(std::move(__args))),
7938 _M_bound(std::make_from_tuple<_Bound>(std::move(__bound_args)))
7946 end() const requires (!same_as<_Bound, unreachable_sentinel_t>)
7949 constexpr unreachable_sentinel_t
7950 end() const noexcept
7951 {
return unreachable_sentinel; }
7954 size() const requires (!same_as<_Bound, unreachable_sentinel_t>)
7955 {
return __detail::__to_unsigned_like(_M_bound); }
7960 template<
typename _Tp,
typename _Bound = unreachable_sentinel_t>
7961 repeat_view(_Tp, _Bound = _Bound()) -> repeat_view<_Tp, _Bound>;
7963 template<move_constructible _Tp, semiregular _Bound>
7964 requires is_object_v<_Tp> && same_as<_Tp, remove_cv_t<_Tp>>
7965 && (__detail::__is_integer_like<_Bound> || same_as<_Bound, unreachable_sentinel_t>)
7966 class repeat_view<_Tp, _Bound>::_Iterator
7969 = __conditional_t<same_as<_Bound, unreachable_sentinel_t>, ptrdiff_t, _Bound>;
7971 const _Tp* _M_value =
nullptr;
7972 __index_type _M_current = __index_type();
7975 _Iterator(
const _Tp* __value, __index_type __bound = __index_type())
7976 : _M_value(__value), _M_current(__bound)
7978 if constexpr (!same_as<_Bound, unreachable_sentinel_t>)
7979 __glibcxx_assert(__bound >= 0);
7985 using iterator_concept = random_access_iterator_tag;
7986 using iterator_category = random_access_iterator_tag;
7987 using value_type = _Tp;
7988 using difference_type = __conditional_t<__detail::__is_signed_integer_like<__index_type>,
7990 __detail::__iota_diff_t<__index_type>>;
7992 _Iterator() =
default;
7994 constexpr const _Tp&
7996 {
return *_M_value; }
7998 constexpr _Iterator&
8013 constexpr _Iterator&
8016 if constexpr (!same_as<_Bound, unreachable_sentinel_t>)
8017 __glibcxx_assert(_M_current > 0);
8030 constexpr _Iterator&
8031 operator+=(difference_type __n)
8033 if constexpr (!same_as<_Bound, unreachable_sentinel_t>)
8034 __glibcxx_assert(_M_current + __n >= 0);
8039 constexpr _Iterator&
8040 operator-=(difference_type __n)
8042 if constexpr (!same_as<_Bound, unreachable_sentinel_t>)
8043 __glibcxx_assert(_M_current - __n >= 0);
8048 constexpr const _Tp&
8049 operator[](difference_type __n)
const noexcept
8050 {
return *(*
this + __n); }
8052 friend constexpr bool
8053 operator==(
const _Iterator& __x,
const _Iterator& __y)
8054 {
return __x._M_current == __y._M_current; }
8056 friend constexpr auto
8057 operator<=>(
const _Iterator& __x,
const _Iterator& __y)
8058 {
return __x._M_current <=> __y._M_current; }
8060 friend constexpr _Iterator
8061 operator+(_Iterator __i, difference_type __n)
8067 friend constexpr _Iterator
8068 operator+(difference_type __n, _Iterator __i)
8069 {
return __i + __n; }
8071 friend constexpr _Iterator
8072 operator-(_Iterator __i, difference_type __n)
8078 friend constexpr difference_type
8079 operator-(
const _Iterator& __x,
const _Iterator& __y)
8081 return (
static_cast<difference_type
>(__x._M_current)
8082 -
static_cast<difference_type
>(__y._M_current));
8090 template<
typename _Tp,
typename _Bound>
8091 inline constexpr bool __is_repeat_view<repeat_view<_Tp, _Bound>> =
true;
8093 template<
typename _Tp>
8094 concept __can_repeat_view
8097 template<
typename _Tp,
typename _Bound>
8098 concept __can_bounded_repeat_view
8104 template<
typename _Tp>
8105 requires __detail::__can_repeat_view<_Tp>
8107 operator() [[nodiscard]] (_Tp&& __value)
const
8114 template<
typename _Tp,
typename _Bound>
8115 requires __detail::__can_bounded_repeat_view<_Tp, _Bound>
8117 operator() [[nodiscard]] (_Tp&& __value, _Bound __bound)
const
8121 inline constexpr _Repeat repeat;
8125 template<
typename _Range>
8127 __take_of_repeat_view(_Range&& __r, range_difference_t<_Range> __n)
8129 using _Tp = remove_cvref_t<_Range>;
8130 static_assert(__is_repeat_view<_Tp>);
8131 if constexpr (sized_range<_Tp>)
8133 std::min(ranges::distance(__r), __n));
8138 template<
typename _Range>
8140 __drop_of_repeat_view(_Range&& __r, range_difference_t<_Range> __n)
8142 using _Tp = remove_cvref_t<_Range>;
8143 static_assert(__is_repeat_view<_Tp>);
8144 if constexpr (sized_range<_Tp>)
8146 auto __sz = ranges::distance(__r);
8157#ifdef __cpp_lib_ranges_stride
8158 template<input_range _Vp>
8163 range_difference_t<_Vp> _M_stride;
8165 template<
bool _Const>
using _Base = __detail::__maybe_const_t<_Const, _Vp>;
8167 template<
bool _Const>
8171 template<
bool _Const>
8172 requires forward_range<_Base<_Const>>
8173 struct __iter_cat<_Const>
8179 using _Cat =
typename iterator_traits<iterator_t<_Base<_Const>>>::iterator_category;
8180 if constexpr (derived_from<_Cat, random_access_iterator_tag>)
8181 return random_access_iterator_tag{};
8186 using iterator_category =
decltype(_S_iter_cat());
8189 template<
bool>
class _Iterator;
8193 stride_view(_Vp __base, range_difference_t<_Vp> __stride)
8194 : _M_base(std::move(
__base)), _M_stride(__stride)
8195 { __glibcxx_assert(__stride > 0); }
8198 base() const& requires copy_constructible<_Vp>
8205 constexpr range_difference_t<_Vp>
8206 stride() const noexcept
8207 {
return _M_stride; }
8210 begin()
requires (!__detail::__simple_view<_Vp>)
8211 {
return _Iterator<false>(
this, ranges::begin(_M_base)); }
8214 begin() const requires range<const _Vp>
8215 {
return _Iterator<true>(
this, ranges::begin(_M_base)); }
8218 end()
requires (!__detail::__simple_view<_Vp>)
8220 if constexpr (common_range<_Vp> && sized_range<_Vp> && forward_range<_Vp>)
8222 auto __missing = (_M_stride - ranges::distance(_M_base) % _M_stride) % _M_stride;
8223 return _Iterator<false>(
this, ranges::end(_M_base), __missing);
8225 else if constexpr (common_range<_Vp> && !bidirectional_range<_Vp>)
8226 return _Iterator<false>(
this, ranges::end(_M_base));
8232 end() const requires range<const _Vp>
8234 if constexpr (common_range<const _Vp> && sized_range<const _Vp>
8235 && forward_range<const _Vp>)
8237 auto __missing = (_M_stride - ranges::distance(_M_base) % _M_stride) % _M_stride;
8238 return _Iterator<true>(
this, ranges::end(_M_base), __missing);
8240 else if constexpr (common_range<const _Vp> && !bidirectional_range<const _Vp>)
8241 return _Iterator<true>(
this, ranges::end(_M_base));
8247 size()
requires sized_range<_Vp>
8249 return __detail::__to_unsigned_like
8250 (__detail::__div_ceil(ranges::distance(_M_base), _M_stride));
8254 size() const requires sized_range<const _Vp>
8256 return __detail::__to_unsigned_like
8257 (__detail::__div_ceil(ranges::distance(_M_base), _M_stride));
8261 template<
typename _Range>
8262 stride_view(_Range&&, range_difference_t<_Range>) -> stride_view<views::all_t<_Range>>;
8264 template<
typename _Vp>
8265 inline constexpr bool enable_borrowed_range<stride_view<_Vp>>
8266 = enable_borrowed_range<_Vp>;
8268 template<input_range _Vp>
8270 template<
bool _Const>
8271 class stride_view<_Vp>::_Iterator :
public __iter_cat<_Const>
8273 using _Parent = __detail::__maybe_const_t<_Const, stride_view>;
8274 using _Base = stride_view::_Base<_Const>;
8276 iterator_t<_Base> _M_current = iterator_t<_Base>();
8277 sentinel_t<_Base> _M_end = sentinel_t<_Base>();
8278 range_difference_t<_Base> _M_stride = 0;
8279 range_difference_t<_Base> _M_missing = 0;
8282 _Iterator(_Parent* __parent, iterator_t<_Base> __current,
8283 range_difference_t<_Base> __missing = 0)
8284 : _M_current(std::move(__current)), _M_end(ranges::end(__parent->_M_base)),
8285 _M_stride(__parent->_M_stride), _M_missing(__missing)
8291 if constexpr (random_access_range<_Base>)
8292 return random_access_iterator_tag{};
8293 else if constexpr (bidirectional_range<_Base>)
8294 return bidirectional_iterator_tag{};
8295 else if constexpr (forward_range<_Base>)
8296 return forward_iterator_tag{};
8298 return input_iterator_tag{};
8304 using difference_type = range_difference_t<_Base>;
8305 using value_type = range_value_t<_Base>;
8306 using iterator_concept =
decltype(_S_iter_concept());
8309 _Iterator()
requires default_initializable<iterator_t<_Base>> = default;
8312 _Iterator(_Iterator<!_Const> __other)
8314 && convertible_to<iterator_t<_Vp>, iterator_t<_Base>>
8315 && convertible_to<sentinel_t<_Vp>, sentinel_t<_Base>>
8316 : _M_current(std::move(__other._M_current)), _M_end(std::move(__other._M_end)),
8317 _M_stride(__other._M_stride), _M_missing(__other._M_missing)
8320 constexpr iterator_t<_Base>
8324 constexpr const iterator_t<_Base>&
8325 base() const & noexcept
8326 {
return _M_current; }
8328 constexpr decltype(
auto)
8330 {
return *_M_current; }
8332 constexpr _Iterator&
8335 __glibcxx_assert(_M_current != _M_end);
8336 _M_missing = ranges::advance(_M_current, _M_stride, _M_end);
8345 operator++(
int)
requires forward_range<_Base>
8352 constexpr _Iterator&
8353 operator--()
requires bidirectional_range<_Base>
8355 ranges::advance(_M_current, _M_missing - _M_stride);
8361 operator--(
int)
requires bidirectional_range<_Base>
8368 constexpr _Iterator&
8369 operator+=(difference_type __n)
requires random_access_range<_Base>
8373 __glibcxx_assert(ranges::distance(_M_current, _M_end) > _M_stride * (__n - 1));
8374 _M_missing = ranges::advance(_M_current, _M_stride * __n, _M_end);
8378 ranges::advance(_M_current, _M_stride * __n + _M_missing);
8384 constexpr _Iterator&
8385 operator-=(difference_type __n)
requires random_access_range<_Base>
8386 {
return *
this += -__n; }
8388 constexpr decltype(
auto)
operator[](difference_type __n)
const
8389 requires random_access_range<_Base>
8390 {
return *(*
this + __n); }
8392 friend constexpr bool
8393 operator==(
const _Iterator& __x, default_sentinel_t)
8394 {
return __x._M_current == __x._M_end; }
8396 friend constexpr bool
8397 operator==(
const _Iterator& __x,
const _Iterator& __y)
8398 requires equality_comparable<iterator_t<_Base>>
8399 {
return __x._M_current == __y._M_current; }
8401 friend constexpr bool
8402 operator<(
const _Iterator& __x,
const _Iterator& __y)
8403 requires random_access_range<_Base>
8404 {
return __x._M_current < __y._M_current; }
8406 friend constexpr bool
8407 operator>(
const _Iterator& __x,
const _Iterator& __y)
8408 requires random_access_range<_Base>
8409 {
return __y._M_current < __x._M_current; }
8411 friend constexpr bool
8412 operator<=(
const _Iterator& __x,
const _Iterator& __y)
8413 requires random_access_range<_Base>
8414 {
return !(__y._M_current < __x._M_current); }
8416 friend constexpr bool
8417 operator>=(
const _Iterator& __x,
const _Iterator& __y)
8418 requires random_access_range<_Base>
8419 {
return !(__x._M_current < __y._M_current); }
8421 friend constexpr auto
8422 operator<=>(
const _Iterator& __x,
const _Iterator& __y)
8423 requires random_access_range<_Base> && three_way_comparable<iterator_t<_Base>>
8424 {
return __x._M_current <=> __y._M_current; }
8426 friend constexpr _Iterator
8427 operator+(
const _Iterator& __i, difference_type __n)
8428 requires random_access_range<_Base>
8435 friend constexpr _Iterator
8436 operator+(difference_type __n,
const _Iterator& __i)
8437 requires random_access_range<_Base>
8438 {
return __i + __n; }
8440 friend constexpr _Iterator
8441 operator-(
const _Iterator& __i, difference_type __n)
8442 requires random_access_range<_Base>
8449 friend constexpr difference_type
8450 operator-(
const _Iterator& __x,
const _Iterator& __y)
8451 requires sized_sentinel_for<iterator_t<_Base>, iterator_t<_Base>>
8453 auto __n = __x._M_current - __y._M_current;
8454 if constexpr (forward_range<_Base>)
8455 return (__n + __x._M_missing - __y._M_missing) / __x._M_stride;
8457 return -__detail::__div_ceil(-__n, __x._M_stride);
8459 return __detail::__div_ceil(__n, __x._M_stride);
8462 friend constexpr difference_type
8463 operator-(default_sentinel_t,
const _Iterator& __x)
8464 requires sized_sentinel_for<sentinel_t<_Base>, iterator_t<_Base>>
8465 {
return __detail::__div_ceil(__x._M_end - __x._M_current, __x._M_stride); }
8467 friend constexpr difference_type
8468 operator-(
const _Iterator& __x, default_sentinel_t __y)
8469 requires sized_sentinel_for<sentinel_t<_Base>, iterator_t<_Base>>
8470 {
return -(__y - __x); }
8472 friend constexpr range_rvalue_reference_t<_Base>
8473 iter_move(
const _Iterator& __i)
8474 noexcept(
noexcept(ranges::iter_move(__i._M_current)))
8475 {
return ranges::iter_move(__i._M_current); }
8477 friend constexpr void
8478 iter_swap(
const _Iterator& __x,
const _Iterator& __y)
8479 noexcept(
noexcept(ranges::iter_swap(__x._M_current, __y._M_current)))
8480 requires indirectly_swappable<iterator_t<_Base>>
8481 { ranges::iter_swap(__x._M_current, __y._M_current); }
8488 template<
typename _Range,
typename _Dp>
8489 concept __can_stride_view
8493 struct _Stride : __adaptor::_RangeAdaptor<_Stride>
8495 template<viewable_range _Range,
typename _Dp = range_difference_t<_Range>>
8496 requires __detail::__can_stride_view<_Range, _Dp>
8498 operator() [[nodiscard]] (_Range&& __r, type_identity_t<_Dp> __n)
const
8501 using __adaptor::_RangeAdaptor<_Stride>::operator();
8502 static constexpr int _S_arity = 2;
8503 static constexpr bool _S_has_simple_extra_args =
true;
8506 inline constexpr _Stride stride;
8510#ifdef __cpp_lib_ranges_cartesian_product
8513 template<
bool _Const,
typename _First,
typename... _Vs>
8514 concept __cartesian_product_is_random_access
8515 = (random_access_range<__maybe_const_t<_Const, _First>>
8517 && (random_access_range<__maybe_const_t<_Const, _Vs>>
8518 && sized_range<__maybe_const_t<_Const, _Vs>>));
8520 template<
typename _Range>
8521 concept __cartesian_product_common_arg
8522 = common_range<_Range> || (sized_range<_Range> && random_access_range<_Range>);
8524 template<
bool _Const,
typename _First,
typename... _Vs>
8525 concept __cartesian_product_is_bidirectional
8526 = (bidirectional_range<__maybe_const_t<_Const, _First>>
8528 && (bidirectional_range<__maybe_const_t<_Const, _Vs>>
8529 && __cartesian_product_common_arg<__maybe_const_t<_Const, _Vs>>));
8531 template<
typename _First,
typename... _Vs>
8532 concept __cartesian_product_is_common = __cartesian_product_common_arg<_First>;
8534 template<
typename... _Vs>
8535 concept __cartesian_product_is_sized = (sized_range<_Vs> && ...);
8537 template<
bool _Const,
template<
typename>
class _FirstSent,
8538 typename _First,
typename... _Vs>
8539 concept __cartesian_is_sized_sentinel
8540 = (sized_sentinel_for<_FirstSent<__maybe_const_t<_Const, _First>>,
8541 iterator_t<__maybe_const_t<_Const, _First>>>
8543 && (sized_range<__maybe_const_t<_Const, _Vs>>
8544 && sized_sentinel_for<iterator_t<__maybe_const_t<_Const, _Vs>>,
8545 iterator_t<__maybe_const_t<_Const, _Vs>>>));
8547 template<__cartesian_product_common_arg _Range>
8549 __cartesian_common_arg_end(_Range& __r)
8551 if constexpr (common_range<_Range>)
8552 return ranges::end(__r);
8554 return ranges::begin(__r) + ranges::distance(__r);
8560 class cartesian_product_view : public
view_interface<cartesian_product_view<_First, _Vs...>>
8562 tuple<_First, _Vs...> _M_bases;
8564 template<
bool>
class _Iterator;
8567 _S_difference_type()
8573 range_difference_t<_First>,
8574 range_difference_t<_Vs>...>{};
8578 cartesian_product_view() =
default;
8581 cartesian_product_view(_First __first, _Vs... __rest)
8582 : _M_bases(std::move(__first), std::move(__rest)...)
8585 constexpr _Iterator<false>
8586 begin()
requires (!__detail::__simple_view<_First> || ... || !__detail::__simple_view<_Vs>)
8587 {
return _Iterator<false>(*
this, __detail::__tuple_transform(ranges::begin, _M_bases)); }
8589 constexpr _Iterator<true>
8590 begin() const requires (
range<const _First> && ... &&
range<const _Vs>)
8591 {
return _Iterator<true>(*
this, __detail::__tuple_transform(ranges::begin, _M_bases)); }
8593 constexpr _Iterator<false>
8594 end()
requires ((!__detail::__simple_view<_First> || ... || !__detail::__simple_view<_Vs>)
8595 && __detail::__cartesian_product_is_common<_First, _Vs...>)
8598 using _Ret = tuple<iterator_t<_First>, iterator_t<_Vs>...>;
8599 bool __empty_tail = (ranges::empty(std::get<1 + _Is>(_M_bases)) || ...);
8600 auto& __first = std::get<0>(_M_bases);
8601 return _Ret{(__empty_tail
8602 ? ranges::begin(__first)
8603 : __detail::__cartesian_common_arg_end(__first)),
8604 ranges::
begin(std::get<1 + _Is>(_M_bases))...};
8607 return _Iterator<false>{*
this,
std::move(__its)};
8610 constexpr _Iterator<true>
8611 end() const requires __detail::__cartesian_product_is_common<const _First, const _Vs...>
8614 using _Ret = tuple<iterator_t<const _First>, iterator_t<const _Vs>...>;
8615 bool __empty_tail = (ranges::empty(std::get<1 + _Is>(_M_bases)) || ...);
8616 auto& __first = std::get<0>(_M_bases);
8617 return _Ret{(__empty_tail
8618 ? ranges::begin(__first)
8619 : __detail::__cartesian_common_arg_end(__first)),
8620 ranges::
begin(std::get<1 + _Is>(_M_bases))...};
8623 return _Iterator<true>{*
this,
std::move(__its)};
8626 constexpr default_sentinel_t
8627 end() const noexcept
8631 size()
requires __detail::__cartesian_product_is_sized<_First, _Vs...>
8633 using _ST = __detail::__make_unsigned_like_t<
decltype(_S_difference_type())>;
8635 auto __size =
static_cast<_ST
>(1);
8636#ifdef _GLIBCXX_ASSERTIONS
8637 if constexpr (integral<_ST>)
8640 = (__builtin_mul_overflow(__size,
8641 static_cast<_ST
>(ranges::size(std::get<_Is>(_M_bases))),
8644 __glibcxx_assert(!__overflow);
8648 __size = (
static_cast<_ST
>(ranges::size(std::get<_Is>(_M_bases))) * ...);
8654 size() const requires __detail::__cartesian_product_is_sized<const _First, const _Vs...>
8656 using _ST = __detail::__make_unsigned_like_t<
decltype(_S_difference_type())>;
8658 auto __size =
static_cast<_ST
>(1);
8659#ifdef _GLIBCXX_ASSERTIONS
8660 if constexpr (integral<_ST>)
8663 = (__builtin_mul_overflow(__size,
8664 static_cast<_ST
>(ranges::size(std::get<_Is>(_M_bases))),
8667 __glibcxx_assert(!__overflow);
8671 __size = (
static_cast<_ST
>(ranges::size(std::get<_Is>(_M_bases))) * ...);
8677 template<
typename... _Vs>
8678 cartesian_product_view(_Vs&&...) -> cartesian_product_view<views::all_t<_Vs>...>;
8682 template<bool _Const>
8683 class cartesian_product_view<_First, _Vs...>::_Iterator
8685 using _Parent = __maybe_const_t<_Const, cartesian_product_view>;
8686 _Parent* _M_parent =
nullptr;
8687 tuple<iterator_t<__maybe_const_t<_Const, _First>>,
8688 iterator_t<__maybe_const_t<_Const, _Vs>>...> _M_current;
8691 _Iterator(_Parent& __parent,
decltype(_M_current) __current)
8693 _M_current(std::move(__current))
8699 if constexpr (__detail::__cartesian_product_is_random_access<_Const, _First, _Vs...>)
8700 return random_access_iterator_tag{};
8701 else if constexpr (__detail::__cartesian_product_is_bidirectional<_Const, _First, _Vs...>)
8702 return bidirectional_iterator_tag{};
8704 return forward_iterator_tag{};
8706 return input_iterator_tag{};
8709 friend cartesian_product_view;
8712 using iterator_category = input_iterator_tag;
8713 using iterator_concept =
decltype(_S_iter_concept());
8715 = tuple<range_value_t<__maybe_const_t<_Const, _First>>,
8716 range_value_t<__maybe_const_t<_Const, _Vs>>...>;
8718 = tuple<range_reference_t<__maybe_const_t<_Const, _First>>,
8719 range_reference_t<__maybe_const_t<_Const, _Vs>>...>;
8720 using difference_type =
decltype(cartesian_product_view::_S_difference_type());
8722 _Iterator() =
default;
8725 _Iterator(_Iterator<!_Const> __i)
8727 && (convertible_to<iterator_t<_First>, iterator_t<const _First>>
8728 && ... && convertible_to<iterator_t<_Vs>, iterator_t<const _Vs>>)
8730 _M_current(std::move(__i._M_current))
8736 auto __f = [](
auto& __i) ->
decltype(
auto) {
8739 return __detail::__tuple_transform(__f, _M_current);
8742 constexpr _Iterator&
8761 constexpr _Iterator&
8763 requires __detail::__cartesian_product_is_bidirectional<_Const, _First, _Vs...>
8771 requires __detail::__cartesian_product_is_bidirectional<_Const, _First, _Vs...>
8778 constexpr _Iterator&
8779 operator+=(difference_type __x)
8780 requires __detail::__cartesian_product_is_random_access<_Const, _First, _Vs...>
8786 constexpr _Iterator&
8787 operator-=(difference_type __x)
8788 requires __detail::__cartesian_product_is_random_access<_Const, _First, _Vs...>
8789 {
return *
this += -__x; }
8792 operator[](difference_type __n)
const
8793 requires __detail::__cartesian_product_is_random_access<_Const, _First, _Vs...>
8794 {
return *((*this) + __n); }
8796 friend constexpr bool
8797 operator==(
const _Iterator& __x,
const _Iterator& __y)
8798 requires equality_comparable<iterator_t<__maybe_const_t<_Const, _First>>>
8799 {
return __x._M_current == __y._M_current; }
8801 friend constexpr bool
8802 operator==(
const _Iterator& __x, default_sentinel_t)
8805 return ((std::get<_Is>(__x._M_current)
8806 == ranges::end(std::get<_Is>(__x._M_parent->_M_bases)))
8811 friend constexpr auto
8812 operator<=>(
const _Iterator& __x,
const _Iterator& __y)
8813 requires __detail::__all_random_access<_Const, _First, _Vs...>
8814 {
return __x._M_current <=> __y._M_current; }
8816 friend constexpr _Iterator
8817 operator+(_Iterator __x, difference_type __y)
8818 requires __detail::__cartesian_product_is_random_access<_Const, _First, _Vs...>
8819 {
return __x += __y; }
8821 friend constexpr _Iterator
8822 operator+(difference_type __x, _Iterator __y)
8823 requires __detail::__cartesian_product_is_random_access<_Const, _First, _Vs...>
8824 {
return __y += __x; }
8826 friend constexpr _Iterator
8827 operator-(_Iterator __x, difference_type __y)
8828 requires __detail::__cartesian_product_is_random_access<_Const, _First, _Vs...>
8829 {
return __x -= __y; }
8831 friend constexpr difference_type
8832 operator-(
const _Iterator& __x,
const _Iterator& __y)
8833 requires __detail::__cartesian_is_sized_sentinel<_Const, iterator_t, _First, _Vs...>
8834 {
return __x._M_distance_from(__y._M_current); }
8836 friend constexpr difference_type
8837 operator-(
const _Iterator& __i, default_sentinel_t)
8838 requires __detail::__cartesian_is_sized_sentinel<_Const, sentinel_t, _First, _Vs...>
8841 return tuple{ranges::end(std::get<0>(__i._M_parent->_M_bases)),
8842 ranges::begin(std::get<1 + _Is>(__i._M_parent->_M_bases))...};
8844 return __i._M_distance_from(__end_tuple);
8847 friend constexpr difference_type
8848 operator-(default_sentinel_t,
const _Iterator& __i)
8849 requires __detail::__cartesian_is_sized_sentinel<_Const, sentinel_t, _First, _Vs...>
8852 friend constexpr auto
8853 iter_move(
const _Iterator& __i)
8854 {
return __detail::__tuple_transform(ranges::iter_move, __i._M_current); }
8856 friend constexpr void
8857 iter_swap(
const _Iterator& __l,
const _Iterator& __r)
8858 requires (indirectly_swappable<iterator_t<__maybe_const_t<_Const, _First>>>
8860 && indirectly_swappable<iterator_t<__maybe_const_t<_Const, _Vs>>>)
8863 (ranges::iter_swap(std::get<_Is>(__l._M_current), std::get<_Is>(__r._M_current)), ...);
8868 template<
size_t _Nm =
sizeof...(_Vs)>
8872 auto& __it = std::get<_Nm>(_M_current);
8874 if constexpr (_Nm > 0)
8875 if (__it == ranges::end(std::get<_Nm>(_M_parent->_M_bases)))
8877 __it = ranges::begin(std::get<_Nm>(_M_parent->_M_bases));
8882 template<
size_t _Nm =
sizeof...(_Vs)>
8886 auto& __it = std::get<_Nm>(_M_current);
8887 if constexpr (_Nm > 0)
8888 if (__it == ranges::begin(std::get<_Nm>(_M_parent->_M_bases)))
8890 __it = __detail::__cartesian_common_arg_end(std::get<_Nm>(_M_parent->_M_bases));
8896 template<
size_t _Nm =
sizeof...(_Vs)>
8898 _M_advance(difference_type __x)
8899 requires __detail::__cartesian_product_is_random_access<_Const, _First, _Vs...>
8908 auto& __r = std::get<_Nm>(_M_parent->_M_bases);
8909 auto& __it = std::get<_Nm>(_M_current);
8910 if constexpr (_Nm == 0)
8912#ifdef _GLIBCXX_ASSERTIONS
8915 auto __size = ranges::ssize(__r);
8916 auto __begin = ranges::begin(__r);
8917 auto __offset = __it - __begin;
8918 __glibcxx_assert(__offset + __x >= 0 && __offset + __x <= __size);
8925 auto __size = ranges::ssize(__r);
8926 auto __begin = ranges::begin(__r);
8927 auto __offset = __it - __begin;
8929 __x = __offset / __size;
8933 __offset = __size + __offset;
8936 __it = __begin + __offset;
8937 _M_advance<_Nm - 1>(__x);
8942 template<
typename _Tuple>
8943 constexpr difference_type
8944 _M_distance_from(
const _Tuple& __t)
const
8947 auto __sum =
static_cast<difference_type
>(0);
8948#ifdef _GLIBCXX_ASSERTIONS
8949 if constexpr (integral<difference_type>)
8952 = (__builtin_add_overflow(__sum, _M_scaled_distance<_Is>(__t), &__sum)
8954 __glibcxx_assert(!__overflow);
8958 __sum = (_M_scaled_distance<_Is>(__t) + ...);
8963 template<
size_t _Nm,
typename _Tuple>
8964 constexpr difference_type
8965 _M_scaled_distance(
const _Tuple& __t)
const
8967 auto __dist =
static_cast<difference_type
>(std::get<_Nm>(_M_current)
8968 - std::get<_Nm>(__t));
8969#ifdef _GLIBCXX_ASSERTIONS
8970 if constexpr (integral<difference_type>)
8972 bool __overflow = __builtin_mul_overflow(__dist, _M_scaled_size<_Nm+1>(), &__dist);
8973 __glibcxx_assert(!__overflow);
8977 __dist *= _M_scaled_size<_Nm+1>();
8981 template<
size_t _Nm>
8982 constexpr difference_type
8983 _M_scaled_size()
const
8985 if constexpr (_Nm <=
sizeof...(_Vs))
8987 auto __size =
static_cast<difference_type
>(ranges::size
8988 (std::get<_Nm>(_M_parent->_M_bases)));
8989#ifdef _GLIBCXX_ASSERTIONS
8990 if constexpr (integral<difference_type>)
8992 bool __overflow = __builtin_mul_overflow(__size, _M_scaled_size<_Nm+1>(), &__size);
8993 __glibcxx_assert(!__overflow);
8997 __size *= _M_scaled_size<_Nm+1>();
9001 return static_cast<difference_type
>(1);
9009 template<
typename... _Ts>
9010 concept __can_cartesian_product_view
9014 struct _CartesianProduct
9016 template<
typename... _Ts>
9017 requires (
sizeof...(_Ts) == 0 || __detail::__can_cartesian_product_view<_Ts...>)
9019 operator() [[nodiscard]] (_Ts&&... __ts)
const
9021 if constexpr (
sizeof...(_Ts) == 0)
9022 return views::single(tuple{});
9028 inline constexpr _CartesianProduct cartesian_product;
9032#ifdef __cpp_lib_ranges_as_rvalue
9033 template<input_range _Vp>
9035 class as_rvalue_view :
public view_interface<as_rvalue_view<_Vp>>
9037 _Vp _M_base = _Vp();
9040 as_rvalue_view()
requires default_initializable<_Vp> = default;
9043 as_rvalue_view(_Vp __base)
9044 : _M_base(std::move(__base))
9048 base() const& requires copy_constructible<_Vp>
9056 begin()
requires (!__detail::__simple_view<_Vp>)
9057 {
return move_iterator(ranges::begin(_M_base)); }
9060 begin() const requires range<const _Vp>
9061 {
return move_iterator(ranges::begin(_M_base)); }
9064 end()
requires (!__detail::__simple_view<_Vp>)
9066 if constexpr (common_range<_Vp>)
9067 return move_iterator(ranges::end(_M_base));
9069 return move_sentinel(ranges::end(_M_base));
9073 end() const requires range<const _Vp>
9075 if constexpr (common_range<const _Vp>)
9076 return move_iterator(ranges::end(_M_base));
9078 return move_sentinel(ranges::end(_M_base));
9082 size()
requires sized_range<_Vp>
9083 {
return ranges::size(_M_base); }
9086 size() const requires sized_range<const _Vp>
9087 {
return ranges::size(_M_base); }
9090 template<
typename _Range>
9091 as_rvalue_view(_Range&&) -> as_rvalue_view<views::all_t<_Range>>;
9093 template<
typename _Tp>
9094 inline constexpr bool enable_borrowed_range<as_rvalue_view<_Tp>>
9095 = enable_borrowed_range<_Tp>;
9101 template<
typename _Tp>
9102 concept __can_as_rvalue_view =
requires { as_rvalue_view(
std::declval<_Tp>()); };
9105 struct _AsRvalue : __adaptor::_RangeAdaptorClosure<_AsRvalue>
9107 template<viewable_range _Range>
9108 requires __detail::__can_as_rvalue_view<_Range>
9110 operator() [[nodiscard]] (_Range&& __r)
const
9115 if constexpr (same_as<range_rvalue_reference_t<_Range>,
9116 range_reference_t<_Range>>)
9123 inline constexpr _AsRvalue as_rvalue;
9127#ifdef __cpp_lib_ranges_enumerate
9130 template<
typename _Range>
9131 concept __range_with_movable_reference = input_range<_Range>
9132 && move_constructible<range_reference_t<_Range>>
9133 && move_constructible<range_rvalue_reference_t<_Range>>;
9137 requires __detail::__range_with_movable_reference<_Vp>
9138 class enumerate_view :
public view_interface<enumerate_view<_Vp>>
9140 _Vp _M_base = _Vp();
9142 template<
bool _Const>
class _Iterator;
9143 template<
bool _Const>
class _Sentinel;
9146 enumerate_view()
requires default_initializable<_Vp> = default;
9149 enumerate_view(_Vp __base)
9150 : _M_base(std::move(__base))
9154 begin()
requires (!__detail::__simple_view<_Vp>)
9155 {
return _Iterator<false>(ranges::begin(_M_base), 0); }
9158 begin() const requires __detail::__range_with_movable_reference<const _Vp>
9159 {
return _Iterator<true>(ranges::begin(_M_base), 0); }
9162 end()
requires (!__detail::__simple_view<_Vp>)
9164 if constexpr (common_range<_Vp> && sized_range<_Vp>)
9165 return _Iterator<false>(ranges::end(_M_base), ranges::distance(_M_base));
9167 return _Sentinel<false>(ranges::end(_M_base));
9171 end() const requires __detail::__range_with_movable_reference<const _Vp>
9173 if constexpr (common_range<const _Vp> && sized_range<const _Vp>)
9174 return _Iterator<true>(ranges::end(_M_base), ranges::distance(_M_base));
9176 return _Sentinel<true>(ranges::end(_M_base));
9180 size()
requires sized_range<_Vp>
9181 {
return ranges::size(_M_base); }
9184 size() const requires sized_range<const _Vp>
9185 {
return ranges::size(_M_base); }
9188 base() const & requires copy_constructible<_Vp>
9196 template<
typename _Range>
9197 enumerate_view(_Range&&) -> enumerate_view<views::all_t<_Range>>;
9199 template<
typename _Tp>
9200 inline constexpr bool enable_borrowed_range<enumerate_view<_Tp>>
9201 = enable_borrowed_range<_Tp>;
9204 requires __detail::__range_with_movable_reference<_Vp>
9205 template<
bool _Const>
9206 class enumerate_view<_Vp>::_Iterator
9208 using _Base = __maybe_const_t<_Const, _Vp>;
9213 if constexpr (random_access_range<_Base>)
9214 return random_access_iterator_tag{};
9215 else if constexpr (bidirectional_range<_Base>)
9216 return bidirectional_iterator_tag{};
9217 else if constexpr (forward_range<_Base>)
9218 return forward_iterator_tag{};
9220 return input_iterator_tag{};
9223 friend enumerate_view;
9226 using iterator_category = input_iterator_tag;
9227 using iterator_concept =
decltype(_S_iter_concept());
9228 using difference_type = range_difference_t<_Base>;
9229 using value_type = tuple<difference_type, range_value_t<_Base>>;
9232 using __reference_type = tuple<difference_type, range_reference_t<_Base>>;
9234 iterator_t<_Base> _M_current = iterator_t<_Base>();
9235 difference_type _M_pos = 0;
9238 _Iterator(iterator_t<_Base> __current, difference_type __pos)
9239 : _M_current(std::move(__current)), _M_pos(__pos)
9243 _Iterator()
requires default_initializable<iterator_t<_Base>> = default;
9246 _Iterator(_Iterator<!_Const> __i)
9247 requires _Const && convertible_to<iterator_t<_Vp>, iterator_t<_Base>>
9248 : _M_current(std::move(__i._M_current)), _M_pos(__i._M_pos)
9251 constexpr const iterator_t<_Base> &
9252 base() const & noexcept
9253 {
return _M_current; }
9255 constexpr iterator_t<_Base>
9259 constexpr difference_type
9260 index() const noexcept
9265 {
return __reference_type(_M_pos, *_M_current); }
9267 constexpr _Iterator&
9280 operator++(
int)
requires forward_range<_Base>
9287 constexpr _Iterator&
9288 operator--()
requires bidirectional_range<_Base>
9296 operator--(
int)
requires bidirectional_range<_Base>
9303 constexpr _Iterator&
9304 operator+=(difference_type __n)
requires random_access_range<_Base>
9311 constexpr _Iterator&
9312 operator-=(difference_type __n)
requires random_access_range<_Base>
9320 operator[](difference_type __n)
const requires random_access_range<_Base>
9321 {
return __reference_type(_M_pos + __n, _M_current[__n]); }
9323 friend constexpr bool
9324 operator==(
const _Iterator& __x,
const _Iterator& __y)
noexcept
9325 {
return __x._M_pos == __y._M_pos; }
9327 friend constexpr strong_ordering
9328 operator<=>(
const _Iterator& __x,
const _Iterator& __y)
noexcept
9329 {
return __x._M_pos <=> __y._M_pos; }
9331 friend constexpr _Iterator
9332 operator+(
const _Iterator& __x, difference_type __y)
9333 requires random_access_range<_Base>
9334 {
return (
auto(__x) += __y); }
9336 friend constexpr _Iterator
9337 operator+(difference_type __x,
const _Iterator& __y)
9338 requires random_access_range<_Base>
9339 {
return auto(__y) += __x; }
9341 friend constexpr _Iterator
9342 operator-(
const _Iterator& __x, difference_type __y)
9343 requires random_access_range<_Base>
9344 {
return auto(__x) -= __y; }
9346 friend constexpr difference_type
9347 operator-(
const _Iterator& __x,
const _Iterator& __y)
noexcept
9348 {
return __x._M_pos - __y._M_pos; }
9350 friend constexpr auto
9351 iter_move(
const _Iterator& __i)
9352 noexcept(
noexcept(ranges::iter_move(__i._M_current))
9353 && is_nothrow_move_constructible_v<range_rvalue_reference_t<_Base>>)
9355 return tuple<difference_type, range_rvalue_reference_t<_Base>>
9356 (__i._M_pos, ranges::iter_move(__i._M_current));
9361 requires __detail::__range_with_movable_reference<_Vp>
9362 template<
bool _Const>
9363 class enumerate_view<_Vp>::_Sentinel
9365 using _Base = __maybe_const_t<_Const, _Vp>;
9367 sentinel_t<_Base> _M_end = sentinel_t<_Base>();
9370 _Sentinel(sentinel_t<_Base> __end)
9371 : _M_end(std::move(__end))
9374 friend enumerate_view;
9377 _Sentinel() =
default;
9380 _Sentinel(_Sentinel<!_Const> __other)
9381 requires _Const && convertible_to<sentinel_t<_Vp>, sentinel_t<_Base>>
9385 constexpr sentinel_t<_Base>
9389 template<
bool _OtherConst>
9390 requires sentinel_for<sentinel_t<_Base>, iterator_t<__maybe_const_t<_OtherConst, _Vp>>>
9391 friend constexpr bool
9392 operator==(
const _Iterator<_OtherConst>& __x,
const _Sentinel& __y)
9393 {
return __x._M_current == __y._M_end; }
9395 template<
bool _OtherConst>
9396 requires sized_sentinel_for<sentinel_t<_Base>, iterator_t<__maybe_const_t<_OtherConst, _Vp>>>
9397 friend constexpr range_difference_t<__maybe_const_t<_OtherConst, _Vp>>
9398 operator-(
const _Iterator<_OtherConst>& __x,
const _Sentinel& __y)
9399 {
return __x._M_current - __y._M_end; }
9401 template<
bool _OtherConst>
9402 requires sized_sentinel_for<sentinel_t<_Base>, iterator_t<__maybe_const_t<_OtherConst, _Vp>>>
9403 friend constexpr range_difference_t<__maybe_const_t<_OtherConst, _Vp>>
9404 operator-(
const _Sentinel& __x,
const _Iterator<_OtherConst>& __y)
9405 {
return __x._M_end - __y._M_current; }
9412 template<
typename _Tp>
9413 concept __can_enumerate_view
9417 struct _Enumerate : __adaptor::_RangeAdaptorClosure<_Enumerate>
9419 template<viewable_range _Range>
9420 requires __detail::__can_enumerate_view<_Range>
9422 operator() [[nodiscard]] (_Range&& __r)
const
9426 inline constexpr _Enumerate enumerate;
9430#ifdef __cpp_lib_ranges_as_const
9435 _Vp _M_base = _Vp();
9438 as_const_view()
requires default_initializable<_Vp> = default;
9441 as_const_view(_Vp __base)
9442 noexcept(is_nothrow_move_constructible_v<_Vp>)
9443 : _M_base(std::move(__base))
9448 noexcept(is_nothrow_copy_constructible_v<_Vp>)
9449 requires copy_constructible<_Vp>
9454 noexcept(is_nothrow_move_constructible_v<_Vp>)
9458 begin()
requires (!__detail::__simple_view<_Vp>)
9459 {
return ranges::cbegin(_M_base); }
9462 begin() const requires range<const _Vp>
9463 {
return ranges::cbegin(_M_base); }
9466 end()
requires (!__detail::__simple_view<_Vp>)
9467 {
return ranges::cend(_M_base); }
9470 end() const requires range<const _Vp>
9471 {
return ranges::cend(_M_base); }
9474 size()
requires sized_range<_Vp>
9475 {
return ranges::size(_M_base); }
9478 size() const requires sized_range<const _Vp>
9479 {
return ranges::size(_M_base); }
9482 template<
typename _Range>
9483 as_const_view(_Range&&) -> as_const_view<views::all_t<_Range>>;
9485 template<
typename _Tp>
9486 inline constexpr bool enable_borrowed_range<as_const_view<_Tp>>
9487 = enable_borrowed_range<_Tp>;
9493 template<
typename _Tp>
9494 inline constexpr bool __is_constable_ref_view =
false;
9496 template<
typename _Range>
9497 inline constexpr bool __is_constable_ref_view<ref_view<_Range>>
9498 = constant_range<const _Range>;
9500 template<
typename _Range>
9504 struct _AsConst : __adaptor::_RangeAdaptorClosure<_AsConst>
9506 template<viewable_range _Range>
9508 operator()(_Range&& __r)
const
9510 requires __detail::__can_as_const_view<_Range>
9512 using _Tp = remove_cvref_t<_Range>;
9513 using element_type = remove_reference_t<range_reference_t<_Range>>;
9514 if constexpr (constant_range<views::all_t<_Range>>)
9516 else if constexpr (__detail::__is_empty_view<_Tp>)
9517 return views::empty<const element_type>;
9518#if __cpp_lib_optional >= 202506L && __cpp_lib_optional_range_support
9519 else if constexpr (__is_optional_ref_v<_Tp>)
9520 return optional<const typename _Tp::value_type&>(__r);
9522 else if constexpr (std::__detail::__is_span<_Tp>)
9524 else if constexpr (__detail::__is_constable_ref_view<_Tp>)
9526 else if constexpr (is_lvalue_reference_v<_Range>
9527 && constant_range<const _Tp>
9529 return ref_view(
static_cast<const _Tp&
>(__r));
9535 inline constexpr _AsConst as_const;
9540 namespace views = ranges::views;
9542#if __cpp_lib_ranges_to_container
9548 template<
typename _Container>
9549 constexpr bool __reservable_container
9550 = sized_range<_Container>
9551 &&
requires(_Container& __c, range_size_t<_Container> __n) {
9553 { __c.capacity() } -> same_as<
decltype(__n)>;
9554 { __c.max_size() } -> same_as<
decltype(__n)>;
9557 template<
typename _Cont,
typename _Range>
9558 constexpr bool __toable =
requires {
9559 requires (!input_range<_Cont>
9560 || convertible_to<range_reference_t<_Range>,
9561 range_value_t<_Cont>>);
9582 template<
typename _Cont, input_range _Rg,
typename... _Args>
9583 requires (!view<_Cont>)
9585 to [[nodiscard]] (_Rg&& __r, _Args&&... __args)
9587 static_assert(!is_const_v<_Cont> && !is_volatile_v<_Cont>);
9588 static_assert(is_class_v<_Cont> || is_union_v<_Cont>);
9590 if constexpr (__detail::__toable<_Cont, _Rg>)
9592 if constexpr (constructible_from<_Cont, _Rg, _Args...>)
9595 else if constexpr (constructible_from<_Cont, from_range_t, _Rg, _Args...>)
9598 else if constexpr (
requires {
requires common_range<_Rg>;
9599 typename __iter_category_t<iterator_t<_Rg>>;
9600 requires derived_from<__iter_category_t<iterator_t<_Rg>>,
9601 input_iterator_tag>;
9602 requires constructible_from<_Cont, iterator_t<_Rg>,
9603 sentinel_t<_Rg>, _Args...>;
9605 return _Cont(ranges::begin(__r), ranges::end(__r),
9609 static_assert(constructible_from<_Cont, _Args...>);
9611 if constexpr (sized_range<_Rg>
9612 && __detail::__reservable_container<_Cont>)
9613 __c.reserve(
static_cast<range_size_t<_Cont>
>(ranges::size(__r)));
9617 auto __it = ranges::begin(__r);
9618 const auto __sent = ranges::end(__r);
9619 while (__it != __sent)
9621 if constexpr (
requires { __c.emplace_back(*__it); })
9622 __c.emplace_back(*__it);
9623 else if constexpr (
requires { __c.push_back(*__it); })
9624 __c.push_back(*__it);
9625 else if constexpr (
requires { __c.emplace(__c.end(), *__it); })
9626 __c.emplace(__c.end(), *__it);
9628 __c.insert(__c.end(), *__it);
9636 static_assert(input_range<range_reference_t<_Rg>>);
9639 return ranges::to<_Cont>(ref_view(__r) | views::transform(
9640 []<
typename _Elt>(_Elt&& __elem) {
9641 using _ValT = range_value_t<_Cont>;
9650 template<
typename _Rg>
9653 using iterator_category = input_iterator_tag;
9654 using value_type = range_value_t<_Rg>;
9655 using difference_type = ptrdiff_t;
9656 using pointer = add_pointer_t<range_reference_t<_Rg>>;
9657 using reference = range_reference_t<_Rg>;
9659 pointer operator->()
const;
9660 _InputIter& operator++();
9661 _InputIter operator++(
int);
9662 bool operator==(
const _InputIter&)
const;
9665 template<
template<
typename...>
typename _Cont, input_range _Rg,
9670 template<
template<
typename...>
typename _Cont, input_range _Rg,
9676 template<
template<
typename...>
typename _Cont, input_range _Rg,
9686 template<
template<
typename...>
typename _Cont, input_range _Rg,
9689 to [[nodiscard]] (_Rg&& __r, _Args&&... __args)
9691 using __detail::_DeduceExpr1;
9692 using __detail::_DeduceExpr2;
9693 using __detail::_DeduceExpr3;
9694 if constexpr (
requires {
typename _DeduceExpr1<_Cont, _Rg, _Args...>; })
9695 return ranges::to<_DeduceExpr1<_Cont, _Rg, _Args...>>(
9697 else if constexpr (
requires {
typename _DeduceExpr2<_Cont, _Rg, _Args...>; })
9698 return ranges::to<_DeduceExpr2<_Cont, _Rg, _Args...>>(
9700 else if constexpr (
requires {
typename _DeduceExpr3<_Cont, _Rg, _Args...>; })
9701 return ranges::to<_DeduceExpr3<_Cont, _Rg, _Args...>>(
9704 static_assert(
false);
9710 template<
typename _Cont>
9713 template<
typename _Range,
typename... _Args>
9717 operator()(_Range&& __r, _Args&&... __args)
const
9741 template<
typename _Cont,
typename... _Args>
9742 requires (!view<_Cont>)
9744 to [[nodiscard]] (_Args&&... __args)
9746 static_assert(!is_const_v<_Cont> && !is_volatile_v<_Cont>);
9747 static_assert(is_class_v<_Cont> || is_union_v<_Cont>);
9749 using __detail::_To;
9750 using views::__adaptor::_Partial;
9757 template<
template<
typename...>
typename _Cont>
9760 template<
typename _Range,
typename... _Args>
9764 operator()(_Range&& __r, _Args&&... __args)
const
9790 template<
template<
typename...>
typename _Cont,
typename... _Args>
9792 to [[nodiscard]] (_Args&&... __args)
9794 using __detail::_To2;
9795 using views::__adaptor::_Partial;
9802#if __cpp_lib_ranges_concat
9807 template<
typename... _Rs>
9808 using __concat_reference_t = common_reference_t<range_reference_t<_Rs>...>;
9810 template<
typename... _Rs>
9811 using __concat_value_t = common_type_t<range_value_t<_Rs>...>;
9813 template<
typename... _Rs>
9814 using __concat_rvalue_reference_t
9815 = common_reference_t<range_rvalue_reference_t<_Rs>...>;
9817 template<
typename _Ref,
typename _RRef,
typename _It>
9818 concept __concat_indirectly_readable_impl =
requires(
const _It __it) {
9819 { *__it } -> convertible_to<_Ref>;
9820 { ranges::iter_move(__it) } -> convertible_to<_RRef>;
9823 template<
typename... _Rs>
9824 concept __concat_indirectly_readable
9825 = common_reference_with<__concat_reference_t<_Rs...>&&, __concat_value_t<_Rs...>&>
9826 && common_reference_with<__concat_reference_t<_Rs...>&&,
9827 __concat_rvalue_reference_t<_Rs...>&&>
9828 && common_reference_with<__concat_rvalue_reference_t<_Rs...>&&,
9829 __concat_value_t<_Rs...>
const&>
9830 && (__concat_indirectly_readable_impl<__concat_reference_t<_Rs...>,
9831 __concat_rvalue_reference_t<_Rs...>,
9835 template<
typename... _Rs>
9836 concept __concatable =
requires {
9837 typename __concat_reference_t<_Rs...>;
9838 typename __concat_value_t<_Rs...>;
9839 typename __concat_rvalue_reference_t<_Rs...>;
9840 } && __concat_indirectly_readable<_Rs...>;
9842 template<
bool _Const,
typename _Range,
typename... _Rs>
9843 struct __all_but_last_common
9845 static inline constexpr bool value
9846 =
requires {
requires (common_range<__maybe_const_t<_Const, _Range>>
9847 && __all_but_last_common<_Const, _Rs...>::value); };
9850 template<
bool _Const,
typename _Range>
9851 struct __all_but_last_common<_Const, _Range>
9852 {
static inline constexpr bool value =
true; };
9854 template<
bool _Const,
typename... _Rs>
9855 concept __concat_is_random_access = __all_random_access<_Const, _Rs...>
9856 && __all_but_last_common<_Const, _Rs...>::value;
9858 template<
bool _Const,
typename... _Rs>
9859 concept __concat_is_bidirectional = __all_bidirectional<_Const, _Rs...>
9860 && __all_but_last_common<_Const, _Rs...>::value;
9862 template<
typename _Range,
typename... _Rs>
9863 struct __all_but_first_sized
9864 {
static inline constexpr bool value = (sized_range<_Rs> && ...); };
9867 template<input_range... _Vs>
9868 requires (view<_Vs> && ...) && (
sizeof...(_Vs) > 0) && __detail::__concatable<_Vs...>
9869 class concat_view : public view_interface<concat_view<_Vs...>>
9871 tuple<_Vs...> _M_views;
9873 template<
bool _Const>
class _Iterator;
9876 constexpr concat_view() =
default;
9879 concat_view(_Vs... __views)
9880 : _M_views(std::move(__views)...)
9883 constexpr _Iterator<false>
9884 begin()
requires (!(__detail::__simple_view<_Vs> && ...))
9886 _Iterator<false> __it(
this, in_place_index<0>, ranges::begin(std::get<0>(_M_views)));
9887 __it.template _M_satisfy<0>();
9891 constexpr _Iterator<true>
9892 begin() const requires (range<const _Vs> && ...) && __detail::__concatable<const _Vs...>
9894 _Iterator<true> __it(
this, in_place_index<0>, ranges::begin(std::get<0>(_M_views)));
9895 __it.template _M_satisfy<0>();
9900 end()
requires (!(__detail::__simple_view<_Vs> && ...))
9902 constexpr auto __n =
sizeof...(_Vs);
9903 if constexpr (__detail::__all_forward<
false, _Vs...>
9904 && common_range<_Vs...[__n - 1]>)
9905 return _Iterator<false>(
this, in_place_index<__n - 1>,
9906 ranges::end(std::get<__n - 1>(_M_views)));
9912 end() const requires (range<const _Vs> && ...) && __detail::__concatable<const _Vs...>
9914 constexpr auto __n =
sizeof...(_Vs);
9915 if constexpr (__detail::__all_forward<
true, _Vs...>
9916 && common_range<
const _Vs...[__n - 1]>)
9917 return _Iterator<true>(
this, in_place_index<__n - 1>,
9918 ranges::end(std::get<__n - 1>(_M_views)));
9924 size()
requires (sized_range<_Vs>&&...)
9926 return std::apply([](
auto... __sizes) {
9927 using _CT = __detail::__make_unsigned_like_t<
common_type_t<
decltype(__sizes)...>>;
9928 return (_CT(__sizes) + ...);
9929 }, __detail::__tuple_transform(ranges::size, _M_views));
9933 size() const requires (sized_range<const _Vs>&&...)
9935 return std::apply([](
auto... __sizes) {
9936 using _CT = __detail::__make_unsigned_like_t<
common_type_t<
decltype(__sizes)...>>;
9937 return (_CT(__sizes) + ...);
9938 }, __detail::__tuple_transform(ranges::size, _M_views));
9942 template<
typename... _Rs>
9943 concat_view(_Rs&&...) -> concat_view<views::all_t<_Rs>...>;
9947 template<
bool _Const,
typename... _Vs>
9948 struct __concat_view_iter_cat
9951 template<
bool _Const,
typename... _Vs>
9952 requires __detail::__all_forward<_Const, _Vs...>
9953 struct __concat_view_iter_cat<_Const, _Vs...>
9958 if constexpr (!is_reference_v<__concat_reference_t<__maybe_const_t<_Const, _Vs>...>>)
9959 return input_iterator_tag{};
9961 return []<
typename... _Cats>(_Cats... __cats) {
9962 if constexpr ((derived_from<_Cats, random_access_iterator_tag> && ...)
9963 && __concat_is_random_access<_Const, _Vs...>)
9964 return random_access_iterator_tag{};
9965 else if constexpr ((derived_from<_Cats, bidirectional_iterator_tag> && ...)
9966 && __concat_is_bidirectional<_Const, _Vs...>)
9967 return bidirectional_iterator_tag{};
9968 else if constexpr ((derived_from<_Cats, forward_iterator_tag> && ...))
9969 return forward_iterator_tag{};
9971 return input_iterator_tag{};
9972 }(
typename iterator_traits<iterator_t<__maybe_const_t<_Const, _Vs>>>
9973 ::iterator_category{}...);
9978 template<input_range... _Vs>
9979 requires (view<_Vs> && ...) && (
sizeof...(_Vs) > 0) && __detail::__concatable<_Vs...>
9980 template<bool _Const>
9981 class concat_view<_Vs...>::_Iterator
9982 : public __detail::__concat_view_iter_cat<_Const, _Vs...>
9987 if constexpr (__detail::__concat_is_random_access<_Const, _Vs...>)
9988 return random_access_iterator_tag{};
9989 else if constexpr (__detail::__concat_is_bidirectional<_Const, _Vs...>)
9990 return bidirectional_iterator_tag{};
9991 else if constexpr (__detail::__all_forward<_Const, _Vs...>)
9992 return forward_iterator_tag{};
9994 return input_iterator_tag{};
9998 friend _Iterator<!_Const>;
10002 using iterator_concept =
decltype(_S_iter_concept());
10003 using value_type = __detail::__concat_value_t<__maybe_const_t<_Const, _Vs>...>;
10004 using difference_type = common_type_t<range_difference_t<__maybe_const_t<_Const, _Vs>>...>;
10007 using __base_iter = variant<iterator_t<__maybe_const_t<_Const, _Vs>>...>;
10009 __maybe_const_t<_Const, concat_view>* _M_parent =
nullptr;
10012 template<
size_t _Nm>
10016 if constexpr (_Nm < (
sizeof...(_Vs) - 1))
10018 if (std::get<_Nm>(_M_it) == ranges::end(std::get<_Nm>(_M_parent->_M_views)))
10020 _M_it.template emplace<_Nm + 1>(ranges::begin
10021 (std::get<_Nm + 1>(_M_parent->_M_views)));
10022 _M_satisfy<_Nm + 1>();
10027 template<
size_t _Nm>
10031 if constexpr (_Nm == 0)
10032 --std::get<0>(_M_it);
10035 if (std::get<_Nm>(_M_it) == ranges::begin(std::get<_Nm>(_M_parent->_M_views)))
10037 _M_it.template emplace<_Nm - 1>(ranges::end
10038 (std::get<_Nm - 1>(_M_parent->_M_views)));
10039 _M_prev<_Nm - 1>();
10042 --std::get<_Nm>(_M_it);
10046 template<
size_t _Nm>
10048 _M_advance_fwd(difference_type __offset, difference_type __steps)
10050 using _Dt = iter_difference_t<variant_alternative_t<_Nm, __base_iter>>;
10051 if constexpr (_Nm ==
sizeof...(_Vs) - 1)
10052 std::get<_Nm>(_M_it) +=
static_cast<_Dt
>(__steps);
10055 auto __n_size = ranges::distance(std::get<_Nm>(_M_parent->_M_views));
10056 if (__offset + __steps < __n_size)
10057 std::get<_Nm>(_M_it) +=
static_cast<_Dt
>(__steps);
10060 _M_it.template emplace<_Nm + 1>(ranges::begin
10061 (std::get<_Nm + 1>(_M_parent->_M_views)));
10062 _M_advance_fwd<_Nm + 1>(0, __offset + __steps - __n_size);
10067 template<
size_t _Nm>
10069 _M_advance_bwd(difference_type __offset, difference_type __steps)
10071 using _Dt = iter_difference_t<variant_alternative_t<_Nm, __base_iter>>;
10072 if constexpr (_Nm == 0)
10073 std::get<_Nm>(_M_it) -=
static_cast<_Dt
>(__steps);
10075 if (__offset >= __steps)
10076 std::get<_Nm>(_M_it) -=
static_cast<_Dt
>(__steps);
10079 auto __prev_size = ranges::distance(std::get<_Nm - 1>(_M_parent->_M_views));
10080 _M_it.template emplace<_Nm - 1>(ranges::end
10081 (std::get<_Nm - 1>(_M_parent->_M_views)));
10082 _M_advance_bwd<_Nm - 1>(__prev_size, __steps - __offset);
10090 template<
typename _Fp>
10091 static constexpr auto
10092 _S_invoke_with_runtime_index(_Fp&& __f,
size_t __index)
10094 return [&__f, __index]<
size_t _Idx>(
this auto&& __self) {
10095 if (_Idx == __index)
10096 return __f.template operator()<_Idx>();
10097 if constexpr (_Idx + 1 <
sizeof...(_Vs))
10098 return __self.template
operator()<_Idx + 1>();
10099 __builtin_unreachable();
10100 }.template operator()<0>();
10103 template<
typename _Fp>
10105 _M_invoke_with_runtime_index(_Fp&& __f)
10106 {
return _S_invoke_with_runtime_index(
std::forward<_Fp>(__f), _M_it.index()); }
10108 template<
typename... _Args>
10110 _Iterator(__maybe_const_t<_Const, concat_view>* __parent, _Args&&... __args)
10111 requires constructible_from<__base_iter, _Args&&...>
10116 _Iterator() =
default;
10119 _Iterator(_Iterator<!_Const> __it)
10120 requires _Const && (convertible_to<iterator_t<_Vs>, iterator_t<const _Vs>> && ...)
10121 : _M_parent(__it._M_parent),
10122 _M_it(_S_invoke_with_runtime_index([this, &__it]<size_t _Idx>() {
10123 return __base_iter(in_place_index<_Idx>,
10124 std::get<_Idx>(
std::move(__it._M_it)));
10125 }, __it._M_it.index()))
10128 constexpr decltype(
auto)
10131 __glibcxx_assert(!_M_it.valueless_by_exception());
10132 using reference = __detail::__concat_reference_t<__maybe_const_t<_Const, _Vs>...>;
10133 return std::visit([](
auto&& __it) -> reference {
return *__it; }, _M_it);
10136 constexpr _Iterator&
10139 _M_invoke_with_runtime_index([
this]<
size_t _Idx>() {
10140 ++std::get<_Idx>(_M_it);
10141 _M_satisfy<_Idx>();
10150 constexpr _Iterator
10152 requires __detail::__all_forward<_Const, _Vs...>
10154 auto __tmp = *
this;
10159 constexpr _Iterator&
10161 requires __detail::__concat_is_bidirectional<_Const, _Vs...>
10163 __glibcxx_assert(!_M_it.valueless_by_exception());
10164 _M_invoke_with_runtime_index([
this]<
size_t _Idx>() {
10170 constexpr _Iterator
10172 requires __detail::__concat_is_bidirectional<_Const, _Vs...>
10174 auto __tmp = *
this;
10179 constexpr _Iterator&
10180 operator+=(difference_type __n)
10181 requires __detail::__concat_is_random_access<_Const, _Vs...>
10183 __glibcxx_assert(!_M_it.valueless_by_exception());
10184 _M_invoke_with_runtime_index([
this, __n]<
size_t _Idx>() {
10185 auto __begin = ranges::begin(std::get<_Idx>(_M_parent->_M_views));
10187 _M_advance_fwd<_Idx>(std::get<_Idx>(_M_it) - __begin, __n);
10189 _M_advance_bwd<_Idx>(std::get<_Idx>(_M_it) - __begin, -__n);
10194 constexpr _Iterator&
10195 operator-=(difference_type __n)
10196 requires __detail::__concat_is_random_access<_Const, _Vs...>
10202 constexpr decltype(
auto)
10203 operator[](difference_type __n)
const
10204 requires __detail::__concat_is_random_access<_Const, _Vs...>
10205 {
return *((*this) + __n); }
10207 friend constexpr bool
10208 operator==(
const _Iterator& __x,
const _Iterator& __y)
10209 requires (equality_comparable<iterator_t<__maybe_const_t<_Const, _Vs>>> && ...)
10211 __glibcxx_assert(!__x._M_it.valueless_by_exception());
10212 __glibcxx_assert(!__y._M_it.valueless_by_exception());
10213 return __x._M_it == __y._M_it;
10216 friend constexpr bool
10217 operator==(
const _Iterator& __it, default_sentinel_t)
10219 __glibcxx_assert(!__it._M_it.valueless_by_exception());
10220 constexpr auto __last_idx =
sizeof...(_Vs) - 1;
10221 return (__it._M_it.index() == __last_idx
10222 && (std::get<__last_idx>(__it._M_it)
10223 == ranges::end(std::get<__last_idx>(__it._M_parent->_M_views))));
10226 friend constexpr bool
10227 operator<(
const _Iterator& __x,
const _Iterator& __y)
10228 requires __detail::__all_random_access<_Const, _Vs...>
10229 {
return __x._M_it < __y._M_it; }
10231 friend constexpr bool
10232 operator>(
const _Iterator& __x,
const _Iterator& __y)
10233 requires __detail::__all_random_access<_Const, _Vs...>
10234 {
return __x._M_it > __y._M_it; }
10236 friend constexpr bool
10237 operator<=(
const _Iterator& __x,
const _Iterator& __y)
10238 requires __detail::__all_random_access<_Const, _Vs...>
10239 {
return __x._M_it <= __y._M_it; }
10241 friend constexpr bool
10242 operator>=(
const _Iterator& __x,
const _Iterator& __y)
10243 requires __detail::__all_random_access<_Const, _Vs...>
10244 {
return __x._M_it >= __y._M_it; }
10246 friend constexpr auto
10247 operator<=>(
const _Iterator& __x,
const _Iterator& __y)
10248 requires __detail::__all_random_access<_Const, _Vs...>
10249 && (three_way_comparable<iterator_t<__maybe_const_t<_Const, _Vs>>> && ...)
10250 {
return __x._M_it <=> __y._M_it; }
10252 friend constexpr _Iterator
10253 operator+(
const _Iterator& __it, difference_type __n)
10254 requires __detail::__concat_is_random_access<_Const, _Vs...>
10255 {
return auto(__it) += __n; }
10257 friend constexpr _Iterator
10258 operator+(difference_type __n,
const _Iterator& __it)
10259 requires __detail::__concat_is_random_access<_Const, _Vs...>
10260 {
return __it + __n; }
10262 friend constexpr _Iterator
10263 operator-(
const _Iterator& __it, difference_type __n)
10264 requires __detail::__concat_is_random_access<_Const, _Vs...>
10265 {
return auto(__it) -= __n; }
10267 friend constexpr difference_type
10268 operator-(
const _Iterator& __x,
const _Iterator& __y)
10269 requires __detail::__concat_is_random_access<_Const, _Vs...>
10271 return _S_invoke_with_runtime_index([&]<
size_t _Ix>() -> difference_type {
10272 return _S_invoke_with_runtime_index([&]<
size_t _Iy>() -> difference_type {
10273 if constexpr (_Ix > _Iy)
10275 auto __dy = ranges::distance(std::get<_Iy>(__y._M_it),
10276 ranges::end(std::get<_Iy>(__y._M_parent
10278 auto __dx = ranges::distance(ranges::begin(std::get<_Ix>(__x._M_parent
10280 std::get<_Ix>(__x._M_it));
10281 difference_type __s = 0;
10282 [&]<
size_t _Idx = _Iy + 1>(
this auto&& __self) {
10283 if constexpr (_Idx < _Ix)
10285 __s += ranges::size(std::get<_Idx>(__x._M_parent->_M_views));
10286 __self.template operator()<_Idx + 1>();
10289 return __dy + __s + __dx;
10291 else if constexpr (_Ix < _Iy)
10292 return -(__y - __x);
10294 return std::get<_Ix>(__x._M_it) - std::get<_Iy>(__y._M_it);
10295 }, __y._M_it.index());
10296 }, __x._M_it.index());
10299 friend constexpr difference_type
10300 operator-(
const _Iterator& __x, default_sentinel_t)
10301 requires (sized_sentinel_for<sentinel_t<__maybe_const_t<_Const, _Vs>>,
10302 iterator_t<__maybe_const_t<_Const, _Vs>>> && ...)
10303 && __detail::__all_but_first_sized<__maybe_const_t<_Const, _Vs>...>::value
10305 return _S_invoke_with_runtime_index([&]<
size_t _Ix>() -> difference_type {
10306 auto __dx = ranges::distance(std::get<_Ix>(__x._M_it),
10307 ranges::end(std::get<_Ix>(__x._M_parent->_M_views)));
10308 difference_type __s = 0;
10309 [&]<
size_t _Idx = _Ix + 1>(
this auto&& __self) {
10310 if constexpr (_Idx <
sizeof...(_Vs))
10312 __s += ranges::size(std::get<_Idx>(__x._M_parent->_M_views));
10313 __self.template operator()<_Idx + 1>();
10316 return -(__dx + __s);
10317 }, __x._M_it.index());
10320 friend constexpr difference_type
10321 operator-(default_sentinel_t,
const _Iterator& __x)
10322 requires (sized_sentinel_for<sentinel_t<__maybe_const_t<_Const, _Vs>>,
10323 iterator_t<__maybe_const_t<_Const, _Vs>>> && ...)
10324 && __detail::__all_but_first_sized<__maybe_const_t<_Const, _Vs>...>::value
10327 friend constexpr decltype(
auto)
10328 iter_move(
const _Iterator& __it)
10330 using _Res = __detail::__concat_rvalue_reference_t<__maybe_const_t<_Const, _Vs>...>;
10331 return std::visit([](
const auto& __i) -> _Res {
10332 return ranges::iter_move(__i);
10336 friend constexpr void
10337 iter_swap(
const _Iterator& __x,
const _Iterator& __y)
10338 requires swappable_with<iter_reference_t<_Iterator>, iter_reference_t<_Iterator>>
10339 && (... && indirectly_swappable<iterator_t<__maybe_const_t<_Const, _Vs>>>)
10341 std::visit([&]<
typename _Tp,
typename _Up>(
const _Tp& __it1,
const _Up& __it2) {
10342 if constexpr (is_same_v<_Tp, _Up>)
10343 ranges::iter_swap(__it1, __it2);
10345 ranges::swap(*__it1, *__it2);
10346 }, __x._M_it, __y._M_it);
10354 template<
typename... _Ts>
10360 template<
typename... _Ts>
10361 requires __detail::__can_concat_view<_Ts...>
10363 operator() [[nodiscard]] (_Ts&&... __ts)
const
10366 template<input_range _Range>
10368 operator() [[nodiscard]] (_Range&& __t)
const
10372 inline constexpr _Concat concat;
10378#if __cpp_lib_ranges_cache_latest
10381 template<input_range _Vp>
10383 class cache_latest_view :
public view_interface<cache_latest_view<_Vp>>
10385 _Vp _M_base = _Vp();
10387 using __cache_t = __conditional_t<is_reference_v<range_reference_t<_Vp>>,
10388 add_pointer_t<range_reference_t<_Vp>>,
10389 range_reference_t<_Vp>>;
10390 __detail::__non_propagating_cache<__cache_t> _M_cache;
10396 cache_latest_view()
requires default_initializable<_Vp> = default;
10399 cache_latest_view(_Vp __base)
10400 : _M_base(std::move(__base))
10404 base() const & requires copy_constructible<_Vp>
10405 {
return _M_base; }
10413 {
return _Iterator(*
this); }
10417 {
return _Sentinel(*
this); }
10420 size()
requires sized_range<_Vp>
10421 {
return ranges::size(_M_base); }
10424 size() const requires sized_range<const _Vp>
10425 {
return ranges::size(_M_base); }
10428 template<
typename _Range>
10429 cache_latest_view(_Range&&) -> cache_latest_view<views::all_t<_Range>>;
10431 template<input_range _Vp>
10433 class cache_latest_view<_Vp>::_Iterator
10435 cache_latest_view* _M_parent;
10436 iterator_t<_Vp> _M_current;
10439 _Iterator(cache_latest_view& __parent)
10441 _M_current(ranges::begin(__parent._M_base))
10444 friend class cache_latest_view;
10447 using difference_type = range_difference_t<_Vp>;
10448 using value_type = range_value_t<_Vp>;
10449 using iterator_concept = input_iterator_tag;
10451 _Iterator(_Iterator&&) =
default;
10454 operator=(_Iterator&&) =
default;
10456 constexpr iterator_t<_Vp>
10460 constexpr const iterator_t<_Vp>&
10461 base() const & noexcept
10462 {
return _M_current; }
10464 constexpr range_reference_t<_Vp>&
10467 if constexpr (is_reference_v<range_reference_t<_Vp>>)
10469 if (!_M_parent->_M_cache)
10470 _M_parent->_M_cache =
std::__addressof(__detail::__as_lvalue(*_M_current));
10471 return **_M_parent->_M_cache;
10475 if (!_M_parent->_M_cache)
10476 _M_parent->_M_cache._M_emplace_deref(_M_current);
10477 return *_M_parent->_M_cache;
10481 constexpr _Iterator&
10484 _M_parent->_M_cache._M_reset();
10493 friend constexpr range_rvalue_reference_t<_Vp>
10494 iter_move(
const _Iterator& __i)
10495 noexcept(
noexcept(ranges::iter_move(__i._M_current)))
10496 {
return ranges::iter_move(__i._M_current); }
10498 friend constexpr void
10499 iter_swap(
const _Iterator& __x,
const _Iterator& __y)
10500 noexcept(
noexcept(ranges::iter_swap(__x._M_current, __y._M_current)))
10501 requires indirectly_swappable<iterator_t<_Vp>>
10502 { ranges::iter_swap(__x._M_current, __y._M_current); }
10505 template<input_range _Vp>
10507 class cache_latest_view<_Vp>::_Sentinel
10509 sentinel_t<_Vp> _M_end = sentinel_t<_Vp>();
10512 _Sentinel(cache_latest_view& __parent)
10513 : _M_end(ranges::end(__parent._M_base))
10516 friend class cache_latest_view;
10519 _Sentinel() =
default;
10521 constexpr sentinel_t<_Vp>
10525 friend constexpr bool
10526 operator==(
const _Iterator& __x,
const _Sentinel& __y)
10527 {
return __x._M_current == __y._M_end; }
10529 friend constexpr range_difference_t<_Vp>
10530 operator-(
const _Iterator& __x,
const _Sentinel& __y)
10531 requires sized_sentinel_for<sentinel_t<_Vp>, iterator_t<_Vp>>
10532 {
return __x._M_current - __y._M_end; }
10534 friend constexpr range_difference_t<_Vp>
10535 operator-(
const _Sentinel& __x,
const _Iterator& __y)
10536 requires sized_sentinel_for<sentinel_t<_Vp>, iterator_t<_Vp>>
10537 {
return __x._M_end - __y._M_current; }
10544 template<
typename _Tp>
10545 concept __can_cache_latest =
requires { cache_latest_view(
std::declval<_Tp>()); };
10548 struct _CacheLatest : __adaptor::_RangeAdaptorClosure<_CacheLatest>
10550 template<viewable_range _Range>
10551 requires __detail::__can_cache_latest<_Range>
10553 operator() [[nodiscard]] (_Range&& __r)
const
10556 static constexpr bool _S_has_simple_call_op =
true;
10559 inline constexpr _CacheLatest cache_latest;
10564#if __cpp_lib_ranges_as_input
10567 template<input_range _Vp>
10569 class as_input_view :
public view_interface<as_input_view<_Vp>>
10571 _Vp _M_base = _Vp();
10573 template<
bool _Const>
10577 as_input_view()
requires default_initializable<_Vp> = default;
10580 as_input_view(_Vp __base)
10581 : _M_base(std::move(__base))
10585 base() const & requires copy_constructible<_Vp>
10586 {
return _M_base; }
10593 begin()
requires (!__detail::__simple_view<_Vp>)
10594 {
return _Iterator<false>(ranges::begin(_M_base)); }
10597 begin() const requires range<const _Vp>
10598 {
return _Iterator<true>(ranges::begin(_M_base)); }
10601 end()
requires (!__detail::__simple_view<_Vp>)
10602 {
return ranges::end(_M_base); }
10605 end() const requires range<const _Vp>
10606 {
return ranges::end(_M_base); }
10609 size()
requires sized_range<_Vp>
10610 {
return ranges::size(_M_base); }
10613 size() const requires sized_range<const _Vp>
10614 {
return ranges::size(_M_base); }
10617 template<
typename _Range>
10618 as_input_view(_Range&&) -> as_input_view<views::all_t<_Range>>;
10620 template<input_range _Vp>
10622 template<
bool _Const>
10623 class as_input_view<_Vp>::_Iterator
10625 using _Base = __maybe_const_t<_Const, _Vp>;
10627 iterator_t<_Base> _M_current = iterator_t<_Base>();
10630 _Iterator(iterator_t<_Base> __current)
10631 : _M_current(std::move(__current))
10634 friend as_input_view;
10635 friend _Iterator<!_Const>;
10638 using difference_type = range_difference_t<_Base>;
10639 using value_type = range_value_t<_Base>;
10640 using iterator_concept = input_iterator_tag;
10642 _Iterator()
requires default_initializable<iterator_t<_Base>> = default;
10644 _Iterator(_Iterator&&) = default;
10645 _Iterator& operator=(_Iterator&&) = default;
10648 _Iterator(_Iterator<!_Const> __i)
10649 requires _Const && convertible_to<iterator_t<_Vp>, iterator_t<_Base>>
10650 : _M_current(std::move(__i._M_current))
10653 constexpr iterator_t<_Base>
10657 constexpr const iterator_t<_Base>&
10658 base() const & noexcept
10659 {
return _M_current; }
10661 constexpr decltype(
auto)
10663 {
return *_M_current; }
10665 constexpr _Iterator&
10676 friend constexpr bool
10677 operator==(
const _Iterator& __x,
const sentinel_t<_Base>& __y)
10678 {
return __x._M_current == __y; }
10680 friend constexpr difference_type
10681 operator-(
const sentinel_t<_Base>& __y,
const _Iterator& __x)
10682 requires sized_sentinel_for<sentinel_t<_Base>, iterator_t<_Base>>
10683 {
return __y - __x._M_current; }
10685 friend constexpr difference_type
10686 operator-(
const _Iterator& __x,
const sentinel_t<_Base>& __y)
10687 requires sized_sentinel_for<sentinel_t<_Base>, iterator_t<_Base>>
10688 {
return __x._M_current - __y; }
10690 friend constexpr range_rvalue_reference_t<_Base>
10691 iter_move(
const _Iterator& __i)
10692 noexcept(
noexcept(ranges::iter_move(__i._M_current)))
10693 {
return ranges::iter_move(__i._M_current); }
10695 friend constexpr void
10696 iter_swap(
const _Iterator& __x,
const _Iterator& __y)
10697 noexcept(
noexcept(ranges::iter_swap(__x._M_current, __y._M_current)))
10698 requires indirectly_swappable<iterator_t<_Base>>
10699 { ranges::iter_swap(__x._M_current, __y._M_current); }
10706 template<
typename _Tp>
10710 struct _AsInput : __adaptor::_RangeAdaptorClosure<_AsInput>
10712 template<viewable_range _Range>
10713 requires __detail::__can_as_input<_Range>
10715 operator() [[nodiscard]] (_Range&& __r)
const
10717 if constexpr (input_range<_Range>
10718 && !common_range<_Range>
10719 && !forward_range<_Range>)
10725 static constexpr bool _S_has_simple_call_op =
true;
10728 inline constexpr _AsInput as_input;
10733_GLIBCXX_END_NAMESPACE_VERSION
constexpr bool operator<=(const duration< _Rep1, _Period1 > &__lhs, const duration< _Rep2, _Period2 > &__rhs)
constexpr bool operator>=(const duration< _Rep1, _Period1 > &__lhs, const duration< _Rep2, _Period2 > &__rhs)
constexpr bool operator<(const duration< _Rep1, _Period1 > &__lhs, const duration< _Rep2, _Period2 > &__rhs)
constexpr bool operator>(const duration< _Rep1, _Period1 > &__lhs, const duration< _Rep2, _Period2 > &__rhs)
constexpr complex< _Tp > operator*(const complex< _Tp > &__x, const complex< _Tp > &__y)
Return new complex value x times y.
constexpr complex< _Tp > operator-(const complex< _Tp > &__x, const complex< _Tp > &__y)
Return new complex value x minus y.
constexpr complex< _Tp > operator+(const complex< _Tp > &__x, const complex< _Tp > &__y)
Return new complex value x plus y.
constexpr _Tp * to_address(_Tp *__ptr) noexcept
Obtain address referenced by a pointer to an object.
typename remove_reference< _Tp >::type remove_reference_t
Alias template for remove_reference.
typename common_type< _Tp... >::type common_type_t
Alias template for common_type.
typename make_unsigned< _Tp >::type make_unsigned_t
Alias template for make_unsigned.
typename decay< _Tp >::type decay_t
Alias template for decay.
auto declval() noexcept -> decltype(__declval< _Tp >(0))
constexpr _Tp * addressof(_Tp &__r) noexcept
Returns the actual address of the object or function referenced by r, even in the presence of an over...
constexpr std::remove_reference< _Tp >::type && move(_Tp &&__t) noexcept
Convert a value to an rvalue.
constexpr __invoke_result< _Callable, _Args... >::type __invoke(_Callable &&__fn, _Args &&... __args) noexcept(__is_nothrow_invocable< _Callable, _Args... >::value)
Invoke a callable object.
constexpr _Tp * __addressof(_Tp &__r) noexcept
Same as C++11 std::addressof.
constexpr _Tp && forward(typename std::remove_reference< _Tp >::type &__t) noexcept
Forward an lvalue.
constexpr const _Tp & min(const _Tp &, const _Tp &)
This does what you think it does.
constexpr reverse_iterator< _Iterator > make_reverse_iterator(_Iterator __i)
Generator function for reverse_iterator.
ISO C++ entities toplevel namespace is std.
make_integer_sequence< size_t, _Num > make_index_sequence
Alias template make_index_sequence.
integer_sequence< size_t, _Idx... > index_sequence
Alias template index_sequence.
constexpr auto end(_Container &__cont) noexcept(noexcept(__cont.end())) -> decltype(__cont.end())
Return an iterator pointing to one past the last element of the container.
constexpr auto empty(const _Container &__cont) noexcept(noexcept(__cont.empty())) -> decltype(__cont.empty())
Return whether a container is empty.
constexpr auto size(const _Container &__cont) noexcept(noexcept(__cont.size())) -> decltype(__cont.size())
Return the size of a container.
constexpr default_sentinel_t default_sentinel
A default sentinel value.
constexpr auto data(_Container &__cont) noexcept(noexcept(__cont.data())) -> decltype(__cont.data())
Return the data pointer of a container.
constexpr auto begin(_Container &__cont) noexcept(noexcept(__cont.begin())) -> decltype(__cont.begin())
Return an iterator pointing to the first element of the container.
constexpr _Iterator __base(_Iterator __it)
A view that contains no elements.
A view that contains exactly one element.
constexpr reference_wrapper< _Tp > ref(_Tp &__t) noexcept
Denotes a reference should be taken to a variable.
constexpr reference_wrapper< const _Tp > cref(const _Tp &__t) noexcept
Denotes a const reference should be taken to a variable.
The ranges::view_interface class template.
[concept.constructible], concept constructible_from
[concept.defaultinitializable], concept default_initializable
[concept.moveconstructible], concept move_constructible
[concept.copyconstructible], concept copy_constructible
[range.range] The range concept.
[range.sized] The sized_range concept.
[range.view] The ranges::view concept.
A range for which ranges::begin returns an input iterator.
A range for which ranges::begin returns a forward iterator.
A range for which ranges::begin returns a bidirectional iterator.
A range for which ranges::begin returns a random access iterator.
A range for which ranges::begin returns a contiguous iterator.
A range for which ranges::begin and ranges::end return the same type.