25 #ifndef _USES_ALLOCATOR_H 26 #define _USES_ALLOCATOR_H 1 28 #if __cplusplus < 201103L 35 namespace std _GLIBCXX_VISIBILITY(default)
37 _GLIBCXX_BEGIN_NAMESPACE_VERSION
39 struct __erased_type { };
41 template<
typename _Alloc,
typename _Tp>
42 using __is_erased_or_convertible
43 = __or_<is_same<_Tp, __erased_type>, is_convertible<_Alloc, _Tp>>;
51 template<
typename _Tp,
typename _Alloc,
typename = __
void_t<>>
52 struct __uses_allocator_helper
55 template<
typename _Tp,
typename _Alloc>
56 struct __uses_allocator_helper<_Tp, _Alloc,
57 __void_t<typename _Tp::allocator_type>>
58 : __is_erased_or_convertible<_Alloc, typename _Tp::allocator_type>::type
62 template<
typename _Tp,
typename _Alloc>
64 : __uses_allocator_helper<_Tp, _Alloc>::type
67 struct __uses_alloc_base { };
69 struct __uses_alloc0 : __uses_alloc_base
71 struct _Sink {
void operator=(
const void*) { } } _M_a;
74 template<
typename _Alloc>
75 struct __uses_alloc1 : __uses_alloc_base {
const _Alloc* _M_a; };
77 template<
typename _Alloc>
78 struct __uses_alloc2 : __uses_alloc_base {
const _Alloc* _M_a; };
80 template<bool,
typename _Tp,
typename _Alloc,
typename... _Args>
83 template<
typename _Tp,
typename _Alloc,
typename... _Args>
84 struct __uses_alloc<true, _Tp, _Alloc, _Args...>
86 is_constructible<_Tp, allocator_arg_t, _Alloc, _Args...>::value,
87 __uses_alloc1<_Alloc>,
88 __uses_alloc2<_Alloc>>::type
91 is_constructible<_Tp, allocator_arg_t, _Alloc, _Args...>,
92 is_constructible<_Tp, _Args..., _Alloc>>::value,
"construction with" 93 " an allocator must be possible if uses_allocator is true");
96 template<
typename _Tp,
typename _Alloc,
typename... _Args>
97 struct __uses_alloc<false, _Tp, _Alloc, _Args...>
100 template<
typename _Tp,
typename _Alloc,
typename... _Args>
101 using __uses_alloc_t =
102 __uses_alloc<uses_allocator<_Tp, _Alloc>::value, _Tp, _Alloc, _Args...>;
104 template<
typename _Tp,
typename _Alloc,
typename... _Args>
105 inline __uses_alloc_t<_Tp, _Alloc, _Args...>
106 __use_alloc(
const _Alloc& __a)
108 __uses_alloc_t<_Tp, _Alloc, _Args...> __ret;
113 template<
typename _Tp,
typename _Alloc,
typename... _Args>
115 __use_alloc(
const _Alloc&&) =
delete;
117 #if __cplusplus > 201402L 118 template <
typename _Tp,
typename _Alloc>
119 inline constexpr
bool uses_allocator_v =
123 template<
template<
typename...>
class _Predicate,
124 typename _Tp,
typename _Alloc,
typename... _Args>
125 struct __is_uses_allocator_predicate
126 : conditional<uses_allocator<_Tp, _Alloc>::value,
127 __or_<_Predicate<_Tp, allocator_arg_t, _Alloc, _Args...>,
128 _Predicate<_Tp, _Args..., _Alloc>>,
129 _Predicate<_Tp, _Args...>>::type { };
131 template<
typename _Tp,
typename _Alloc,
typename... _Args>
132 struct __is_uses_allocator_constructible
133 : __is_uses_allocator_predicate<is_constructible, _Tp, _Alloc, _Args...>
136 #if __cplusplus >= 201402L 137 template<
typename _Tp,
typename _Alloc,
typename... _Args>
138 _GLIBCXX17_INLINE constexpr
bool __is_uses_allocator_constructible_v =
139 __is_uses_allocator_constructible<_Tp, _Alloc, _Args...>::value;
142 template<
typename _Tp,
typename _Alloc,
typename... _Args>
143 struct __is_nothrow_uses_allocator_constructible
144 : __is_uses_allocator_predicate<is_nothrow_constructible,
145 _Tp, _Alloc, _Args...>
149 #if __cplusplus >= 201402L 150 template<
typename _Tp,
typename _Alloc,
typename... _Args>
151 _GLIBCXX17_INLINE constexpr
bool 152 __is_nothrow_uses_allocator_constructible_v =
153 __is_nothrow_uses_allocator_constructible<_Tp, _Alloc, _Args...>::value;
156 template<
typename _Tp,
typename... _Args>
157 void __uses_allocator_construct_impl(__uses_alloc0 __a, _Tp* __ptr,
159 { ::new ((
void*)__ptr) _Tp(std::forward<_Args>(__args)...); }
161 template<
typename _Tp,
typename _Alloc,
typename... _Args>
162 void __uses_allocator_construct_impl(__uses_alloc1<_Alloc> __a, _Tp* __ptr,
165 ::new ((
void*)__ptr) _Tp(allocator_arg, *__a._M_a,
166 std::forward<_Args>(__args)...);
169 template<
typename _Tp,
typename _Alloc,
typename... _Args>
170 void __uses_allocator_construct_impl(__uses_alloc2<_Alloc> __a, _Tp* __ptr,
172 { ::new ((
void*)__ptr) _Tp(std::forward<_Args>(__args)..., *__a._M_a); }
174 template<
typename _Tp,
typename _Alloc,
typename... _Args>
175 void __uses_allocator_construct(
const _Alloc& __a, _Tp* __ptr,
178 __uses_allocator_construct_impl(__use_alloc<_Tp, _Alloc, _Args...>(__a),
179 __ptr, std::forward<_Args>(__args)...);
182 _GLIBCXX_END_NAMESPACE_VERSION
constexpr _Tp * __addressof(_Tp &__r) noexcept
Same as C++11 std::addressof.
ISO C++ entities toplevel namespace is std.
Declare uses_allocator so it can be specialized in <queue> etc.