30#ifndef _GLIBCXX_RANGES_BASE_H
31#define _GLIBCXX_RANGES_BASE_H 1
33#pragma GCC system_header
35#if __cplusplus > 201703L
42#ifdef __cpp_lib_concepts
43namespace std _GLIBCXX_VISIBILITY(default)
45_GLIBCXX_BEGIN_NAMESPACE_VERSION
49 inline constexpr bool disable_sized_range =
false;
51 template<
typename _Tp>
52 inline constexpr bool enable_borrowed_range =
false;
56 constexpr __max_size_type
57 __to_unsigned_like(__max_size_type __t)
noexcept
60 constexpr __max_size_type
61 __to_unsigned_like(__max_diff_type __t)
noexcept
62 {
return __max_size_type(__t); }
64 template<
integral _Tp>
66 __to_unsigned_like(_Tp __t)
noexcept
69#if defined __STRICT_ANSI__ && defined __SIZEOF_INT128__
70 constexpr unsigned __int128
71 __to_unsigned_like(__int128 __t)
noexcept
74 constexpr unsigned __int128
75 __to_unsigned_like(
unsigned __int128 __t)
noexcept
79 template<
typename _Tp>
80 using __make_unsigned_like_t
84 template<
typename _Tp>
85 concept __maybe_borrowed_range
86 = is_lvalue_reference_v<_Tp>
87 || enable_borrowed_range<remove_cvref_t<_Tp>>;
94 using std::ranges::__detail::__maybe_borrowed_range;
95 using std::__detail::__range_iter_t;
100 template<
typename _Tp>
101 static constexpr bool
104 if constexpr (is_array_v<remove_reference_t<_Tp>>)
106 else if constexpr (__member_begin<_Tp>)
113 template<__maybe_borrowed_range _Tp>
114 requires is_array_v<remove_reference_t<_Tp>> || __member_begin<_Tp>
117 operator()[[nodiscard]](_Tp&& __t)
const noexcept(_S_noexcept<_Tp&>())
119 if constexpr (is_array_v<remove_reference_t<_Tp>>)
121 static_assert(is_lvalue_reference_v<_Tp>);
124 else if constexpr (__member_begin<_Tp>)
131 template<
typename _Tp>
132 concept __member_end =
requires(_Tp& __t)
134 { __decay_copy(__t.end()) } -> sentinel_for<__range_iter_t<_Tp>>;
140 template<
typename _Tp>
141 concept __adl_end = __class_or_enum<remove_reference_t<_Tp>>
142 &&
requires(_Tp& __t)
144 { __decay_copy(
end(__t)) } -> sentinel_for<__range_iter_t<_Tp>>;
150 template<
typename _Tp>
151 static constexpr bool
154 if constexpr (is_bounded_array_v<remove_reference_t<_Tp>>)
156 else if constexpr (__member_end<_Tp>)
163 template<__maybe_borrowed_range _Tp>
164 requires is_bounded_array_v<remove_reference_t<_Tp>>
165 || __member_end<_Tp> || __adl_end<_Tp>
167 operator()[[nodiscard]](_Tp&& __t)
const noexcept(_S_noexcept<_Tp&>())
169 if constexpr (is_bounded_array_v<remove_reference_t<_Tp>>)
171 static_assert(is_lvalue_reference_v<_Tp>);
172 return __t + extent_v<remove_reference_t<_Tp>>;
174 else if constexpr (__member_end<_Tp>)
181 template<
typename _Tp>
182 concept __member_rbegin =
requires(_Tp& __t)
184 { __decay_copy(__t.rbegin()) } -> input_or_output_iterator;
189 template<
typename _Tp>
190 concept __adl_rbegin = __class_or_enum<remove_reference_t<_Tp>>
191 &&
requires(_Tp& __t)
193 { __decay_copy(
rbegin(__t)) } -> input_or_output_iterator;
196 template<
typename _Tp>
197 concept __reversable =
requires(_Tp& __t)
199 { _Begin{}(__t) } -> bidirectional_iterator;
200 { _End{}(__t) } -> same_as<
decltype(_Begin{}(__t))>;
206 template<
typename _Tp>
207 static constexpr bool
210 if constexpr (__member_rbegin<_Tp>)
212 else if constexpr (__adl_rbegin<_Tp>)
220 return is_nothrow_copy_constructible_v<_It>;
228 template<__maybe_borrowed_range _Tp>
229 requires __member_rbegin<_Tp> || __adl_rbegin<_Tp> || __reversable<_Tp>
231 operator()[[nodiscard]](_Tp&& __t)
const
232 noexcept(_S_noexcept<_Tp&>())
234 if constexpr (__member_rbegin<_Tp>)
236 else if constexpr (__adl_rbegin<_Tp>)
243 template<
typename _Tp>
244 concept __member_rend =
requires(_Tp& __t)
246 { __decay_copy(__t.rend()) }
250 void rend() =
delete;
252 template<
typename _Tp>
253 concept __adl_rend = __class_or_enum<remove_reference_t<_Tp>>
254 &&
requires(_Tp& __t)
256 { __decay_copy(
rend(__t)) }
263 template<
typename _Tp>
264 static constexpr bool
267 if constexpr (__member_rend<_Tp>)
269 else if constexpr (__adl_rend<_Tp>)
277 return is_nothrow_copy_constructible_v<_It>;
285 template<__maybe_borrowed_range _Tp>
286 requires __member_rend<_Tp> || __adl_rend<_Tp> || __reversable<_Tp>
288 operator()[[nodiscard]](_Tp&& __t)
const
289 noexcept(_S_noexcept<_Tp&>())
291 if constexpr (__member_rend<_Tp>)
293 else if constexpr (__adl_rend<_Tp>)
300 template<
typename _Tp>
301 concept __member_size = !disable_sized_range<remove_cvref_t<_Tp>>
302 &&
requires(_Tp& __t)
304 { __decay_copy(__t.size()) } -> __detail::__is_integer_like;
307 void size() =
delete;
309 template<
typename _Tp>
310 concept __adl_size = __class_or_enum<remove_reference_t<_Tp>>
311 && !disable_sized_range<remove_cvref_t<_Tp>>
312 &&
requires(_Tp& __t)
314 { __decay_copy(
size(__t)) } -> __detail::__is_integer_like;
317 template<
typename _Tp>
318 concept __sentinel_size =
requires(_Tp& __t)
320 requires (!is_unbounded_array_v<remove_reference_t<_Tp>>);
322 { _Begin{}(__t) } -> forward_iterator;
324 { _End{}(__t) } -> sized_sentinel_for<
decltype(_Begin{}(__t))>;
326 __detail::__to_unsigned_like(_End{}(__t) - _Begin{}(__t));
332 template<
typename _Tp>
333 static constexpr bool
336 if constexpr (is_bounded_array_v<remove_reference_t<_Tp>>)
338 else if constexpr (__member_size<_Tp>)
340 else if constexpr (__adl_size<_Tp>)
342 else if constexpr (__sentinel_size<_Tp>)
348 template<
typename _Tp>
349 requires is_bounded_array_v<remove_reference_t<_Tp>>
350 || __member_size<_Tp> || __adl_size<_Tp> || __sentinel_size<_Tp>
352 operator()[[nodiscard]](_Tp&& __t)
const noexcept(_S_noexcept<_Tp&>())
354 if constexpr (is_bounded_array_v<remove_reference_t<_Tp>>)
355 return extent_v<remove_reference_t<_Tp>>;
356 else if constexpr (__member_size<_Tp>)
358 else if constexpr (__adl_size<_Tp>)
360 else if constexpr (__sentinel_size<_Tp>)
361 return __detail::__to_unsigned_like(_End{}(__t) - _Begin{}(__t));
369 template<
typename _Tp>
370 requires requires (_Tp& __t) { _Size{}(__t); }
372 operator()[[nodiscard]](_Tp&& __t)
const noexcept(
noexcept(_Size{}(__t)))
374 auto __size = _Size{}(__t);
375 using __size_type =
decltype(__size);
377 if constexpr (integral<__size_type>)
380 if constexpr (__int_traits<__size_type>::__digits
381 < __int_traits<ptrdiff_t>::__digits)
382 return static_cast<ptrdiff_t
>(__size);
384 return static_cast<make_signed_t<__size_type>
>(__size);
386#if defined __STRICT_ANSI__ && defined __SIZEOF_INT128__
388 else if constexpr (__detail::__is_int128<__size_type>)
389 return static_cast<__int128
>(__size);
392 return __detail::__max_diff_type(__size);
396 template<
typename _Tp>
397 concept __member_empty =
requires(_Tp& __t) { bool(__t.empty()); };
399 template<
typename _Tp>
400 concept __size0_empty =
requires(_Tp& __t) { _Size{}(__t) == 0; };
402 template<
typename _Tp>
403 concept __eq_iter_empty =
requires(_Tp& __t)
405 requires (!is_unbounded_array_v<remove_reference_t<_Tp>>);
407 { _Begin{}(__t) } -> forward_iterator;
409 bool(_Begin{}(__t) == _End{}(__t));
415 template<
typename _Tp>
416 static constexpr bool
419 if constexpr (__member_empty<_Tp>)
421 else if constexpr (__size0_empty<_Tp>)
429 template<
typename _Tp>
430 requires __member_empty<_Tp> || __size0_empty<_Tp>
431 || __eq_iter_empty<_Tp>
433 operator()[[nodiscard]](_Tp&& __t)
const noexcept(_S_noexcept<_Tp&>())
435 if constexpr (__member_empty<_Tp>)
436 return bool(__t.empty());
437 else if constexpr (__size0_empty<_Tp>)
438 return _Size{}(__t) == 0;
440 return bool(_Begin{}(__t) == _End{}(__t));
444 template<
typename _Tp>
445 concept __pointer_to_object = is_pointer_v<_Tp>
446 && is_object_v<remove_pointer_t<_Tp>>;
448 template<
typename _Tp>
449 concept __member_data =
requires(_Tp& __t)
451 { __decay_copy(__t.data()) } -> __pointer_to_object;
454 template<
typename _Tp>
455 concept __begin_data = contiguous_iterator<__range_iter_t<_Tp>>;
460 template<
typename _Tp>
461 static constexpr bool
464 if constexpr (__member_data<_Tp>)
471 template<__maybe_borrowed_range _Tp>
472 requires __member_data<_Tp> || __begin_data<_Tp>
474 operator()[[nodiscard]](_Tp&& __t)
const noexcept(_S_noexcept<_Tp>())
476 if constexpr (__member_data<_Tp>)
485 inline namespace _Cpo
487 inline constexpr ranges::__access::_Begin
begin{};
488 inline constexpr ranges::__access::_End
end{};
489 inline constexpr ranges::__access::_RBegin
rbegin{};
490 inline constexpr ranges::__access::_REnd
rend{};
491 inline constexpr ranges::__access::_Size
size{};
492 inline constexpr ranges::__access::_SSize ssize{};
493 inline constexpr ranges::__access::_Empty
empty{};
494 inline constexpr ranges::__access::_Data
data{};
498 template<
typename _Tp>
499 concept range =
requires(_Tp& __t)
506 template<
typename _Tp>
507 concept borrowed_range
508 = range<_Tp> && __detail::__maybe_borrowed_range<_Tp>;
510 template<
typename _Tp>
511 using iterator_t = std::__detail::__range_iter_t<_Tp>;
513 template<range _Range>
516#if __glibcxx_ranges_as_const
517 template<range _Range>
518 using const_iterator_t = const_iterator<iterator_t<_Range>>;
520 template<range _Range>
521 using const_sentinel_t = const_sentinel<sentinel_t<_Range>>;
523 template<range _Range>
524 using range_const_reference_t = iter_const_reference_t<iterator_t<_Range>>;
527 template<range _Range>
528 using range_difference_t = iter_difference_t<iterator_t<_Range>>;
530 template<range _Range>
531 using range_value_t = iter_value_t<iterator_t<_Range>>;
533 template<range _Range>
534 using range_reference_t = iter_reference_t<iterator_t<_Range>>;
536 template<range _Range>
537 using range_rvalue_reference_t
538 = iter_rvalue_reference_t<iterator_t<_Range>>;
542 template<range _Range>
543 using range_common_reference_t
544 = iter_common_reference_t<iterator_t<_Range>>;
547 template<
typename _Tp>
548 concept sized_range = range<_Tp>
549 &&
requires(_Tp& __t) { ranges::size(__t); };
551 template<sized_range _Range>
554 template<
typename _Derived>
555 requires is_class_v<_Derived> && same_as<_Derived, remove_cv_t<_Derived>>
556 class view_interface;
560 template<
typename _Tp,
typename _Up>
561 requires (!same_as<_Tp, view_interface<_Up>>)
562 void __is_derived_from_view_interface_fn(
const _Tp&,
563 const view_interface<_Up>&);
567 template<
typename _Tp>
568 concept __is_derived_from_view_interface
569 =
requires (_Tp __t) { __is_derived_from_view_interface_fn(__t, __t); };
573 struct view_base { };
576 template<
typename _Tp>
577 inline constexpr bool enable_view = derived_from<_Tp, view_base>
578 || __detail::__is_derived_from_view_interface<_Tp>;
581 template<
typename _Tp>
583 = range<_Tp> && movable<_Tp> && enable_view<_Tp>;
588 template<
typename _Range,
typename _Tp>
590 = range<_Range> && output_iterator<iterator_t<_Range>, _Tp>;
593 template<
typename _Tp>
594 concept input_range = range<_Tp> && input_iterator<iterator_t<_Tp>>;
597 template<
typename _Tp>
598 concept forward_range
599 = input_range<_Tp> && forward_iterator<iterator_t<_Tp>>;
602 template<
typename _Tp>
603 concept bidirectional_range
604 = forward_range<_Tp> && bidirectional_iterator<iterator_t<_Tp>>;
607 template<
typename _Tp>
608 concept random_access_range
609 = bidirectional_range<_Tp> && random_access_iterator<iterator_t<_Tp>>;
612 template<
typename _Tp>
613 concept contiguous_range
614 = random_access_range<_Tp> && contiguous_iterator<iterator_t<_Tp>>
615 &&
requires(_Tp& __t)
617 { ranges::data(__t) } -> same_as<add_pointer_t<range_reference_t<_Tp>>>;
621 template<
typename _Tp>
623 = range<_Tp> && same_as<iterator_t<_Tp>, sentinel_t<_Tp>>;
625#if __glibcxx_ranges_as_const
626 template<
typename _Tp>
627 concept constant_range
628 = input_range<_Tp> && std::__detail::__constant_iterator<iterator_t<_Tp>>;
633#if __glibcxx_ranges_as_const
634 template<input_range _Range>
636 __possibly_const_range(_Range& __r)
noexcept
640 if constexpr (input_range<const _Range>)
641 return const_cast<const _Range&
>(__r);
647 template<
typename _To,
typename _Tp>
648 constexpr decltype(
auto)
649 __as_const(_Tp& __t)
noexcept
651 static_assert(std::is_same_v<_To&, _Tp&>);
653 if constexpr (is_lvalue_reference_v<_To>)
654 return const_cast<const _Tp&
>(__t);
656 return static_cast<const _Tp&&
>(__t);
662#if __glibcxx_ranges_as_const
663 template<__maybe_borrowed_range _Tp>
666 operator()(_Tp&& __t)
const
667 noexcept(
noexcept(std::make_const_iterator
668 (ranges::begin(__access::__possibly_const_range(__t)))))
669 requires requires { std::make_const_iterator
670 (ranges::begin(__access::__possibly_const_range(__t))); }
672 auto& __r = __access::__possibly_const_range(__t);
673 return const_iterator_t<decltype(__r)>(ranges::begin(__r));
676 template<
typename _Tp>
679 operator()(_Tp&& __e)
const
680 noexcept(
noexcept(_Begin{}(__access::__as_const<_Tp>(__e))))
681 requires requires { _Begin{}(__access::__as_const<_Tp>(__e)); }
683 return _Begin{}(__access::__as_const<_Tp>(__e));
690#if __glibcxx_ranges_as_const
691 template<__maybe_borrowed_range _Tp>
694 operator()(_Tp&& __t)
const
695 noexcept(
noexcept(std::make_const_sentinel
696 (ranges::end(__access::__possibly_const_range(__t)))))
697 requires requires { std::make_const_sentinel
698 (ranges::end(__access::__possibly_const_range(__t))); }
700 auto& __r = __access::__possibly_const_range(__t);
701 return const_sentinel_t<decltype(__r)>(ranges::end(__r));
704 template<
typename _Tp>
707 operator()(_Tp&& __e)
const
708 noexcept(
noexcept(_End{}(__access::__as_const<_Tp>(__e))))
709 requires requires { _End{}(__access::__as_const<_Tp>(__e)); }
711 return _End{}(__access::__as_const<_Tp>(__e));
718#if __glibcxx_ranges_as_const
719 template<__maybe_borrowed_range _Tp>
722 operator()(_Tp&& __t)
const
723 noexcept(
noexcept(std::make_const_iterator
724 (ranges::rbegin(__access::__possibly_const_range(__t)))))
725 requires requires { std::make_const_iterator
726 (ranges::rbegin(__access::__possibly_const_range(__t))); }
728 auto& __r = __access::__possibly_const_range(__t);
729 return const_iterator<decltype(ranges::rbegin(__r))>(ranges::rbegin(__r));
732 template<
typename _Tp>
735 operator()(_Tp&& __e)
const
736 noexcept(
noexcept(_RBegin{}(__access::__as_const<_Tp>(__e))))
737 requires requires { _RBegin{}(__access::__as_const<_Tp>(__e)); }
739 return _RBegin{}(__access::__as_const<_Tp>(__e));
746#if __glibcxx_ranges_as_const
747 template<__maybe_borrowed_range _Tp>
750 operator()(_Tp&& __t)
const
751 noexcept(
noexcept(std::make_const_sentinel
752 (ranges::rend(__access::__possibly_const_range(__t)))))
753 requires requires { std::make_const_sentinel
754 (ranges::rend(__access::__possibly_const_range(__t))); }
756 auto& __r = __access::__possibly_const_range(__t);
757 return const_sentinel<decltype(ranges::rend(__r))>(ranges::rend(__r));
760 template<
typename _Tp>
763 operator()(_Tp&& __e)
const
764 noexcept(
noexcept(_REnd{}(__access::__as_const<_Tp>(__e))))
765 requires requires { _REnd{}(__access::__as_const<_Tp>(__e)); }
767 return _REnd{}(__access::__as_const<_Tp>(__e));
774#if __glibcxx_ranges_as_const
775 template<__maybe_borrowed_range _Tp>
777 constexpr const auto*
778 operator()(_Tp&& __t)
const
779 noexcept(
noexcept(ranges::data(__access::__possibly_const_range(__t))))
780 requires requires { ranges::data(__access::__possibly_const_range(__t)); }
781 {
return ranges::data(__access::__possibly_const_range(__t)); }
783 template<
typename _Tp>
786 operator()(_Tp&& __e)
const
787 noexcept(
noexcept(_Data{}(__access::__as_const<_Tp>(__e))))
788 requires requires { _Data{}(__access::__as_const<_Tp>(__e)); }
790 return _Data{}(__access::__as_const<_Tp>(__e));
796 inline namespace _Cpo
798 inline constexpr ranges::__access::_CBegin
cbegin{};
799 inline constexpr ranges::__access::_CEnd
cend{};
800 inline constexpr ranges::__access::_CRBegin
crbegin{};
801 inline constexpr ranges::__access::_CREnd
crend{};
802 inline constexpr ranges::__access::_CData cdata{};
807 template<
typename _Tp>
808 inline constexpr bool __is_initializer_list =
false;
810 template<
typename _Tp>
811 inline constexpr bool __is_initializer_list<initializer_list<_Tp>> =
true;
815 template<
typename _Tp>
816 concept viewable_range = range<_Tp>
817 && ((view<remove_cvref_t<_Tp>> && constructible_from<remove_cvref_t<_Tp>, _Tp>)
818 || (!view<remove_cvref_t<_Tp>>
819 && (is_lvalue_reference_v<_Tp>
820 || (movable<remove_reference_t<_Tp>>
821 && !__detail::__is_initializer_list<remove_cvref_t<_Tp>>))));
825 struct __advance_fn final
827 template<input_or_output_iterator _It>
829 operator()(_It& __it, iter_difference_t<_It> __n)
const
831 if constexpr (random_access_iterator<_It>)
833 else if constexpr (bidirectional_iterator<_It>)
855 __glibcxx_assert(__n >= 0);
861 template<input_or_output_iterator _It, sentinel_for<_It> _Sent>
863 operator()(_It& __it, _Sent __bound)
const
865 if constexpr (assignable_from<_It&, _Sent>)
867 else if constexpr (sized_sentinel_for<_Sent, _It>)
868 (*
this)(__it, __bound - __it);
871 while (__it != __bound)
876 template<input_or_output_iterator _It, sentinel_for<_It> _Sent>
877 constexpr iter_difference_t<_It>
878 operator()(_It& __it, iter_difference_t<_It> __n, _Sent __bound)
const
880 if constexpr (sized_sentinel_for<_Sent, _It>)
882 const auto __diff = __bound - __it;
886 else if (__diff > 0 ? __n >= __diff : __n <= __diff)
888 (*this)(__it, __bound);
891 else if (__n != 0) [[likely]]
894 __glibcxx_assert((__n < 0) == (__diff < 0));
902 else if (__it == __bound || __n == 0)
906 iter_difference_t<_It> __m = 0;
912 while (__m != __n && __it != __bound);
915 else if constexpr (bidirectional_iterator<_It> && same_as<_It, _Sent>)
917 iter_difference_t<_It> __m = 0;
923 while (__m != __n && __it != __bound);
929 __glibcxx_assert(__n >= 0);
937 inline constexpr __advance_fn
advance{};
939 struct __distance_fn final
943 template<
typename _It, sentinel_for<_It> _Sent>
944 requires (!sized_sentinel_for<_Sent, _It>)
945 constexpr iter_difference_t<_It>
946 operator()[[nodiscard]](_It __first, _Sent __last)
const
948 iter_difference_t<_It> __n = 0;
949 while (__first != __last)
957 template<
typename _It, sized_sentinel_for<decay_t<_It>> _Sent>
959 constexpr iter_difference_t<decay_t<_It>>
960 operator()(_It&& __first, _Sent __last)
const
961 {
return __last -
static_cast<const decay_t<_It>&
>(__first); }
963 template<range _Range>
965 constexpr range_difference_t<_Range>
966 operator()(_Range&& __r)
const
968 if constexpr (sized_range<_Range>)
969 return static_cast<range_difference_t<_Range>
>(ranges::size(__r));
971 return (*
this)(ranges::begin(__r), ranges::end(__r));
977 inline constexpr __distance_fn
distance{};
979 struct __next_fn final
981 template<input_or_output_iterator _It>
984 operator()(_It __x)
const
990 template<input_or_output_iterator _It>
993 operator()(_It __x, iter_difference_t<_It> __n)
const
995 ranges::advance(__x, __n);
999 template<input_or_output_iterator _It, sentinel_for<_It> _Sent>
1002 operator()(_It __x, _Sent __bound)
const
1004 ranges::advance(__x, __bound);
1008 template<input_or_output_iterator _It, sentinel_for<_It> _Sent>
1011 operator()(_It __x, iter_difference_t<_It> __n, _Sent __bound)
const
1013 ranges::advance(__x, __n, __bound);
1020 inline constexpr __next_fn next{};
1022 struct __prev_fn final
1024 template<b
idirectional_iterator _It>
1027 operator()(_It __x)
const
1033 template<b
idirectional_iterator _It>
1036 operator()(_It __x, iter_difference_t<_It> __n)
const
1038 ranges::advance(__x, -__n);
1042 template<b
idirectional_iterator _It>
1045 operator()(_It __x, iter_difference_t<_It> __n, _It __bound)
const
1047 ranges::advance(__x, -__n, __bound);
1054 inline constexpr __prev_fn prev{};
1059 constexpr dangling() noexcept = default;
1060 template<typename... _Args>
1061 constexpr dangling(_Args&&...) noexcept { }
1064 template<range _Range>
1065 using borrowed_iterator_t = __conditional_t<borrowed_range<_Range>,
1070#if __glibcxx_ranges_to_container
1071 struct from_range_t {
explicit from_range_t() =
default; };
1072 inline constexpr from_range_t from_range{};
1075_GLIBCXX_END_NAMESPACE_VERSION
strong_ordering operator(const error_code &__lhs, const error_code &__rhs) noexcept
constexpr _Tp * to_address(_Tp *__ptr) noexcept
Obtain address referenced by a pointer to an object.
typename make_unsigned< _Tp >::type make_unsigned_t
Alias template for make_unsigned.
auto declval() noexcept -> decltype(__declval< _Tp >(0))
constexpr std::remove_reference< _Tp >::type && move(_Tp &&__t) noexcept
Convert a value to an rvalue.
constexpr _Tp && forward(typename std::remove_reference< _Tp >::type &__t) noexcept
Forward an lvalue.
_Tp * end(valarray< _Tp > &__va) noexcept
Return an iterator pointing to one past the last element of the valarray.
_Tp * begin(valarray< _Tp > &__va) noexcept
Return an iterator pointing to the first element of the valarray.
constexpr reverse_iterator< _Iterator > make_reverse_iterator(_Iterator __i)
Generator function for reverse_iterator.
ISO C++ entities toplevel namespace is std.
constexpr auto crend(const _Container &__cont) -> decltype(std::rend(__cont))
Return a reverse iterator pointing one past the first element of the const container.
constexpr auto rend(_Container &__cont) -> decltype(__cont.rend())
Return a reverse iterator pointing one past the first element of the container.
constexpr iterator_traits< _InputIterator >::difference_type distance(_InputIterator __first, _InputIterator __last)
A generalization of pointer arithmetic.
constexpr auto cend(const _Container &__cont) noexcept(noexcept(std::end(__cont))) -> decltype(std::end(__cont))
Return an iterator pointing to one past the last element of the const 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 void advance(_InputIterator &__i, _Distance __n)
A generalization of pointer arithmetic.
constexpr auto rbegin(_Container &__cont) -> decltype(__cont.rbegin())
Return a reverse iterator pointing to the last element of the container.
constexpr auto crbegin(const _Container &__cont) -> decltype(std::rbegin(__cont))
Return a reverse iterator pointing to the last element of the const container.
constexpr auto data(_Container &__cont) noexcept(noexcept(__cont.data())) -> decltype(__cont.data())
Return the data pointer of a container.
constexpr auto cbegin(const _Container &__cont) noexcept(noexcept(std::begin(__cont))) -> decltype(std::begin(__cont))
Return an iterator pointing to the first element of the const container.
constexpr bitset< _Nb > operator&(const bitset< _Nb > &__x, const bitset< _Nb > &__y) noexcept
Global bitwise operations on bitsets.
__numeric_traits_integer< _Tp > __int_traits
Convenience alias for __numeric_traits<integer-type>.