include/bits/iterator_concepts.h

54   template<typename _Tp> requires is_object_v<_Tp>
66       concept __can_reference = requires { typename __with_ref<_Tp>; };
69       concept __dereferenceable = requires(_Tp& __t)
87 	  && requires(_Tp&& __t) { iter_move(static_cast<_Tp&&>(__t)); };
97 	  requires __adl_imove<_Tp>
102 	  requires (!__adl_imove<_Tp>)
144     requires requires(_Tp& __t)
151   template<typename _Tp> requires is_object_v<_Tp>
159   template<typename _Tp> requires requires { typename _Tp::difference_type; }
164     requires (!requires { typename _Tp::difference_type; }
165 	      && requires(const _Tp& __a, const _Tp& __b)
167 		requires (!is_void_v<remove_pointer_t<_Tp>>); // PR c++/78173
200       requires __primary_traits_iter<_Iter>
220     template<typename _Tp> requires is_object_v<_Tp>
226 	= requires { typename _Tp::value_type; };
230 	= requires { typename _Tp::element_type; };
241   template<typename _Iter> requires is_array_v<_Iter>
263     requires __detail::__has_member_element_type<_Tp>
273     requires __detail::__has_member_element_type<_Tp>
292       concept __cpp17_iterator = requires(_Iter __it)
302 	&& requires(_Iter __it)
310 	  requires signed_integral<
320 	&& requires(_Iter __it)
328 	&& requires(_Iter __it)
338 	&& requires(_Iter __it,
351       concept __iter_with_nested_types = requires {
363 	= !requires { typename _Iter::iterator_category; };
368     requires __detail::__iter_with_nested_types<_Iterator>
376       template<typename _Iter> requires requires { typename _Iter::pointer; }
389     requires __detail::__iter_without_nested_types<_Iterator>
399 	requires requires { typename _Iter::iterator_category; }
404 	requires __detail::__iter_without_category<_Iter>
410 	requires __detail::__iter_without_category<_Iter>
416 	requires __detail::__iter_without_category<_Iter>
425       template<typename _Iter> requires requires { typename _Iter::pointer; }
430 	requires (!requires { typename _Iter::pointer; }
431 	    && requires(_Iter& __it) { __it.operator->(); })
439       template<typename _Iter> requires requires { typename _Iter::reference; }
454     requires __detail::__iter_without_nested_types<_Iterator>
464 	requires requires
486       requires requires { typename __iter_traits<_Iter>::iterator_concept; }
492       requires (!requires { typename __iter_traits<_Iter>::iterator_concept; }
493 	  && requires { typename __iter_traits<_Iter>::iterator_category; })
499       requires (!requires { typename __iter_traits<_Iter>::iterator_concept; }
500 	  && !requires { typename __iter_traits<_Iter>::iterator_category; }
515     concept __indirectly_readable_impl = requires(const _In __in)
542     concept indirectly_writable = requires(_Out&& __o, _Tp&& __t)
577       && requires(_Iter __i)
580 	requires __detail::__is_signed_integer_like<iter_difference_t<_Iter>>;
587       && requires(_Iter __i) { { __i++ } -> same_as<_Iter>; };
591       = requires(_Iter __i) { { *__i } -> __detail::__can_reference; }
605     && requires(const _Iter& __i, const _Sent& __s)
614       && requires { typename __detail::__iter_concept<_Iter>; }
620       && requires(_Iter __i, _Tp&& __t) { *__i++ = std::forward<_Tp>(__t); };
631       && requires(_Iter __i)
642       && requires(_Iter __i, const _Iter __j,
658       && requires(const _Iter& __i)
726     requires (indirectly_readable<_Is> && ...)
785 	&& requires(_Tp&& __t, _Up&& __u) {
823 	requires __adl_iswap<_Tp, _Up>
856       && requires(const _I1 __i1, const _I2 __i2)
915       concept __member_begin = requires(_Tp& __t)
925 	&& requires(_Tp& __t)
933       requires is_array_v<_Tp> || __member_begin<_Tp&> || __adl_begin<_Tp&>