forked from boostorg/smart_ptr
		
	Implement shared_ptr<X[]>, weak_ptr<X[]>. Refs #1113. ........ Fix shared_ptr<T[]> EDG issues. ........ Disable make_shared<T> overloads when T is Q[]. ........ Add catch(...) clauses to sp_array_test.cpp. ........ Add allocate_shared and make_shared for shared_ptr arrays of runtime size. Fulfills need for allocate_shared_array and make_shared_array. ........ Update Jamfile.v2 to run make_shared array tests and allocate_shared array tests. ........ Fix g++ issues. ........ Add specialization of sp_if_not_array<T[N]>. ........ Rename make_shared.hpp to make_shared_object.hpp, include from make_shared.hpp. ........ Add make_shared_array_args_test.cpp. ........ Add support for make_shared of array of arrays. Correctly destroy elements and construct elements for the variadic template constructor variants. ........ Fix sp_convertible<T const[], T const[]>. ........ Update smart_ptr/detail/array_helper to have create and create_noinit for non-array case. ........ Rename sp_convertible_test.cpp to shared_ptr_convertible_test.cpp. ........ Don't treat array_helper create and create_noinit for array types as a special case. ........ Add sp_convertible_test.cpp. ........ Fix array_helper (create_noinit and use of args...). ........ Update allocate_shared and make_shared to treat multidimensional array as single dimension. Remove detail array_helper. Add detail array traits. Update tests. ........ Simplify array_deleter interface ........ Add missing semicolon. ........ Fix typo. ........ Add tests for variadic template constructors overload of array forms of make_shared and allocate_shared for multidimensional arrays and up to 9 constructor arguments. ........ Add support for shared_ptr<X[N>. ........ Add C++11 initializer list support for make_shared and allocate_shared array forms. ........ Clean up code in allocate_shared_array.hpp and make_shared_array.hpp ........ Change make_shared and allocate_shared array form semantics with initializer lists overload that takes no size. ........ Disable make_shared for arrays when the compiler doesn't support partial specialization or SFINAE. ........ For allocate_shared and make_shared: Separate test case that g++ does support yet. Remove macros testing for no partial specialization in traits. Add additional traits. ........ Actually remove test cases from make_shared_array_create_test.cpp and allocate_shared_array_create_test.cpp that g++ does not handle. ........ Add overloads to support fixed size arrays, T[N], to allocate_shared (variadic) and make_shared (variadic) and make_shared_noinit. ........ Add additional overload for make_shared and allocate_shared for arrays for fixed size arrays and initializer lists. ........ Add assertion to overload of make_shared and allocate_shared for T[N] with initializer lists. Rename detail type to be more intuitive. ........ Add allocate_shared_array_args_test.cpp. ........ Keep old definition of sp_assert_convertible when BOOST_SP_NO_SP_CONVERTIBLE is set. ........ Updated shared_array to match shared_ptr. Refs #1113. ........ Add final overload of make_shared and allocate_shared (array forms) for T[][N] with C++11 initializer lists. ........ Change traits for initializer list for g++ ........ Tidy long line formatting in allocate_shared_array.hpp and make_shared_array.hpp ........ Update tests for make_shared and allocate_shared array forms, for normal case, initializer lists, variadic template arguments, for arrays and fixed size arrays. ........ Update Jamfile.v2 with two new smart_ptr tests for allocate_shared and make_shared ........ [SVN r81339]
		
			
				
	
	
		
			946 lines
		
	
	
		
			23 KiB
		
	
	
	
		
			C++
		
	
	
	
	
	
			
		
		
	
	
			946 lines
		
	
	
		
			23 KiB
		
	
	
	
		
			C++
		
	
	
	
	
	
| #ifndef BOOST_SMART_PTR_SHARED_PTR_HPP_INCLUDED
 | |
| #define BOOST_SMART_PTR_SHARED_PTR_HPP_INCLUDED
 | |
| 
 | |
| //
 | |
| //  shared_ptr.hpp
 | |
| //
 | |
| //  (C) Copyright Greg Colvin and Beman Dawes 1998, 1999.
 | |
| //  Copyright (c) 2001-2008 Peter Dimov
 | |
| //
 | |
| //  Distributed under the Boost Software License, Version 1.0. (See
 | |
| //  accompanying file LICENSE_1_0.txt or copy at
 | |
| //  http://www.boost.org/LICENSE_1_0.txt)
 | |
| //
 | |
| //  See http://www.boost.org/libs/smart_ptr/shared_ptr.htm for documentation.
 | |
| //
 | |
| 
 | |
| #include <boost/config.hpp>   // for broken compiler workarounds
 | |
| 
 | |
| #if defined(BOOST_NO_MEMBER_TEMPLATES) && !defined(BOOST_MSVC6_MEMBER_TEMPLATES)
 | |
| #include <boost/smart_ptr/detail/shared_ptr_nmt.hpp>
 | |
| #else
 | |
| 
 | |
| // In order to avoid circular dependencies with Boost.TR1
 | |
| // we make sure that our include of <memory> doesn't try to
 | |
| // pull in the TR1 headers: that's why we use this header 
 | |
| // rather than including <memory> directly:
 | |
| #include <boost/config/no_tr1/memory.hpp>  // std::auto_ptr
 | |
| 
 | |
| #include <boost/assert.hpp>
 | |
| #include <boost/checked_delete.hpp>
 | |
| #include <boost/throw_exception.hpp>
 | |
