1e4b17023SJohn Marino // Custom pointer adapter and sample storage policies
2e4b17023SJohn Marino
3*5ce9237cSJohn Marino // Copyright (C) 2008, 2009, 2010, 2012 Free Software Foundation, Inc.
4e4b17023SJohn Marino //
5e4b17023SJohn Marino // This file is part of the GNU ISO C++ Library. This library is free
6e4b17023SJohn Marino // software; you can redistribute it and/or modify it under the
7e4b17023SJohn Marino // terms of the GNU General Public License as published by the
8e4b17023SJohn Marino // Free Software Foundation; either version 3, or (at your option)
9e4b17023SJohn Marino // any later version.
10e4b17023SJohn Marino
11e4b17023SJohn Marino // This library is distributed in the hope that it will be useful,
12e4b17023SJohn Marino // but WITHOUT ANY WARRANTY; without even the implied warranty of
13e4b17023SJohn Marino // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14e4b17023SJohn Marino // GNU General Public License for more details.
15e4b17023SJohn Marino
16e4b17023SJohn Marino // Under Section 7 of GPL version 3, you are granted additional
17e4b17023SJohn Marino // permissions described in the GCC Runtime Library Exception, version
18e4b17023SJohn Marino // 3.1, as published by the Free Software Foundation.
19e4b17023SJohn Marino
20e4b17023SJohn Marino // You should have received a copy of the GNU General Public License and
21e4b17023SJohn Marino // a copy of the GCC Runtime Library Exception along with this program;
22e4b17023SJohn Marino // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
23e4b17023SJohn Marino // <http://www.gnu.org/licenses/>.
24e4b17023SJohn Marino
25e4b17023SJohn Marino /**
26e4b17023SJohn Marino * @file ext/pointer.h
27e4b17023SJohn Marino * This file is a GNU extension to the Standard C++ Library.
28e4b17023SJohn Marino *
29e4b17023SJohn Marino * @author Bob Walters
30e4b17023SJohn Marino *
31e4b17023SJohn Marino * Provides reusable _Pointer_adapter for assisting in the development of
32e4b17023SJohn Marino * custom pointer types that can be used with the standard containers via
33e4b17023SJohn Marino * the allocator::pointer and allocator::const_pointer typedefs.
34e4b17023SJohn Marino */
35e4b17023SJohn Marino
36e4b17023SJohn Marino #ifndef _POINTER_H
37e4b17023SJohn Marino #define _POINTER_H 1
38e4b17023SJohn Marino
39e4b17023SJohn Marino #pragma GCC system_header
40e4b17023SJohn Marino
41e4b17023SJohn Marino #include <iosfwd>
42e4b17023SJohn Marino #include <bits/stl_iterator_base_types.h>
43e4b17023SJohn Marino #include <ext/cast.h>
44e4b17023SJohn Marino #include <ext/type_traits.h>
45e4b17023SJohn Marino #ifdef __GXX_EXPERIMENTAL_CXX0X__
46*5ce9237cSJohn Marino # include <bits/move.h>
47e4b17023SJohn Marino # include <bits/ptr_traits.h>
48e4b17023SJohn Marino #endif
49e4b17023SJohn Marino
_GLIBCXX_VISIBILITY(default)50e4b17023SJohn Marino namespace __gnu_cxx _GLIBCXX_VISIBILITY(default)
51e4b17023SJohn Marino {
52e4b17023SJohn Marino _GLIBCXX_BEGIN_NAMESPACE_VERSION
53e4b17023SJohn Marino
54e4b17023SJohn Marino /**
55e4b17023SJohn Marino * @brief A storage policy for use with _Pointer_adapter<> which yields a
56e4b17023SJohn Marino * standard pointer.
57e4b17023SJohn Marino *
58e4b17023SJohn Marino * A _Storage_policy is required to provide 4 things:
59e4b17023SJohn Marino * 1) A get() API for returning the stored pointer value.
60e4b17023SJohn Marino * 2) An set() API for storing a pointer value.
61e4b17023SJohn Marino * 3) An element_type typedef to define the type this points to.
62e4b17023SJohn Marino * 4) An operator<() to support pointer comparison.
63e4b17023SJohn Marino * 5) An operator==() to support pointer comparison.
64e4b17023SJohn Marino */
65e4b17023SJohn Marino template<typename _Tp>
66e4b17023SJohn Marino class _Std_pointer_impl
67e4b17023SJohn Marino {
68e4b17023SJohn Marino public:
69e4b17023SJohn Marino // the type this pointer points to.
70e4b17023SJohn Marino typedef _Tp element_type;
71e4b17023SJohn Marino
72e4b17023SJohn Marino // A method to fetch the pointer value as a standard T* value;
73e4b17023SJohn Marino inline _Tp*
74e4b17023SJohn Marino get() const
75e4b17023SJohn Marino { return _M_value; }
76e4b17023SJohn Marino
77e4b17023SJohn Marino // A method to set the pointer value, from a standard T* value;
78e4b17023SJohn Marino inline void
79e4b17023SJohn Marino set(element_type* __arg)
80e4b17023SJohn Marino { _M_value = __arg; }
81e4b17023SJohn Marino
82e4b17023SJohn Marino // Comparison of pointers
83e4b17023SJohn Marino inline bool
84e4b17023SJohn Marino operator<(const _Std_pointer_impl& __rarg) const
85e4b17023SJohn Marino { return (_M_value < __rarg._M_value); }
86e4b17023SJohn Marino
87e4b17023SJohn Marino inline bool
88e4b17023SJohn Marino operator==(const _Std_pointer_impl& __rarg) const
89e4b17023SJohn Marino { return (_M_value == __rarg._M_value); }
90e4b17023SJohn Marino
91e4b17023SJohn Marino private:
92e4b17023SJohn Marino element_type* _M_value;
93e4b17023SJohn Marino };
94e4b17023SJohn Marino
95e4b17023SJohn Marino /**
96e4b17023SJohn Marino * @brief A storage policy for use with _Pointer_adapter<> which stores
97e4b17023SJohn Marino * the pointer's address as an offset value which is relative to
98e4b17023SJohn Marino * its own address.
99e4b17023SJohn Marino *
100e4b17023SJohn Marino * This is intended for pointers within shared memory regions which
101e4b17023SJohn Marino * might be mapped at different addresses by different processes.
102e4b17023SJohn Marino * For null pointers, a value of 1 is used. (0 is legitimate
103e4b17023SJohn Marino * sometimes for nodes in circularly linked lists) This value was
104e4b17023SJohn Marino * chosen as the least likely to generate an incorrect null, As
105e4b17023SJohn Marino * there is no reason why any normal pointer would point 1 byte into
106e4b17023SJohn Marino * its own pointer address.
107e4b17023SJohn Marino */
108e4b17023SJohn Marino template<typename _Tp>
109e4b17023SJohn Marino class _Relative_pointer_impl
110e4b17023SJohn Marino {
111e4b17023SJohn Marino public:
112e4b17023SJohn Marino typedef _Tp element_type;
113e4b17023SJohn Marino
114e4b17023SJohn Marino _Tp*
115e4b17023SJohn Marino get() const
116e4b17023SJohn Marino {
117e4b17023SJohn Marino if (_M_diff == 1)
118e4b17023SJohn Marino return 0;
119e4b17023SJohn Marino else
120e4b17023SJohn Marino return reinterpret_cast<_Tp*>(reinterpret_cast<_UIntPtrType>(this)
121e4b17023SJohn Marino + _M_diff);
122e4b17023SJohn Marino }
123e4b17023SJohn Marino
124e4b17023SJohn Marino void
125e4b17023SJohn Marino set(_Tp* __arg)
126e4b17023SJohn Marino {
127e4b17023SJohn Marino if (!__arg)
128e4b17023SJohn Marino _M_diff = 1;
129e4b17023SJohn Marino else
130e4b17023SJohn Marino _M_diff = reinterpret_cast<_UIntPtrType>(__arg)
131e4b17023SJohn Marino - reinterpret_cast<_UIntPtrType>(this);
132e4b17023SJohn Marino }
133e4b17023SJohn Marino
134e4b17023SJohn Marino // Comparison of pointers
135e4b17023SJohn Marino inline bool
136e4b17023SJohn Marino operator<(const _Relative_pointer_impl& __rarg) const
137e4b17023SJohn Marino { return (reinterpret_cast<_UIntPtrType>(this->get())
138e4b17023SJohn Marino < reinterpret_cast<_UIntPtrType>(__rarg.get())); }
139e4b17023SJohn Marino
140e4b17023SJohn Marino inline bool
141e4b17023SJohn Marino operator==(const _Relative_pointer_impl& __rarg) const
142e4b17023SJohn Marino { return (reinterpret_cast<_UIntPtrType>(this->get())
143e4b17023SJohn Marino == reinterpret_cast<_UIntPtrType>(__rarg.get())); }
144e4b17023SJohn Marino
145e4b17023SJohn Marino private:
146e4b17023SJohn Marino #ifdef _GLIBCXX_USE_LONG_LONG
147e4b17023SJohn Marino typedef __gnu_cxx::__conditional_type<
148e4b17023SJohn Marino (sizeof(unsigned long) >= sizeof(void*)),
149e4b17023SJohn Marino unsigned long, unsigned long long>::__type _UIntPtrType;
150e4b17023SJohn Marino #else
151e4b17023SJohn Marino typedef unsigned long _UIntPtrType;
152e4b17023SJohn Marino #endif
153e4b17023SJohn Marino _UIntPtrType _M_diff;
154e4b17023SJohn Marino };
155e4b17023SJohn Marino
156e4b17023SJohn Marino /**
157e4b17023SJohn Marino * Relative_pointer_impl needs a specialization for const T because of
158e4b17023SJohn Marino * the casting done during pointer arithmetic.
159e4b17023SJohn Marino */
160e4b17023SJohn Marino template<typename _Tp>
161e4b17023SJohn Marino class _Relative_pointer_impl<const _Tp>
162e4b17023SJohn Marino {
163e4b17023SJohn Marino public:
164e4b17023SJohn Marino typedef const _Tp element_type;
165e4b17023SJohn Marino
166e4b17023SJohn Marino const _Tp*
167e4b17023SJohn Marino get() const
168e4b17023SJohn Marino {
169e4b17023SJohn Marino if (_M_diff == 1)
170e4b17023SJohn Marino return 0;
171e4b17023SJohn Marino else
172e4b17023SJohn Marino return reinterpret_cast<const _Tp*>
173e4b17023SJohn Marino (reinterpret_cast<_UIntPtrType>(this) + _M_diff);
174e4b17023SJohn Marino }
175e4b17023SJohn Marino
176e4b17023SJohn Marino void
177e4b17023SJohn Marino set(const _Tp* __arg)
178e4b17023SJohn Marino {
179e4b17023SJohn Marino if (!__arg)
180e4b17023SJohn Marino _M_diff = 1;
181e4b17023SJohn Marino else
182e4b17023SJohn Marino _M_diff = reinterpret_cast<_UIntPtrType>(__arg)
183e4b17023SJohn Marino - reinterpret_cast<_UIntPtrType>(this);
184e4b17023SJohn Marino }
185e4b17023SJohn Marino
186e4b17023SJohn Marino // Comparison of pointers
187e4b17023SJohn Marino inline bool
188e4b17023SJohn Marino operator<(const _Relative_pointer_impl& __rarg) const
189e4b17023SJohn Marino { return (reinterpret_cast<_UIntPtrType>(this->get())
190e4b17023SJohn Marino < reinterpret_cast<_UIntPtrType>(__rarg.get())); }
191e4b17023SJohn Marino
192e4b17023SJohn Marino inline bool
193e4b17023SJohn Marino operator==(const _Relative_pointer_impl& __rarg) const
194e4b17023SJohn Marino { return (reinterpret_cast<_UIntPtrType>(this->get())
195e4b17023SJohn Marino == reinterpret_cast<_UIntPtrType>(__rarg.get())); }
196e4b17023SJohn Marino
197e4b17023SJohn Marino private:
198e4b17023SJohn Marino #ifdef _GLIBCXX_USE_LONG_LONG
199e4b17023SJohn Marino typedef __gnu_cxx::__conditional_type<
200e4b17023SJohn Marino (sizeof(unsigned long) >= sizeof(void*)),
201e4b17023SJohn Marino unsigned long, unsigned long long>::__type _UIntPtrType;
202e4b17023SJohn Marino #else
203e4b17023SJohn Marino typedef unsigned long _UIntPtrType;
204e4b17023SJohn Marino #endif
205e4b17023SJohn Marino _UIntPtrType _M_diff;
206e4b17023SJohn Marino };
207e4b17023SJohn Marino
208e4b17023SJohn Marino /**
209e4b17023SJohn Marino * The specialization on this type helps resolve the problem of
210e4b17023SJohn Marino * reference to void, and eliminates the need to specialize
211e4b17023SJohn Marino * _Pointer_adapter for cases of void*, const void*, and so on.
212e4b17023SJohn Marino */
213e4b17023SJohn Marino struct _Invalid_type { };
214e4b17023SJohn Marino
215e4b17023SJohn Marino template<typename _Tp>
216e4b17023SJohn Marino struct _Reference_type
217e4b17023SJohn Marino { typedef _Tp& reference; };
218e4b17023SJohn Marino
219e4b17023SJohn Marino template<>
220e4b17023SJohn Marino struct _Reference_type<void>
221e4b17023SJohn Marino { typedef _Invalid_type& reference; };
222e4b17023SJohn Marino
223e4b17023SJohn Marino template<>
224e4b17023SJohn Marino struct _Reference_type<const void>
225e4b17023SJohn Marino { typedef const _Invalid_type& reference; };
226e4b17023SJohn Marino
227e4b17023SJohn Marino template<>
228e4b17023SJohn Marino struct _Reference_type<volatile void>
229e4b17023SJohn Marino { typedef volatile _Invalid_type& reference; };
230e4b17023SJohn Marino
231e4b17023SJohn Marino template<>
232e4b17023SJohn Marino struct _Reference_type<volatile const void>
233e4b17023SJohn Marino { typedef const volatile _Invalid_type& reference; };
234e4b17023SJohn Marino
235e4b17023SJohn Marino /**
236e4b17023SJohn Marino * This structure accommodates the way in which
237e4b17023SJohn Marino * std::iterator_traits<> is normally specialized for const T*, so
238e4b17023SJohn Marino * that value_type is still T.
239e4b17023SJohn Marino */
240e4b17023SJohn Marino template<typename _Tp>
241e4b17023SJohn Marino struct _Unqualified_type
242e4b17023SJohn Marino { typedef _Tp type; };
243e4b17023SJohn Marino
244e4b17023SJohn Marino template<typename _Tp>
245e4b17023SJohn Marino struct _Unqualified_type<const _Tp>
246e4b17023SJohn Marino { typedef _Tp type; };
247e4b17023SJohn Marino
248e4b17023SJohn Marino /**
249e4b17023SJohn Marino * The following provides an 'alternative pointer' that works with
250e4b17023SJohn Marino * the containers when specified as the pointer typedef of the
251e4b17023SJohn Marino * allocator.
252e4b17023SJohn Marino *
253e4b17023SJohn Marino * The pointer type used with the containers doesn't have to be this
254e4b17023SJohn Marino * class, but it must support the implicit conversions, pointer
255e4b17023SJohn Marino * arithmetic, comparison operators, etc. that are supported by this
256e4b17023SJohn Marino * class, and avoid raising compile-time ambiguities. Because
257e4b17023SJohn Marino * creating a working pointer can be challenging, this pointer
258e4b17023SJohn Marino * template was designed to wrapper an easier storage policy type,
259e4b17023SJohn Marino * so that it becomes reusable for creating other pointer types.
260e4b17023SJohn Marino *
261e4b17023SJohn Marino * A key point of this class is also that it allows container
262e4b17023SJohn Marino * writers to 'assume' Allocator::pointer is a typedef for a normal
263e4b17023SJohn Marino * pointer. This class supports most of the conventions of a true
264e4b17023SJohn Marino * pointer, and can, for instance handle implicit conversion to
265e4b17023SJohn Marino * const and base class pointer types. The only impositions on
266e4b17023SJohn Marino * container writers to support extended pointers are: 1) use the
267e4b17023SJohn Marino * Allocator::pointer typedef appropriately for pointer types. 2)
268e4b17023SJohn Marino * if you need pointer casting, use the __pointer_cast<> functions
269e4b17023SJohn Marino * from ext/cast.h. This allows pointer cast operations to be
270e4b17023SJohn Marino * overloaded as necessary by custom pointers.
271e4b17023SJohn Marino *
272e4b17023SJohn Marino * Note: The const qualifier works with this pointer adapter as
273e4b17023SJohn Marino * follows:
274e4b17023SJohn Marino *
275e4b17023SJohn Marino * _Tp* == _Pointer_adapter<_Std_pointer_impl<_Tp> >;
276e4b17023SJohn Marino * const _Tp* == _Pointer_adapter<_Std_pointer_impl<const _Tp> >;
277e4b17023SJohn Marino * _Tp* const == const _Pointer_adapter<_Std_pointer_impl<_Tp> >;
278e4b17023SJohn Marino * const _Tp* const == const _Pointer_adapter<_Std_pointer_impl<const _Tp> >;
279e4b17023SJohn Marino */
280e4b17023SJohn Marino template<typename _Storage_policy>
281e4b17023SJohn Marino class _Pointer_adapter : public _Storage_policy
282e4b17023SJohn Marino {
283e4b17023SJohn Marino public:
284e4b17023SJohn Marino typedef typename _Storage_policy::element_type element_type;
285e4b17023SJohn Marino
286e4b17023SJohn Marino // These are needed for iterator_traits
287e4b17023SJohn Marino typedef std::random_access_iterator_tag iterator_category;
288e4b17023SJohn Marino typedef typename _Unqualified_type<element_type>::type value_type;
289e4b17023SJohn Marino typedef std::ptrdiff_t difference_type;
290e4b17023SJohn Marino typedef _Pointer_adapter pointer;
291e4b17023SJohn Marino typedef typename _Reference_type<element_type>::reference reference;
292e4b17023SJohn Marino
293e4b17023SJohn Marino // Reminder: 'const' methods mean that the method is valid when the
294e4b17023SJohn Marino // pointer is immutable, and has nothing to do with whether the
295e4b17023SJohn Marino // 'pointee' is const.
296e4b17023SJohn Marino
297e4b17023SJohn Marino // Default Constructor (Convert from element_type*)
298e4b17023SJohn Marino _Pointer_adapter(element_type* __arg = 0)
299e4b17023SJohn Marino { _Storage_policy::set(__arg); }
300e4b17023SJohn Marino
301e4b17023SJohn Marino // Copy constructor from _Pointer_adapter of same type.
302e4b17023SJohn Marino _Pointer_adapter(const _Pointer_adapter& __arg)
303e4b17023SJohn Marino { _Storage_policy::set(__arg.get()); }
304e4b17023SJohn Marino
305e4b17023SJohn Marino // Convert from _Up* if conversion to element_type* is valid.
306e4b17023SJohn Marino template<typename _Up>
307e4b17023SJohn Marino _Pointer_adapter(_Up* __arg)
308e4b17023SJohn Marino { _Storage_policy::set(__arg); }
309e4b17023SJohn Marino
310e4b17023SJohn Marino // Conversion from another _Pointer_adapter if _Up if static cast is
311e4b17023SJohn Marino // valid.
312e4b17023SJohn Marino template<typename _Up>
313e4b17023SJohn Marino _Pointer_adapter(const _Pointer_adapter<_Up>& __arg)
314e4b17023SJohn Marino { _Storage_policy::set(__arg.get()); }
315e4b17023SJohn Marino
316e4b17023SJohn Marino // Destructor
317e4b17023SJohn Marino ~_Pointer_adapter() { }
318e4b17023SJohn Marino
319e4b17023SJohn Marino // Assignment operator
320e4b17023SJohn Marino _Pointer_adapter&
321e4b17023SJohn Marino operator=(const _Pointer_adapter& __arg)
322e4b17023SJohn Marino {
323e4b17023SJohn Marino _Storage_policy::set(__arg.get());
324e4b17023SJohn Marino return *this;
325e4b17023SJohn Marino }
326e4b17023SJohn Marino
327e4b17023SJohn Marino template<typename _Up>
328e4b17023SJohn Marino _Pointer_adapter&
329e4b17023SJohn Marino operator=(const _Pointer_adapter<_Up>& __arg)
330e4b17023SJohn Marino {
331e4b17023SJohn Marino _Storage_policy::set(__arg.get());
332e4b17023SJohn Marino return *this;
333e4b17023SJohn Marino }
334e4b17023SJohn Marino
335e4b17023SJohn Marino template<typename _Up>
336e4b17023SJohn Marino _Pointer_adapter&
337e4b17023SJohn Marino operator=(_Up* __arg)
338e4b17023SJohn Marino {
339e4b17023SJohn Marino _Storage_policy::set(__arg);
340e4b17023SJohn Marino return *this;
341e4b17023SJohn Marino }
342e4b17023SJohn Marino
343e4b17023SJohn Marino // Operator*, returns element_type&
344e4b17023SJohn Marino inline reference
345e4b17023SJohn Marino operator*() const
346e4b17023SJohn Marino { return *(_Storage_policy::get()); }
347e4b17023SJohn Marino
348e4b17023SJohn Marino // Operator->, returns element_type*
349e4b17023SJohn Marino inline element_type*
350e4b17023SJohn Marino operator->() const
351e4b17023SJohn Marino { return _Storage_policy::get(); }
352e4b17023SJohn Marino
353e4b17023SJohn Marino // Operator[], returns a element_type& to the item at that loc.
354e4b17023SJohn Marino inline reference
355e4b17023SJohn Marino operator[](std::ptrdiff_t __index) const
356e4b17023SJohn Marino { return _Storage_policy::get()[__index]; }
357e4b17023SJohn Marino
358e4b17023SJohn Marino // To allow implicit conversion to "bool", for "if (ptr)..."
359e4b17023SJohn Marino private:
360e4b17023SJohn Marino typedef element_type*(_Pointer_adapter::*__unspecified_bool_type)() const;
361e4b17023SJohn Marino
362e4b17023SJohn Marino public:
363e4b17023SJohn Marino operator __unspecified_bool_type() const
364e4b17023SJohn Marino {
365e4b17023SJohn Marino return _Storage_policy::get() == 0 ? 0 :
366e4b17023SJohn Marino &_Pointer_adapter::operator->;
367e4b17023SJohn Marino }
368e4b17023SJohn Marino
369e4b17023SJohn Marino // ! operator (for: if (!ptr)...)
370e4b17023SJohn Marino inline bool
371e4b17023SJohn Marino operator!() const
372e4b17023SJohn Marino { return (_Storage_policy::get() == 0); }
373e4b17023SJohn Marino
374e4b17023SJohn Marino // Pointer differences
375e4b17023SJohn Marino inline friend std::ptrdiff_t
376e4b17023SJohn Marino operator-(const _Pointer_adapter& __lhs, element_type* __rhs)
377e4b17023SJohn Marino { return (__lhs.get() - __rhs); }
378e4b17023SJohn Marino
379e4b17023SJohn Marino inline friend std::ptrdiff_t
380e4b17023SJohn Marino operator-(element_type* __lhs, const _Pointer_adapter& __rhs)
381e4b17023SJohn Marino { return (__lhs - __rhs.get()); }
382e4b17023SJohn Marino
383e4b17023SJohn Marino template<typename _Up>
384e4b17023SJohn Marino inline friend std::ptrdiff_t
385e4b17023SJohn Marino operator-(const _Pointer_adapter& __lhs, _Up* __rhs)
386e4b17023SJohn Marino { return (__lhs.get() - __rhs); }
387e4b17023SJohn Marino
388e4b17023SJohn Marino template<typename _Up>
389e4b17023SJohn Marino inline friend std::ptrdiff_t
390e4b17023SJohn Marino operator-(_Up* __lhs, const _Pointer_adapter& __rhs)
391e4b17023SJohn Marino { return (__lhs - __rhs.get()); }
392e4b17023SJohn Marino
393e4b17023SJohn Marino template<typename _Up>
394e4b17023SJohn Marino inline std::ptrdiff_t
395e4b17023SJohn Marino operator-(const _Pointer_adapter<_Up>& __rhs) const
396e4b17023SJohn Marino { return (_Storage_policy::get() - __rhs.get()); }
397e4b17023SJohn Marino
398e4b17023SJohn Marino // Pointer math
399e4b17023SJohn Marino // Note: There is a reason for all this overloading based on different
400e4b17023SJohn Marino // integer types. In some libstdc++-v3 test cases, a templated
401e4b17023SJohn Marino // operator+ is declared which can match any types. This operator
402e4b17023SJohn Marino // tends to "steal" the recognition of _Pointer_adapter's own operator+
403e4b17023SJohn Marino // unless the integer type matches perfectly.
404e4b17023SJohn Marino
405e4b17023SJohn Marino #define _CXX_POINTER_ARITH_OPERATOR_SET(INT_TYPE) \
406e4b17023SJohn Marino inline friend _Pointer_adapter \
407e4b17023SJohn Marino operator+(const _Pointer_adapter& __lhs, INT_TYPE __offset) \
408e4b17023SJohn Marino { return _Pointer_adapter(__lhs.get() + __offset); } \
409e4b17023SJohn Marino \
410e4b17023SJohn Marino inline friend _Pointer_adapter \
411e4b17023SJohn Marino operator+(INT_TYPE __offset, const _Pointer_adapter& __rhs) \
412e4b17023SJohn Marino { return _Pointer_adapter(__rhs.get() + __offset); } \
413e4b17023SJohn Marino \
414e4b17023SJohn Marino inline friend _Pointer_adapter \
415e4b17023SJohn Marino operator-(const _Pointer_adapter& __lhs, INT_TYPE __offset) \
416e4b17023SJohn Marino { return _Pointer_adapter(__lhs.get() - __offset); } \
417e4b17023SJohn Marino \
418e4b17023SJohn Marino inline _Pointer_adapter& \
419e4b17023SJohn Marino operator+=(INT_TYPE __offset) \
420e4b17023SJohn Marino { \
421e4b17023SJohn Marino _Storage_policy::set(_Storage_policy::get() + __offset); \
422e4b17023SJohn Marino return *this; \
423e4b17023SJohn Marino } \
424e4b17023SJohn Marino \
425e4b17023SJohn Marino inline _Pointer_adapter& \
426e4b17023SJohn Marino operator-=(INT_TYPE __offset) \
427e4b17023SJohn Marino { \
428e4b17023SJohn Marino _Storage_policy::set(_Storage_policy::get() - __offset); \
429e4b17023SJohn Marino return *this; \
430e4b17023SJohn Marino } \
431e4b17023SJohn Marino // END of _CXX_POINTER_ARITH_OPERATOR_SET macro
432e4b17023SJohn Marino
433e4b17023SJohn Marino // Expand into the various pointer arithmetic operators needed.
434e4b17023SJohn Marino _CXX_POINTER_ARITH_OPERATOR_SET(short);
435e4b17023SJohn Marino _CXX_POINTER_ARITH_OPERATOR_SET(unsigned short);
436e4b17023SJohn Marino _CXX_POINTER_ARITH_OPERATOR_SET(int);
437e4b17023SJohn Marino _CXX_POINTER_ARITH_OPERATOR_SET(unsigned int);
438e4b17023SJohn Marino _CXX_POINTER_ARITH_OPERATOR_SET(long);
439e4b17023SJohn Marino _CXX_POINTER_ARITH_OPERATOR_SET(unsigned long);
440e4b17023SJohn Marino
441e4b17023SJohn Marino // Mathematical Manipulators
442e4b17023SJohn Marino inline _Pointer_adapter&
443e4b17023SJohn Marino operator++()
444e4b17023SJohn Marino {
445e4b17023SJohn Marino _Storage_policy::set(_Storage_policy::get() + 1);
446e4b17023SJohn Marino return *this;
447e4b17023SJohn Marino }
448e4b17023SJohn Marino
449e4b17023SJohn Marino inline _Pointer_adapter
450e4b17023SJohn Marino operator++(int)
451e4b17023SJohn Marino {
452e4b17023SJohn Marino _Pointer_adapter tmp(*this);
453e4b17023SJohn Marino _Storage_policy::set(_Storage_policy::get() + 1);
454e4b17023SJohn Marino return tmp;
455e4b17023SJohn Marino }
456e4b17023SJohn Marino
457e4b17023SJohn Marino inline _Pointer_adapter&
458e4b17023SJohn Marino operator--()
459e4b17023SJohn Marino {
460e4b17023SJohn Marino _Storage_policy::set(_Storage_policy::get() - 1);
461e4b17023SJohn Marino return *this;
462e4b17023SJohn Marino }
463e4b17023SJohn Marino
464e4b17023SJohn Marino inline _Pointer_adapter
465e4b17023SJohn Marino operator--(int)
466e4b17023SJohn Marino {
467e4b17023SJohn Marino _Pointer_adapter tmp(*this);
468e4b17023SJohn Marino _Storage_policy::set(_Storage_policy::get() - 1);
469e4b17023SJohn Marino return tmp;
470e4b17023SJohn Marino }
471e4b17023SJohn Marino
472e4b17023SJohn Marino }; // class _Pointer_adapter
473e4b17023SJohn Marino
474e4b17023SJohn Marino
475e4b17023SJohn Marino #define _GCC_CXX_POINTER_COMPARISON_OPERATION_SET(OPERATOR) \
476e4b17023SJohn Marino template<typename _Tp1, typename _Tp2> \
477e4b17023SJohn Marino inline bool \
478e4b17023SJohn Marino operator OPERATOR(const _Pointer_adapter<_Tp1>& __lhs, _Tp2 __rhs) \
479e4b17023SJohn Marino { return __lhs.get() OPERATOR __rhs; } \
480e4b17023SJohn Marino \
481e4b17023SJohn Marino template<typename _Tp1, typename _Tp2> \
482e4b17023SJohn Marino inline bool \
483e4b17023SJohn Marino operator OPERATOR(_Tp1 __lhs, const _Pointer_adapter<_Tp2>& __rhs) \
484e4b17023SJohn Marino { return __lhs OPERATOR __rhs.get(); } \
485e4b17023SJohn Marino \
486e4b17023SJohn Marino template<typename _Tp1, typename _Tp2> \
487e4b17023SJohn Marino inline bool \
488e4b17023SJohn Marino operator OPERATOR(const _Pointer_adapter<_Tp1>& __lhs, \
489e4b17023SJohn Marino const _Pointer_adapter<_Tp2>& __rhs) \
490e4b17023SJohn Marino { return __lhs.get() OPERATOR __rhs.get(); } \
491e4b17023SJohn Marino \
492e4b17023SJohn Marino // End GCC_CXX_POINTER_COMPARISON_OPERATION_SET Macro
493e4b17023SJohn Marino
494e4b17023SJohn Marino // Expand into the various comparison operators needed.
495e4b17023SJohn Marino _GCC_CXX_POINTER_COMPARISON_OPERATION_SET(==)
496e4b17023SJohn Marino _GCC_CXX_POINTER_COMPARISON_OPERATION_SET(!=)
497e4b17023SJohn Marino _GCC_CXX_POINTER_COMPARISON_OPERATION_SET(<)
498e4b17023SJohn Marino _GCC_CXX_POINTER_COMPARISON_OPERATION_SET(<=)
499e4b17023SJohn Marino _GCC_CXX_POINTER_COMPARISON_OPERATION_SET(>)
500e4b17023SJohn Marino _GCC_CXX_POINTER_COMPARISON_OPERATION_SET(>=)
501e4b17023SJohn Marino
502e4b17023SJohn Marino // These are here for expressions like "ptr == 0", "ptr != 0"
503e4b17023SJohn Marino template<typename _Tp>
504e4b17023SJohn Marino inline bool
505e4b17023SJohn Marino operator==(const _Pointer_adapter<_Tp>& __lhs, int __rhs)
506e4b17023SJohn Marino { return __lhs.get() == reinterpret_cast<void*>(__rhs); }
507e4b17023SJohn Marino
508e4b17023SJohn Marino template<typename _Tp>
509e4b17023SJohn Marino inline bool
510e4b17023SJohn Marino operator==(int __lhs, const _Pointer_adapter<_Tp>& __rhs)
511e4b17023SJohn Marino { return __rhs.get() == reinterpret_cast<void*>(__lhs); }
512e4b17023SJohn Marino
513e4b17023SJohn Marino template<typename _Tp>
514e4b17023SJohn Marino inline bool
515e4b17023SJohn Marino operator!=(const _Pointer_adapter<_Tp>& __lhs, int __rhs)
516e4b17023SJohn Marino { return __lhs.get() != reinterpret_cast<void*>(__rhs); }
517e4b17023SJohn Marino
518e4b17023SJohn Marino template<typename _Tp>
519e4b17023SJohn Marino inline bool
520e4b17023SJohn Marino operator!=(int __lhs, const _Pointer_adapter<_Tp>& __rhs)
521e4b17023SJohn Marino { return __rhs.get() != reinterpret_cast<void*>(__lhs); }
522e4b17023SJohn Marino
523e4b17023SJohn Marino /**
524e4b17023SJohn Marino * Comparison operators for _Pointer_adapter defer to the base class'
525e4b17023SJohn Marino * comparison operators, when possible.
526e4b17023SJohn Marino */
527e4b17023SJohn Marino template<typename _Tp>
528e4b17023SJohn Marino inline bool
529e4b17023SJohn Marino operator==(const _Pointer_adapter<_Tp>& __lhs,
530e4b17023SJohn Marino const _Pointer_adapter<_Tp>& __rhs)
531e4b17023SJohn Marino { return __lhs._Tp::operator==(__rhs); }
532e4b17023SJohn Marino
533e4b17023SJohn Marino template<typename _Tp>
534e4b17023SJohn Marino inline bool
535e4b17023SJohn Marino operator<=(const _Pointer_adapter<_Tp>& __lhs,
536e4b17023SJohn Marino const _Pointer_adapter<_Tp>& __rhs)
537e4b17023SJohn Marino { return __lhs._Tp::operator<(__rhs) || __lhs._Tp::operator==(__rhs); }
538e4b17023SJohn Marino
539e4b17023SJohn Marino template<typename _Tp>
540e4b17023SJohn Marino inline bool
541e4b17023SJohn Marino operator!=(const _Pointer_adapter<_Tp>& __lhs,
542e4b17023SJohn Marino const _Pointer_adapter<_Tp>& __rhs)
543e4b17023SJohn Marino { return !(__lhs._Tp::operator==(__rhs)); }
544e4b17023SJohn Marino
545e4b17023SJohn Marino template<typename _Tp>
546e4b17023SJohn Marino inline bool
547e4b17023SJohn Marino operator>(const _Pointer_adapter<_Tp>& __lhs,
548e4b17023SJohn Marino const _Pointer_adapter<_Tp>& __rhs)
549e4b17023SJohn Marino { return !(__lhs._Tp::operator<(__rhs) || __lhs._Tp::operator==(__rhs)); }
550e4b17023SJohn Marino
551e4b17023SJohn Marino template<typename _Tp>
552e4b17023SJohn Marino inline bool
553e4b17023SJohn Marino operator>=(const _Pointer_adapter<_Tp>& __lhs,
554e4b17023SJohn Marino const _Pointer_adapter<_Tp>& __rhs)
555e4b17023SJohn Marino { return !(__lhs._Tp::operator<(__rhs)); }
556e4b17023SJohn Marino
557e4b17023SJohn Marino template<typename _CharT, typename _Traits, typename _StoreT>
558e4b17023SJohn Marino inline std::basic_ostream<_CharT, _Traits>&
559e4b17023SJohn Marino operator<<(std::basic_ostream<_CharT, _Traits>& __os,
560e4b17023SJohn Marino const _Pointer_adapter<_StoreT>& __p)
561e4b17023SJohn Marino { return (__os << __p.get()); }
562e4b17023SJohn Marino
563e4b17023SJohn Marino _GLIBCXX_END_NAMESPACE_VERSION
564e4b17023SJohn Marino } // namespace
565e4b17023SJohn Marino
566e4b17023SJohn Marino #ifdef __GXX_EXPERIMENTAL_CXX0X__
567e4b17023SJohn Marino namespace std _GLIBCXX_VISIBILITY(default)
568e4b17023SJohn Marino {
569e4b17023SJohn Marino _GLIBCXX_BEGIN_NAMESPACE_VERSION
570e4b17023SJohn Marino
571e4b17023SJohn Marino template<typename _Storage_policy>
572e4b17023SJohn Marino struct pointer_traits<__gnu_cxx::_Pointer_adapter<_Storage_policy>>
573e4b17023SJohn Marino {
574e4b17023SJohn Marino /// The pointer type
575e4b17023SJohn Marino typedef __gnu_cxx::_Pointer_adapter<_Storage_policy> pointer;
576e4b17023SJohn Marino /// The type pointed to
577e4b17023SJohn Marino typedef typename pointer::element_type element_type;
578e4b17023SJohn Marino /// Type used to represent the difference between two pointers
579e4b17023SJohn Marino typedef typename pointer::difference_type difference_type;
580e4b17023SJohn Marino
581e4b17023SJohn Marino template<typename _Up>
582e4b17023SJohn Marino using rebind = typename __gnu_cxx::_Pointer_adapter<
583e4b17023SJohn Marino typename pointer_traits<_Storage_policy>::rebind<_Up>>;
584e4b17023SJohn Marino
585e4b17023SJohn Marino static pointer pointer_to(typename pointer::reference __r) noexcept
586e4b17023SJohn Marino { return pointer(std::addressof(__r)); }
587e4b17023SJohn Marino };
588e4b17023SJohn Marino
589e4b17023SJohn Marino _GLIBCXX_END_NAMESPACE_VERSION
590e4b17023SJohn Marino } // namespace
591e4b17023SJohn Marino #endif
592e4b17023SJohn Marino
593e4b17023SJohn Marino #endif // _POINTER_H
594