forked from boostorg/smart_ptr
cb0797acf0
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]
596 lines
12 KiB
C++
596 lines
12 KiB
C++
#ifndef BOOST_SMART_PTR_DETAIL_SHARED_COUNT_HPP_INCLUDED
|
|
#define BOOST_SMART_PTR_DETAIL_SHARED_COUNT_HPP_INCLUDED
|
|
|
|
// MS compatible compilers support #pragma once
|
|
|
|
#if defined(_MSC_VER) && (_MSC_VER >= 1020)
|
|
# pragma once
|
|
#endif
|
|
|
|
//
|
|
// detail/shared_count.hpp
|
|
//
|
|
// Copyright (c) 2001, 2002, 2003 Peter Dimov and Multi Media Ltd.
|
|
// Copyright 2004-2005 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)
|
|
//
|
|
|
|
#ifdef __BORLANDC__
|
|
# pragma warn -8027 // Functions containing try are not expanded inline
|
|
#endif
|
|
|
|
#include <boost/config.hpp>
|
|
#include <boost/checked_delete.hpp>
|
|
#include <boost/throw_exception.hpp>
|
|
#include <boost/smart_ptr/bad_weak_ptr.hpp>
|
|
#include <boost/smart_ptr/detail/sp_counted_base.hpp>
|
|
#include <boost/smart_ptr/detail/sp_counted_impl.hpp>
|
|
#include <boost/detail/workaround.hpp>
|
|
// 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 <functional> // std::less
|
|
#include <new> // std::bad_alloc
|
|
|
|
#if !defined( BOOST_NO_CXX11_SMART_PTR )
|
|
# include <boost/utility/addressof.hpp>
|
|
#endif
|
|
|
|
namespace boost
|
|
{
|
|
|
|
namespace detail
|
|
{
|
|
|
|
#if defined(BOOST_SP_ENABLE_DEBUG_HOOKS)
|
|
|
|
int const shared_count_id = 0x2C35F101;
|
|
int const weak_count_id = 0x298C38A4;
|
|
|
|
#endif
|
|
|
|
struct sp_nothrow_tag {};
|
|
|
|
template< class D > struct sp_inplace_tag
|
|
{
|
|
};
|
|
|
|
#if !defined( BOOST_NO_CXX11_SMART_PTR )
|
|
|
|
template< class T > class sp_reference_wrapper
|
|
{
|
|
public:
|
|
|
|
explicit sp_reference_wrapper( T & t): t_( boost::addressof( t ) )
|
|
{
|
|
}
|
|
|
|
template< class Y > void operator()( Y * p ) const
|
|
{
|
|
(*t_)( p );
|
|
}
|
|
|
|
private:
|
|
|
|
T * t_;
|
|
};
|
|
|
|
template< class D > struct sp_convert_reference
|
|
{
|
|
typedef D type;
|
|
};
|
|
|
|
template< class D > struct sp_convert_reference< D& >
|
|
{
|
|
typedef sp_reference_wrapper< D > type;
|
|
};
|
|
|
|
#endif
|
|
|
|
class weak_count;
|
|
|
|
class shared_count
|
|
{
|
|
private:
|
|
|
|
sp_counted_base * pi_;
|
|
|
|
#if defined(BOOST_SP_ENABLE_DEBUG_HOOKS)
|
|
int id_;
|
|
#endif
|
|
|
|
friend class weak_count;
|
|
|
|
public:
|
|
|
|
shared_count(): pi_(0) // nothrow
|
|
#if defined(BOOST_SP_ENABLE_DEBUG_HOOKS)
|
|
, id_(shared_count_id)
|
|
#endif
|
|
{
|
|
}
|
|
|
|
template<class Y> explicit shared_count( Y * p ): pi_( 0 )
|
|
#if defined(BOOST_SP_ENABLE_DEBUG_HOOKS)
|
|
, id_(shared_count_id)
|
|
#endif
|
|
{
|
|
#ifndef BOOST_NO_EXCEPTIONS
|
|
|
|
try
|
|
{
|
|
pi_ = new sp_counted_impl_p<Y>( p );
|
|
}
|
|
catch(...)
|
|
{
|
|
boost::checked_delete( p );
|
|
throw;
|
|
}
|
|
|
|
#else
|
|
|
|
pi_ = new sp_counted_impl_p<Y>( p );
|
|
|
|
if( pi_ == 0 )
|
|
{
|
|
boost::checked_delete( p );
|
|
boost::throw_exception( std::bad_alloc() );
|
|
}
|
|
|
|
#endif
|
|
}
|
|
|
|
#if defined( BOOST_MSVC ) && BOOST_WORKAROUND( BOOST_MSVC, <= 1200 )
|
|
template<class Y, class D> shared_count( Y * p, D d ): pi_(0)
|
|
#else
|
|
template<class P, class D> shared_count( P p, D d ): pi_(0)
|
|
#endif
|
|
#if defined(BOOST_SP_ENABLE_DEBUG_HOOKS)
|
|
, id_(shared_count_id)
|
|
#endif
|
|
{
|
|
#if defined( BOOST_MSVC ) && BOOST_WORKAROUND( BOOST_MSVC, <= 1200 )
|
|
typedef Y* P;
|
|
#endif
|
|
#ifndef BOOST_NO_EXCEPTIONS
|
|
|
|
try
|
|
{
|
|
pi_ = new sp_counted_impl_pd<P, D>(p, d);
|
|
}
|
|
catch(...)
|
|
{
|
|
d(p); // delete p
|
|
throw;
|
|
}
|
|
|
|
#else
|
|
|
|
pi_ = new sp_counted_impl_pd<P, D>(p, d);
|
|
|
|
if(pi_ == 0)
|
|
{
|
|
d(p); // delete p
|
|
boost::throw_exception(std::bad_alloc());
|
|
}
|
|
|
|
#endif
|
|
}
|
|
|
|
#if !defined( BOOST_NO_FUNCTION_TEMPLATE_ORDERING )
|
|
|
|
template< class P, class D > shared_count( P p, sp_inplace_tag<D> ): pi_( 0 )
|
|
#if defined(BOOST_SP_ENABLE_DEBUG_HOOKS)
|
|
, id_(shared_count_id)
|
|
#endif
|
|
{
|
|
#ifndef BOOST_NO_EXCEPTIONS
|
|
|
|
try
|
|
{
|
|
pi_ = new sp_counted_impl_pd< P, D >( p );
|
|
}
|
|
catch( ... )
|
|
{
|
|
D()( p ); // delete p
|
|
throw;
|
|
}
|
|
|
|
#else
|
|
|
|
pi_ = new sp_counted_impl_pd< P, D >( p );
|
|
|
|
if( pi_ == 0 )
|
|
{
|
|
D()( p ); // delete p
|
|
boost::throw_exception( std::bad_alloc() );
|
|
}
|
|
|
|
#endif // #ifndef BOOST_NO_EXCEPTIONS
|
|
}
|
|
|
|
#endif // !defined( BOOST_NO_FUNCTION_TEMPLATE_ORDERING )
|
|
|
|
template<class P, class D, class A> shared_count( P p, D d, A a ): pi_( 0 )
|
|
#if defined(BOOST_SP_ENABLE_DEBUG_HOOKS)
|
|
, id_(shared_count_id)
|
|
#endif
|
|
{
|
|
typedef sp_counted_impl_pda<P, D, A> impl_type;
|
|
typedef typename A::template rebind< impl_type >::other A2;
|
|
|
|
A2 a2( a );
|
|
|
|
#ifndef BOOST_NO_EXCEPTIONS
|
|
|
|
try
|
|
{
|
|
pi_ = a2.allocate( 1, static_cast< impl_type* >( 0 ) );
|
|
new( static_cast< void* >( pi_ ) ) impl_type( p, d, a );
|
|
}
|
|
catch(...)
|
|
{
|
|
d( p );
|
|
|
|
if( pi_ != 0 )
|
|
{
|
|
a2.deallocate( static_cast< impl_type* >( pi_ ), 1 );
|
|
}
|
|
|
|
throw;
|
|
}
|
|
|
|
#else
|
|
|
|
pi_ = a2.allocate( 1, static_cast< impl_type* >( 0 ) );
|
|
|
|
if( pi_ != 0 )
|
|
{
|
|
new( static_cast< void* >( pi_ ) ) impl_type( p, d, a );
|
|
}
|
|
else
|
|
{
|
|
d( p );
|
|
boost::throw_exception( std::bad_alloc() );
|
|
}
|
|
|
|
#endif
|
|
}
|
|
|
|
#if !defined( BOOST_NO_FUNCTION_TEMPLATE_ORDERING )
|
|
|
|
template< class P, class D, class A > shared_count( P p, sp_inplace_tag< D >, A a ): pi_( 0 )
|
|
#if defined(BOOST_SP_ENABLE_DEBUG_HOOKS)
|
|
, id_(shared_count_id)
|
|
#endif
|
|
{
|
|
typedef sp_counted_impl_pda< P, D, A > impl_type;
|
|
typedef typename A::template rebind< impl_type >::other A2;
|
|
|
|
A2 a2( a );
|
|
|
|
#ifndef BOOST_NO_EXCEPTIONS
|
|
|
|
try
|
|
{
|
|
pi_ = a2.allocate( 1, static_cast< impl_type* >( 0 ) );
|
|
new( static_cast< void* >( pi_ ) ) impl_type( p, a );
|
|
}
|
|
catch(...)
|
|
{
|
|
D()( p );
|
|
|
|
if( pi_ != 0 )
|
|
{
|
|
a2.deallocate( static_cast< impl_type* >( pi_ ), 1 );
|
|
}
|
|
|
|
throw;
|
|
}
|
|
|
|
#else
|
|
|
|
pi_ = a2.allocate( 1, static_cast< impl_type* >( 0 ) );
|
|
|
|
if( pi_ != 0 )
|
|
{
|
|
new( static_cast< void* >( pi_ ) ) impl_type( p, a );
|
|
}
|
|
else
|
|
{
|
|
D()( p );
|
|
boost::throw_exception( std::bad_alloc() );
|
|
}
|
|
|
|
#endif // #ifndef BOOST_NO_EXCEPTIONS
|
|
}
|
|
|
|
#endif // !defined( BOOST_NO_FUNCTION_TEMPLATE_ORDERING )
|
|
|
|
#ifndef BOOST_NO_AUTO_PTR
|
|
|
|
// auto_ptr<Y> is special cased to provide the strong guarantee
|
|
|
|
template<class Y>
|
|
explicit shared_count( std::auto_ptr<Y> & r ): pi_( new sp_counted_impl_p<Y>( r.get() ) )
|
|
#if defined(BOOST_SP_ENABLE_DEBUG_HOOKS)
|
|
, id_(shared_count_id)
|
|
#endif
|
|
{
|
|
#ifdef BOOST_NO_EXCEPTIONS
|
|
|
|
if( pi_ == 0 )
|
|
{
|
|
boost::throw_exception(std::bad_alloc());
|
|
}
|
|
|
|
#endif
|
|
|
|
r.release();
|
|
}
|
|
|
|
#endif
|
|
|
|
#if !defined( BOOST_NO_CXX11_SMART_PTR )
|
|
|
|
template<class Y, class D>
|
|
explicit shared_count( std::unique_ptr<Y, D> & r ): pi_( 0 )
|
|
#if defined(BOOST_SP_ENABLE_DEBUG_HOOKS)
|
|
, id_(shared_count_id)
|
|
#endif
|
|
{
|
|
typedef typename sp_convert_reference<D>::type D2;
|
|
|
|
D2 d2( r.get_deleter() );
|
|
pi_ = new sp_counted_impl_pd< typename std::unique_ptr<Y, D>::pointer, D2 >( r.get(), d2 );
|
|
|
|
#ifdef BOOST_NO_EXCEPTIONS
|
|
|
|
if( pi_ == 0 )
|
|
{
|
|
boost::throw_exception( std::bad_alloc() );
|
|
}
|
|
|
|
#endif
|
|
|
|
r.release();
|
|
}
|
|
|
|
#endif
|
|
|
|
~shared_count() // nothrow
|
|
{
|
|
if( pi_ != 0 ) pi_->release();
|
|
#if defined(BOOST_SP_ENABLE_DEBUG_HOOKS)
|
|
id_ = 0;
|
|
#endif
|
|
}
|
|
|
|
shared_count(shared_count const & r): pi_(r.pi_) // nothrow
|
|
#if defined(BOOST_SP_ENABLE_DEBUG_HOOKS)
|
|
, id_(shared_count_id)
|
|
#endif
|
|
{
|
|
if( pi_ != 0 ) pi_->add_ref_copy();
|
|
}
|
|
|
|
#if defined( BOOST_HAS_RVALUE_REFS )
|
|
|
|
shared_count(shared_count && r): pi_(r.pi_) // nothrow
|
|
#if defined(BOOST_SP_ENABLE_DEBUG_HOOKS)
|
|
, id_(shared_count_id)
|
|
#endif
|
|
{
|
|
r.pi_ = 0;
|
|
}
|
|
|
|
#endif
|
|
|
|
explicit shared_count(weak_count const & r); // throws bad_weak_ptr when r.use_count() == 0
|
|
shared_count( weak_count const & r, sp_nothrow_tag ); // constructs an empty *this when r.use_count() == 0
|
|
|
|
shared_count & operator= (shared_count const & r) // nothrow
|
|
{
|
|
sp_counted_base * tmp = r.pi_;
|
|
|
|
if( tmp != pi_ )
|
|
{
|
|
if( tmp != 0 ) tmp->add_ref_copy();
|
|
if( pi_ != 0 ) pi_->release();
|
|
pi_ = tmp;
|
|
}
|
|
|
|
return *this;
|
|
}
|
|
|
|
void swap(shared_count & r) // nothrow
|
|
{
|
|
sp_counted_base * tmp = r.pi_;
|
|
r.pi_ = pi_;
|
|
pi_ = tmp;
|
|
}
|
|
|
|
long use_count() const // nothrow
|
|
{
|
|
return pi_ != 0? pi_->use_count(): 0;
|
|
}
|
|
|
|
bool unique() const // nothrow
|
|
{
|
|
return use_count() == 1;
|
|
}
|
|
|
|
bool empty() const // nothrow
|
|
{
|
|
return pi_ == 0;
|
|
}
|
|
|
|
friend inline bool operator==(shared_count const & a, shared_count const & b)
|
|
{
|
|
return a.pi_ == b.pi_;
|
|
}
|
|
|
|
friend inline bool operator<(shared_count const & a, shared_count const & b)
|
|
{
|
|
return std::less<sp_counted_base *>()( a.pi_, b.pi_ );
|
|
}
|
|
|
|
void * get_deleter( sp_typeinfo const & ti ) const
|
|
{
|
|
return pi_? pi_->get_deleter( ti ): 0;
|
|
}
|
|
};
|
|
|
|
|
|
class weak_count
|
|
{
|
|
private:
|
|
|
|
sp_counted_base * pi_;
|
|
|
|
#if defined(BOOST_SP_ENABLE_DEBUG_HOOKS)
|
|
int id_;
|
|
#endif
|
|
|
|
friend class shared_count;
|
|
|
|
public:
|
|
|
|
weak_count(): pi_(0) // nothrow
|
|
#if defined(BOOST_SP_ENABLE_DEBUG_HOOKS)
|
|
, id_(weak_count_id)
|
|
#endif
|
|
{
|
|
}
|
|
|
|
weak_count(shared_count const & r): pi_(r.pi_) // nothrow
|
|
#if defined(BOOST_SP_ENABLE_DEBUG_HOOKS)
|
|
, id_(weak_count_id)
|
|
#endif
|
|
{
|
|
if(pi_ != 0) pi_->weak_add_ref();
|
|
}
|
|
|
|
weak_count(weak_count const & r): pi_(r.pi_) // nothrow
|
|
#if defined(BOOST_SP_ENABLE_DEBUG_HOOKS)
|
|
, id_(weak_count_id)
|
|
#endif
|
|
{
|
|
if(pi_ != 0) pi_->weak_add_ref();
|
|
}
|
|
|
|
// Move support
|
|
|
|
#if defined( BOOST_HAS_RVALUE_REFS )
|
|
|
|
weak_count(weak_count && r): pi_(r.pi_) // nothrow
|
|
#if defined(BOOST_SP_ENABLE_DEBUG_HOOKS)
|
|
, id_(weak_count_id)
|
|
#endif
|
|
{
|
|
r.pi_ = 0;
|
|
}
|
|
|
|
#endif
|
|
|
|
~weak_count() // nothrow
|
|
{
|
|
if(pi_ != 0) pi_->weak_release();
|
|
#if defined(BOOST_SP_ENABLE_DEBUG_HOOKS)
|
|
id_ = 0;
|
|
#endif
|
|
}
|
|
|
|
weak_count & operator= (shared_count const & r) // nothrow
|
|
{
|
|
sp_counted_base * tmp = r.pi_;
|
|
|
|
if( tmp != pi_ )
|
|
{
|
|
if(tmp != 0) tmp->weak_add_ref();
|
|
if(pi_ != 0) pi_->weak_release();
|
|
pi_ = tmp;
|
|
}
|
|
|
|
return *this;
|
|
}
|
|
|
|
weak_count & operator= (weak_count const & r) // nothrow
|
|
{
|
|
sp_counted_base * tmp = r.pi_;
|
|
|
|
if( tmp != pi_ )
|
|
{
|
|
if(tmp != 0) tmp->weak_add_ref();
|
|
if(pi_ != 0) pi_->weak_release();
|
|
pi_ = tmp;
|
|
}
|
|
|
|
return *this;
|
|
}
|
|
|
|
void swap(weak_count & r) // nothrow
|
|
{
|
|
sp_counted_base * tmp = r.pi_;
|
|
r.pi_ = pi_;
|
|
pi_ = tmp;
|
|
}
|
|
|
|
long use_count() const // nothrow
|
|
{
|
|
return pi_ != 0? pi_->use_count(): 0;
|
|
}
|
|
|
|
bool empty() const // nothrow
|
|
{
|
|
return pi_ == 0;
|
|
}
|
|
|
|
friend inline bool operator==(weak_count const & a, weak_count const & b)
|
|
{
|
|
return a.pi_ == b.pi_;
|
|
}
|
|
|
|
friend inline bool operator<(weak_count const & a, weak_count const & b)
|
|
{
|
|
return std::less<sp_counted_base *>()(a.pi_, b.pi_);
|
|
}
|
|
};
|
|
|
|
inline shared_count::shared_count( weak_count const & r ): pi_( r.pi_ )
|
|
#if defined(BOOST_SP_ENABLE_DEBUG_HOOKS)
|
|
, id_(shared_count_id)
|
|
#endif
|
|
{
|
|
if( pi_ == 0 || !pi_->add_ref_lock() )
|
|
{
|
|
boost::throw_exception( boost::bad_weak_ptr() );
|
|
}
|
|
}
|
|
|
|
inline shared_count::shared_count( weak_count const & r, sp_nothrow_tag ): pi_( r.pi_ )
|
|
#if defined(BOOST_SP_ENABLE_DEBUG_HOOKS)
|
|
, id_(shared_count_id)
|
|
#endif
|
|
{
|
|
if( pi_ != 0 && !pi_->add_ref_lock() )
|
|
{
|
|
pi_ = 0;
|
|
}
|
|
}
|
|
|
|
} // namespace detail
|
|
|
|
} // namespace boost
|
|
|
|
#ifdef __BORLANDC__
|
|
# pragma warn .8027 // Functions containing try are not expanded inline
|
|
#endif
|
|
|
|
#endif // #ifndef BOOST_SMART_PTR_DETAIL_SHARED_COUNT_HPP_INCLUDED
|