30#ifndef _ITERATOR_CONCEPTS_H
31#define _ITERATOR_CONCEPTS_H 1
33#pragma GCC system_header
35#if __cplusplus >= 202002L
40namespace std _GLIBCXX_VISIBILITY(default)
42_GLIBCXX_BEGIN_NAMESPACE_VERSION
64 struct input_iterator_tag;
65 struct output_iterator_tag;
66 struct forward_iterator_tag;
67 struct bidirectional_iterator_tag;
68 struct random_access_iterator_tag;
69 struct contiguous_iterator_tag;
71 template<
typename _Iterator>
72 struct iterator_traits;
74 template<
typename _Tp>
requires is_object_v<_Tp>
75 struct iterator_traits<_Tp*>;
77 template<
typename _Iterator,
typename>
78 struct __iterator_traits;
82 template<
typename _Tp>
83 using __with_ref = _Tp&;
85 template<
typename _Tp>
86 concept __can_reference =
requires {
typename __with_ref<_Tp>; };
88 template<
typename _Tp>
89 concept __dereferenceable =
requires(_Tp& __t)
91 { *__t } -> __can_reference;
95 template<__detail::__dereferenceable _Tp>
103 void iter_move() =
delete;
105 template<
typename _Tp>
107 = (std::__detail::__class_or_enum<remove_reference_t<_Tp>>)
108 &&
requires(_Tp&& __t) { iter_move(
static_cast<_Tp&&
>(__t)); };
113 template<
typename _Tp>
115 {
using type = iter_reference_t<_Tp>; };
117 template<
typename _Tp>
118 requires __adl_imove<_Tp>
122 template<
typename _Tp>
123 requires (!__adl_imove<_Tp>)
124 && is_lvalue_reference_v<iter_reference_t<_Tp>>
126 {
using type = remove_reference_t<iter_reference_t<_Tp>>&&; };
128 template<
typename _Tp>
129 static constexpr bool
132 if constexpr (__adl_imove<_Tp>)
140 template<std::__detail::__dereferenceable _Tp>
141 using __type =
typename __result<_Tp>::type;
143 template<std::__detail::__dereferenceable _Tp>
145 constexpr __type<_Tp>
146 operator()(_Tp&& __e)
const
147 noexcept(_S_noexcept<_Tp>())
149 if constexpr (__adl_imove<_Tp>)
150 return iter_move(
static_cast<_Tp&&
>(__e));
151 else if constexpr (is_lvalue_reference_v<iter_reference_t<_Tp>>)
152 return static_cast<__type<_Tp>
>(*__e);
160 inline namespace _Cpo {
161 inline constexpr __imove::_IterMove iter_move{};
165 template<__detail::__dereferenceable _Tp>
166 requires __detail::__can_reference<ranges::__imove::_IterMove::__type<_Tp&>>
167 using iter_rvalue_reference_t = ranges::__imove::_IterMove::__type<_Tp&>;
169 template<
typename>
struct incrementable_traits { };
171 template<
typename _Tp>
requires is_object_v<_Tp>
172 struct incrementable_traits<_Tp*>
173 {
using difference_type = ptrdiff_t; };
175 template<
typename _Iter>
176 struct incrementable_traits<const _Iter>
177 : incrementable_traits<_Iter> { };
179 template<
typename _Tp>
requires requires {
typename _Tp::difference_type; }
180 struct incrementable_traits<_Tp>
181 {
using difference_type =
typename _Tp::difference_type; };
183 template<
typename _Tp>
184 requires (!
requires {
typename _Tp::difference_type; }
185 &&
requires(
const _Tp& __a,
const _Tp& __b)
186 { { __a - __b } -> integral; })
187 struct incrementable_traits<_Tp>
189 using difference_type
193#if defined __STRICT_ANSI__ && defined __SIZEOF_INT128__
196 struct incrementable_traits<__int128>
197 {
using difference_type = __int128; };
200 struct incrementable_traits<unsigned __int128>
201 {
using difference_type = __int128; };
208 template<
typename _Iter>
209 concept __primary_traits_iter
210 = __is_base_of(__iterator_traits<_Iter, void>, iterator_traits<_Iter>);
212 template<
typename _Iter,
typename _Tp>
213 struct __iter_traits_impl
214 {
using type = iterator_traits<_Iter>; };
216 template<
typename _Iter,
typename _Tp>
217 requires __primary_traits_iter<_Iter>
218 struct __iter_traits_impl<_Iter, _Tp>
219 {
using type = _Tp; };
222 template<
typename _Iter,
typename _Tp = _Iter>
223 using __iter_traits =
typename __iter_traits_impl<_Iter, _Tp>::type;
225 template<
typename _Tp>
226 using __iter_diff_t =
typename
227 __iter_traits<_Tp, incrementable_traits<_Tp>>::difference_type;
230 template<
typename _Tp>
231 using iter_difference_t = __detail::__iter_diff_t<remove_cvref_t<_Tp>>;
235 template<
typename>
struct __cond_value_type { };
237 template<
typename _Tp>
requires is_object_v<_Tp>
238 struct __cond_value_type<_Tp>
239 {
using value_type = remove_cv_t<_Tp>; };
241 template<
typename _Tp>
242 concept __has_member_value_type
243 =
requires {
typename _Tp::value_type; };
245 template<
typename _Tp>
246 concept __has_member_element_type
247 =
requires {
typename _Tp::element_type; };
251 template<
typename>
struct indirectly_readable_traits { };
253 template<
typename _Tp>
254 struct indirectly_readable_traits<_Tp*>
255 : __detail::__cond_value_type<_Tp>
258 template<
typename _Iter>
requires is_array_v<_Iter>
259 struct indirectly_readable_traits<_Iter>
260 {
using value_type = remove_cv_t<remove_extent_t<_Iter>>; };
262 template<
typename _Iter>
263 struct indirectly_readable_traits<const _Iter>
264 : indirectly_readable_traits<_Iter>
267 template<__detail::__has_member_value_type _Tp>
268 struct indirectly_readable_traits<_Tp>
269 : __detail::__cond_value_type<typename _Tp::value_type>
272 template<__detail::__has_member_element_type _Tp>
273 struct indirectly_readable_traits<_Tp>
274 : __detail::__cond_value_type<typename _Tp::element_type>
279 template<__detail::__has_member_value_type _Tp>
280 requires __detail::__has_member_element_type<_Tp>
281 && same_as<remove_cv_t<typename _Tp::element_type>,
282 remove_cv_t<typename _Tp::value_type>>
283 struct indirectly_readable_traits<_Tp>
284 : __detail::__cond_value_type<typename _Tp::value_type>
289 template<__detail::__has_member_value_type _Tp>
290 requires __detail::__has_member_element_type<_Tp>
291 struct indirectly_readable_traits<_Tp>
296 template<
typename _Tp>
297 using __iter_value_t =
typename
298 __iter_traits<_Tp, indirectly_readable_traits<_Tp>>::value_type;
301 template<
typename _Tp>
302 using iter_value_t = __detail::__iter_value_t<remove_cvref_t<_Tp>>;
308 template<
typename _Iter>
309 concept __cpp17_iterator =
requires(_Iter __it)
311 { *__it } -> __can_reference;
312 { ++__it } -> same_as<_Iter&>;
313 { *__it++ } -> __can_reference;
314 } && copyable<_Iter>;
316 template<
typename _Iter>
317 concept __cpp17_input_iterator = __cpp17_iterator<_Iter>
318 && equality_comparable<_Iter>
319 &&
requires(_Iter __it)
321 typename incrementable_traits<_Iter>::difference_type;
322 typename indirectly_readable_traits<_Iter>::value_type;
323 typename common_reference_t<iter_reference_t<_Iter>&&,
324 typename indirectly_readable_traits<_Iter>::value_type&>;
326 typename indirectly_readable_traits<_Iter>::value_type&>;
327 requires signed_integral<
328 typename incrementable_traits<_Iter>::difference_type>;
331 template<
typename _Iter>
332 concept __cpp17_fwd_iterator = __cpp17_input_iterator<_Iter>
333 && constructible_from<_Iter>
334 && is_lvalue_reference_v<iter_reference_t<_Iter>>
335 && same_as<remove_cvref_t<iter_reference_t<_Iter>>,
336 typename indirectly_readable_traits<_Iter>::value_type>
337 &&
requires(_Iter __it)
339 { __it++ } -> convertible_to<const _Iter&>;
340 { *__it++ } -> same_as<iter_reference_t<_Iter>>;
343 template<
typename _Iter>
344 concept __cpp17_bidi_iterator = __cpp17_fwd_iterator<_Iter>
345 &&
requires(_Iter __it)
347 { --__it } -> same_as<_Iter&>;
348 { __it-- } -> convertible_to<const _Iter&>;
349 { *__it-- } -> same_as<iter_reference_t<_Iter>>;
352 template<
typename _Iter>
353 concept __cpp17_randacc_iterator = __cpp17_bidi_iterator<_Iter>
354 && totally_ordered<_Iter>
355 &&
requires(_Iter __it,
356 typename incrementable_traits<_Iter>::difference_type __n)
358 { __it += __n } -> same_as<_Iter&>;
359 { __it -= __n } -> same_as<_Iter&>;
360 { __it + __n } -> same_as<_Iter>;
361 { __n + __it } -> same_as<_Iter>;
362 { __it - __n } -> same_as<_Iter>;
363 { __it - __it } -> same_as<
decltype(__n)>;
364 { __it[__n] } -> convertible_to<iter_reference_t<_Iter>>;
367 template<
typename _Iter>
368 concept __iter_with_nested_types =
requires {
369 typename _Iter::iterator_category;
370 typename _Iter::value_type;
371 typename _Iter::difference_type;
372 typename _Iter::reference;
375 template<
typename _Iter>
376 concept __iter_without_nested_types = !__iter_with_nested_types<_Iter>;
378 template<
typename _Iter>
379 concept __iter_without_category
380 = !
requires {
typename _Iter::iterator_category; };
384 template<
typename _Iterator>
385 requires __detail::__iter_with_nested_types<_Iterator>
386 struct __iterator_traits<_Iterator, void>
389 template<
typename _Iter>
391 {
using type = void; };
393 template<
typename _Iter>
requires requires {
typename _Iter::pointer; }
395 {
using type =
typename _Iter::pointer; };
398 using iterator_category =
typename _Iterator::iterator_category;
399 using value_type =
typename _Iterator::value_type;
400 using difference_type =
typename _Iterator::difference_type;
401 using pointer =
typename __ptr<_Iterator>::type;
402 using reference =
typename _Iterator::reference;
405 template<
typename _Iterator>
406 requires __detail::__iter_without_nested_types<_Iterator>
407 && __detail::__cpp17_input_iterator<_Iterator>
408 struct __iterator_traits<_Iterator, void>
411 template<
typename _Iter>
413 {
using type = input_iterator_tag; };
415 template<
typename _Iter>
416 requires requires {
typename _Iter::iterator_category; }
418 {
using type =
typename _Iter::iterator_category; };
420 template<
typename _Iter>
421 requires __detail::__iter_without_category<_Iter>
422 && __detail::__cpp17_randacc_iterator<_Iter>
424 {
using type = random_access_iterator_tag; };
426 template<
typename _Iter>
427 requires __detail::__iter_without_category<_Iter>
428 && __detail::__cpp17_bidi_iterator<_Iter>
430 {
using type = bidirectional_iterator_tag; };
432 template<
typename _Iter>
433 requires __detail::__iter_without_category<_Iter>
434 && __detail::__cpp17_fwd_iterator<_Iter>
436 {
using type = forward_iterator_tag; };
438 template<
typename _Iter>
440 {
using type = void; };
442 template<
typename _Iter>
requires requires {
typename _Iter::pointer; }
444 {
using type =
typename _Iter::pointer; };
446 template<
typename _Iter>
447 requires (!
requires {
typename _Iter::pointer; }
448 &&
requires(_Iter& __it) { __it.operator->(); })
452 template<
typename _Iter>
454 {
using type = iter_reference_t<_Iter>; };
456 template<
typename _Iter>
requires requires {
typename _Iter::reference; }
458 {
using type =
typename _Iter::reference; };
461 using iterator_category =
typename __cat<_Iterator>::type;
463 =
typename indirectly_readable_traits<_Iterator>::value_type;
464 using difference_type
465 =
typename incrementable_traits<_Iterator>::difference_type;
466 using pointer =
typename __ptr<_Iterator>::type;
467 using reference =
typename __ref<_Iterator>::type;
470 template<
typename _Iterator>
471 requires __detail::__iter_without_nested_types<_Iterator>
472 && __detail::__cpp17_iterator<_Iterator>
473 struct __iterator_traits<_Iterator, void>
476 template<
typename _Iter>
478 {
using type = void; };
480 template<
typename _Iter>
482 {
typename incrementable_traits<_Iter>::difference_type; }
485 using type =
typename incrementable_traits<_Iter>::difference_type;
489 using iterator_category = output_iterator_tag;
490 using value_type = void;
491 using difference_type =
typename __diff<_Iterator>::type;
492 using pointer = void;
493 using reference = void;
498 template<
typename _Iter>
499 struct __iter_concept_impl;
502 template<
typename _Iter>
503 requires requires {
typename __iter_traits<_Iter>::iterator_concept; }
504 struct __iter_concept_impl<_Iter>
505 {
using type =
typename __iter_traits<_Iter>::iterator_concept; };
508 template<
typename _Iter>
509 requires (!
requires {
typename __iter_traits<_Iter>::iterator_concept; }
510 &&
requires {
typename __iter_traits<_Iter>::iterator_category; })
511 struct __iter_concept_impl<_Iter>
512 {
using type =
typename __iter_traits<_Iter>::iterator_category; };
515 template<
typename _Iter>
516 requires (!
requires {
typename __iter_traits<_Iter>::iterator_concept; }
517 && !
requires {
typename __iter_traits<_Iter>::iterator_category; }
518 && __primary_traits_iter<_Iter>)
519 struct __iter_concept_impl<_Iter>
520 {
using type = random_access_iterator_tag; };
523 template<
typename _Iter>
524 struct __iter_concept_impl
528 template<
typename _Iter>
529 using __iter_concept =
typename __iter_concept_impl<_Iter>::type;
531 template<
typename _In>
532 concept __indirectly_readable_impl =
requires
534 typename iter_value_t<_In>;
535 typename iter_reference_t<_In>;
536 typename iter_rvalue_reference_t<_In>;
537 requires same_as<iter_reference_t<const _In>,
538 iter_reference_t<_In>>;
539 requires same_as<iter_rvalue_reference_t<const _In>,
540 iter_rvalue_reference_t<_In>>;
542 && common_reference_with<iter_reference_t<_In>&&, iter_value_t<_In>&>
543 && common_reference_with<iter_reference_t<_In>&&,
544 iter_rvalue_reference_t<_In>&&>
545 && common_reference_with<iter_rvalue_reference_t<_In>&&,
546 const iter_value_t<_In>&>;
551 template<
typename _In>
552 concept indirectly_readable
553 = __detail::__indirectly_readable_impl<remove_cvref_t<_In>>;
557 template<
typename _Tp>
558 struct __indirect_value
559 {
using type = iter_value_t<_Tp>&; };
564 template<
typename _Tp>
565 using __indirect_value_t =
typename __detail::__indirect_value<_Tp>::type;
567 template<indirectly_readable _Tp>
568 using iter_common_reference_t
569 = common_reference_t<iter_reference_t<_Tp>, __indirect_value_t<_Tp>>;
572 template<
typename _Out,
typename _Tp>
573 concept indirectly_writable =
requires(_Out&& __o, _Tp&& __t)
577 const_cast<const iter_reference_t<_Out>&&
>(*__o)
583 namespace ranges::__detail
585 class __max_diff_type;
586 class __max_size_type;
589 template<
typename _Tp>
590 concept __is_signed_int128
592 = same_as<_Tp, __int128>;
598 template<
typename _Tp>
599 concept __is_unsigned_int128
601 = same_as<_Tp, unsigned __int128>;
606 template<
typename _Tp>
607 concept __cv_bool = same_as<const volatile _Tp, const volatile bool>;
609 template<
typename _Tp>
610 concept __integral_nonbool = integral<_Tp> && !__cv_bool<_Tp>;
612 template<
typename _Tp>
613 concept __is_int128 = __is_signed_int128<_Tp> || __is_unsigned_int128<_Tp>;
615 template<
typename _Tp>
616 concept __is_integer_like = __integral_nonbool<_Tp>
618 || same_as<_Tp, __max_diff_type> || same_as<_Tp, __max_size_type>;
620 template<
typename _Tp>
621 concept __is_signed_integer_like = signed_integral<_Tp>
622 || __is_signed_int128<_Tp>
623 || same_as<_Tp, __max_diff_type>;
627 namespace __detail {
using ranges::__detail::__is_signed_integer_like; }
630 template<
typename _Iter>
631 concept weakly_incrementable = movable<_Iter>
632 &&
requires(_Iter __i)
634 typename iter_difference_t<_Iter>;
635 requires __detail::__is_signed_integer_like<iter_difference_t<_Iter>>;
636 { ++__i } -> same_as<_Iter&>;
640 template<
typename _Iter>
641 concept incrementable = regular<_Iter> && weakly_incrementable<_Iter>
642 &&
requires(_Iter __i) { { __i++ } -> same_as<_Iter>; };
644 template<
typename _Iter>
645 concept input_or_output_iterator
646 =
requires(_Iter __i) { { *__i } -> __detail::__can_reference; }
647 && weakly_incrementable<_Iter>;
649 template<
typename _Sent,
typename _Iter>
650 concept sentinel_for = semiregular<_Sent>
651 && input_or_output_iterator<_Iter>
652 && __detail::__weakly_eq_cmp_with<_Sent, _Iter>;
654 template<
typename _Sent,
typename _Iter>
655 inline constexpr bool disable_sized_sentinel_for =
false;
657 template<
typename _Sent,
typename _Iter>
658 concept sized_sentinel_for = sentinel_for<_Sent, _Iter>
659 && !disable_sized_sentinel_for<remove_cv_t<_Sent>, remove_cv_t<_Iter>>
660 &&
requires(
const _Iter& __i,
const _Sent& __s)
662 { __s - __i } -> same_as<iter_difference_t<_Iter>>;
663 { __i - __s } -> same_as<iter_difference_t<_Iter>>;
666 template<
typename _Iter>
667 concept input_iterator = input_or_output_iterator<_Iter>
668 && indirectly_readable<_Iter>
669 &&
requires {
typename __detail::__iter_concept<_Iter>; }
670 && derived_from<__detail::__iter_concept<_Iter>, input_iterator_tag>;
672 template<
typename _Iter,
typename _Tp>
673 concept output_iterator = input_or_output_iterator<_Iter>
674 && indirectly_writable<_Iter, _Tp>
677 template<
typename _Iter>
678 concept forward_iterator = input_iterator<_Iter>
679 && derived_from<__detail::__iter_concept<_Iter>, forward_iterator_tag>
680 && incrementable<_Iter> && sentinel_for<_Iter, _Iter>;
682 template<
typename _Iter>
683 concept bidirectional_iterator = forward_iterator<_Iter>
684 && derived_from<__detail::__iter_concept<_Iter>,
685 bidirectional_iterator_tag>
686 &&
requires(_Iter __i)
688 { --__i } -> same_as<_Iter&>;
689 { __i-- } -> same_as<_Iter>;
692 template<
typename _Iter>
693 concept random_access_iterator = bidirectional_iterator<_Iter>
694 && derived_from<__detail::__iter_concept<_Iter>,
695 random_access_iterator_tag>
696 && totally_ordered<_Iter> && sized_sentinel_for<_Iter, _Iter>
697 &&
requires(_Iter __i,
const _Iter __j,
698 const iter_difference_t<_Iter> __n)
700 { __i += __n } -> same_as<_Iter&>;
701 { __j + __n } -> same_as<_Iter>;
702 { __n + __j } -> same_as<_Iter>;
703 { __i -= __n } -> same_as<_Iter&>;
704 { __j - __n } -> same_as<_Iter>;
705 { __j[__n] } -> same_as<iter_reference_t<_Iter>>;
708 template<
typename _Iter>
709 concept contiguous_iterator = random_access_iterator<_Iter>
710 && derived_from<__detail::__iter_concept<_Iter>, contiguous_iterator_tag>
711 && is_lvalue_reference_v<iter_reference_t<_Iter>>
712 && same_as<iter_value_t<_Iter>, remove_cvref_t<iter_reference_t<_Iter>>>
713 &&
requires(
const _Iter& __i)
716 -> same_as<add_pointer_t<iter_reference_t<_Iter>>>;
723 template<
typename _Fn,
typename _Iter>
724 concept indirectly_unary_invocable = indirectly_readable<_Iter>
725 && copy_constructible<_Fn> && invocable<_Fn&, __indirect_value_t<_Iter>>
726 && invocable<_Fn&, iter_reference_t<_Iter>>
727 && common_reference_with<invoke_result_t<_Fn&, __indirect_value_t<_Iter>>,
728 invoke_result_t<_Fn&, iter_reference_t<_Iter>>>;
730 template<
typename _Fn,
typename _Iter>
731 concept indirectly_regular_unary_invocable = indirectly_readable<_Iter>
732 && copy_constructible<_Fn>
733 && regular_invocable<_Fn&, __indirect_value_t<_Iter>>
734 && regular_invocable<_Fn&, iter_reference_t<_Iter>>
735 && common_reference_with<invoke_result_t<_Fn&, __indirect_value_t<_Iter>>,
736 invoke_result_t<_Fn&, iter_reference_t<_Iter>>>;
738 template<
typename _Fn,
typename _Iter>
739 concept indirect_unary_predicate = indirectly_readable<_Iter>
740 && copy_constructible<_Fn> && predicate<_Fn&, __indirect_value_t<_Iter>>
741 && predicate<_Fn&, iter_reference_t<_Iter>>;
743 template<
typename _Fn,
typename _I1,
typename _I2>
744 concept indirect_binary_predicate
745 = indirectly_readable<_I1> && indirectly_readable<_I2>
746 && copy_constructible<_Fn>
747 && predicate<_Fn&, __indirect_value_t<_I1>, __indirect_value_t<_I2>>
748 && predicate<_Fn&, __indirect_value_t<_I1>, iter_reference_t<_I2>>
749 && predicate<_Fn&, iter_reference_t<_I1>, __indirect_value_t<_I2>>
750 && predicate<_Fn&, iter_reference_t<_I1>, iter_reference_t<_I2>>;
752 template<
typename _Fn,
typename _I1,
typename _I2 = _I1>
753 concept indirect_equivalence_relation
754 = indirectly_readable<_I1> && indirectly_readable<_I2>
755 && copy_constructible<_Fn>
756 && equivalence_relation<_Fn&, __indirect_value_t<_I1>, __indirect_value_t<_I2>>
757 && equivalence_relation<_Fn&, __indirect_value_t<_I1>, iter_reference_t<_I2>>
758 && equivalence_relation<_Fn&, iter_reference_t<_I1>, __indirect_value_t<_I2>>
759 && equivalence_relation<_Fn&, iter_reference_t<_I1>,
760 iter_reference_t<_I2>>;
762 template<
typename _Fn,
typename _I1,
typename _I2 = _I1>
763 concept indirect_strict_weak_order
764 = indirectly_readable<_I1> && indirectly_readable<_I2>
765 && copy_constructible<_Fn>
766 && strict_weak_order<_Fn&, __indirect_value_t<_I1>, __indirect_value_t<_I2>>
767 && strict_weak_order<_Fn&, __indirect_value_t<_I1>, iter_reference_t<_I2>>
768 && strict_weak_order<_Fn&, iter_reference_t<_I1>, __indirect_value_t<_I2>>
769 && strict_weak_order<_Fn&, iter_reference_t<_I1>, iter_reference_t<_I2>>;
771 template<
typename _Fn,
typename... _Is>
772 requires (indirectly_readable<_Is> && ...)
773 && invocable<_Fn, iter_reference_t<_Is>...>
774 using indirect_result_t = invoke_result_t<_Fn, iter_reference_t<_Is>...>;
778 template<
typename _Iter,
typename _Proj>
783 using value_type = remove_cvref_t<indirect_result_t<_Proj&, _Iter>>;
784 indirect_result_t<_Proj&, _Iter>
operator*()
const;
788 using __projected_Iter = _Iter;
789 using __projected_Proj = _Proj;
793 template<weakly_incrementable _Iter,
typename _Proj>
794 struct __projected<_Iter, _Proj>
798 using value_type = remove_cvref_t<indirect_result_t<_Proj&, _Iter>>;
799 using difference_type = iter_difference_t<_Iter>;
800 indirect_result_t<_Proj&, _Iter>
operator*()
const;
802 using __projected_Iter = _Iter;
803 using __projected_Proj = _Proj;
809 template<indirectly_readable _Iter,
810 indirectly_regular_unary_invocable<_Iter> _Proj>
811 using projected =
typename __detail::__projected<_Iter, _Proj>::__type;
814 template<
typename _Tp>
815 requires same_as<_Tp, projected<
typename _Tp::__projected_Iter,
816 typename _Tp::__projected_Proj>>
817 struct __detail::__indirect_value<_Tp>
819 using _Iter =
typename _Tp::__projected_Iter;
820 using _Proj =
typename _Tp::__projected_Proj;
821 using type = invoke_result_t<_Proj&, __indirect_value_t<_Iter>>;
828 template<
typename _In,
typename _Out>
829 concept indirectly_movable = indirectly_readable<_In>
830 && indirectly_writable<_Out, iter_rvalue_reference_t<_In>>;
832 template<
typename _In,
typename _Out>
833 concept indirectly_movable_storable = indirectly_movable<_In, _Out>
834 && indirectly_writable<_Out, iter_value_t<_In>>
835 && movable<iter_value_t<_In>>
836 && constructible_from<iter_value_t<_In>, iter_rvalue_reference_t<_In>>
837 && assignable_from<iter_value_t<_In>&, iter_rvalue_reference_t<_In>>;
840 template<
typename _In,
typename _Out>
841 concept indirectly_copyable = indirectly_readable<_In>
842 && indirectly_writable<_Out, iter_reference_t<_In>>;
844 template<
typename _In,
typename _Out>
845 concept indirectly_copyable_storable = indirectly_copyable<_In, _Out>
846 && indirectly_writable<_Out, iter_value_t<_In>&>
847 && indirectly_writable<_Out, const iter_value_t<_In>&>
848 && indirectly_writable<_Out, iter_value_t<_In>&&>
849 && indirectly_writable<_Out, const iter_value_t<_In>&&>
850 && copyable<iter_value_t<_In>>
851 && constructible_from<iter_value_t<_In>, iter_reference_t<_In>>
852 && assignable_from<iter_value_t<_In>&, iter_reference_t<_In>>;
859 template<
typename _It1,
typename _It2>
860 void iter_swap(_It1, _It2) =
delete;
862 template<
typename _Tp,
typename _Up>
864 = (std::__detail::__class_or_enum<remove_reference_t<_Tp>>
865 || std::__detail::__class_or_enum<remove_reference_t<_Up>>)
866 &&
requires(_Tp&& __t, _Up&& __u) {
867 iter_swap(
static_cast<_Tp&&
>(__t),
static_cast<_Up&&
>(__u));
870 template<
typename _Xp,
typename _Yp>
871 constexpr iter_value_t<_Xp>
872 __iter_exchange_move(_Xp&& __x, _Yp&& __y)
873 noexcept(
noexcept(iter_value_t<_Xp>(iter_move(__x)))
874 &&
noexcept(*__x = iter_move(__y)))
876 iter_value_t<_Xp> __old_value(iter_move(__x));
877 *__x = iter_move(__y);
884 template<
typename _Tp,
typename _Up>
885 static constexpr bool
888 if constexpr (__adl_iswap<_Tp, _Up>)
891 else if constexpr (indirectly_readable<_Tp>
892 && indirectly_readable<_Up>
893 && swappable_with<iter_reference_t<_Tp>, iter_reference_t<_Up>>)
903 template<
typename _Tp,
typename _Up>
904 requires __adl_iswap<_Tp, _Up>
905 || (indirectly_readable<remove_reference_t<_Tp>>
906 && indirectly_readable<remove_reference_t<_Up>>
907 && swappable_with<iter_reference_t<_Tp>, iter_reference_t<_Up>>)
908 || (indirectly_movable_storable<_Tp, _Up>
909 && indirectly_movable_storable<_Up, _Tp>)
911 operator()(_Tp&& __e1, _Up&& __e2)
const
912 noexcept(_S_noexcept<_Tp, _Up>())
914 if constexpr (__adl_iswap<_Tp, _Up>)
915 iter_swap(
static_cast<_Tp&&
>(__e1),
static_cast<_Up&&
>(__e2));
916 else if constexpr (indirectly_readable<_Tp>
917 && indirectly_readable<_Up>
918 && swappable_with<iter_reference_t<_Tp>, iter_reference_t<_Up>>)
919 ranges::swap(*__e1, *__e2);
921 *__e1 = __iswap::__iter_exchange_move(__e2, __e1);
927 inline namespace _Cpo {
928 inline constexpr __iswap::_IterSwap iter_swap{};
934 template<
typename _I1,
typename _I2 = _I1>
935 concept indirectly_swappable
936 = indirectly_readable<_I1> && indirectly_readable<_I2>
937 &&
requires(
const _I1 __i1,
const _I2 __i2)
939 ranges::iter_swap(__i1, __i1);
940 ranges::iter_swap(__i2, __i2);
941 ranges::iter_swap(__i1, __i2);
942 ranges::iter_swap(__i2, __i1);
946 template<
typename _I1,
typename _I2,
typename _Rel,
typename _P1 = identity,
947 typename _P2 = identity>
948 concept indirectly_comparable
949 = indirect_binary_predicate<_Rel, projected<_I1, _P1>,
950 projected<_I2, _P2>>;
953 template<
typename _Iter>
954 concept permutable = forward_iterator<_Iter>
955 && indirectly_movable_storable<_Iter, _Iter>
956 && indirectly_swappable<_Iter, _Iter>;
959 template<
typename _I1,
typename _I2,
typename _Out,
960 typename _Rel = ranges::less,
typename _P1 = identity,
961 typename _P2 = identity>
962 concept mergeable = input_iterator<_I1> && input_iterator<_I2>
963 && weakly_incrementable<_Out> && indirectly_copyable<_I1, _Out>
964 && indirectly_copyable<_I2, _Out>
965 && indirect_strict_weak_order<_Rel, projected<_I1, _P1>,
966 projected<_I2, _P2>>;
969 template<
typename _Iter,
typename _Rel = ranges::less,
970 typename _Proj = identity>
971 concept sortable = permutable<_Iter>
972 && indirect_strict_weak_order<_Rel, projected<_Iter, _Proj>>;
974 struct unreachable_sentinel_t
976 template<weakly_incrementable _It>
977 friend constexpr bool
978 operator==(unreachable_sentinel_t,
const _It&)
noexcept
982 inline constexpr unreachable_sentinel_t unreachable_sentinel{};
985 namespace ranges::__access
987 using std::__detail::__class_or_enum;
989 struct _Decay_copy final
991 template<
typename _Tp>
992 constexpr decay_t<_Tp>
993 operator()(_Tp&& __t)
const
994 noexcept(is_nothrow_convertible_v<_Tp, decay_t<_Tp>>)
996 }
inline constexpr __decay_copy{};
998 template<
typename _Tp>
999 concept __member_begin =
requires(_Tp& __t)
1001 { __decay_copy(__t.begin()) } -> input_or_output_iterator;
1005 void begin() =
delete;
1007 template<
typename _Tp>
1008 concept __adl_begin = __class_or_enum<remove_reference_t<_Tp>>
1009 &&
requires(_Tp& __t)
1011 { __decay_copy(
begin(__t)) } -> input_or_output_iterator;
1016 template<
typename _Tp>
1017 requires is_array_v<_Tp> || __member_begin<_Tp&> || __adl_begin<_Tp&>
1021 if constexpr (is_array_v<_Tp>)
1023 else if constexpr (__member_begin<_Tp&>)
1033 template<
typename _Tp>
1034 using __range_iter_t
1040_GLIBCXX_END_NAMESPACE_VERSION
constexpr complex< _Tp > operator*(const complex< _Tp > &__x, const complex< _Tp > &__y)
Return new complex value x times y.
constexpr _Tp * to_address(_Tp *__ptr) noexcept
Obtain address referenced by a pointer to an object.
typename common_reference< _Tp... >::type common_reference_t
_Tp * begin(valarray< _Tp > &__va) noexcept
Return an iterator pointing to the first element of the valarray.
ISO C++ entities toplevel namespace is std.
constexpr default_sentinel_t default_sentinel
A default sentinel value.