31 #define _PTR_TRAITS_H 1
33 #if __cplusplus >= 201103L
37 namespace std _GLIBCXX_VISIBILITY(default)
39 _GLIBCXX_BEGIN_NAMESPACE_VERSION
44 template<typename _Tp,
bool = __has_element_type<_Tp>::value>
45 struct __ptrtr_elt_type;
47 template<typename _Tp>
48 struct __ptrtr_elt_type<_Tp, true>
50 typedef typename _Tp::element_type __type;
53 template<
template<
typename,
typename...>
class _SomePtr,
typename _Tp,
55 struct __ptrtr_elt_type<_SomePtr<_Tp, _Args...>, false>
60 template<typename _Tp, bool = __has_difference_type<_Tp>::value>
61 struct __ptrtr_diff_type
63 typedef typename _Tp::difference_type __type;
66 template<
typename _Tp>
67 struct __ptrtr_diff_type<_Tp, false>
69 typedef ptrdiff_t __type;
72 template<
typename _Ptr,
typename _Up>
73 class __ptrtr_rebind_helper
75 template<
typename _Ptr2,
typename _Up2>
77 _S_chk(
typename _Ptr2::template rebind<_Up2>*)
80 template<
typename,
typename>
86 static const bool __value = _S_chk<_Ptr, _Up>(
nullptr);
89 template<
typename _Ptr,
typename _Up>
90 const bool __ptrtr_rebind_helper<_Ptr, _Up>::__value;
92 template<
typename _Tp,
typename _Up,
93 bool = __ptrtr_rebind_helper<_Tp, _Up>::__value>
94 struct __ptrtr_rebind;
96 template<
typename _Tp,
typename _Up>
97 struct __ptrtr_rebind<_Tp, _Up, true>
99 typedef typename _Tp::template rebind<_Up> __type;
102 template<
template<
typename,
typename...>
class _SomePtr,
typename _Up,
103 typename _Tp,
typename... _Args>
104 struct __ptrtr_rebind<_SomePtr<_Tp, _Args...>, _Up, false>
106 typedef _SomePtr<_Up, _Args...> __type;
109 template<typename _Tp, typename = typename remove_cv<_Tp>::type>
110 struct __ptrtr_not_void
115 template<
typename _Tp>
116 struct __ptrtr_not_void<_Tp, void>
121 template<
typename _Ptr>
122 class __ptrtr_pointer_to
124 typedef typename __ptrtr_elt_type<_Ptr>::__type __orig_type;
125 typedef typename __ptrtr_not_void<__orig_type>::__type __element_type;
128 static _Ptr pointer_to(__element_type& __e)
129 {
return _Ptr::pointer_to(__e); }
136 template<
typename _Ptr>
146 template<
typename _Up>
147 using rebind =
typename __ptrtr_rebind<_Ptr, _Up>::__type;
154 template<
typename _Tp>
164 template<
typename _Up>
173 pointer_to(
typename __ptrtr_not_void<element_type>::__type& __r) noexcept
177 _GLIBCXX_END_NAMESPACE_VERSION