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>
45 struct __get_first_arg
46 {
using type = __undefined; };
48 template<
template<
typename,
typename...>
class _Template,
typename _Tp,
50 struct __get_first_arg<_Template<_Tp, _Types...>>
51 {
using type = _Tp; };
53 template<
typename _Tp>
54 using __get_first_arg_t =
typename __get_first_arg<_Tp>::type;
57 template<
typename _Tp,
typename _Up>
58 struct __replace_first_arg
61 template<
template<
typename,
typename...>
class _Template,
typename _Up,
62 typename _Tp,
typename... _Types>
63 struct __replace_first_arg<_Template<_Tp, _Types...>, _Up>
64 {
using type = _Template<_Up, _Types...>; };
66 template<
typename _Tp,
typename _Up>
67 using __replace_first_arg_t =
typename __replace_first_arg<_Tp, _Up>::type;
69 template<
typename _Tp>
71 =
typename conditional<is_void<_Tp>::value, __undefined, _Tp>::type;
77 template<
typename _Ptr>
81 template<
typename _Tp>
82 using __element_type =
typename _Tp::element_type;
84 template<
typename _Tp>
85 using __difference_type =
typename _Tp::difference_type;
87 template<
typename _Tp,
typename _Up,
typename =
void>
88 struct __rebind : __replace_first_arg<_Tp, _Up> { };
90 template<
typename _Tp,
typename _Up>
91 struct __rebind<_Tp, _Up, __void_t<typename _Tp::template
rebind<_Up>>>
92 {
using type =
typename _Tp::template
rebind<_Up>; };
100 = __detected_or_t<__get_first_arg_t<_Ptr>, __element_type, _Ptr>;
104 = __detected_or_t<ptrdiff_t, __difference_type, _Ptr>;
107 template<
typename _Up>
108 using rebind =
typename __rebind<_Ptr, _Up>::type;
111 pointer_to(__make_not_void<element_type>& __e)
112 {
return _Ptr::pointer_to(__e); }
114 static_assert(!is_same<element_type, __undefined>::value,
115 "pointer type defines element_type or is like SomePointer<T, Args>");
122 template<
typename _Tp>
132 template<
typename _Up>
146 template<
typename _Ptr,
typename _Tp>
149 _GLIBCXX_END_NAMESPACE_VERSION