1 // Custom pointer adapter and sample storage policies
3 // Copyright (C) 2008, 2009, 2010 Free Software Foundation, Inc.
5 // This file is part of the GNU ISO C++ Library. This library is free
6 // software; you can redistribute it and/or modify it under the
7 // terms of the GNU General Public License as published by the
8 // Free Software Foundation; either version 3, or (at your option)
11 // This library is distributed in the hope that it will be useful,
12 // but WITHOUT ANY WARRANTY; without even the implied warranty of
13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 // GNU General Public License for more details.
16 // Under Section 7 of GPL version 3, you are granted additional
17 // permissions described in the GCC Runtime Library Exception, version
18 // 3.1, as published by the Free Software Foundation.
20 // You should have received a copy of the GNU General Public License and
21 // a copy of the GCC Runtime Library Exception along with this program;
22 // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
23 // <http://www.gnu.org/licenses/>.
27 * This file is a GNU extension to the Standard C++ Library.
31 * Provides reusable _Pointer_adapter for assisting in the development of
32 * custom pointer types that can be used with the standard containers via
33 * the allocator::pointer and allocator::const_pointer typedefs.
39 #pragma GCC system_header
42 #include <bits/stl_iterator_base_types.h>
44 #include <ext/type_traits.h>
46 _GLIBCXX_BEGIN_NAMESPACE(__gnu_cxx
)
49 * @brief A storage policy for use with _Pointer_adapter<> which yields a
52 * A _Storage_policy is required to provide 4 things:
53 * 1) A get() API for returning the stored pointer value.
54 * 2) An set() API for storing a pointer value.
55 * 3) An element_type typedef to define the type this points to.
56 * 4) An operator<() to support pointer comparison.
57 * 5) An operator==() to support pointer comparison.
59 template<typename _Tp
>
60 class _Std_pointer_impl
63 // the type this pointer points to.
64 typedef _Tp element_type
;
66 // A method to fetch the pointer value as a standard T* value;
71 // A method to set the pointer value, from a standard T* value;
73 set(element_type
* __arg
)
76 // Comparison of pointers
78 operator<(const _Std_pointer_impl
& __rarg
) const
79 { return (_M_value
< __rarg
._M_value
); }
82 operator==(const _Std_pointer_impl
& __rarg
) const
83 { return (_M_value
== __rarg
._M_value
); }
86 element_type
* _M_value
;
90 * @brief A storage policy for use with _Pointer_adapter<> which stores
91 * the pointer's address as an offset value which is relative to
94 * This is intended for pointers within shared memory regions which
95 * might be mapped at different addresses by different processes.
96 * For null pointers, a value of 1 is used. (0 is legitimate
97 * sometimes for nodes in circularly linked lists) This value was
98 * chosen as the least likely to generate an incorrect null, As
99 * there is no reason why any normal pointer would point 1 byte into
100 * its own pointer address.
102 template<typename _Tp
>
103 class _Relative_pointer_impl
106 typedef _Tp element_type
;
114 return reinterpret_cast<_Tp
*>(reinterpret_cast<_UIntPtrType
>(this)
124 _M_diff
= reinterpret_cast<_UIntPtrType
>(__arg
)
125 - reinterpret_cast<_UIntPtrType
>(this);
128 // Comparison of pointers
130 operator<(const _Relative_pointer_impl
& __rarg
) const
131 { return (reinterpret_cast<_UIntPtrType
>(this->get())
132 < reinterpret_cast<_UIntPtrType
>(__rarg
.get())); }
135 operator==(const _Relative_pointer_impl
& __rarg
) const
136 { return (reinterpret_cast<_UIntPtrType
>(this->get())
137 == reinterpret_cast<_UIntPtrType
>(__rarg
.get())); }
140 #ifdef _GLIBCXX_USE_LONG_LONG
141 typedef __gnu_cxx::__conditional_type
<
142 (sizeof(unsigned long) >= sizeof(void*)),
143 unsigned long, unsigned long long>::__type _UIntPtrType
;
145 typedef unsigned long _UIntPtrType
;
147 _UIntPtrType _M_diff
;
151 * Relative_pointer_impl needs a specialization for const T because of
152 * the casting done during pointer arithmetic.
154 template<typename _Tp
>
155 class _Relative_pointer_impl
<const _Tp
>
158 typedef const _Tp element_type
;
166 return reinterpret_cast<const _Tp
*>
167 (reinterpret_cast<_UIntPtrType
>(this) + _M_diff
);
171 set(const _Tp
* __arg
)
176 _M_diff
= reinterpret_cast<_UIntPtrType
>(__arg
)
177 - reinterpret_cast<_UIntPtrType
>(this);
180 // Comparison of pointers
182 operator<(const _Relative_pointer_impl
& __rarg
) const
183 { return (reinterpret_cast<_UIntPtrType
>(this->get())
184 < reinterpret_cast<_UIntPtrType
>(__rarg
.get())); }
187 operator==(const _Relative_pointer_impl
& __rarg
) const
188 { return (reinterpret_cast<_UIntPtrType
>(this->get())
189 == reinterpret_cast<_UIntPtrType
>(__rarg
.get())); }
192 #ifdef _GLIBCXX_USE_LONG_LONG
193 typedef __gnu_cxx::__conditional_type
<
194 (sizeof(unsigned long) >= sizeof(void*)),
195 unsigned long, unsigned long long>::__type _UIntPtrType
;
197 typedef unsigned long _UIntPtrType
;
199 _UIntPtrType _M_diff
;
203 * The specialization on this type helps resolve the problem of
204 * reference to void, and eliminates the need to specialize
205 * _Pointer_adapter for cases of void*, const void*, and so on.
207 struct _Invalid_type
{ };
209 template<typename _Tp
>
210 struct _Reference_type
211 { typedef _Tp
& reference
; };
214 struct _Reference_type
<void>
215 { typedef _Invalid_type
& reference
; };
218 struct _Reference_type
<const void>
219 { typedef const _Invalid_type
& reference
; };
222 struct _Reference_type
<volatile void>
223 { typedef volatile _Invalid_type
& reference
; };
226 struct _Reference_type
<volatile const void>
227 { typedef const volatile _Invalid_type
& reference
; };
230 * This structure accomodates the way in which
231 * std::iterator_traits<> is normally specialized for const T*, so
232 * that value_type is still T.
234 template<typename _Tp
>
235 struct _Unqualified_type
236 { typedef _Tp type
; };
238 template<typename _Tp
>
239 struct _Unqualified_type
<const _Tp
>
240 { typedef _Tp type
; };
242 template<typename _Tp
>
243 struct _Unqualified_type
<volatile _Tp
>
244 { typedef volatile _Tp type
; };
246 template<typename _Tp
>
247 struct _Unqualified_type
<volatile const _Tp
>
248 { typedef volatile _Tp type
; };
251 * The following provides an 'alternative pointer' that works with
252 * the containers when specified as the pointer typedef of the
255 * The pointer type used with the containers doesn't have to be this
256 * class, but it must support the implicit conversions, pointer
257 * arithmetic, comparison operators, etc. that are supported by this
258 * class, and avoid raising compile-time ambiguities. Because
259 * creating a working pointer can be challenging, this pointer
260 * template was designed to wrapper an easier storage policy type,
261 * so that it becomes reusable for creating other pointer types.
263 * A key point of this class is also that it allows container
264 * writers to 'assume' Alocator::pointer is a typedef for a normal
265 * pointer. This class supports most of the conventions of a true
266 * pointer, and can, for instance handle implicit conversion to
267 * const and base class pointer types. The only impositions on
268 * container writers to support extended pointers are: 1) use the
269 * Allocator::pointer typedef appropriately for pointer types. 2)
270 * if you need pointer casting, use the __pointer_cast<> functions
271 * from ext/cast.h. This allows pointer cast operations to be
272 * overloaded is necessary by custom pointers.
274 * Note: The const qualifier works with this pointer adapter as
277 * _Tp* == _Pointer_adapter<_Std_pointer_impl<_Tp> >;
278 * const _Tp* == _Pointer_adapter<_Std_pointer_impl<const _Tp> >;
279 * _Tp* const == const _Pointer_adapter<_Std_pointer_impl<_Tp> >;
280 * const _Tp* const == const _Pointer_adapter<_Std_pointer_impl<const _Tp> >;
282 template<typename _Storage_policy
>
283 class _Pointer_adapter
: public _Storage_policy
286 typedef typename
_Storage_policy::element_type element_type
;
288 // These are needed for iterator_traits
289 typedef std::random_access_iterator_tag iterator_category
;
290 typedef typename _Unqualified_type
<element_type
>::type value_type
;
291 typedef std::ptrdiff_t difference_type
;
292 typedef _Pointer_adapter pointer
;
293 typedef typename _Reference_type
<element_type
>::reference reference
;
295 // Reminder: 'const' methods mean that the method is valid when the
296 // pointer is immutable, and has nothing to do with whether the
297 // 'pointee' is const.
299 // Default Constructor (Convert from element_type*)
300 _Pointer_adapter(element_type
* __arg
= 0)
301 { _Storage_policy::set(__arg
); }
303 // Copy constructor from _Pointer_adapter of same type.
304 _Pointer_adapter(const _Pointer_adapter
& __arg
)
305 { _Storage_policy::set(__arg
.get()); }
307 // Convert from _Up* if conversion to element_type* is valid.
308 template<typename _Up
>
309 _Pointer_adapter(_Up
* __arg
)
310 { _Storage_policy::set(__arg
); }
312 // Conversion from another _Pointer_adapter if _Up if static cast is
314 template<typename _Up
>
315 _Pointer_adapter(const _Pointer_adapter
<_Up
>& __arg
)
316 { _Storage_policy::set(__arg
.get()); }
319 ~_Pointer_adapter() { }
321 // Assignment operator
323 operator=(const _Pointer_adapter
& __arg
)
325 _Storage_policy::set(__arg
.get());
329 template<typename _Up
>
331 operator=(const _Pointer_adapter
<_Up
>& __arg
)
333 _Storage_policy::set(__arg
.get());
337 template<typename _Up
>
339 operator=(_Up
* __arg
)
341 _Storage_policy::set(__arg
);
345 // Operator*, returns element_type&
348 { return *(_Storage_policy::get()); }
350 // Operator->, returns element_type*
353 { return _Storage_policy::get(); }
355 // Operator[], returns a element_type& to the item at that loc.
357 operator[](std::ptrdiff_t __index
) const
358 { return _Storage_policy::get()[__index
]; }
360 // To allow implicit conversion to "bool", for "if (ptr)..."
362 typedef element_type
*(_Pointer_adapter::*__unspecified_bool_type
)() const;
365 operator __unspecified_bool_type() const
367 return _Storage_policy::get() == 0 ? 0 :
368 &_Pointer_adapter::operator->;
371 // ! operator (for: if (!ptr)...)
374 { return (_Storage_policy::get() == 0); }
376 // Pointer differences
377 inline friend std::ptrdiff_t
378 operator-(const _Pointer_adapter
& __lhs
, element_type
* __rhs
)
379 { return (__lhs
.get() - __rhs
); }
381 inline friend std::ptrdiff_t
382 operator-(element_type
* __lhs
, const _Pointer_adapter
& __rhs
)
383 { return (__lhs
- __rhs
.get()); }
385 template<typename _Up
>
386 inline friend std::ptrdiff_t
387 operator-(const _Pointer_adapter
& __lhs
, _Up
* __rhs
)
388 { return (__lhs
.get() - __rhs
); }
390 template<typename _Up
>
391 inline friend std::ptrdiff_t
392 operator-(_Up
* __lhs
, const _Pointer_adapter
& __rhs
)
393 { return (__lhs
- __rhs
.get()); }
395 template<typename _Up
>
396 inline std::ptrdiff_t
397 operator-(const _Pointer_adapter
<_Up
>& __rhs
) const
398 { return (_Storage_policy::get() - __rhs
.get()); }
401 // Note: There is a reason for all this overloading based on different
402 // integer types. In some libstdc++-v3 test cases, a templated
403 // operator+ is declared which can match any types. This operator
404 // tends to "steal" the recognition of _Pointer_adapter's own operator+
405 // unless the integer type matches perfectly.
407 #define _CXX_POINTER_ARITH_OPERATOR_SET(INT_TYPE) \
408 inline friend _Pointer_adapter \
409 operator+(const _Pointer_adapter& __lhs, INT_TYPE __offset) \
410 { return _Pointer_adapter(__lhs.get() + __offset); } \
412 inline friend _Pointer_adapter \
413 operator+(INT_TYPE __offset, const _Pointer_adapter& __rhs) \
414 { return _Pointer_adapter(__rhs.get() + __offset); } \
416 inline friend _Pointer_adapter \
417 operator-(const _Pointer_adapter& __lhs, INT_TYPE __offset) \
418 { return _Pointer_adapter(__lhs.get() - __offset); } \
420 inline _Pointer_adapter& \
421 operator+=(INT_TYPE __offset) \
423 _Storage_policy::set(_Storage_policy::get() + __offset); \
427 inline _Pointer_adapter& \
428 operator-=(INT_TYPE __offset) \
430 _Storage_policy::set(_Storage_policy::get() - __offset); \
433 // END of _CXX_POINTER_ARITH_OPERATOR_SET macro
435 // Expand into the various pointer arithmatic operators needed.
436 _CXX_POINTER_ARITH_OPERATOR_SET(short);
437 _CXX_POINTER_ARITH_OPERATOR_SET(unsigned short);
438 _CXX_POINTER_ARITH_OPERATOR_SET(int);
439 _CXX_POINTER_ARITH_OPERATOR_SET(unsigned int);
440 _CXX_POINTER_ARITH_OPERATOR_SET(long);
441 _CXX_POINTER_ARITH_OPERATOR_SET(unsigned long);
443 // Mathematical Manipulators
444 inline _Pointer_adapter
&
447 _Storage_policy::set(_Storage_policy::get() + 1);
451 inline _Pointer_adapter
454 _Pointer_adapter
tmp(*this);
455 _Storage_policy::set(_Storage_policy::get() + 1);
459 inline _Pointer_adapter
&
462 _Storage_policy::set(_Storage_policy::get() - 1);
466 inline _Pointer_adapter
469 _Pointer_adapter
tmp(*this);
470 _Storage_policy::set(_Storage_policy::get() - 1);
474 }; // class _Pointer_adapter
477 #define _GCC_CXX_POINTER_COMPARISON_OPERATION_SET(OPERATOR) \
478 template<typename _Tp1, typename _Tp2> \
480 operator OPERATOR(const _Pointer_adapter<_Tp1>& __lhs, _Tp2 __rhs) \
481 { return __lhs.get() OPERATOR __rhs; } \
483 template<typename _Tp1, typename _Tp2> \
485 operator OPERATOR(_Tp1 __lhs, const _Pointer_adapter<_Tp2>& __rhs) \
486 { return __lhs OPERATOR __rhs.get(); } \
488 template<typename _Tp1, typename _Tp2> \
490 operator OPERATOR(const _Pointer_adapter<_Tp1>& __lhs, \
491 const _Pointer_adapter<_Tp2>& __rhs) \
492 { return __lhs.get() OPERATOR __rhs.get(); } \
494 // End GCC_CXX_POINTER_COMPARISON_OPERATION_SET Macro
496 // Expand into the various comparison operators needed.
497 _GCC_CXX_POINTER_COMPARISON_OPERATION_SET(==)
498 _GCC_CXX_POINTER_COMPARISON_OPERATION_SET(!=)
499 _GCC_CXX_POINTER_COMPARISON_OPERATION_SET(<)
500 _GCC_CXX_POINTER_COMPARISON_OPERATION_SET(<=)
501 _GCC_CXX_POINTER_COMPARISON_OPERATION_SET(>)
502 _GCC_CXX_POINTER_COMPARISON_OPERATION_SET(>=)
504 // These are here for expressions like "ptr == 0", "ptr != 0"
505 template<typename _Tp
>
507 operator==(const _Pointer_adapter
<_Tp
>& __lhs
, int __rhs
)
508 { return __lhs
.get() == reinterpret_cast<void*>(__rhs
); }
510 template<typename _Tp
>
512 operator==(int __lhs
, const _Pointer_adapter
<_Tp
>& __rhs
)
513 { return __rhs
.get() == reinterpret_cast<void*>(__lhs
); }
515 template<typename _Tp
>
517 operator!=(const _Pointer_adapter
<_Tp
>& __lhs
, int __rhs
)
518 { return __lhs
.get() != reinterpret_cast<void*>(__rhs
); }
520 template<typename _Tp
>
522 operator!=(int __lhs
, const _Pointer_adapter
<_Tp
>& __rhs
)
523 { return __rhs
.get() != reinterpret_cast<void*>(__lhs
); }
526 * Comparison operators for _Pointer_adapter defer to the base class'es
527 * comparison operators, when possible.
529 template<typename _Tp
>
531 operator==(const _Pointer_adapter
<_Tp
>& __lhs
,
532 const _Pointer_adapter
<_Tp
>& __rhs
)
533 { return __lhs
._Tp::operator==(__rhs
); }
535 template<typename _Tp
>
537 operator<=(const _Pointer_adapter
<_Tp
>& __lhs
,
538 const _Pointer_adapter
<_Tp
>& __rhs
)
539 { return __lhs
._Tp::operator<(__rhs
) || __lhs
._Tp::operator==(__rhs
); }
541 template<typename _Tp
>
543 operator!=(const _Pointer_adapter
<_Tp
>& __lhs
,
544 const _Pointer_adapter
<_Tp
>& __rhs
)
545 { return !(__lhs
._Tp::operator==(__rhs
)); }
547 template<typename _Tp
>
549 operator>(const _Pointer_adapter
<_Tp
>& __lhs
,
550 const _Pointer_adapter
<_Tp
>& __rhs
)
551 { return !(__lhs
._Tp::operator<(__rhs
) || __lhs
._Tp::operator==(__rhs
)); }
553 template<typename _Tp
>
555 operator>=(const _Pointer_adapter
<_Tp
>& __lhs
,
556 const _Pointer_adapter
<_Tp
>& __rhs
)
557 { return !(__lhs
._Tp::operator<(__rhs
)); }
559 template<typename _CharT
, typename _Traits
, typename _StoreT
>
560 inline std::basic_ostream
<_CharT
, _Traits
>&
561 operator<<(std::basic_ostream
<_CharT
, _Traits
>& __os
,
562 const _Pointer_adapter
<_StoreT
>& __p
)
563 { return (__os
<< __p
.get()); }
565 _GLIBCXX_END_NAMESPACE