| #include <boost/smart_ptr/detail/shared_count.hpp>
 | |
| #include <boost/detail/workaround.hpp>
 | |
| #include <boost/smart_ptr/detail/sp_convertible.hpp>
 | |
| 
 | |
| #if !defined(BOOST_SP_NO_ATOMIC_ACCESS)
 | |
| #include <boost/smart_ptr/detail/spinlock_pool.hpp>
 | |
| #include <boost/memory_order.hpp>
 | |
| #endif
 | |
| 
 | |
| #include <algorithm>            // for std::swap
 | |
| #include <functional>           // for std::less
 | |
| #include <typeinfo>             // for std::bad_cast
 | |
| #include <cstddef>              // for std::size_t
 | |
| 
 | |
| #if !defined(BOOST_NO_IOSTREAM)
 | |
| #if !defined(BOOST_NO_IOSFWD)
 | |
| #include <iosfwd>               // for std::basic_ostream
 | |
| #else
 | |
| #include <ostream>
 | |
| #endif
 | |
| #endif
 | |
| 
 | |
| namespace boost
 | |
| {
 | |
| 
 | |
| template<class T> class shared_ptr;
 | |
| template<class T> class weak_ptr;
 | |
| template<class T> class enable_shared_from_this;
 | |
| class enable_shared_from_raw;
 | |
| 
 | |
| namespace detail
 | |
| {
 | |
| 
 | |
| struct static_cast_tag {};
 | |
| struct const_cast_tag {};
 | |
| struct dynamic_cast_tag {};
 | |
| struct polymorphic_cast_tag {};
 | |
| 
 | |
| // sp_element, element_type
 | |
| 
 | |
| template< class T > struct sp_element
 | |
| {
 | |
|     typedef T type;
 | |
| };
 | |
| 
 | |
| #if !defined( BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION )
 | |
| 
 | |
| template< class T > struct sp_element< T[] >
 | |
| {
 | |
|     typedef T type;
 | |
| };
 | |
| 
 | |
| template< class T, std::size_t N > struct sp_element< T[N] >
 | |
| {
 | |
|     typedef T type;
 | |
| };
 | |
| 
 | |
| #endif // !defined( BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION )
 | |
| 
 | |
| // sp_dereference, return type of operator*
 | |
| 
 | |
| template< class T > struct sp_dereference
 | |
| {
 | |
|     typedef T & type;
 | |
| };
 | |
| 
 | |
| template<> struct sp_dereference< void >
 | |
| {
 | |
|     typedef void type;
 | |
| };
 | |
| 
 | |
| #if !defined(BOOST_NO_CV_VOID_SPECIALIZATIONS)
 | |
| 
 | |
| template<> struct sp_dereference< void const >
 | |
| {
 | |
|     typedef void type;
 | |
| };
 | |
| 
 | |
| template<> struct sp_dereference< void volatile >
 | |
| {
 | |
|     typedef void type;
 | |
| };
 | |
| 
 | |
| template<> struct sp_dereference< void const volatile >
 | |
| {
 | |
|     typedef void type;
 | |
| };
 | |
| 
 | |
| #endif // !defined(BOOST_NO_CV_VOID_SPECIALIZATIONS)
 | |
| 
 | |
| #if !defined( BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION )
 | |
| 
 | |
| template< class T > struct sp_dereference< T[] >
 | |
| {
 | |
|     typedef void type;
 | |
| };
 | |
| 
 | |
| template< class T, std::size_t N > struct sp_dereference< T[N] >
 | |
| {
 | |
|     typedef void type;
 | |
| };
 | |
| 
 | |
| #endif // !defined( BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION )
 | |
| 
 | |
| // sp_member_access, return type of operator->
 | |
| 
 | |
| template< class T > struct sp_member_access
 | |
| {
 | |
|     typedef T * type;
 | |
| };
 | |
| 
 | |
| #if !defined( BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION )
 | |
| 
 | |
| template< class T > struct sp_member_access< T[] >
 | |
| {
 | |
|     typedef void type;
 | |
| };
 | |
| 
 | |
| template< class T, std::size_t N > struct sp_member_access< T[N] >
 | |
| {
 | |
|     typedef void type;
 | |
| };
 | |
| 
 | |
| #endif // !defined( BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION )
 | |
| 
 | |
| // sp_array_access, return type of operator[]
 | |
| 
 | |
| template< class T > struct sp_array_access
 | |
| {
 | |
|     typedef void type;
 | |
| };
 | |
| 
 | |
| #if !defined( BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION )
 | |
| 
 | |
| template< class T > struct sp_array_access< T[] >
 | |
| {
 | |
|     typedef T & type;
 | |
| };
 | |
| 
 | |
| template< class T, std::size_t N > struct sp_array_access< T[N] >
 | |
| {
 | |
|     typedef T & type;
 | |
| };
 | |
| 
 | |
| #endif // !defined( BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION )
 | |
| 
 | |
| // sp_extent, for operator[] index check
 | |
| 
 | |
| template< class T > struct sp_extent
 | |
| {
 | |
|     enum _vt { value = 0 };
 | |
| };
 | |
| 
 | |
| #if !defined( BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION )
 | |
| 
 | |
| template< class T, std::size_t N > struct sp_extent< T[N] >
 | |
| {
 | |
|     enum _vt { value = N };
 | |
| };
 | |
| 
 | |
| #endif // !defined( BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION )
 | |
| 
 | |
| // enable_shared_from_this support
 | |
| 
 | |
| template< class X, class Y, class T > inline void sp_enable_shared_from_this( boost::shared_ptr<X> const * ppx, Y const * py, boost::enable_shared_from_this< T > const * pe )
 | |
| {
 | |
|     if( pe != 0 )
 | |
|     {
 | |
|         pe->_internal_accept_owner( ppx, const_cast< Y* >( py ) );
 | |
|     }
 | |
| }
 | |
| 
 | |
| template< class X, class Y > inline void sp_enable_shared_from_this( boost::shared_ptr<X> * ppx, Y const * py, boost::enable_shared_from_raw const * pe );
 | |
| 
 | |
| #ifdef _MANAGED
 | |
| 
 | |
| // Avoid C4793, ... causes native code generation
 | |
| 
 | |
| struct sp_any_pointer
 | |
| {
 | |
|     template<class T> sp_any_pointer( T* ) {}
 | |
| };
 | |
| 
 | |
| inline void sp_enable_shared_from_this( sp_any_pointer, sp_any_pointer, sp_any_pointer )
 | |
| {
 | |
| }
 | |
| 
 | |
| #else // _MANAGED
 | |
| 
 | |
| inline void sp_enable_shared_from_this( ... )
 | |
| {
 | |
| }
 | |
| 
 | |
| #endif // _MANAGED
 | |
| 
 | |
| #if !defined( BOOST_NO_SFINAE ) && !defined( BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION ) && !defined( BOOST_NO_AUTO_PTR )
 | |
| 
 | |
| // rvalue auto_ptr support based on a technique by Dave Abrahams
 | |
| 
 | |
| template< class T, class R > struct sp_enable_if_auto_ptr
 | |
| {
 | |
| };
 | |
| 
 | |
| template< class T, class R > struct sp_enable_if_auto_ptr< std::auto_ptr< T >, R >
 | |
| {
 | |
|     typedef R type;
 | |
| }; 
 | |
| 
 | |
| #endif
 | |
| 
 | |
| // sp_assert_convertible
 | |
| 
 | |
| template< class Y, class T > inline void sp_assert_convertible()
 | |
| {
 | |
| #if !defined( BOOST_SP_NO_SP_CONVERTIBLE )
 | |
| 
 | |
|     // static_assert( sp_convertible< Y, T >::value );
 | |
|     typedef char tmp[ sp_convertible< Y, T >::value? 1: -1 ];
 | |
|     (void)sizeof( tmp );
 | |
| 
 | |
| #else
 | |
| 
 | |
|     T* p = static_cast< Y* >( 0 );
 | |
|     (void)p;
 | |
| 
 | |
| #endif
 | |
| }
 | |
| 
 | |
| // pointer constructor helper
 | |
| 
 | |
| template< class T, class Y > inline void sp_pointer_construct( boost::shared_ptr< T > * ppx, Y * p, boost::detail::shared_count & pn )
 | |
| {
 | |
|     boost::detail::shared_count( p ).swap( pn );
 | |
|     boost::detail::sp_enable_shared_from_this( ppx, p, p );
 | |
| }
 | |
| 
 | |
| #if !defined( BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION )
 | |
| 
 | |
| template< class T, class Y > inline void sp_pointer_construct( boost::shared_ptr< T[] > * /*ppx*/, Y * p, boost::detail::shared_count & pn )
 | |
| {
 | |
|     sp_assert_convertible< Y[], T[] >();
 | |
|     boost::detail::shared_count( p, boost::checked_array_deleter< T >() ).swap( pn );
 | |
| }
 | |
| 
 | |
| template< class T, std::size_t N, class Y > inline void sp_pointer_construct( boost::shared_ptr< T[N] > * /*ppx*/, Y * p, boost::detail::shared_count & pn )
 | |
| {
 | |
|     sp_assert_convertible< Y[N], T[N] >();
 | |
|     boost::detail::shared_count( p, boost::checked_array_deleter< T >() ).swap( pn );
 | |
| }
 | |
| 
 | |
| #endif // !defined( BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION )
 | |
| 
 | |
| // deleter constructor helper
 | |
| 
 | |
| template< class T, class Y > inline void sp_deleter_construct( boost::shared_ptr< T > * ppx, Y * p )
 | |
| {
 | |
|     boost::detail::sp_enable_shared_from_this( ppx, p, p );
 | |
| }
 | |
| 
 | |
| #if !defined( BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION )
 | |
| 
 | |
| template< class T, class Y > inline void sp_deleter_construct( boost::shared_ptr< T[] > * /*ppx*/, Y * /*p*/ )
 | |
| {
 | |
|     sp_assert_convertible< Y[], T[] >();
 | |
| }
 | |
| 
 | |
| template< class T, std::size_t N, class Y > inline void sp_deleter_construct( boost::shared_ptr< T[N] > * /*ppx*/, Y * /*p*/ )
 | |
| {
 | |
|     sp_assert_convertible< Y[N], T[N] >();
 | |
| }
 | |
| 
 | |
| #endif // !defined( BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION )
 | |
| 
 | |
| } // namespace detail
 | |
| 
 | |
| 
 | |
| //
 | |
| //  shared_ptr
 | |
| //
 | |
| //  An enhanced relative of scoped_ptr with reference counted copy semantics.
 | |
| //  The object pointed to is deleted when the last shared_ptr pointing to it
 | |
| //  is destroyed or reset.
 | |
| //
 | |
| 
 | |
| template<class T> class shared_ptr
 | |
| {
 | |
| private:
 | |
| 
 | |
|     // Borland 5.5.1 specific workaround
 | |
|     typedef shared_ptr<T> this_type;
 | |
| 
 | |
| public:
 | |
| 
 | |
|     typedef typename boost::detail::sp_element< T >::type element_type;
 | |
| 
 | |
|     shared_ptr(): px( 0 ), pn() // never throws in 1.30+
 | |
|     {
 | |
|     }
 | |
| 
 | |
|     template<class Y>
 | |
|     explicit shared_ptr( Y * p ): px( p ), pn() // Y must be complete
 | |
|     {
 | |
|         boost::detail::sp_pointer_construct( this, p, pn );
 | |
|     }
 | |
| 
 | |
|     //
 | |
|     // Requirements: D's copy constructor must not throw
 | |
|     //
 | |
|     // shared_ptr will release p by calling d(p)
 | |
|     //
 | |
| 
 | |
|     template<class Y, class D> shared_ptr( Y * p, D d ): px( p ), pn( p, d )
 | |
|     {
 | |
|         boost::detail::sp_deleter_construct( this, p );
 | |
|     }
 | |
| 
 | |
|     // As above, but with allocator. A's copy constructor shall not throw.
 | |
| 
 | |
|     template<class Y, class D, class A> shared_ptr( Y * p, D d, A a ): px( p ), pn( p, d, a )
 | |
|     {
 | |
|         boost::detail::sp_deleter_construct( this, p );
 | |
|     }
 | |
| 
 | |
| //  generated copy constructor, destructor are fine...
 | |
| 
 | |
| #if defined( BOOST_HAS_RVALUE_REFS )
 | |
| 
 | |
| // ... except in C++0x, move disables the implicit copy
 | |
| 
 | |
|     shared_ptr( shared_ptr const & r ): px( r.px ), pn( r.pn ) // never throws
 | |
|     {
 | |
|     }
 | |
| 
 | |
| #endif
 | |
| 
 | |
|     template<class Y>
 | |
|     explicit shared_ptr( weak_ptr<Y> const & r ): pn( r.pn ) // may throw
 | |
|     {
 | |
|         boost::detail::sp_assert_convertible< Y, T >();
 | |
| 
 | |
|         // it is now safe to copy r.px, as pn(r.pn) did not throw
 | |
|         px = r.px;
 | |
|     }
 | |
| 
 | |
|     template<class Y>
 | |
|     shared_ptr( weak_ptr<Y> const & r, boost::detail::sp_nothrow_tag ): px( 0 ), pn( r.pn, boost::detail::sp_nothrow_tag() ) // never throws
 | |
|     {
 | |
|         if( !pn.empty() )
 | |
|         {
 | |
|             px = r.px;
 | |
|         }
 | |
|     }
 | |
| 
 | |
|     template<class Y>
 | |
| #if !defined( BOOST_SP_NO_SP_CONVERTIBLE )
 | |
| 
 | |
|     shared_ptr( shared_ptr<Y> const & r, typename boost::detail::sp_enable_if_convertible<Y,T>::type = boost::detail::sp_empty() )
 | |
| 
 | |
| #else
 | |
| 
 | |
|     shared_ptr( shared_ptr<Y> const & r )
 | |
| 
 | |
| #endif
 | |
|     : px( r.px ), pn( r.pn ) // never throws
 | |
|     {
 | |
|         boost::detail::sp_assert_convertible< Y, T >();
 | |
|     }
 | |
| 
 | |
|     // aliasing
 | |
|     template< class Y >
 | |
|     shared_ptr( shared_ptr<Y> const & r, element_type * p ): px( p ), pn( r.pn ) // never throws
 | |
|     {
 | |
|     }
 | |
| 
 | |
|     template<class Y>
 | |
|     shared_ptr(shared_ptr<Y> const & r, boost::detail::static_cast_tag): px(static_cast<element_type *>(r.px)), pn(r.pn)
 | |
|     {
 | |
|     }
 | |
| 
 | |
|     template<class Y>
 | |
|     shared_ptr(shared_ptr<Y> const & r, boost::detail::const_cast_tag): px(const_cast<element_type *>(r.px)), pn(r.pn)
 | |
|     {
 | |
|     }
 | |
| 
 | |
|     template<class Y>
 | |
|     shared_ptr(shared_ptr<Y> const & r, boost::detail::dynamic_cast_tag): px(dynamic_cast<element_type *>(r.px)), pn(r.pn)
 | |
|     {
 | |
|         if(px == 0) // need to allocate new counter -- the cast failed
 | |
|         {
 | |
|             pn = boost::detail::shared_count();
 | |
|         }
 | |
|     }
 | |
| 
 | |
|     template<class Y>
 | |
|     shared_ptr(shared_ptr<Y> const & r, boost::detail::polymorphic_cast_tag): px(dynamic_cast<element_type *>(r.px)), pn(r.pn)
 | |
|     {
 | |
|         if(px == 0)
 | |
|         {
 | |
|             boost::throw_exception(std::bad_cast());
 | |
|         }
 | |
|     }
 | |
| 
 | |
| #ifndef BOOST_NO_AUTO_PTR
 | |
| 
 | |
|     template<class Y>
 | |
|     explicit shared_ptr(std::auto_ptr<Y> & r): px(r.get()), pn()
 | |
|     {
 | |
|         boost::detail::sp_assert_convertible< Y, T >();
 | |
| 
 | |
|         Y * tmp = r.get();
 | |
|         pn = boost::detail::shared_count(r);
 | |
| 
 | |
|         boost::detail::sp_deleter_construct( this, tmp );
 | |
|     }
 | |
| 
 | |
| #if !defined( BOOST_NO_SFINAE ) && !defined( BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION )
 | |
| 
 | |
|     template<class Ap>
 | |
|     explicit shared_ptr( Ap r, typename boost::detail::sp_enable_if_auto_ptr<Ap, int>::type = 0 ): px( r.get() ), pn()
 | |
|     {
 | |
|         typedef typename Ap::element_type Y;
 | |
| 
 | |
|         boost::detail::sp_assert_convertible< Y, T >();
 | |
| 
 | |
|         Y * tmp = r.get();
 | |
|         pn = boost::detail::shared_count( r );
 | |
| 
 | |
|         boost::detail::sp_deleter_construct( this, tmp );
 | |
|     }
 | |
| 
 | |
| #endif // BOOST_NO_SFINAE, BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION
 | |
| 
 | |
| #endif // BOOST_NO_AUTO_PTR
 | |
| 
 | |
| #if !defined( BOOST_NO_CXX11_SMART_PTR )
 | |
| 
 | |
|     template< class Y, class D >
 | |
|     shared_ptr( std::unique_ptr< Y, D > && r ): px( r.get() ), pn()
 | |
|     {
 | |
|         boost::detail::sp_assert_convertible< Y, T >();
 | |
| 
 | |
|         typename std::unique_ptr< Y, D >::pointer tmp = r.get();
 | |
|         pn = boost::detail::shared_count( r );
 | |
| 
 | |
|         boost::detail::sp_deleter_construct( this, tmp );
 | |
|     }
 | |
| 
 | |
| #endif
 | |
| 
 | |
|     // assignment
 | |
| 
 | |
|     shared_ptr & operator=( shared_ptr const & r ) // never throws
 | |
|     {
 | |
|         this_type(r).swap(*this);
 | |
|         return *this;
 | |
|     }
 | |
| 
 | |
| #if !defined(BOOST_MSVC) || (BOOST_MSVC >= 1400)
 | |
| 
 | |
|     template<class Y>
 | |
|     shared_ptr & operator=(shared_ptr<Y> const & r) // never throws
 | |
|     {
 | |
|         this_type(r).swap(*this);
 | |
|         return *this;
 | |
|     }
 | |
| 
 | |
| #endif
 | |
| 
 | |
| #ifndef BOOST_NO_AUTO_PTR
 | |
| 
 | |
|     template<class Y>
 | |
|     shared_ptr & operator=( std::auto_ptr<Y> & r )
 | |
|     {
 | |
|         this_type(r).swap(*this);
 | |
|         return *this;
 | |
|     }
 | |
| 
 | |
| #if !defined( BOOST_NO_SFINAE ) && !defined( BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION )
 | |
| 
 | |
|     template<class Ap>
 | |
|     typename boost::detail::sp_enable_if_auto_ptr< Ap, shared_ptr & >::type operator=( Ap r )
 | |
|     {
 | |
|         this_type( r ).swap( *this );
 | |
|         return *this;
 | |
|     }
 | |
| 
 | |
| #endif // BOOST_NO_SFINAE, BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION
 | |
| 
 | |
| #endif // BOOST_NO_AUTO_PTR
 | |
| 
 | |
| // Move support
 | |
| 
 | |
| #if defined( BOOST_HAS_RVALUE_REFS )
 | |
| 
 | |
|     shared_ptr( shared_ptr && r ): px( r.px ), pn() // never throws
 | |
|     {
 | |
|         pn.swap( r.pn );
 | |
|         r.px = 0;
 | |
|     }
 | |
| 
 | |
|     template<class Y>
 | |
| #if !defined( BOOST_SP_NO_SP_CONVERTIBLE )
 | |
| 
 | |
|     shared_ptr( shared_ptr<Y> && r, typename boost::detail::sp_enable_if_convertible<Y,T>::type = boost::detail::sp_empty() )
 | |
| 
 | |
| #else
 | |
| 
 | |
|     shared_ptr( shared_ptr<Y> && r )
 | |
| 
 | |
| #endif
 | |
|     : px( r.px ), pn() // never throws
 | |
|     {
 | |
|         boost::detail::sp_assert_convertible< Y, T >();
 | |
| 
 | |
|         pn.swap( r.pn );
 | |
|         r.px = 0;
 | |
|     }
 | |
| 
 | |
|     shared_ptr & operator=( shared_ptr && r ) // never throws
 | |
|     {
 | |
|         this_type( static_cast< shared_ptr && >( r ) ).swap( *this );
 | |
|         return *this;
 | |
|     }
 | |
| 
 | |
|     template<class Y>
 | |
|     shared_ptr & operator=( shared_ptr<Y> && r ) // never throws
 | |
|     {
 | |
|         this_type( static_cast< shared_ptr<Y> && >( r ) ).swap( *this );
 | |
|         return *this;
 | |
|     }
 | |
| 
 | |
| #endif
 | |
| 
 | |
|     void reset() // never throws in 1.30+
 | |
|     {
 | |
|         this_type().swap(*this);
 | |
|     }
 | |
| 
 | |
|     template<class Y> void reset( Y * p ) // Y must be complete
 | |
|     {
 | |
|         BOOST_ASSERT( p == 0 || p != px ); // catch self-reset errors
 | |
|         this_type( p ).swap( *this );
 | |
|     }
 | |
| 
 | |
|     template<class Y, class D> void reset( Y * p, D d )
 | |
|     {
 | |
|         this_type( p, d ).swap( *this );
 | |
|     }
 | |
| 
 | |
|     template<class Y, class D, class A> void reset( Y * p, D d, A a )
 | |
|     {
 | |
|         this_type( p, d, a ).swap( *this );
 | |
|     }
 | |
| 
 | |
|     template<class Y> void reset( shared_ptr<Y> const & r, element_type * p )
 | |
|     {
 | |
|         this_type( r, p ).swap( *this );
 | |
|     }
 | |
| 
 | |
|     typename boost::detail::sp_dereference< T >::type operator* () const // never throws
 | |
|     {
 | |
|         BOOST_ASSERT( px != 0 );
 | |
|         return *px;
 | |
|     }
 | |
| 
 | |
|     typename boost::detail::sp_member_access< T >::type operator-> () const // never throws
 | |
|     {
 | |
|         BOOST_ASSERT( px != 0 );
 | |
|         return px;
 | |
|     }
 | |
| 
 | |
|     typename boost::detail::sp_array_access< T >::type operator[] ( std::ptrdiff_t i ) const // never throws
 | |
|     {
 | |
|         BOOST_ASSERT( px != 0 );
 | |
|         BOOST_ASSERT( i >= 0 && ( i < boost::detail::sp_extent< T >::value || boost::detail::sp_extent< T >::value == 0 ) );
 | |
| 
 | |
|         return px[ i ];
 | |
|     }
 | |
| 
 | |
|     element_type * get() const // never throws
 | |
|     {
 | |
|         return px;
 | |
|     }
 | |
| 
 | |
| // implicit conversion to "bool"
 | |
| #include <boost/smart_ptr/detail/operator_bool.hpp>
 | |
| 
 | |
|     bool unique() const // never throws
 | |
|     {
 | |
|         return pn.unique();
 | |
|     }
 | |
| 
 | |
|     long use_count() const // never throws
 | |
|     {
 | |
|         return pn.use_count();
 | |
|     }
 | |
| 
 | |
|     void swap( shared_ptr & other ) // never throws
 | |
|     {
 | |
|         std::swap(px, other.px);
 | |
|         pn.swap(other.pn);
 | |
|     }
 | |
| 
 | |
|     template<class Y> bool owner_before( shared_ptr<Y> const & rhs ) const
 | |
|     {
 | |
|         return pn < rhs.pn;
 | |
|     }
 | |
| 
 | |
|     template<class Y> bool owner_before( weak_ptr<Y> const & rhs ) const
 | |
|     {
 | |
|         return pn < rhs.pn;
 | |
|     }
 | |
| 
 | |
|     void * _internal_get_deleter( boost::detail::sp_typeinfo const & ti ) const
 | |
|     {
 | |
|         return pn.get_deleter( ti );
 | |
|     }
 | |
| 
 | |
|     bool _internal_equiv( shared_ptr const & r ) const
 | |
|     {
 | |
|         return px == r.px && pn == r.pn;
 | |
|     }
 | |
| 
 | |
| // Tasteless as this may seem, making all members public allows member templates
 | |
| // to work in the absence of member template friends. (Matthew Langston)
 | |
| 
 | |
| #ifndef BOOST_NO_MEMBER_TEMPLATE_FRIENDS
 | |
| 
 | |
| private:
 | |
| 
 | |
|     template<class Y> friend class shared_ptr;
 | |
|     template<class Y> friend class weak_ptr;
 | |
| 
 | |
| 
 | |
| #endif
 | |
| 
 | |
|     element_type * px;                 // contained pointer
 | |
|     boost::detail::shared_count pn;    // reference counter
 | |
| 
 | |
| };  // shared_ptr
 | |
| 
 | |
| template<class T, class U> inline bool operator==(shared_ptr<T> const & a, shared_ptr<U> const & b)
 | |
| {
 | |
|     return a.get() == b.get();
 | |
| }
 | |
| 
 | |
| template<class T, class U> inline bool operator!=(shared_ptr<T> const & a, shared_ptr<U> const & b)
 | |
| {
 | |
|     return a.get() != b.get();
 | |
| }
 | |
| 
 | |
| #if __GNUC__ == 2 && __GNUC_MINOR__ <= 96
 | |
| 
 | |
| // Resolve the ambiguity between our op!= and the one in rel_ops
 | |
| 
 | |
| template<class T> inline bool operator!=(shared_ptr<T> const & a, shared_ptr<T> const & b)
 | |
| {
 | |
|     return a.get() != b.get();
 | |
| }
 | |
| 
 | |
| #endif
 | |
| 
 | |
| template<class T, class U> inline bool operator<(shared_ptr<T> const & a, shared_ptr<U> const & b)
 | |
| {
 | |
|     return a.owner_before( b );
 | |
| }
 | |
| 
 | |
| template<class T> inline void swap(shared_ptr<T> & a, shared_ptr<T> & b)
 | |
| {
 | |
|     a.swap(b);
 | |
| }
 | |
| 
 | |
| template<class T, class U> shared_ptr<T> static_pointer_cast(shared_ptr<U> const & r)
 | |
| {
 | |
|     return shared_ptr<T>(r, boost::detail::static_cast_tag());
 | |
| }
 | |
| 
 | |
| template<class T, class U> shared_ptr<T> const_pointer_cast(shared_ptr<U> const & r)
 | |
| {
 | |
|     return shared_ptr<T>(r, boost::detail::const_cast_tag());
 | |
| }
 | |
| 
 | |
| template<class T, class U> shared_ptr<T> dynamic_pointer_cast(shared_ptr<U> const & r)
 | |
| {
 | |
|     return shared_ptr<T>(r, boost::detail::dynamic_cast_tag());
 | |
| }
 | |
| 
 | |
| // shared_*_cast names are deprecated. Use *_pointer_cast instead.
 | |
| 
 | |
| template<class T, class U> shared_ptr<T> shared_static_cast(shared_ptr<U> const & r)
 | |
| {
 | |
|     return shared_ptr<T>(r, boost::detail::static_cast_tag());
 | |
| }
 | |
| 
 | |
| template<class T, class U> shared_ptr<T> shared_dynamic_cast(shared_ptr<U> const & r)
 | |
| {
 | |
|     return shared_ptr<T>(r, boost::detail::dynamic_cast_tag());
 | |
| }
 | |
| 
 | |
| template<class T, class U> shared_ptr<T> shared_polymorphic_cast(shared_ptr<U> const & r)
 | |
| {
 | |
|     return shared_ptr<T>(r, boost::detail::polymorphic_cast_tag());
 | |
| }
 | |
| 
 | |
| template<class T, class U> shared_ptr<T> shared_polymorphic_downcast(shared_ptr<U> const & r)
 | |
| {
 | |
|     BOOST_ASSERT(dynamic_cast<T *>(r.get()) == r.get());
 | |
|     return shared_static_cast<T>(r);
 | |
| }
 | |
| 
 | |
| // get_pointer() enables boost::mem_fn to recognize shared_ptr
 | |
| 
 | |
| template<class T> inline T * get_pointer(shared_ptr<T> const & p)
 | |
| {
 | |
|     return p.get();
 | |
| }
 | |
| 
 | |
| // operator<<
 | |
| 
 | |
| #if !defined(BOOST_NO_IOSTREAM)
 | |
| 
 | |
| #if defined(BOOST_NO_TEMPLATED_IOSTREAMS) || ( defined(__GNUC__) &&  (__GNUC__ < 3) )
 | |
| 
 | |
| template<class Y> std::ostream & operator<< (std::ostream & os, shared_ptr<Y> const & p)
 | |
| {
 | |
|     os << p.get();
 | |
|     return os;
 | |
| }
 | |
| 
 | |
| #else
 | |
| 
 | |
| // in STLport's no-iostreams mode no iostream symbols can be used
 | |
| #ifndef _STLP_NO_IOSTREAMS
 | |
| 
 | |
| # if defined(BOOST_MSVC) && BOOST_WORKAROUND(BOOST_MSVC, < 1300 && __SGI_STL_PORT)
 | |
| // MSVC6 has problems finding std::basic_ostream through the using declaration in namespace _STL
 | |
| using std::basic_ostream;
 | |
| template<class E, class T, class Y> basic_ostream<E, T> & operator<< (basic_ostream<E, T> & os, shared_ptr<Y> const & p)
 | |
| # else
 | |
| template<class E, class T, class Y> std::basic_ostream<E, T> & operator<< (std::basic_ostream<E, T> & os, shared_ptr<Y> const & p)
 | |
| # endif
 | |
| {
 | |
|     os << p.get();
 | |
|     return os;
 | |
| }
 | |
| 
 | |
| #endif // _STLP_NO_IOSTREAMS
 | |
| 
 | |
| #endif // __GNUC__ < 3
 | |
| 
 | |
| #endif // !defined(BOOST_NO_IOSTREAM)
 | |
| 
 | |
| // get_deleter
 | |
| 
 | |
| namespace detail
 | |
| {
 | |
| 
 | |
| #if ( defined(__GNUC__) && BOOST_WORKAROUND(__GNUC__, < 3) ) || \
 | |
|     ( defined(__EDG_VERSION__) && BOOST_WORKAROUND(__EDG_VERSION__, <= 238) ) || \
 | |
|     ( defined(__HP_aCC) && BOOST_WORKAROUND(__HP_aCC, <= 33500) )
 | |
| 
 | |
| // g++ 2.9x doesn't allow static_cast<X const *>(void *)
 | |
| // apparently EDG 2.38 and HP aCC A.03.35 also don't accept it
 | |
| 
 | |
| template<class D, class T> D * basic_get_deleter(shared_ptr<T> const & p)
 | |
| {
 | |
|     void const * q = p._internal_get_deleter(BOOST_SP_TYPEID(D));
 | |
|     return const_cast<D *>(static_cast<D const *>(q));
 | |
| }
 | |
| 
 | |
| #else
 | |
| 
 | |
| template<class D, class T> D * basic_get_deleter(shared_ptr<T> const & p)
 | |
| {
 | |
|     return static_cast<D *>(p._internal_get_deleter(BOOST_SP_TYPEID(D)));
 | |
| }
 | |
| 
 | |
| #endif
 | |
| 
 | |
| class esft2_deleter_wrapper
 | |
| {
 | |
| private:
 | |
| 
 | |
|     shared_ptr<void> deleter_;
 | |
| 
 | |
| public:
 | |
| 
 | |
|     esft2_deleter_wrapper()
 | |
|     {
 | |
|     }
 | |
| 
 | |
|     template< class T > void set_deleter( shared_ptr<T> const & deleter )
 | |
|     {
 | |
|         deleter_ = deleter;
 | |
|     }
 | |
|     template<typename D> D* get_deleter() const
 | |
|     {
 | |
|         return boost::detail::basic_get_deleter<D>(deleter_);
 | |
|     }
 | |
|     template< class T> void operator()( T* )
 | |
|     {
 | |
|         BOOST_ASSERT( deleter_.use_count() <= 1 );
 | |
|         deleter_.reset();
 | |
|     }
 | |
| };
 | |
| 
 | |
| } // namespace detail
 | |
| 
 | |
| template<class D, class T> D * get_deleter(shared_ptr<T> const & p)
 | |
| {
 | |
|     D *del = detail::basic_get_deleter<D>(p);
 | |
|     if(del == 0)
 | |
|     {
 | |
|         detail::esft2_deleter_wrapper *del_wrapper = detail::basic_get_deleter<detail::esft2_deleter_wrapper>(p);
 | |
| // The following get_deleter method call is fully qualified because
 | |
| // older versions of gcc (2.95, 3.2.3) fail to compile it when written del_wrapper->get_deleter<D>()
 | |
|         if(del_wrapper) del = del_wrapper->::boost::detail::esft2_deleter_wrapper::get_deleter<D>();
 | |
|     }
 | |
|     return del;
 | |
| }
 | |
| 
 | |
| // atomic access
 | |
| 
 | |
| #if !defined(BOOST_SP_NO_ATOMIC_ACCESS)
 | |
| 
 | |
| template<class T> inline bool atomic_is_lock_free( shared_ptr<T> const * /*p*/ )
 | |
| {
 | |
|     return false;
 | |
| }
 | |
| 
 | |
| template<class T> shared_ptr<T> atomic_load( shared_ptr<T> const * p )
 | |
| {
 | |
|     boost::detail::spinlock_pool<2>::scoped_lock lock( p );
 | |
|     return *p;
 | |
| }
 | |
| 
 | |
| template<class T> inline shared_ptr<T> atomic_load_explicit( shared_ptr<T> const * p, memory_order /*mo*/ )
 | |
| {
 | |
|     return atomic_load( p );
 | |
| }
 | |
| 
 | |
| template<class T> void atomic_store( shared_ptr<T> * p, shared_ptr<T> r )
 | |
| {
 | |
|     boost::detail::spinlock_pool<2>::scoped_lock lock( p );
 | |
|     p->swap( r );
 | |
| }
 | |
| 
 | |
| template<class T> inline void atomic_store_explicit( shared_ptr<T> * p, shared_ptr<T> r, memory_order /*mo*/ )
 | |
| {
 | |
|     atomic_store( p, r ); // std::move( r )
 | |
| }
 | |
| 
 | |
| template<class T> shared_ptr<T> atomic_exchange( shared_ptr<T> * p, shared_ptr<T> r )
 | |
| {
 | |
|     boost::detail::spinlock & sp = boost::detail::spinlock_pool<2>::spinlock_for( p );
 | |
| 
 | |
|     sp.lock();
 | |
|     p->swap( r );
 | |
|     sp.unlock();
 | |
| 
 | |
|     return r; // return std::move( r )
 | |
| }
 | |
| 
 | |
| template<class T> shared_ptr<T> atomic_exchange_explicit( shared_ptr<T> * p, shared_ptr<T> r, memory_order /*mo*/ )
 | |
| {
 | |
|     return atomic_exchange( p, r ); // std::move( r )
 | |
| }
 | |
| 
 | |
| template<class T> bool atomic_compare_exchange( shared_ptr<T> * p, shared_ptr<T> * v, shared_ptr<T> w )
 | |
| {
 | |
|     boost::detail::spinlock & sp = boost::detail::spinlock_pool<2>::spinlock_for( p );
 | |
| 
 | |
|     sp.lock();
 | |
| 
 | |
|     if( p->_internal_equiv( *v ) )
 | |
|     {
 | |
|         p->swap( w );
 | |
| 
 | |
|         sp.unlock();
 | |
| 
 | |
|         return true;
 | |
|     }
 | |
|     else
 | |
|     {
 | |
|         shared_ptr<T> tmp( *p );
 | |
| 
 | |
|         sp.unlock();
 | |
| 
 | |
|         tmp.swap( *v );
 | |
|         return false;
 | |
|     }
 | |
| }
 | |
| 
 | |
| template<class T> inline bool atomic_compare_exchange_explicit( shared_ptr<T> * p, shared_ptr<T> * v, shared_ptr<T> w, memory_order /*success*/, memory_order /*failure*/ )
 | |
| {
 | |
|     return atomic_compare_exchange( p, v, w ); // std::move( w )
 | |
| }
 | |
| 
 | |
| #endif // !defined(BOOST_SP_NO_ATOMIC_ACCESS)
 | |
| 
 | |
| // hash_value
 | |
| 
 | |
| template< class T > struct hash;
 | |
| 
 | |
| template< class T > std::size_t hash_value( boost::shared_ptr<T> const & p )
 | |
| {
 | |
|     return boost::hash< T* >()( p.get() );
 | |
| }
 | |
| 
 | |
| } // namespace boost
 | |
| 
 | |
| #endif  // #if defined(BOOST_NO_MEMBER_TEMPLATES) && !defined(BOOST_MSVC6_MEMBER_TEMPLATES)
 | |
| 
 | |
| #endif  // #ifndef BOOST_SMART_PTR_SHARED_PTR_HPP_INCLUDED
 |