31#define _PTR_TRAITS_H 1
33#if __cplusplus >= 201103L
37#if __cplusplus > 201703L
39# ifndef __cpp_lib_constexpr_memory
41# define __cpp_lib_constexpr_memory 201811L
43namespace __gnu_debug {
struct _Safe_iterator_base; }
46namespace std _GLIBCXX_VISIBILITY(default)
48_GLIBCXX_BEGIN_NAMESPACE_VERSION
56 template<
typename _Tp>
57 struct __get_first_arg
58 {
using type = __undefined; };
60 template<
template<
typename,
typename...>
class _SomeTemplate,
typename _Tp,
62 struct __get_first_arg<_SomeTemplate<_Tp, _Types...>>
63 {
using type = _Tp; };
67 template<
typename _Tp,
typename _Up>
68 struct __replace_first_arg
71 template<
template<
typename,
typename...>
class _SomeTemplate,
typename _Up,
72 typename _Tp,
typename... _Types>
73 struct __replace_first_arg<_SomeTemplate<_Tp, _Types...>, _Up>
74 {
using type = _SomeTemplate<_Up, _Types...>; };
77 template<
typename _Ptr,
typename =
void>
78 struct __ptr_traits_elem : __get_first_arg<_Ptr>
83 template<
typename _Ptr>
requires requires {
typename _Ptr::element_type; }
84 struct __ptr_traits_elem<_Ptr, void>
85 {
using type =
typename _Ptr::element_type; };
87 template<
typename _Ptr>
88 struct __ptr_traits_elem<_Ptr, __void_t<typename _Ptr::element_type>>
89 {
using type =
typename _Ptr::element_type; };
92 template<
typename _Ptr>
93 using __ptr_traits_elem_t =
typename __ptr_traits_elem<_Ptr>::type;
98 template<typename _Ptr, typename _Elt, bool = is_void<_Elt>::value>
99 struct __ptr_traits_ptr_to
101 using pointer = _Ptr;
102 using element_type = _Elt;
111 pointer_to(element_type& __r)
112#if __cpp_lib_concepts
114 { pointer::pointer_to(__r) } -> convertible_to<pointer>;
117 {
return pointer::pointer_to(__r); }
121 template<
typename _Ptr,
typename _Elt>
122 struct __ptr_traits_ptr_to<_Ptr, _Elt, true>
126 template<
typename _Tp>
127 struct __ptr_traits_ptr_to<_Tp*, _Tp,
false>
129 using pointer = _Tp*;
130 using element_type = _Tp;
137 static _GLIBCXX20_CONSTEXPR pointer
138 pointer_to(element_type& __r)
noexcept
142 template<
typename _Ptr,
typename _Elt>
143 struct __ptr_traits_impl : __ptr_traits_ptr_to<_Ptr, _Elt>
146 template<
typename _Tp>
147 using __diff_t =
typename _Tp::difference_type;
149 template<
typename _Tp,
typename _Up>
150 using __rebind = __type_identity<typename _Tp::template rebind<_Up>>;
154 using pointer = _Ptr;
157 using element_type = _Elt;
160 using difference_type = __detected_or_t<ptrdiff_t, __diff_t, _Ptr>;
163 template<
typename _Up>
164 using rebind =
typename __detected_or_t<__replace_first_arg<_Ptr, _Up>,
165 __rebind, _Ptr, _Up>::type;
170 template<
typename _Ptr>
171 struct __ptr_traits_impl<_Ptr, __undefined>
180 template<
typename _Ptr>
190 template<
typename _Tp>
200 template<
typename _Up>
using rebind = _Up*;
204 template<
typename _Ptr,
typename _Tp>
207 template<
typename _Tp>
209 __to_address(_Tp*
__ptr)
noexcept
215#if __cplusplus <= 201703L
216 template<
typename _Ptr>
218 __to_address(
const _Ptr& __ptr)
219 {
return std::__to_address(__ptr.operator->()); }
221 template<
typename _Ptr>
223 __to_address(
const _Ptr& __ptr)
noexcept
227 template<
typename _Ptr,
typename... _None>
229 __to_address(
const _Ptr& __ptr, _None...) noexcept
231 if constexpr (is_base_of_v<__gnu_debug::_Safe_iterator_base, _Ptr>)
232 return std::__to_address(__ptr.base().operator->());
234 return std::__to_address(__ptr.operator->());
237#define __cpp_lib_to_address 201711L
245 template<
typename _Tp>
248 {
return std::__to_address(
__ptr); }
257 template<
typename _Ptr>
260 {
return std::__to_address(
__ptr); }
263_GLIBCXX_END_NAMESPACE_VERSION
constexpr _Tp * to_address(_Tp *__ptr) noexcept
Obtain address referenced by a pointer to an object.
constexpr _Tp * addressof(_Tp &__r) noexcept
Returns the actual address of the object or function referenced by r, even in the presence of an over...
ISO C++ entities toplevel namespace is std.
typename pointer_traits< _Ptr >::template rebind< _Tp > __ptr_rebind
Convenience alias for rebinding pointers.
GNU debug classes for public use.
Uniform interface to all pointer-like types.
_Tp * pointer
The pointer type.
ptrdiff_t difference_type
Type used to represent the difference between two pointers.
_Tp element_type
The type pointed to.
_Up * rebind
A pointer to a different type.