1 // shared_ptr and weak_ptr implementation -*- C++ -*-
3 // Copyright (C) 2007-2012 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/>.
25 // GCC Note: Based on files from version 1.32.0 of the Boost library.
28 // Copyright (c) 2001, 2002, 2003 Peter Dimov and Multi Media Ltd.
31 // Copyright (C) 1998, 1999 Greg Colvin and Beman Dawes.
32 // Copyright (C) 2001, 2002, 2003 Peter Dimov
35 // Copyright (C) 2001, 2002, 2003 Peter Dimov
37 // enable_shared_from_this.hpp
38 // Copyright (C) 2002 Peter Dimov
40 // Distributed under the Boost Software License, Version 1.0. (See
41 // accompanying file LICENSE_1_0.txt or copy at
42 // http://www.boost.org/LICENSE_1_0.txt)
44 /** @file bits/shared_ptr.h
45 * This is an internal header file, included by other library headers.
46 * Do not attempt to use it directly. @headername{memory}
50 #define _SHARED_PTR_H 1
52 #include <bits/shared_ptr_base.h>
54 namespace std
_GLIBCXX_VISIBILITY(default)
56 _GLIBCXX_BEGIN_NAMESPACE_VERSION
59 * @addtogroup pointer_abstractions
63 /// 2.2.3.7 shared_ptr I/O
64 template<typename _Ch
, typename _Tr
, typename _Tp
, _Lock_policy _Lp
>
65 inline std::basic_ostream
<_Ch
, _Tr
>&
66 operator<<(std::basic_ostream
<_Ch
, _Tr
>& __os
,
67 const __shared_ptr
<_Tp
, _Lp
>& __p
)
73 /// 2.2.3.10 shared_ptr get_deleter (experimental)
74 template<typename _Del
, typename _Tp
, _Lock_policy _Lp
>
76 get_deleter(const __shared_ptr
<_Tp
, _Lp
>& __p
) noexcept
79 return static_cast<_Del
*>(__p
._M_get_deleter(typeid(_Del
)));
87 * @brief A smart pointer with reference-counted copy semantics.
89 * The object pointed to is deleted when the last shared_ptr pointing to
90 * it is destroyed or reset.
92 template<typename _Tp
>
93 class shared_ptr
: public __shared_ptr
<_Tp
>
97 * @brief Construct an empty %shared_ptr.
98 * @post use_count()==0 && get()==0
100 constexpr shared_ptr() noexcept
101 : __shared_ptr
<_Tp
>() { }
103 shared_ptr(const shared_ptr
&) noexcept
= default;
106 * @brief Construct a %shared_ptr that owns the pointer @a __p.
107 * @param __p A pointer that is convertible to element_type*.
108 * @post use_count() == 1 && get() == __p
109 * @throw std::bad_alloc, in which case @c delete @a __p is called.
111 template<typename _Tp1
>
112 explicit shared_ptr(_Tp1
* __p
)
113 : __shared_ptr
<_Tp
>(__p
) { }
116 * @brief Construct a %shared_ptr that owns the pointer @a __p
117 * and the deleter @a __d.
118 * @param __p A pointer.
119 * @param __d A deleter.
120 * @post use_count() == 1 && get() == __p
121 * @throw std::bad_alloc, in which case @a __d(__p) is called.
123 * Requirements: _Deleter's copy constructor and destructor must
126 * __shared_ptr will release __p by calling __d(__p)
128 template<typename _Tp1
, typename _Deleter
>
129 shared_ptr(_Tp1
* __p
, _Deleter __d
)
130 : __shared_ptr
<_Tp
>(__p
, __d
) { }
133 * @brief Construct a %shared_ptr that owns a null pointer
134 * and the deleter @a __d.
135 * @param __p A null pointer constant.
136 * @param __d A deleter.
137 * @post use_count() == 1 && get() == __p
138 * @throw std::bad_alloc, in which case @a __d(__p) is called.
140 * Requirements: _Deleter's copy constructor and destructor must
143 * The last owner will call __d(__p)
145 template<typename _Deleter
>
146 shared_ptr(nullptr_t __p
, _Deleter __d
)
147 : __shared_ptr
<_Tp
>(__p
, __d
) { }
150 * @brief Construct a %shared_ptr that owns the pointer @a __p
151 * and the deleter @a __d.
152 * @param __p A pointer.
153 * @param __d A deleter.
154 * @param __a An allocator.
155 * @post use_count() == 1 && get() == __p
156 * @throw std::bad_alloc, in which case @a __d(__p) is called.
158 * Requirements: _Deleter's copy constructor and destructor must
159 * not throw _Alloc's copy constructor and destructor must not
162 * __shared_ptr will release __p by calling __d(__p)
164 template<typename _Tp1
, typename _Deleter
, typename _Alloc
>
165 shared_ptr(_Tp1
* __p
, _Deleter __d
, _Alloc __a
)
166 : __shared_ptr
<_Tp
>(__p
, __d
, std::move(__a
)) { }
169 * @brief Construct a %shared_ptr that owns a null pointer
170 * and the deleter @a __d.
171 * @param __p A null pointer constant.
172 * @param __d A deleter.
173 * @param __a An allocator.
174 * @post use_count() == 1 && get() == __p
175 * @throw std::bad_alloc, in which case @a __d(__p) is called.
177 * Requirements: _Deleter's copy constructor and destructor must
178 * not throw _Alloc's copy constructor and destructor must not
181 * The last owner will call __d(__p)
183 template<typename _Deleter
, typename _Alloc
>
184 shared_ptr(nullptr_t __p
, _Deleter __d
, _Alloc __a
)
185 : __shared_ptr
<_Tp
>(__p
, __d
, std::move(__a
)) { }
187 // Aliasing constructor
190 * @brief Constructs a %shared_ptr instance that stores @a __p
191 * and shares ownership with @a __r.
192 * @param __r A %shared_ptr.
193 * @param __p A pointer that will remain valid while @a *__r is valid.
194 * @post get() == __p && use_count() == __r.use_count()
196 * This can be used to construct a @c shared_ptr to a sub-object
197 * of an object managed by an existing @c shared_ptr.
200 * shared_ptr< pair<int,int> > pii(new pair<int,int>());
201 * shared_ptr<int> pi(pii, &pii->first);
202 * assert(pii.use_count() == 2);
205 template<typename _Tp1
>
206 shared_ptr(const shared_ptr
<_Tp1
>& __r
, _Tp
* __p
) noexcept
207 : __shared_ptr
<_Tp
>(__r
, __p
) { }
210 * @brief If @a __r is empty, constructs an empty %shared_ptr;
211 * otherwise construct a %shared_ptr that shares ownership
213 * @param __r A %shared_ptr.
214 * @post get() == __r.get() && use_count() == __r.use_count()
216 template<typename _Tp1
, typename
= typename
217 std::enable_if
<std::is_convertible
<_Tp1
*, _Tp
*>::value
>::type
>
218 shared_ptr(const shared_ptr
<_Tp1
>& __r
) noexcept
219 : __shared_ptr
<_Tp
>(__r
) { }
222 * @brief Move-constructs a %shared_ptr instance from @a __r.
223 * @param __r A %shared_ptr rvalue.
224 * @post *this contains the old value of @a __r, @a __r is empty.
226 shared_ptr(shared_ptr
&& __r
) noexcept
227 : __shared_ptr
<_Tp
>(std::move(__r
)) { }
230 * @brief Move-constructs a %shared_ptr instance from @a __r.
231 * @param __r A %shared_ptr rvalue.
232 * @post *this contains the old value of @a __r, @a __r is empty.
234 template<typename _Tp1
, typename
= typename
235 std::enable_if
<std::is_convertible
<_Tp1
*, _Tp
*>::value
>::type
>
236 shared_ptr(shared_ptr
<_Tp1
>&& __r
) noexcept
237 : __shared_ptr
<_Tp
>(std::move(__r
)) { }
240 * @brief Constructs a %shared_ptr that shares ownership with @a __r
241 * and stores a copy of the pointer stored in @a __r.
242 * @param __r A weak_ptr.
243 * @post use_count() == __r.use_count()
244 * @throw bad_weak_ptr when __r.expired(),
245 * in which case the constructor has no effect.
247 template<typename _Tp1
>
248 explicit shared_ptr(const weak_ptr
<_Tp1
>& __r
)
249 : __shared_ptr
<_Tp
>(__r
) { }
251 #if _GLIBCXX_USE_DEPRECATED
252 template<typename _Tp1
>
253 shared_ptr(std::auto_ptr
<_Tp1
>&& __r
);
256 template<typename _Tp1
, typename _Del
>
257 shared_ptr(std::unique_ptr
<_Tp1
, _Del
>&& __r
)
258 : __shared_ptr
<_Tp
>(std::move(__r
)) { }
261 * @brief Construct an empty %shared_ptr.
262 * @param __p A null pointer constant.
263 * @post use_count() == 0 && get() == nullptr
265 constexpr shared_ptr(nullptr_t __p
) noexcept
266 : __shared_ptr
<_Tp
>(__p
) { }
268 shared_ptr
& operator=(const shared_ptr
&) noexcept
= default;
270 template<typename _Tp1
>
272 operator=(const shared_ptr
<_Tp1
>& __r
) noexcept
274 this->__shared_ptr
<_Tp
>::operator=(__r
);
278 #if _GLIBCXX_USE_DEPRECATED
279 template<typename _Tp1
>
281 operator=(std::auto_ptr
<_Tp1
>&& __r
)
283 this->__shared_ptr
<_Tp
>::operator=(std::move(__r
));
289 operator=(shared_ptr
&& __r
) noexcept
291 this->__shared_ptr
<_Tp
>::operator=(std::move(__r
));
297 operator=(shared_ptr
<_Tp1
>&& __r
) noexcept
299 this->__shared_ptr
<_Tp
>::operator=(std::move(__r
));
303 template<typename _Tp1
, typename _Del
>
305 operator=(std::unique_ptr
<_Tp1
, _Del
>&& __r
)
307 this->__shared_ptr
<_Tp
>::operator=(std::move(__r
));
312 // This constructor is non-standard, it is used by allocate_shared.
313 template<typename _Alloc
, typename
... _Args
>
314 shared_ptr(_Sp_make_shared_tag __tag
, const _Alloc
& __a
,
316 : __shared_ptr
<_Tp
>(__tag
, __a
, std::forward
<_Args
>(__args
)...)
319 template<typename _Tp1
, typename _Alloc
, typename
... _Args
>
320 friend shared_ptr
<_Tp1
>
321 allocate_shared(const _Alloc
& __a
, _Args
&&... __args
);
324 // 20.7.2.2.7 shared_ptr comparisons
325 template<typename _Tp1
, typename _Tp2
>
327 operator==(const shared_ptr
<_Tp1
>& __a
,
328 const shared_ptr
<_Tp2
>& __b
) noexcept
329 { return __a
.get() == __b
.get(); }
331 template<typename _Tp
>
333 operator==(const shared_ptr
<_Tp
>& __a
, nullptr_t
) noexcept
336 template<typename _Tp
>
338 operator==(nullptr_t
, const shared_ptr
<_Tp
>& __a
) noexcept
341 template<typename _Tp1
, typename _Tp2
>
343 operator!=(const shared_ptr
<_Tp1
>& __a
,
344 const shared_ptr
<_Tp2
>& __b
) noexcept
345 { return __a
.get() != __b
.get(); }
347 template<typename _Tp
>
349 operator!=(const shared_ptr
<_Tp
>& __a
, nullptr_t
) noexcept
350 { return (bool)__a
; }
352 template<typename _Tp
>
354 operator!=(nullptr_t
, const shared_ptr
<_Tp
>& __a
) noexcept
355 { return (bool)__a
; }
357 template<typename _Tp1
, typename _Tp2
>
359 operator<(const shared_ptr
<_Tp1
>& __a
,
360 const shared_ptr
<_Tp2
>& __b
) noexcept
362 typedef typename
std::common_type
<_Tp1
*, _Tp2
*>::type _CT
;
363 return std::less
<_CT
>()(__a
.get(), __b
.get());
366 template<typename _Tp
>
368 operator<(const shared_ptr
<_Tp
>& __a
, nullptr_t
) noexcept
369 { return std::less
<_Tp
*>()(__a
.get(), nullptr); }
371 template<typename _Tp
>
373 operator<(nullptr_t
, const shared_ptr
<_Tp
>& __a
) noexcept
374 { return std::less
<_Tp
*>()(nullptr, __a
.get()); }
376 template<typename _Tp1
, typename _Tp2
>
378 operator<=(const shared_ptr
<_Tp1
>& __a
,
379 const shared_ptr
<_Tp2
>& __b
) noexcept
380 { return !(__b
< __a
); }
382 template<typename _Tp
>
384 operator<=(const shared_ptr
<_Tp
>& __a
, nullptr_t
) noexcept
385 { return !(nullptr < __a
); }
387 template<typename _Tp
>
389 operator<=(nullptr_t
, const shared_ptr
<_Tp
>& __a
) noexcept
390 { return !(__a
< nullptr); }
392 template<typename _Tp1
, typename _Tp2
>
394 operator>(const shared_ptr
<_Tp1
>& __a
,
395 const shared_ptr
<_Tp2
>& __b
) noexcept
396 { return (__b
< __a
); }
398 template<typename _Tp
>
400 operator>(const shared_ptr
<_Tp
>& __a
, nullptr_t
) noexcept
401 { return std::less
<_Tp
*>()(nullptr, __a
.get()); }
403 template<typename _Tp
>
405 operator>(nullptr_t
, const shared_ptr
<_Tp
>& __a
) noexcept
406 { return std::less
<_Tp
*>()(__a
.get(), nullptr); }
408 template<typename _Tp1
, typename _Tp2
>
410 operator>=(const shared_ptr
<_Tp1
>& __a
,
411 const shared_ptr
<_Tp2
>& __b
) noexcept
412 { return !(__a
< __b
); }
414 template<typename _Tp
>
416 operator>=(const shared_ptr
<_Tp
>& __a
, nullptr_t
) noexcept
417 { return !(__a
< nullptr); }
419 template<typename _Tp
>
421 operator>=(nullptr_t
, const shared_ptr
<_Tp
>& __a
) noexcept
422 { return !(nullptr < __a
); }
424 template<typename _Tp
>
425 struct less
<shared_ptr
<_Tp
>> : public _Sp_less
<shared_ptr
<_Tp
>>
428 // 20.7.2.2.8 shared_ptr specialized algorithms.
429 template<typename _Tp
>
431 swap(shared_ptr
<_Tp
>& __a
, shared_ptr
<_Tp
>& __b
) noexcept
434 // 20.7.2.2.9 shared_ptr casts.
435 template<typename _Tp
, typename _Tp1
>
436 inline shared_ptr
<_Tp
>
437 static_pointer_cast(const shared_ptr
<_Tp1
>& __r
) noexcept
438 { return shared_ptr
<_Tp
>(__r
, static_cast<_Tp
*>(__r
.get())); }
440 template<typename _Tp
, typename _Tp1
>
441 inline shared_ptr
<_Tp
>
442 const_pointer_cast(const shared_ptr
<_Tp1
>& __r
) noexcept
443 { return shared_ptr
<_Tp
>(__r
, const_cast<_Tp
*>(__r
.get())); }
445 template<typename _Tp
, typename _Tp1
>
446 inline shared_ptr
<_Tp
>
447 dynamic_pointer_cast(const shared_ptr
<_Tp1
>& __r
) noexcept
449 if (_Tp
* __p
= dynamic_cast<_Tp
*>(__r
.get()))
450 return shared_ptr
<_Tp
>(__r
, __p
);
451 return shared_ptr
<_Tp
>();
456 * @brief A smart pointer with weak semantics.
458 * With forwarding constructors and assignment operators.
460 template<typename _Tp
>
461 class weak_ptr
: public __weak_ptr
<_Tp
>
464 constexpr weak_ptr() noexcept
465 : __weak_ptr
<_Tp
>() { }
467 template<typename _Tp1
, typename
= typename
468 std::enable_if
<std::is_convertible
<_Tp1
*, _Tp
*>::value
>::type
>
469 weak_ptr(const weak_ptr
<_Tp1
>& __r
) noexcept
470 : __weak_ptr
<_Tp
>(__r
) { }
472 template<typename _Tp1
, typename
= typename
473 std::enable_if
<std::is_convertible
<_Tp1
*, _Tp
*>::value
>::type
>
474 weak_ptr(const shared_ptr
<_Tp1
>& __r
) noexcept
475 : __weak_ptr
<_Tp
>(__r
) { }
477 template<typename _Tp1
>
479 operator=(const weak_ptr
<_Tp1
>& __r
) noexcept
481 this->__weak_ptr
<_Tp
>::operator=(__r
);
485 template<typename _Tp1
>
487 operator=(const shared_ptr
<_Tp1
>& __r
) noexcept
489 this->__weak_ptr
<_Tp
>::operator=(__r
);
494 lock() const noexcept
498 return shared_ptr
<_Tp
>();
502 return shared_ptr
<_Tp
>(*this);
504 __catch(const bad_weak_ptr
&)
506 return shared_ptr
<_Tp
>();
509 return this->expired() ? shared_ptr
<_Tp
>() : shared_ptr
<_Tp
>(*this);
514 // 20.7.2.3.6 weak_ptr specialized algorithms.
515 template<typename _Tp
>
517 swap(weak_ptr
<_Tp
>& __a
, weak_ptr
<_Tp
>& __b
) noexcept
521 /// Primary template owner_less
522 template<typename _Tp
>
525 /// Partial specialization of owner_less for shared_ptr.
526 template<typename _Tp
>
527 struct owner_less
<shared_ptr
<_Tp
>>
528 : public _Sp_owner_less
<shared_ptr
<_Tp
>, weak_ptr
<_Tp
>>
531 /// Partial specialization of owner_less for weak_ptr.
532 template<typename _Tp
>
533 struct owner_less
<weak_ptr
<_Tp
>>
534 : public _Sp_owner_less
<weak_ptr
<_Tp
>, shared_ptr
<_Tp
>>
538 * @brief Base class allowing use of member function shared_from_this.
540 template<typename _Tp
>
541 class enable_shared_from_this
544 constexpr enable_shared_from_this() noexcept
{ }
546 enable_shared_from_this(const enable_shared_from_this
&) noexcept
{ }
548 enable_shared_from_this
&
549 operator=(const enable_shared_from_this
&) noexcept
552 ~enable_shared_from_this() { }
557 { return shared_ptr
<_Tp
>(this->_M_weak_this
); }
559 shared_ptr
<const _Tp
>
560 shared_from_this() const
561 { return shared_ptr
<const _Tp
>(this->_M_weak_this
); }
564 template<typename _Tp1
>
566 _M_weak_assign(_Tp1
* __p
, const __shared_count
<>& __n
) const noexcept
567 { _M_weak_this
._M_assign(__p
, __n
); }
569 template<typename _Tp1
>
571 __enable_shared_from_this_helper(const __shared_count
<>& __pn
,
572 const enable_shared_from_this
* __pe
,
573 const _Tp1
* __px
) noexcept
576 __pe
->_M_weak_assign(const_cast<_Tp1
*>(__px
), __pn
);
579 mutable weak_ptr
<_Tp
> _M_weak_this
;
583 * @brief Create an object that is owned by a shared_ptr.
584 * @param __a An allocator.
585 * @param __args Arguments for the @a _Tp object's constructor.
586 * @return A shared_ptr that owns the newly created object.
587 * @throw An exception thrown from @a _Alloc::allocate or from the
588 * constructor of @a _Tp.
590 * A copy of @a __a will be used to allocate memory for the shared_ptr
591 * and the new object.
593 template<typename _Tp
, typename _Alloc
, typename
... _Args
>
594 inline shared_ptr
<_Tp
>
595 allocate_shared(const _Alloc
& __a
, _Args
&&... __args
)
597 return shared_ptr
<_Tp
>(_Sp_make_shared_tag(), __a
,
598 std::forward
<_Args
>(__args
)...);
602 * @brief Create an object that is owned by a shared_ptr.
603 * @param __args Arguments for the @a _Tp object's constructor.
604 * @return A shared_ptr that owns the newly created object.
605 * @throw std::bad_alloc, or an exception thrown from the
606 * constructor of @a _Tp.
608 template<typename _Tp
, typename
... _Args
>
609 inline shared_ptr
<_Tp
>
610 make_shared(_Args
&&... __args
)
612 typedef typename
std::remove_const
<_Tp
>::type _Tp_nc
;
613 return std::allocate_shared
<_Tp
>(std::allocator
<_Tp_nc
>(),
614 std::forward
<_Args
>(__args
)...);
617 /// std::hash specialization for shared_ptr.
618 template<typename _Tp
>
619 struct hash
<shared_ptr
<_Tp
>>
620 : public __hash_base
<size_t, shared_ptr
<_Tp
>>
623 operator()(const shared_ptr
<_Tp
>& __s
) const noexcept
624 { return std::hash
<_Tp
*>()(__s
.get()); }
627 // @} group pointer_abstractions
629 _GLIBCXX_END_NAMESPACE_VERSION
632 #endif // _SHARED_PTR_H