67 typename __replace_first_arg<_Tp, typename _Tp::value_type>::type,
69 "allocator_traits<A>::rebind_alloc<A::value_type> must be A");
72 template<
typename _Tp,
typename _Up>
74 requires requires {
typename _Tp::template rebind<_Up>::other; }
75 struct __rebind<_Tp, _Up>
77 struct __rebind<_Tp, _Up,
78 __void_t<typename _Tp::template rebind<_Up>::other>>
81 using type =
typename _Tp::template rebind<_Up>::other;
83 static_assert(is_same<
84 typename _Tp::template rebind<typename _Tp::value_type>::other,
86 "allocator_traits<A>::rebind_alloc<A::value_type> must be A");
90 template<
typename _Tp>
91 using __pointer =
typename _Tp::pointer;
92 template<
typename _Tp>
93 using __c_pointer =
typename _Tp::const_pointer;
94 template<
typename _Tp>
95 using __v_pointer =
typename _Tp::void_pointer;
96 template<
typename _Tp>
97 using __cv_pointer =
typename _Tp::const_void_pointer;
98 template<
typename _Tp>
99 using __pocca =
typename _Tp::propagate_on_container_copy_assignment;
100 template<
typename _Tp>
101 using __pocma =
typename _Tp::propagate_on_container_move_assignment;
102 template<
typename _Tp>
103 using __pocs =
typename _Tp::propagate_on_container_swap;
104 template<
typename _Tp>
105 using __equal = __type_identity<typename _Tp::is_always_equal>;
109 template<
typename _Alloc,
typename _Sz,
typename _Vp>
110 static constexpr bool __has_allocate_hint
111 =
requires (_Alloc& __a, _Sz __n, _Vp __hint) {
112 __a.allocate(__n, __hint);
115 template<
typename _Alloc,
typename _Sz,
typename _Vp>
116 using __allocate_hint_t
117 =
decltype(std::declval<_Alloc&>()
118 .allocate(std::declval<_Sz>(), std::declval<_Vp>()));
119 template<
typename _Alloc,
typename _Sz,
typename _Vp,
typename =
void>
120 static constexpr bool __has_allocate_hint =
false;
121 template<
typename _Alloc,
typename _Sz,
typename _Vp>
122 static constexpr bool
123 __has_allocate_hint<_Alloc, _Sz, _Vp,
124 __void_t<__allocate_hint_t<_Alloc, _Sz, _Vp>>>
133 template<
typename _Alloc,
typename _Tp,
typename... _Args>
134 static constexpr bool __has_construct
135 =
requires (_Alloc& __a, _Tp* __p, _Args&&... __args) {
136 __a.construct(__p, std::forward<_Args>(__args)...);
138 template<
typename _Tp,
typename... _Args>
139 static constexpr bool __can_construct_at
140 =
requires (_Tp* __p, _Args&&... __args) {
141#if __cpp_constexpr_dynamic_alloc
142 std::construct_at(__p, std::forward<_Args>(__args)...);
144 ::new((
void*)__p) _Tp(std::forward<_Args>(__args)...);
147 template<
typename _Alloc,
typename _Tp,
typename... _Args>
148 static constexpr bool __can_construct
149 = __has_construct<_Alloc, _Tp, _Args...>
150 || __can_construct_at<_Tp, _Args...>;
152 template<
typename _Alloc,
typename _Tp,
typename... _Args>
154 =
decltype(std::declval<_Alloc&>().construct(std::declval<_Tp*>(),
155 std::declval<_Args>()...));
156 template<
typename _Alloc,
typename _Tp,
typename,
typename... _Args>
157 static constexpr bool __has_construct_impl =
false;
158 template<
typename _Alloc,
typename _Tp,
typename... _Args>
159 static constexpr bool
160 __has_construct_impl<_Alloc, _Tp,
161 __void_t<__construct_t<_Alloc, _Tp, _Args...>>,
164 template<
typename _Alloc,
typename _Tp,
typename... _Args>
165 static constexpr bool __has_construct
166 = __has_construct_impl<_Alloc, _Tp, void, _Args...>;
167 template<
typename _Tp,
typename... _Args>
169 =
decltype(::new((
void*)0) _Tp(std::declval<_Args>()...));
170 template<
typename _Tp,
typename,
typename... _Args>
171 static constexpr bool __has_new_expr =
false;
172 template<
typename _Tp,
typename... _Args>
173 static constexpr bool
174 __has_new_expr<_Tp, __void_t<__new_expr_t<_Tp, _Args...>>, _Args...>
176 template<
typename _Alloc,
typename _Tp,
typename... _Args>
177 static constexpr bool __can_construct
178 = __has_construct<_Alloc, _Tp, _Args...>
179 || __has_new_expr<_Tp, void, _Args...>;
184 template<
typename _Alloc,
typename _Tp>
185 static constexpr bool __has_destroy =
requires (_Alloc& __a, _Tp* __p) {
189 template<
typename _Alloc,
typename _Tp>
191 =
decltype(std::declval<_Alloc&>().destroy(std::declval<_Tp*>()));
192 template<
typename _Alloc,
typename _Tp,
typename =
void>
193 static constexpr bool __has_destroy =
false;
194 template<
typename _Alloc,
typename _Tp>
195 static constexpr bool __has_destroy<_Alloc, _Tp,
196 __void_t<__destroy_t<_Alloc, _Tp>>>
202 template<
typename _Alloc>
203 static constexpr bool __has_max_size =
requires (
const _Alloc& __a) {
207 template<
typename _Alloc>
208 using __max_size_t =
decltype(std::declval<const _Alloc&>().max_size());
209 template<
typename _Alloc,
typename =
void>
210 static constexpr bool __has_max_size =
false;
211 template<
typename _Alloc>
212 static constexpr bool __has_max_size<_Alloc,
213 __void_t<__max_size_t<_Alloc>>>
220 template<
typename _Alloc>
221 static constexpr bool __has_soccc =
requires (
const _Alloc& __a) {
222 __a.select_on_container_copy_construction();
225 template<
typename _Alloc>
227 =
decltype(std::declval<const _Alloc&>()
228 .select_on_container_copy_construction());
229 template<
typename _Alloc,
typename =
void>
230 static constexpr bool __has_soccc =
false;
231 template<
typename _Alloc>
232 static constexpr bool __has_soccc<_Alloc, __void_t<__soccc_t<_Alloc>>>
237 template<
typename _Alloc,
typename _Up>
239 =
typename __allocator_traits_base::template __rebind<_Alloc, _Up>::type;
248 template<
typename _Alloc>
261 using pointer = __detected_or_t<value_type*, __pointer, _Alloc>;
265 template<
template<
typename>
class _Func,
typename _Tp,
typename =
void>
271 template<
template<
typename>
class _Func,
typename _Tp>
272 struct _Ptr<_Func, _Tp, __void_t<_Func<_Alloc>>>
274 using type = _Func<_Alloc>;
278 template<
typename _A2,
typename _PtrT,
typename =
void>
280 {
using type =
typename pointer_traits<_PtrT>::difference_type; };
282 template<
typename _A2,
typename _PtrT>
284 {
using type =
typename _A2::difference_type; };
287 template<
typename _A2,
typename _DiffT,
typename =
void>
288 struct _Size : make_unsigned<_DiffT> { };
290 template<
typename _A2,
typename _DiffT>
291 struct _Size<_A2, _DiffT, __void_t<typename _A2::
size_type>>
292 {
using type =
typename _A2::size_type; };
333 using size_type =
typename _Size<_Alloc, difference_type>::type;
342 = __detected_or_t<false_type, __pocca, _Alloc>;
351 = __detected_or_t<false_type, __pocma, _Alloc>;
360 = __detected_or_t<false_type, __pocs, _Alloc>;
369 =
typename __detected_or_t<is_empty<_Alloc>, __equal, _Alloc>::type;
371 template<
typename _Tp>
372 using rebind_alloc = __alloc_rebind<_Alloc, _Tp>;
373 template<
typename _Tp>
383 _GLIBCXX_NODISCARD
static _GLIBCXX20_CONSTEXPR
pointer
385 {
return __a.allocate(__n); }
398 _GLIBCXX_NODISCARD
static _GLIBCXX20_CONSTEXPR
pointer
401 if constexpr (__has_allocate_hint<_Alloc, size_type, const_void_pointer>)
402 return __a.allocate(__n, __hint);
404 return __a.allocate(__n);
415 static _GLIBCXX20_CONSTEXPR
void
417 { __a.deallocate(__p, __n); }
430 template<
typename _Tp,
typename... _Args>
431#if __cpp_concepts && __cpp_constexpr_dynamic_alloc
432 requires __can_construct<_Alloc, _Tp, _Args...>
433 static constexpr void
435 static __enable_if_t<__can_construct<_Alloc, _Tp, _Args...>>
438 noexcept(_S_nothrow_construct<_Tp, _Args...>())
440 if constexpr (__has_construct<_Alloc, _Tp, _Args...>)
441 __a.construct(__p, std::forward<_Args>(__args)...);
454 template<
typename _Tp>
455 static _GLIBCXX20_CONSTEXPR
void
457 noexcept(_S_nothrow_destroy<_Tp>())
459 if constexpr (__has_destroy<_Alloc, _Tp>)
476 if constexpr (__has_max_size<_Alloc>)
477 return __a.max_size();
481 return __gnu_cxx::__numeric_traits<size_type>::__max
493 static _GLIBCXX20_CONSTEXPR _Alloc
496 if constexpr (__has_soccc<_Alloc>)
497 return __rhs.select_on_container_copy_construction();
503#if __cpp_constexpr >= 201304
504 template<
typename _Tp,
typename... _Args>
505 static constexpr bool
506 _S_nothrow_construct(_Alloc* __a =
nullptr, _Tp* __p =
nullptr)
508 if constexpr (__has_construct<_Alloc, _Tp, _Args...>)
509 return noexcept(__a->construct(__p, std::declval<_Args>()...));
511 return __is_nothrow_new_constructible<_Tp, _Args...>;
514 template<
typename _Tp>
515 static constexpr bool
516 _S_nothrow_destroy(_Alloc* __a =
nullptr, _Tp* __p =
nullptr)
518 if constexpr (__has_destroy<_Alloc, _Tp>)
519 return noexcept(__a->destroy(__p));
521 return is_nothrow_destructible<_Tp>::value;
524 template<
typename _Tp,
typename... _Args>
526 __enable_if_t<__has_construct<_Alloc, _Tp, _Args...>,
bool>
527 _S_nothrow_construct(_Alloc* __a =
nullptr, _Tp* __p =
nullptr)
528 {
return noexcept(__a->construct(__p, std::declval<_Args>()...)); }
530 template<
typename _Tp,
typename... _Args>
532 __enable_if_t<!__has_construct<_Alloc, _Tp, _Args...>,
bool>
533 _S_nothrow_construct(_Alloc* =
nullptr, _Tp* __p =
nullptr)
534 {
return __is_nothrow_new_constructible<_Tp, _Args...>; }
536 template<
typename _Tp>
538 __enable_if_t<__has_destroy<_Alloc, _Tp>,
bool>
539 _S_nothrow_destroy(_Alloc* __a =
nullptr, _Tp* __p =
nullptr)
540 {
return noexcept(__a->destroy(__p)); }
542 template<
typename _Tp>
544 __enable_if_t<!__has_destroy<_Alloc, _Tp>,
bool>
545 _S_nothrow_destroy(_Alloc* =
nullptr, _Tp* __p =
nullptr)
546 {
return is_nothrow_destructible<_Tp>::value; }
549#pragma GCC diagnostic pop
559 template<
typename _Tp>
598 template<
typename _Up>
601 template<
typename _Up>
611 [[__nodiscard__,__gnu__::__always_inline__]]
612 static _GLIBCXX20_CONSTEXPR
pointer
614 {
return __a.allocate(__n); }
626 [[__nodiscard__,__gnu__::__always_inline__]]
627 static _GLIBCXX20_CONSTEXPR
pointer
631#if __cplusplus <= 201703L
632 return __a.allocate(__n, __hint);
634 return __a.allocate(__n);
646 [[__gnu__::__always_inline__]]
647 static _GLIBCXX20_CONSTEXPR
void
649 { __a.deallocate(__p, __n); }
662 template<
typename _Up,
typename... _Args>
663 [[__gnu__::__always_inline__]]
664 static _GLIBCXX20_CONSTEXPR
void
666 _Up* __p, _Args&&... __args)
667#if __cplusplus <= 201703L
668 noexcept(
noexcept(__a.construct(__p, std::forward<_Args>(__args)...)))
670 noexcept(__is_nothrow_new_constructible<_Up, _Args...>)
673#if __cplusplus <= 201703L
674 __a.construct(__p, std::forward<_Args>(__args)...);
675#elif __cpp_constexpr_dynamic_alloc
676 std::construct_at(__p, std::forward<_Args>(__args)...);
689 template<
typename _Up>
690 [[__gnu__::__always_inline__]]
691 static _GLIBCXX20_CONSTEXPR
void
695#if __cplusplus <= 201703L
698 std::destroy_at(__p);
707 [[__gnu__::__always_inline__]]
711#if __cplusplus <= 201703L
712 return __a.max_size();
723 [[__gnu__::__always_inline__]]
775 template<
typename _Up>
778 template<
typename _Up>
800 template<
typename _Up,
typename... _Args>
801 [[__gnu__::__always_inline__]]
802 static _GLIBCXX20_CONSTEXPR
void
804 noexcept(__is_nothrow_new_constructible<_Up, _Args...>)
814 template<
typename _Up>
815 [[__gnu__::__always_inline__]]
816 static _GLIBCXX20_CONSTEXPR
void
830 [[__gnu__::__always_inline__]]
838#pragma GCC diagnostic push
839#pragma GCC diagnostic ignored "-Wc++17-extensions"
840 template<
typename _Alloc>
841 [[__gnu__::__always_inline__]]
842 _GLIBCXX14_CONSTEXPR
inline void
843 __alloc_on_copy(_Alloc& __one,
const _Alloc& __two)
845 using __traits = allocator_traits<_Alloc>;
847 typename __traits::propagate_on_container_copy_assignment::type;
848 if constexpr (__pocca::value)
852 template<
typename _Alloc>
853 [[__gnu__::__always_inline__]]
855 __alloc_on_copy(
const _Alloc& __a)
857 typedef allocator_traits<_Alloc> __traits;
858 return __traits::select_on_container_copy_construction(__a);
861 template<
typename _Alloc>
862 [[__gnu__::__always_inline__]]
863 _GLIBCXX14_CONSTEXPR
inline void
864 __alloc_on_move(_Alloc& __one, _Alloc& __two)
866 using __traits = allocator_traits<_Alloc>;
868 =
typename __traits::propagate_on_container_move_assignment::type;
869 if constexpr (__pocma::value)
873 template<
typename _Alloc>
874 [[__gnu__::__always_inline__]]
875 _GLIBCXX14_CONSTEXPR
inline void
876 __alloc_on_swap(_Alloc& __one, _Alloc& __two)
878 using __traits = allocator_traits<_Alloc>;
879 using __pocs =
typename __traits::propagate_on_container_swap::type;
880 if constexpr (__pocs::value)
886#pragma GCC diagnostic pop
888 template<
typename _Alloc,
typename _Tp,
889 typename _ValueT = __remove_cvref_t<typename _Alloc::value_type>,
891 struct __is_alloc_insertable_impl
895 template<
typename _Alloc,
typename _Tp,
typename _ValueT>
896 struct __is_alloc_insertable_impl<_Alloc, _Tp, _ValueT,
897 __void_t<decltype(allocator_traits<_Alloc>::construct(
898 std::declval<_Alloc&>(), std::declval<_ValueT*>(),
899 std::declval<_Tp>()))>>
906 template<
typename _Alloc>
907 struct __is_copy_insertable
908 : __is_alloc_insertable_impl<_Alloc,
909 typename _Alloc::value_type const&>::type
914 template<
typename _Tp>
915 struct __is_copy_insertable<allocator<_Tp>>
916 : is_copy_constructible<_Tp>
923 template<
typename _Alloc>
924 struct __is_move_insertable
925 : __is_alloc_insertable_impl<_Alloc, typename _Alloc::value_type>::type
930 template<
typename _Tp>
931 struct __is_move_insertable<allocator<_Tp>>
932 : is_move_constructible<_Tp>
937 template<
typename _Alloc,
typename =
void>
940 template<
typename _Alloc>
941 struct __is_allocator<_Alloc,
942 __void_t<typename _Alloc::value_type,
943 decltype(std::declval<_Alloc&>().allocate(size_t{}))>>
946 template<
typename _Alloc>
947 using _RequireAllocator
948 =
typename enable_if<__is_allocator<_Alloc>::value, _Alloc>::type;
950 template<
typename _Alloc>
951 using _RequireNotAllocator
952 =
typename enable_if<!__is_allocator<_Alloc>::value, _Alloc>::type;
954#if __cpp_concepts >= 201907L
955 template<
typename _Alloc>
956 concept __allocator_like =
requires (_Alloc& __a) {
957 typename _Alloc::value_type;
958 __a.deallocate(__a.allocate(1u), 1u);
967 template<
typename _Alloc,
bool = __is_empty(_Alloc)>
969 {
static void _S_do_it(_Alloc&, _Alloc&) _GLIBCXX_NOEXCEPT { } };
971 template<
typename _Alloc>
972 struct __alloc_swap<_Alloc, false>
975 _S_do_it(_Alloc& __one, _Alloc& __two) _GLIBCXX_NOEXCEPT
983#if __cplusplus >= 201103L
984 template<
typename _Tp,
bool
985 = __or_<is_copy_constructible<typename _Tp::value_type>,
986 is_nothrow_move_constructible<typename _Tp::value_type>>::value>
987 struct __shrink_to_fit_aux
988 {
static bool _S_do_it(_Tp&)
noexcept {
return false; } };
990 template<
typename _Tp>
991 struct __shrink_to_fit_aux<_Tp, true>
995 _S_do_it(_Tp& __c)
noexcept
1000 _Tp(__make_move_if_noexcept_iterator(__c.begin()),
1001 __make_move_if_noexcept_iterator(__c.end()),
1002 __c.get_allocator()).swap(__c);
1020 template<
typename _ForwardIterator,
typename _Allocator>
1021 _GLIBCXX20_CONSTEXPR
1023 _Destroy(_ForwardIterator __first, _ForwardIterator __last,
1024 _Allocator& __alloc)
1026 for (; __first != __last; ++__first)
1027#
if __cplusplus < 201103L
1036 template<
typename _ForwardIterator,
typename _Tp>
1037 __attribute__((__always_inline__)) _GLIBCXX20_CONSTEXPR
1039 _Destroy(_ForwardIterator __first, _ForwardIterator __last,
1048_GLIBCXX_END_NAMESPACE_VERSION