Boost logo

Boost-Commit :

Subject: [Boost-commit] svn:boost r81781 - in branches/release: . boost boost/smart_ptr libs libs/smart_ptr libs/smart_ptr/test
From: pdimov_at_[hidden]
Date: 2012-12-07 19:57:05


Author: pdimov
Date: 2012-12-07 19:57:04 EST (Fri, 07 Dec 2012)
New Revision: 81781
URL: http://svn.boost.org/trac/boost/changeset/81781

Log:
Merged revision(s) 81730-81731, 81776 from trunk:
Fix get_pointer for the array case, add operator= for unique_ptr, update auto_ptr signatures to use rvalue reference when available.
........
Update shared_ptr.htm.
........
Add more unique_ptr tests.
........

Properties modified:
   branches/release/ (props changed)
   branches/release/boost/ (props changed)
   branches/release/boost/smart_ptr/ (props changed)
   branches/release/libs/ (props changed)
   branches/release/libs/smart_ptr/ (props changed)
Text files modified:
   branches/release/boost/smart_ptr/shared_ptr.hpp | 45 +
   branches/release/libs/smart_ptr/shared_ptr.htm | 982 +++++++++++++++++++++------------------
   branches/release/libs/smart_ptr/test/sp_unique_ptr_test.cpp | 87 +++
   3 files changed, 651 insertions(+), 463 deletions(-)

Modified: branches/release/boost/smart_ptr/shared_ptr.hpp
==============================================================================
--- branches/release/boost/smart_ptr/shared_ptr.hpp (original)
+++ branches/release/boost/smart_ptr/shared_ptr.hpp 2012-12-07 19:57:04 EST (Fri, 07 Dec 2012)
@@ -418,17 +418,30 @@
 #ifndef BOOST_NO_AUTO_PTR
 
     template<class Y>
- explicit shared_ptr(std::auto_ptr<Y> & r): px(r.get()), pn()
+ 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);
+ pn = boost::detail::shared_count( r );
 
         boost::detail::sp_deleter_construct( this, tmp );
     }
 
-#if !defined( BOOST_NO_SFINAE ) && !defined( BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION )
+#if defined( BOOST_HAS_RVALUE_REFS )
+
+ template<class Y>
+ 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 );
+ }
+
+#elif !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()
@@ -486,11 +499,20 @@
     template<class Y>
     shared_ptr & operator=( std::auto_ptr<Y> & r )
     {
- this_type(r).swap(*this);
+ this_type( r ).swap( *this );
         return *this;
     }
 
-#if !defined( BOOST_NO_SFINAE ) && !defined( BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION )
+#if defined( BOOST_HAS_RVALUE_REFS )
+
+ template<class Y>
+ shared_ptr & operator=( std::auto_ptr<Y> && r )
+ {
+ this_type( static_cast< std::auto_ptr<Y> && >( r ) ).swap( *this );
+ return *this;
+ }
+
+#elif !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 )
@@ -503,6 +525,17 @@
 
 #endif // BOOST_NO_AUTO_PTR
 
+#if !defined( BOOST_NO_CXX11_SMART_PTR )
+
+ template<class Y, class D>
+ shared_ptr & operator=( std::unique_ptr<Y, D> && r )
+ {
+ this_type( static_cast< std::unique_ptr<Y, D> && >( r ) ).swap(*this);
+ return *this;
+ }
+
+#endif
+
 // Move support
 
 #if defined( BOOST_HAS_RVALUE_REFS )
@@ -730,7 +763,7 @@
 
 // get_pointer() enables boost::mem_fn to recognize shared_ptr
 
-template<class T> inline T * get_pointer(shared_ptr<T> const & p) BOOST_NOEXCEPT
+template<class T> inline typename shared_ptr<T>::element_type * get_pointer(shared_ptr<T> const & p) BOOST_NOEXCEPT
 {
     return p.get();
 }

Modified: branches/release/libs/smart_ptr/shared_ptr.htm
==============================================================================
--- branches/release/libs/smart_ptr/shared_ptr.htm (original)
+++ branches/release/libs/smart_ptr/shared_ptr.htm 2012-12-07 19:57:04 EST (Fri, 07 Dec 2012)
@@ -2,410 +2,496 @@
 <html>
         <head>
                 <title>shared_ptr</title>
- <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
+ <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
         </head>
- <body text="#000000" bgColor="#ffffff">
- <h1><A href="../../index.htm"><IMG height="86" alt="boost.png (6897 bytes)" src="../../boost.png" width="277" align="middle"
- border="0"></A>shared_ptr class template</h1>
- <p>Introduction<br>
- Best Practices<br>
- Synopsis<br>
- Members<br>
- Free Functions<br>
- Example<br>
- Handle/Body Idiom<br>
- Thread Safety<br>
- Frequently Asked Questions<br>
- Smart Pointer Timings<br>
- Programming Techniques</p>
- <h2><a name="Introduction">Introduction</a></h2>
- <p>The <b>shared_ptr</b> class template stores a pointer to a dynamically allocated
- object, typically with a C++ <EM>new-expression</EM>. The object pointed to is
- guaranteed to be deleted when the last <b>shared_ptr</b> pointing to it is
- destroyed or reset. See the example.</p>
- <p>Every <b>shared_ptr</b> meets the <b>CopyConstructible</b> and <b>Assignable</b>
- requirements of the C++ Standard Library, and so can be used in standard
- library containers. Comparison operators are supplied so that <b>shared_ptr</b>
+ <body>
+ <h1>boost::shared_ptr class template</h1>
+ <p>Introduction<br />
+ Best Practices<br />
+ Synopsis<br />
+ Members<br />
+ Free Functions<br />
+ Example<br />
+ Handle/Body Idiom<br />
+ Thread Safety<br />
+ Frequently Asked Questions<br />
+ Smart Pointer Timings<br />
+ Programming Techniques</p>
+ <h2 id="Introduction">Introduction</h2>
+ <p>The <code>shared_ptr</code> class template stores a pointer to a dynamically allocated
+ object, typically with a C++ <em>new-expression</em>. The object pointed to is
+ guaranteed to be deleted when the last <code>shared_ptr</code> pointing to it is
+ destroyed or reset.</p>
+ <blockquote><em>Example:</em><br /><pre>shared_ptr&lt;X&gt; p1( new X );
+shared_ptr&lt;void&gt; p2( new int(5) );
+</pre></blockquote>
+
+ <p><code>shared_ptr</code> deletes the exact pointer that has been passed at construction time,
+ complete with its original type, regardless of the template parameter. In the second example above,
+ when <code>p2</code> is destroyed or reset, it will call <code>delete</code> on the original <code>int*</code>
+ that has been passed to the constructor, even though <code>p2</code> itself is of type
+ <code>shared_ptr&lt;void&gt;</code> and stores a pointer of type <code>void*</code>.</p>
+
+ <p>Every <code>shared_ptr</code> meets the <code>CopyConstructible</code>, <code>MoveConstructible</code>,
+ <code>CopyAssignable</code> and <code>MoveAssignable</code>
+ requirements of the C++ Standard Library, and can be used in standard
+ library containers. Comparison operators are supplied so that <code>shared_ptr</code>
                         works with the standard library's associative containers.</p>
- <p>Normally, a <b>shared_ptr</b> cannot correctly hold a pointer to a dynamically
- allocated array. See shared_array for
- that usage.</p>
- <p>Because the implementation uses reference counting, cycles of <b>shared_ptr</b> instances
- will not be reclaimed. For example, if <b>main()</b> holds a <b>shared_ptr</b> to
- <b>A</b>, which directly or indirectly holds a <b>shared_ptr</b> back to <b>A</b>,
- <b>A</b>'s use count will be 2. Destruction of the original <b>shared_ptr</b> will
- leave <b>A</b> dangling with a use count of 1. Use weak_ptr
+ <p>Because the implementation uses reference counting, cycles of <code>shared_ptr</code> instances
+ will not be reclaimed. For example, if <code>main()</code> holds a <code>shared_ptr</code> to
+ <code>A</code>, which directly or indirectly holds a <code>shared_ptr</code> back to <code>A</code>,
+ <code>A</code>'s use count will be 2. Destruction of the original <code>shared_ptr</code> will
+ leave <code>A</code> dangling with a use count of 1. Use weak_ptr
                         to "break cycles."</p>
- <p>The class template is parameterized on <b>T</b>, the type of the object pointed
- to. <STRONG>shared_ptr</STRONG> and most of its member functions place no
- requirements on <STRONG>T</STRONG>; it is allowed to be an incomplete type, or <STRONG>
- void</STRONG>. Member functions that do place additional requirements (constructors,
- reset) are explicitly documented below.</p>
- <P><STRONG>shared_ptr&lt;T&gt;</STRONG> can be implicitly converted to <STRONG>shared_ptr&lt;U&gt;</STRONG>
- whenever <STRONG>T*</STRONG> can be implicitly converted to <STRONG>U*</STRONG>.
- In particular, <STRONG>shared_ptr&lt;T&gt;</STRONG> is implicitly convertible
- to <STRONG>shared_ptr&lt;T const&gt;</STRONG>, to <STRONG>shared_ptr&lt;U&gt;</STRONG>
- where <STRONG>U</STRONG> is an accessible base of <STRONG>T</STRONG>, and to <STRONG>
- shared_ptr&lt;void&gt;</STRONG>.</P>
- <P><STRONG>shared_ptr</STRONG> is now part of <STRONG>TR1</STRONG>, the first C++
- Library Technical Report. The latest draft of <STRONG>TR1</STRONG> is available
- at the following location:</P>
- <P>http://www.open-std.org/JTC1/SC22/WG21/docs/papers/2005/n1745.pdf
- (1.36Mb PDF)</P>
- <P>This implementation conforms to the TR1 specification, with the only exception
- that it resides in namespace <code>boost</code> instead of <code>std::tr1</code>.</P>
- <h2><a name="BestPractices">Best Practices</a></h2>
- <P>A simple guideline that nearly eliminates the possibility of memory leaks is:
- always use a named smart pointer variable to hold the result of <STRONG>new. </STRONG>
- Every occurence of the <STRONG>new</STRONG> keyword in the code should have the
- form:</P>
- <PRE>shared_ptr&lt;T&gt; p(new Y);</PRE>
- <P>It is, of course, acceptable to use another smart pointer in place of <STRONG>shared_ptr</STRONG>
- above; having <STRONG>T</STRONG> and <STRONG>Y</STRONG> be the same type, or
- passing arguments to <STRONG>Y</STRONG>'s constructor is also OK.</P>
- <P>If you observe this guideline, it naturally follows that you will have no
- explicit <STRONG>delete</STRONG>s; <STRONG>try/catch</STRONG> constructs will
- be rare.</P>
- <P>Avoid using unnamed <STRONG>shared_ptr</STRONG> temporaries to save typing; to
- see why this is dangerous, consider this example:</P>
- <PRE>void f(shared_ptr&lt;int&gt;, int);
+ <p>The class template is parameterized on <code>T</code>, the type of the object pointed
+ to. <code>shared_ptr</code> and most of its member functions place no
+ requirements on <code>T</code>; it is allowed to be an incomplete type, or <code>
+ void</code>. Member functions that do place additional requirements (constructors,
+ reset) are explicitly documented below.</p>
+ <p><code>shared_ptr&lt;T&gt;</code> can be implicitly converted to <code>shared_ptr&lt;U&gt;</code>
+ whenever <code>T*</code> can be implicitly converted to <code>U*</code>.
+ In particular, <code>shared_ptr&lt;T&gt;</code> is implicitly convertible
+ to <code>shared_ptr&lt;T const&gt;</code>, to <code>shared_ptr&lt;U&gt;</code>
+ where <code>U</code> is an accessible base of <code>T</code>, and to <code>
+ shared_ptr&lt;void&gt;</code>.</p>
+ <p><code>shared_ptr</code> is now part of the C++11 Standard, as <code>std::shared_ptr</code>.</p>
+ <p>Starting with Boost release 1.53, <code>shared_ptr</code> can be used to hold a pointer to a dynamically
+ allocated array. This is accomplished by using an array type (<code>T[]</code> or <code>T[N]</code>) as
+ the template parameter. There is almost no difference between using an unsized array, <code>T[]</code>,
+ and a sized array, <code>T[N]</code>; the latter just enables <code>operator[]</code> to perform a range check
+ on the index.</p>
+ <blockquote><em>Example:</em><br /><pre>shared_ptr&lt;double[1024]&gt; p1( new double(1024) );
+shared_ptr&lt;double[]&gt; p2( new double(n) );
+</pre></blockquote>
+
+ <h2 id="BestPractices">Best Practices</h2>
+ <p>A simple guideline that nearly eliminates the possibility of memory leaks is:
+ always use a named smart pointer variable to hold the result of <code>new</code>.
+ Every occurence of the <code>new</code> keyword in the code should have the
+ form:</p>
+ <pre>shared_ptr&lt;T&gt; p(new Y);</pre>
+ <p>It is, of course, acceptable to use another smart pointer in place of <code>shared_ptr</code>
+ above; having <code>T</code> and <code>Y</code> be the same type, or
+ passing arguments to <code>Y</code>'s constructor is also OK.</p>
+ <p>If you observe this guideline, it naturally follows that you will have no
+ explicit <code>delete</code> statements; <code>try/catch</code> constructs will
+ be rare.</p>
+ <p>Avoid using unnamed <code>shared_ptr</code> temporaries to save typing; to
+ see why this is dangerous, consider this example:</p>
+ <pre>void f(shared_ptr&lt;int&gt;, int);
 int g();
 
 void ok()
 {
- shared_ptr&lt;int&gt; p(new int(2));
- f(p, g());
+ shared_ptr&lt;int&gt; p( new int(2) );
+ f( p, g() );
 }
 
 void bad()
 {
- f(shared_ptr&lt;int&gt;(new int(2)), g());
+ f( shared_ptr&lt;int&gt;( new int(2) ), g() );
 }
-</PRE>
- <P>The function <STRONG>ok</STRONG> follows the guideline to the letter, whereas <STRONG>
- bad</STRONG> constructs the temporary <STRONG>shared_ptr</STRONG> in place,
+</pre>
+ <p>The function <code>ok</code> follows the guideline to the letter, whereas
+ <code>bad</code> constructs the temporary <code>shared_ptr</code> in place,
                         admitting the possibility of a memory leak. Since function arguments are
- evaluated in unspecified order, it is possible for <STRONG>new int(2)</STRONG> to
- be evaluated first, <STRONG>g()</STRONG> second, and we may never get to the <STRONG>
- shared_ptr </STRONG>constructor if <STRONG>g</STRONG> throws an exception.
- See Herb Sutter's treatment (also <A href="http://www.cuj.com/reference/articles/2002/0212/0212_sutter.htm">
- here</A>) of the issue for more information.</P>
- <P>The exception safety problem described above may also be eliminated by using
+ evaluated in unspecified order, it is possible for <code>new int(2)</code> to
+ be evaluated first, <code>g()</code> second, and we may never get to the
+ <code>shared_ptr</code>constructor if <code>g</code> throws an exception.
+ See Herb Sutter's treatment (also <a href="http://www.cuj.com/reference/articles/2002/0212/0212_sutter.htm">
+ here</a>) of the issue for more information.</p>
+ <p>The exception safety problem described above may also be eliminated by using
                         the make_shared
                         or allocate_shared
- factory functions defined in boost/make_shared.hpp. These factory functions also provide
- an efficiency benefit by consolidating allocations.<P>
- <h2><a name="Synopsis">Synopsis</a></h2>
+ factory functions defined in <code>boost/make_shared.hpp</code>.
+ These factory functions also provide an efficiency benefit by consolidating allocations.</p>
+ <h2 id="Synopsis">Synopsis</h2>
                 <pre>namespace boost {
 
   class bad_weak_ptr: public std::exception;
 
- template&lt;class T&gt; class weak_ptr;
+ template&lt;class T&gt; class weak_ptr;
 
   template&lt;class T&gt; class shared_ptr {
 
     public:
 
- typedef T element_type;
+ typedef <em>see below</em> element_type;
+
+ shared_ptr(); // never throws
+
+ template&lt;class Y&gt; explicit shared_ptr(Y * p);
+ template&lt;class Y, class D&gt; shared_ptr(Y * p, D d);
+ template&lt;class Y, class D, class A&gt; shared_ptr(Y * p, D d, A a);
+
+ ~shared_ptr(); // never throws
+
+ shared_ptr(shared_ptr const &amp; r); // never throws
+ template&lt;class Y&gt; shared_ptr(shared_ptr&lt;Y&gt; const &amp; r); // never throws
+
+ shared_ptr(shared_ptr &amp;&amp; r); // never throws
+ template&lt;class Y&gt; shared_ptr(shared_ptr&lt;Y&gt; &amp;&amp; r); // never throws
+
+ template&lt;class Y&gt; shared_ptr(shared_ptr&lt;Y&gt; const &amp; r, element_type * p); // never throws
+
+ template&lt;class Y&gt; explicit shared_ptr(weak_ptr&lt;Y&gt; const &amp; r);
+
+ template&lt;class Y&gt; explicit shared_ptr(std::auto_ptr&lt;Y&gt; &amp; r);
+ template&lt;class Y&gt; shared_ptr(std::auto_ptr&lt;Y&gt; &amp;&amp; r);
+
+ template&lt;class Y, class D&gt; shared_ptr(std::unique_ptr&lt;Y, D&gt; &amp;&amp; r);
+
+ shared_ptr &amp; operator=(shared_ptr const &amp; r); // never throws
+ template&lt;class Y&gt; shared_ptr &amp; operator=(shared_ptr&lt;Y&gt; const &amp; r); // never throws
+
+ shared_ptr &amp; operator=(shared_ptr const &amp;&amp; r); // never throws
+ template&lt;class Y&gt; shared_ptr &amp; operator=(shared_ptr&lt;Y&gt; const &amp;&amp; r); // never throws
+
+ template&lt;class Y&gt; shared_ptr &amp; operator=(std::auto_ptr&lt;Y&gt; &amp; r);
+ template&lt;class Y&gt; shared_ptr &amp; operator=(std::auto_ptr&lt;Y&gt; &amp;&amp; r);
 
- shared_ptr(); // never throws
- template&lt;class Y&gt; explicit shared_ptr(Y * p);
- template&lt;class Y, class D&gt; shared_ptr(Y * p, D d);
- template&lt;class Y, class D, class A&gt; shared_ptr(Y * p, D d, A a);
- ~shared_ptr(); // never throws
-
- shared_ptr(shared_ptr const &amp; r); // never throws
- template&lt;class Y&gt; shared_ptr(shared_ptr&lt;Y&gt; const &amp; r); // never throws
- template&lt;class Y&gt; shared_ptr(shared_ptr&lt;Y&gt; const &amp; r, T * p); // never throws
- template&lt;class Y&gt; explicit shared_ptr(weak_ptr&lt;Y&gt; const &amp; r);
- template&lt;class Y&gt; explicit shared_ptr(std::auto_ptr&lt;Y&gt; &amp; r);
-
- shared_ptr &amp; operator=(shared_ptr const &amp; r); // never throws
- template&lt;class Y&gt; shared_ptr &amp; operator=(shared_ptr&lt;Y&gt; const &amp; r); // never throws
- template&lt;class Y&gt; shared_ptr &amp; operator=(std::auto_ptr&lt;Y&gt; &amp; r);
-
- void reset(); // never throws
- template&lt;class Y&gt; void reset(Y * p);
- template&lt;class Y, class D&gt; void reset(Y * p, D d);
- template&lt;class Y, class D, class A&gt; void reset(Y * p, D d, A a);
- template&lt;class Y&gt; void reset(shared_ptr&lt;Y&gt; const &amp; r, T * p); // never throws
-
- T &amp; operator*() const; // never throws
- T * operator->() const; // never throws
- T * get() const; // never throws
+ template&lt;class Y, class D&gt; shared_ptr &amp; operator=(std::unique_ptr&lt;Y, D&gt; &amp;&amp; r);
 
- bool unique() const; // never throws
- long use_count() const; // never throws
+ void reset(); // never throws
 
- operator unspecified-bool-type() const; // never throws
+ template&lt;class Y&gt; void reset(Y * p);
+ template&lt;class Y, class D&gt; void reset(Y * p, D d);
+ template&lt;class Y, class D, class A&gt; void reset(Y * p, D d, A a);
 
- void swap(shared_ptr &amp; b); // never throws
+ template&lt;class Y&gt; void reset(shared_ptr&lt;Y&gt; const &amp; r, element_type * p); // never throws
+
+ T &amp; operator*() const; // never throws; only valid when T is not an array type
+ T * operator->() const; // never throws; only valid when T is not an array type
+
+ element_type &amp; operator[]( std::ptrdiff_t i ) const; // never throws; only valid when T is an array type
+
+ element_type * get() const; // never throws
+
+ bool unique() const; // never throws
+ long use_count() const; // never throws
+
+ operator unspecified-bool-type() const; // never throws
+
+ void swap(shared_ptr &amp; b); // never throws
+
+ template&lt;class Y&gt; bool owner_before( shared_ptr&lt;Y&gt; const &amp; rhs ) const; // never throws
+ template&lt;class Y&gt; bool owner_before( weak_ptr&lt;Y&gt; const &amp; rhs ) const; // never throws
   };
 
   template&lt;class T, class U&gt;
- bool operator==(shared_ptr&lt;T&gt; const &amp; a, shared_ptr&lt;U&gt; const &amp; b); // never throws
+ bool operator==(shared_ptr&lt;T&gt; const &amp; a, shared_ptr&lt;U&gt; const &amp; b); // never throws
 
   template&lt;class T, class U&gt;
- bool operator!=(shared_ptr&lt;T&gt; const &amp; a, shared_ptr&lt;U&gt; const &amp; b); // never throws
+ bool operator!=(shared_ptr&lt;T&gt; const &amp; a, shared_ptr&lt;U&gt; const &amp; b); // never throws
 
   template&lt;class T, class U&gt;
- bool operator<(shared_ptr&lt;T&gt; const &amp; a, shared_ptr&lt;U&gt; const &amp; b); // never throws
+ bool operator<(shared_ptr&lt;T&gt; const &amp; a, shared_ptr&lt;U&gt; const &amp; b); // never throws
 
- template&lt;class T&gt; void swap(shared_ptr&lt;T&gt; &amp; a, shared_ptr&lt;T&gt; &amp; b); // never throws
+ template&lt;class T&gt; void swap(shared_ptr&lt;T&gt; &amp; a, shared_ptr&lt;T&gt; &amp; b); // never throws
 
- template&lt;class T&gt; T * get_pointer(shared_ptr&lt;T&gt; const &amp; p); // never throws
+ template&lt;class T&gt; typename shared_ptr&lt;T&gt;::element_type * get_pointer(shared_ptr&lt;T&gt; const &amp; p); // never throws
 
   template&lt;class T, class U&gt;
- shared_ptr&lt;T&gt; static_pointer_cast(shared_ptr&lt;U&gt; const &amp; r); // never throws
+ shared_ptr&lt;T&gt; static_pointer_cast(shared_ptr&lt;U&gt; const &amp; r); // never throws
 
   template&lt;class T, class U&gt;
- shared_ptr&lt;T&gt; const_pointer_cast(shared_ptr&lt;U&gt; const &amp; r); // never throws
+ shared_ptr&lt;T&gt; const_pointer_cast(shared_ptr&lt;U&gt; const &amp; r); // never throws
 
   template&lt;class T, class U&gt;
- shared_ptr&lt;T&gt; dynamic_pointer_cast(shared_ptr&lt;U&gt; const &amp; r); // never throws
+ shared_ptr&lt;T&gt; dynamic_pointer_cast(shared_ptr&lt;U&gt; const &amp; r); // never throws
+
+ template&lt;class T, class U&gt;
+ shared_ptr&lt;T&gt; reinterpet_pointer_cast(shared_ptr&lt;U&gt; const &amp; r); // never throws
 
   template&lt;class E, class T, class Y&gt;
- std::basic_ostream&lt;E, T&gt; &amp; operator<< (std::basic_ostream&lt;E, T&gt; &amp; os, shared_ptr&lt;Y&gt; const &amp; p);
+ std::basic_ostream&lt;E, T&gt; &amp; operator<< (std::basic_ostream&lt;E, T&gt; &amp; os, shared_ptr&lt;Y&gt; const &amp; p);
 
   template&lt;class D, class T&gt;
- D * get_deleter(shared_ptr&lt;T&gt; const &amp; p);
+ D * get_deleter(shared_ptr&lt;T&gt; const &amp; p);
 }</pre>
- <h2><a name="Members">Members</a></h2>
- <h3><a name="element_type">element_type</a></h3>
- <pre>typedef T element_type;</pre>
+ <h2 id="Members">Members</h2>
+ <h3 id="element_type">element_type</h3>
+ <pre>typedef <em>...</em> element_type;</pre>
                 <blockquote>
- <p>Provides the type of the template parameter T.</p>
+ <p><code>element_type</code> is <code>T</code> when <code>T</code> is not an array type,
+ and <code>U</code> when <code>T</code> is <code>U[]</code> or <code>U[N]</code>.</p>
                 </blockquote>
- <h3><a name="constructors">constructors</a></h3>
+ <h3 id="default_constructor">default constructor</h3>
                 <pre>shared_ptr(); // never throws</pre>
                 <blockquote>
- <p><b>Effects:</b> Constructs an <EM>empty</EM> <b>shared_ptr</b>.</p>
+ <p><b>Effects:</b> Constructs an <em>empty</em> <code>shared_ptr</code>.</p>
                         <p><b>Postconditions:</b> <code>use_count() == 0 &amp;&amp; get() == 0</code>.</p>
                         <p><b>Throws:</b> nothing.</p>
                 </blockquote>
- <P><EM>[The nothrow guarantee is important, since <STRONG>reset()</STRONG> is specified
+ <p><em>[The nothrow guarantee is important, since <code>reset()</code> is specified
                                 in terms of the default constructor; this implies that the constructor must not
- allocate memory.]</EM></P>
+ allocate memory.]</em></p>
+ <h3 id="pointer_constructor">pointer constructor</h3>
                 <pre>template&lt;class Y&gt; explicit shared_ptr(Y * p);</pre>
                 <blockquote>
- <p><b>Requirements:</b> <b>p</b> must be convertible to <b>T *</b>. <STRONG>Y</STRONG>
- must be a complete type. The expression <code>delete p</code> must be
- well-formed, must not invoke undefined behavior, and must not throw exceptions.
+ <p><b>Requirements:</b>
+ <code>Y</code> must be a complete type.
+ The expression <code>delete[] p</code>, when <code>T</code> is an array type, or <code>delete p</code>,
+ when <code>T</code> is not an array type,
+ must be well-formed, must not invoke undefined behavior, and must not throw exceptions.
+ When <code>T</code> is <code>U[N]</code>, <code>Y (*) [N]</code> must be convertible to <code>T*</code>;
+ when <code>T</code> is <code>U[]</code>, <code>Y (*) []</code> must be convertible to <code>T*</code>;
+ otherwise, <code>Y*</code> must be convertible to <code>T*</code>.
                         </p>
- <p><b>Effects:</b> Constructs a <b>shared_ptr</b> that <EM>owns</EM> the pointer <b>p</b>.</p>
+ <p><b>Effects:</b>
+ When <code>T</code> is not an array type, constructs a <code>shared_ptr</code> that <em>owns</em>
+ the pointer <code>p</code>.
+ Otherwise, constructs a <code>shared_ptr</code> that <em>owns</em>
+ <code>p</code> and a deleter of an unspecified type that calls <code>delete[] p</code>.</p>
                         <p><b>Postconditions:</b> <code>use_count() == 1 &amp;&amp; get() == p</code>.</p>
- <p><b>Throws:</b> <STRONG>std::bad_alloc</STRONG>, or an implementation-defined
+ <p><b>Throws:</b> <code>std::bad_alloc</code>, or an implementation-defined
                                 exception when a resource other than memory could not be obtained.</p>
- <p><b>Exception safety:</b> If an exception is thrown, <code>delete p</code> is
- called.</p>
- <P><STRONG>Notes:</STRONG> <B>p</B> must be a pointer to an object that was
- allocated via a C++ <B>new</B> expression or be 0. The postcondition that <A href="#use_count">
- use count</A> is 1 holds even if <b>p</b> is 0; invoking <STRONG>delete</STRONG>
- on a pointer that has a value of 0 is harmless.</P>
- </blockquote>
- <P><EM>[This constructor has been changed to a template in order to remember the actual
- pointer type passed. The destructor will call <STRONG>delete</STRONG> with the
- same pointer, complete with its original type, even when <STRONG>T</STRONG> does
- not have a virtual destructor, or is <STRONG>void</STRONG>.</EM></P>
- <P><EM>The optional intrusive counting support has been dropped as it exposes too much
- implementation details and doesn't interact well with <STRONG>weak_ptr</STRONG>.
- The current implementation uses a different mechanism, <A href="enable_shared_from_this.html">
- enable_shared_from_this</A>, to solve the "<STRONG>shared_ptr</STRONG> from <STRONG>
- this</STRONG>" problem.</EM><EM>]</EM></P>
- <a name="allocator_constructor"></a>
+ <p><b>Exception safety:</b> If an exception is thrown, the constructor calls
+ <code>delete[] p</code>, when <code>T</code> is an array type,
+ or <code>delete p</code>, when <code>T</code> is not an array type.</p>
+ <p><b>Notes:</b> <code>p</code> must be a pointer to an object that was
+ allocated via a C++ <code>new</code> expression or be 0. The postcondition that <a href="#use_count">
+ use count</a> is 1 holds even if <code>p</code> is 0; invoking <code>delete</code>
+ on a pointer that has a value of 0 is harmless.</p>
+ </blockquote>
+ <p><em>[This constructor is a template in order to remember the actual
+ pointer type passed. The destructor will call <code>delete</code> with the
+ same pointer, complete with its original type, even when <code>T</code> does
+ not have a virtual destructor, or is <code>void</code>.]</em></p>
+ <h3 id="deleter_constructor">constructors taking a deleter</h3>
                 <pre>template&lt;class Y, class D&gt; shared_ptr(Y * p, D d);
 template&lt;class Y, class D, class A&gt; shared_ptr(Y * p, D d, A a);</pre>
                 <blockquote>
- <p><b>Requirements:</b> <B>p</B> must be convertible to <B>T *</B>. <STRONG>D</STRONG>
- must be <STRONG>CopyConstructible</STRONG>. The copy constructor and destructor
- of <b>D</b> must not throw. The expression <code>d(p)</code> must be
- well-formed, must not invoke undefined behavior, and must not throw exceptions. <STRONG>
- A</STRONG> must be an <EM>Allocator</EM>, as described in section 20.1.5 (<STRONG>Allocator
- requirements</STRONG>) of the C++ Standard.
+ <p><b>Requirements:</b>
+ <code>D</code> must be <code>CopyConstructible</code>. The copy constructor and destructor
+ of <code>D</code> must not throw. The expression <code>d(p)</code> must be
+ well-formed, must not invoke undefined behavior, and must not throw exceptions.
+ <code>A</code> must be an <em>Allocator</em>, as described in section 20.1.5
+ (<code>Allocator requirements</code>) of the C++ Standard.
+ When <code>T</code> is <code>U[N]</code>, <code>Y (*) [N]</code> must be convertible to <code>T*</code>;
+ when <code>T</code> is <code>U[]</code>, <code>Y (*) []</code> must be convertible to <code>T*</code>;
+ otherwise, <code>Y*</code> must be convertible to <code>T*</code>.
                         </p>
- <p><b>Effects:</b> Constructs a <b>shared_ptr</b> that <EM>owns</EM> the pointer <STRONG>
- p</STRONG> and the deleter <b>d</b>. The second constructor allocates
- memory using a copy of <STRONG>a</STRONG>.</p>
+ <p><b>Effects:</b> Constructs a <code>shared_ptr</code> that <em>owns</em> the pointer <code>
+ p</code> and the deleter <code>d</code>. The second constructor allocates
+ memory using a copy of <code>a</code>.</p>
                         <p><b>Postconditions:</b> <code>use_count() == 1 &amp;&amp; get() == p</code>.</p>
- <p><b>Throws:</b> <STRONG>std::bad_alloc</STRONG>, or an implementation-defined
+ <p><b>Throws:</b> <code>std::bad_alloc</code>, or an implementation-defined
                                 exception when a resource other than memory could not be obtained.</p>
                         <p><b>Exception safety:</b> If an exception is thrown, <code>d(p)</code> is called.</p>
- <p><b>Notes:</b> When the the time comes to delete the object pointed to by <b>p</b>,
- the stored copy of <STRONG>d</STRONG> is invoked with the stored copy of <STRONG>p</STRONG>
+ <p><b>Notes:</b> When the the time comes to delete the object pointed to by <code>p</code>,
+ the stored copy of <code>d</code> is invoked with the stored copy of <code>p</code>
                                 as an argument.</p>
                 </blockquote>
- <P><EM>[Custom deallocators allow a factory function returning a <STRONG>shared_ptr</STRONG>
+ <p><em>[Custom deallocators allow a factory function returning a <code>shared_ptr</code>
                                 to insulate the user from its memory allocation strategy. Since the deallocator
                                 is not part of the type, changing the allocation strategy does not break source
                                 or binary compatibility, and does not require a client recompilation. For
- example, a "no-op" deallocator is useful when returning a <STRONG>shared_ptr</STRONG>
- to a statically allocated object, and other variations allow a <STRONG>shared_ptr</STRONG>
- to be used as a wrapper for another smart pointer, easing interoperability.</EM></P>
- <P><EM>The support for custom deallocators does not impose significant overhead. Other <STRONG>
- shared_ptr</STRONG> features still require a deallocator to be kept.</EM></P>
- <P><EM>The requirement that the copy constructor of <b>D</b> does not throw comes from
- the pass by value. If the copy constructor throws, the pointer is leaked.
- Removing the requirement requires a pass by (const) reference.</EM></P>
- <P><EM>The main problem with pass by reference lies in its interaction with rvalues. A
- const reference may still cause a copy, and will require a const operator(). A
- non-const reference won't bind to an rvalue at all. A good solution to this
- problem is the rvalue reference proposed in <A href="http://std.dkuug.dk/jtc1/sc22/wg21/docs/papers/2002/n1377.htm">
- N1377</A>/N1385.]</EM></P>
+ example, a "no-op" deallocator is useful when returning a <code>shared_ptr</code>
+ to a statically allocated object, and other variations allow a <code>shared_ptr</code>
+ to be used as a wrapper for another smart pointer, easing interoperability.</em></p>
+ <p><em>The support for custom deallocators does not impose significant overhead. Other <code>
+ shared_ptr</code> features still require a deallocator to be kept.</em></p>
+ <p><em>The requirement that the copy constructor of <code>D</code> does not throw comes from
+ the pass by value. If the copy constructor throws, the pointer would leak.]</em></p>
+ <h3 id="copy_constructor">copy and converting constructors</h3>
                 <pre>shared_ptr(shared_ptr const &amp; r); // never throws
 template&lt;class Y&gt; shared_ptr(shared_ptr&lt;Y&gt; const &amp; r); // never throws</pre>
                 <blockquote>
- <p><b>Effects:</b> If <b>r</b> is <EM>empty</EM>, constructs an <EM>empty</EM> <b>shared_ptr</b>;
- otherwise, constructs a <b>shared_ptr</b> that <EM>shares ownership</EM> with <b>r</b>.</p>
+ <p><b>Requires:</b> <code>Y*</code> should be convertible to <code>T*</code>.</p>
+ <p><b>Effects:</b> If <code>r</code> is <em>empty</em>, constructs an <em>empty</em> <code>shared_ptr</code>;
+ otherwise, constructs a <code>shared_ptr</code> that <em>shares ownership</em> with <code>r</code>.</p>
                         <p><b>Postconditions:</b> <code>get() == r.get() &amp;&amp; use_count() ==
                                         r.use_count()</code>.</p>
                         <p><b>Throws:</b> nothing.</p>
                 </blockquote>
- <pre>template&lt;class Y&gt; shared_ptr(shared_ptr&lt;Y&gt; const &amp; r, T * p); // never throws</pre>
+ <h3 id="move_constructor">move constructors</h3>
+ <pre>shared_ptr(shared_ptr &amp;&amp; r); // never throws
+template&lt;class Y&gt; shared_ptr(shared_ptr&lt;Y&gt; &amp;&amp; r); // never throws</pre>
                 <blockquote>
- <p><b>Effects:</b> constructs a <b>shared_ptr</b> that <EM>shares ownership</EM> with
- <b>r</b> and stores <b>p</b>.</p>
+ <p><b>Requires:</b> <code>Y*</code> should be convertible to <code>T*</code>.</p>
+ <p><b>Effects:</b> Move-constructs a <code>shared_ptr</code> from <code>r</code>.</p>
+ <p><b>Postconditions:</b> <code>*this</code> contains the old value of <code>r</code>. <code>r</code> is <em>empty</em> and <code>r.get() == 0</code>.</p>
+ <p><b>Throws:</b> nothing.</p>
+ </blockquote>
+ <h3 id="aliasing_constructor">aliasing constructor</h3>
+ <pre>template&lt;class Y&gt; shared_ptr(shared_ptr&lt;Y&gt; const &amp; r, element_type * p); // never throws</pre>
+ <blockquote>
+ <p><b>Effects:</b> constructs a <code>shared_ptr</code> that <em>shares ownership</em> with
+ <code>r</code> and stores <code>p</code>.</p>
                         <p><b>Postconditions:</b> <code>get() == p &amp;&amp; use_count() == r.use_count()</code>.</p>
                         <p><b>Throws:</b> nothing.</p>
                 </blockquote>
- <pre>template&lt;class Y&gt; explicit shared_ptr(weak_ptr&lt;Y&gt; const &amp; r);</pre>
+ <h3 id="weak_ptr_constructor">weak_ptr constructor</h3>
+ <pre>template&lt;class Y&gt; explicit shared_ptr(weak_ptr&lt;Y&gt; const &amp; r);</pre>
                 <blockquote>
- <p><b>Effects:</b> Constructs a <b>shared_ptr</b> that <EM>shares ownership</EM> with
- <b>r</b> and stores a copy of the pointer stored in <STRONG>r</STRONG>.</p>
+ <p><b>Requires:</b> <code>Y*</code> should be convertible to <code>T*</code>.</p>
+ <p><b>Effects:</b> Constructs a <code>shared_ptr</code> that <em>shares ownership</em> with
+ <code>r</code> and stores a copy of the pointer stored in <code>r</code>.</p>
                         <p><b>Postconditions:</b> <code>use_count() == r.use_count()</code>.</p>
- <p><b>Throws:</b> <b>bad_weak_ptr</b> when <code>r.use_count() == 0</code>.</p>
+ <p><b>Throws:</b> <code>bad_weak_ptr</code> when <code>r.use_count() == 0</code>.</p>
+ <p><b>Exception safety:</b> If an exception is thrown, the constructor has no
+ effect.</p>
+ </blockquote>
+ <h3 id="auto_ptr_constructor">auto_ptr constructors</h3>
+ <pre>template&lt;class Y&gt; shared_ptr(std::auto_ptr&lt;Y&gt; &amp; r);
+template&lt;class Y&gt; shared_ptr(std::auto_ptr&lt;Y&gt; &amp;&amp; r);</pre>
+ <blockquote>
+ <p><b>Requires:</b> <code>Y*</code> should be convertible to <code>T*</code>.</p>
+ <p><b>Effects:</b> Constructs a <code>shared_ptr</code>, as if by storing a copy of <code>r.release()</code>.</p>
+ <p><b>Postconditions:</b> <code>use_count() == 1</code>.</p>
+ <p><b>Throws:</b> <code>std::bad_alloc</code>, or an implementation-defined
+ exception when a resource other than memory could not be obtained.</p>
                         <p><b>Exception safety:</b> If an exception is thrown, the constructor has no
                                 effect.</p>
                 </blockquote>
- <pre>template&lt;class Y&gt; shared_ptr(std::auto_ptr&lt;Y&gt; &amp; r);</pre>
- <BLOCKQUOTE>
- <P><B>Effects:</B> Constructs a <B>shared_ptr</B>, as if by storing a copy of <STRONG>r.release()</STRONG>.</P>
+ <h3 id="unique_ptr_constructor">unique_ptr constructor</h3>
+ <pre>template&lt;class Y, class D&gt; shared_ptr(std::unique_ptr&lt;Y, D&gt; &amp;&amp; r);</pre>
+ <blockquote>
+ <p><b>Requires:</b> <code>Y*</code> should be convertible to <code>T*</code>.</p>
+ <p><b>Effects:</b>
+ Equivalent to <code>shared_ptr( r.release(), r.get_deleter() )</code> when <code>D</code> is not a reference type.
+ Otherwise, equivalent to <code>shared_ptr( r.release(), <em>del</em> )</code>, where <em>del</em> is a deleter
+ that stores the reference <code>rd</code> returned from <code>r.get_deleter()</code> and <code>del(p)</code> calls <code>rd(p)</code>.</p>
                         <p><b>Postconditions:</b> <code>use_count() == 1</code>.</p>
- <p><b>Throws:</b> <STRONG>std::bad_alloc</STRONG>, or an implementation-defined
+ <p><b>Throws:</b> <code>std::bad_alloc</code>, or an implementation-defined
                                 exception when a resource other than memory could not be obtained.</p>
- <P><B>Exception safety:</B> If an exception is thrown, the constructor has no
- effect.</P>
- </BLOCKQUOTE>
- <P><EM>[This constructor takes a the source <STRONG>auto_ptr</STRONG> by reference and
- not by value, and cannot accept <STRONG>auto_ptr</STRONG> temporaries. This is
- by design, as the constructor offers the strong guarantee; an rvalue reference
- would solve this problem, too.]</EM></P>
- <h3><a name="destructor">destructor</a></h3>
+ <p><b>Exception safety:</b> If an exception is thrown, the constructor has no
+ effect.</p>
+ </blockquote>
+ <h3 id="destructor">destructor</h3>
                 <pre>~shared_ptr(); // never throws</pre>
- <BLOCKQUOTE>
- <P><B>Effects:</B></P>
- <UL>
- <LI>
- If <STRONG>*this</STRONG> is <EM>empty</EM>, or <EM>shares ownership</EM> with
- another <STRONG>shared_ptr</STRONG> instance (<code>use_count() &gt; 1</code>),
- there are no side effects.
- <LI>
- Otherwise, if <STRONG>*this</STRONG> <EM>owns</EM> a pointer <STRONG>p</STRONG>
- and a deleter <STRONG>d</STRONG>, <code>d(p)</code>
- is called.
- <LI>
- Otherwise, <STRONG>*this</STRONG> <EM>owns</EM> a pointer <STRONG>p</STRONG>,
- and <code>delete p</code> is called.</LI></UL>
- <P><B>Throws:</B> nothing.</P>
- </BLOCKQUOTE>
- <H3><a name="assignment">assignment</a></H3>
+ <blockquote>
+ <p><b>Effects:</b></p>
+ <ul>
+ <li>
+ If <code>*this</code> is <em>empty</em>, or <em>shares ownership</em> with
+ another <code>shared_ptr</code> instance (<code>use_count() &gt; 1</code>),
+ there are no side effects.</li>
+ <li>
+ Otherwise, if <code>*this</code> <em>owns</em> a pointer <code>p</code>
+ and a deleter <code>d</code>, <code>d(p)</code>
+ is called.</li>
+ <li>
+ Otherwise, <code>*this</code> <em>owns</em> a pointer <code>p</code>,
+ and <code>delete p</code> is called.</li>
+ </ul>
+ <p><b>Throws:</b> nothing.</p>
+ </blockquote>
+ <h3 id="assignment">assignment</h3>
                 <pre>shared_ptr &amp; operator=(shared_ptr const &amp; r); // never throws
 template&lt;class Y&gt; shared_ptr &amp; operator=(shared_ptr&lt;Y&gt; const &amp; r); // never throws
 template&lt;class Y&gt; shared_ptr &amp; operator=(std::auto_ptr&lt;Y&gt; &amp; r);</pre>
- <BLOCKQUOTE>
- <P><B>Effects:</B> Equivalent to <code>shared_ptr(r).swap(*this)</code>.</P>
- <P><B>Returns:</B> <code>*this</code>.</P>
- <P><B>Notes:</B> The use count updates caused by the temporary object construction
+ <blockquote>
+ <p><b>Effects:</b> Equivalent to <code>shared_ptr(r).swap(*this)</code>.</p>
+ <p><b>Returns:</b> <code>*this</code>.</p>
+ <p><b>Notes:</b> The use count updates caused by the temporary object construction
                                 and destruction are not considered observable side effects, and the
                                 implementation is free to meet the effects (and the implied guarantees) via
- different means, without creating a temporary. In particular, in the example:</P>
+ different means, without creating a temporary. In particular, in the example:</p>
                         <pre>shared_ptr&lt;int&gt; p(new int);
 shared_ptr&lt;void&gt; q(p);
 p = p;
 q = p;
 </pre>
                         <p>both assignments may be no-ops.</p>
- </BLOCKQUOTE>
- <h3><a name="reset">reset</a></h3>
+ </blockquote>
+ <pre>shared_ptr &amp; operator=(shared_ptr &amp;&amp; r); // never throws
+template&lt;class Y&gt; shared_ptr &amp; operator=(shared_ptr&lt;Y&gt; &amp;&amp; r); // never throws
+template&lt;class Y&gt; shared_ptr &amp; operator=(std::auto_ptr&lt;Y&gt; &amp;&amp; r);
+template&lt;class Y, class D&gt; shared_ptr &amp; operator=(std::unique_ptr&lt;Y, D&gt; &amp;&amp; r);</pre>
+ <blockquote>
+ <p><b>Effects:</b> Equivalent to <code>shared_ptr( std::move(r) ).swap(*this)</code>.</p>
+ <p><b>Returns:</b> <code>*this</code>.</p>
+ </blockquote>
+ <h3 id="reset">reset</h3>
                 <pre>void reset(); // never throws</pre>
- <BLOCKQUOTE>
- <P><B>Effects:</B> Equivalent to <code>shared_ptr().swap(*this)</code>.</P>
- </BLOCKQUOTE>
+ <blockquote>
+ <p><b>Effects:</b> Equivalent to <code>shared_ptr().swap(*this)</code>.</p>
+ </blockquote>
                 <pre>template&lt;class Y&gt; void reset(Y * p);</pre>
- <BLOCKQUOTE>
- <P><B>Effects:</B> Equivalent to <code>shared_ptr(p).swap(*this)</code>.</P>
- </BLOCKQUOTE>
+ <blockquote>
+ <p><b>Effects:</b> Equivalent to <code>shared_ptr(p).swap(*this)</code>.</p>
+ </blockquote>
                 <pre>template&lt;class Y, class D&gt; void reset(Y * p, D d);</pre>
- <BLOCKQUOTE>
- <P><B>Effects:</B> Equivalent to <code>shared_ptr(p, d).swap(*this)</code>.</P>
- </BLOCKQUOTE>
+ <blockquote>
+ <p><b>Effects:</b> Equivalent to <code>shared_ptr(p, d).swap(*this)</code>.</p>
+ </blockquote>
                 <pre>template&lt;class Y, class D, class A&gt; void reset(Y * p, D d, A a);</pre>
- <BLOCKQUOTE>
- <P><B>Effects:</B> Equivalent to <code>shared_ptr(p, d, a).swap(*this)</code>.</P>
- </BLOCKQUOTE>
- <pre>template&lt;class Y&gt; void reset(shared_ptr&lt;Y&gt; const &amp; r, T * p); // never throws</pre>
- <BLOCKQUOTE>
- <P><B>Effects:</B> Equivalent to <code>shared_ptr(r, p).swap(*this)</code>.</P>
- </BLOCKQUOTE>
- <h3><a name="indirection">indirection</a></h3>
+ <blockquote>
+ <p><b>Effects:</b> Equivalent to <code>shared_ptr(p, d, a).swap(*this)</code>.</p>
+ </blockquote>
+ <pre>template&lt;class Y&gt; void reset(shared_ptr&lt;Y&gt; const &amp; r, element_type * p); // never throws</pre>
+ <blockquote>
+ <p><b>Effects:</b> Equivalent to <code>shared_ptr(r, p).swap(*this)</code>.</p>
+ </blockquote>
+ <h3 id="indirection">indirection</h3>
                 <pre>T &amp; operator*() const; // never throws</pre>
                 <blockquote>
- <p><b>Requirements:</b> The stored pointer must not be 0.</p>
+ <p><b>Requirements:</b> <code>T</code> should not be an array type. The stored pointer must not be 0.</p>
                         <p><b>Returns:</b> a reference to the object pointed to by the stored pointer.</p>
                         <p><b>Throws:</b> nothing.</p>
                 </blockquote>
                 <pre>T * operator-&gt;() const; // never throws</pre>
                 <blockquote>
- <p><b>Requirements:</b> The stored pointer must not be 0.</p>
+ <p><b>Requirements:</b> <code>T</code> should not be an array type. The stored pointer must not be 0.</p>
                         <p><b>Returns:</b> the stored pointer.</p>
                         <p><b>Throws:</b> nothing.</p>
                 </blockquote>
- <h3><a name="get">get</a></h3>
- <pre>T * get() const; // never throws</pre>
+ <pre>element_type &amp; operator[]( std::ptrdiff_t i ) const; // never throws</pre>
+ <blockquote>
+ <p><b>Requirements:</b> <code>T</code> should be an array type. The stored pointer must not be 0.
+ <code>i &gt;= 0</code>. If <code>T</code> is <code>U[N]</code>, <code>i &lt; N</code>.</p>
+ <p><b>Returns:</b> <code>get()[ i ]</code>.</p>
+ <p><b>Throws:</b> nothing.</p>
+ </blockquote>
+ <h3 id="get">get</h3>
+ <pre>element_type * get() const; // never throws</pre>
                 <blockquote>
                         <p><b>Returns:</b> the stored pointer.</p>
                         <p><b>Throws:</b> nothing.</p>
                 </blockquote>
- <h3><a name="unique">unique</a></h3>
+ <h3 id="unique">unique</h3>
                 <pre>bool unique() const; // never throws</pre>
                 <blockquote>
                         <p><b>Returns:</b> <code>use_count() == 1</code>.</p>
                         <p><b>Throws:</b> nothing.</p>
- <P><B>Notes:</B> <code>unique()</code> may be faster than <code>use_count()</code>.
+ <p><b>Notes:</b> <code>unique()</code> may be faster than <code>use_count()</code>.
                                 If you are using <code>unique()</code> to implement copy on write, do not rely
- on a specific value when the stored pointer is zero.</P>
+ on a specific value when the stored pointer is zero.</p>
                 </blockquote>
- <h3><a name="use_count">use_count</a></h3>
+ <h3 id="use_count">use_count</h3>
                 <pre>long use_count() const; // never throws</pre>
                 <blockquote>
- <p><b>Returns:</b> the number of <b>shared_ptr</b> objects, <STRONG>*this</STRONG> included,
- that <i>share ownership</i> with <b>*this</b>, or 0 when <STRONG>*this</STRONG>
- is <EM>empty</EM>.</p>
+ <p><b>Returns:</b> the number of <code>shared_ptr</code> objects, <code>*this</code> included,
+ that <i>share ownership</i> with <code>*this</code>, or 0 when <code>*this</code>
+ is <em>empty</em>.</p>
                         <p><b>Throws:</b> nothing.</p>
- <P><B>Notes:</B> <code>use_count()</code> is not necessarily efficient. Use only
- for debugging and testing purposes, not for production code.</P>
+ <p><b>Notes:</b> <code>use_count()</code> is not necessarily efficient. Use only
+ for debugging and testing purposes, not for production code.</p>
                 </blockquote>
- <h3><a name="conversions">conversions</a></h3>
+ <h3 id="conversions">conversions</h3>
                 <pre>operator <i>unspecified-bool-type</i> () const; // never throws</pre>
                 <blockquote>
                         <p><b>Returns:</b> an unspecified value that, when used in boolean contexts, is
                                 equivalent to <code>get() != 0</code>.</p>
                         <p><b>Throws:</b> nothing.</p>
- <P><B>Notes:</B> This conversion operator allows <b>shared_ptr</b> objects to be
+ <p><b>Notes:</b> This conversion operator allows <code>shared_ptr</code> objects to be
                                 used in boolean contexts, like <code>if (p &amp;&amp; p-&gt;valid()) {}</code>.
                                 The actual target type is typically a pointer to a member function, avoiding
- many of the implicit conversion pitfalls.</P>
+ many of the implicit conversion pitfalls.</p>
                 </blockquote>
- <P><EM>[The conversion to bool is not merely syntactic sugar. It allows <STRONG>shared_ptr</STRONG>s
- to be declared in conditions when using dynamic_pointer_cast
- or weak_ptr::lock.]</EM></P>
- <h3><a name="swap">swap</a></h3>
+ <p><em>[The conversion to bool is not merely syntactic sugar. It allows <code>shared_ptr</code>s
+ to be declared in conditions when using dynamic_pointer_cast
+ or weak_ptr::lock.]</em></p>
+ <h3 id="swap">swap</h3>
                 <pre>void swap(shared_ptr &amp; b); // never throws</pre>
                 <blockquote>
                         <p><b>Effects:</b> Exchanges the contents of the two smart pointers.</p>
                         <p><b>Throws:</b> nothing.</p>
                 </blockquote>
- <h2><a name="functions">Free Functions</a></h2>
- <h3><a name="comparison">comparison</a></h3>
+ <h2 id="functions">Free Functions</h2>
+ <h3 id="comparison">comparison</h3>
                 <pre>template&lt;class T, class U&gt;
   bool operator==(shared_ptr&lt;T&gt; const &amp; a, shared_ptr&lt;U&gt; const &amp; b); // never throws</pre>
                 <blockquote>
@@ -422,147 +508,143 @@
   bool operator&lt;(shared_ptr&lt;T&gt; const &amp; a, shared_ptr&lt;U&gt; const &amp; b); // never throws</pre>
                 <blockquote>
                         <p><b>Returns:</b> an unspecified value such that</p>
- <UL>
- <LI>
- <b>operator&lt;</b> is a strict weak ordering as described in section 25.3 <code>[lib.alg.sorting]</code>
- of the C++ standard;
- <LI>
- under the equivalence relation defined by <STRONG>operator&lt;</STRONG>, <code>!(a
- &lt; b) &amp;&amp; !(b &lt; a)</code>, two <STRONG>shared_ptr</STRONG> instances
- are equivalent if and only if they <EM>share ownership</EM> or are both <EM>empty</EM>.</LI></UL>
- <p><b>Throws:</b> nothing.</p>
- <P><B>Notes:</B> Allows <STRONG>shared_ptr</STRONG> objects to be used as keys in
- associative containers.</P>
- </blockquote>
- <P><EM>[<STRONG>Operator&lt;</STRONG> has been preferred over a <STRONG>std::less </STRONG>
- specialization for consistency and legality reasons, as <STRONG>std::less</STRONG>
- is required to return the results of <STRONG>operator&lt;</STRONG>, and many
- standard algorithms use <STRONG>operator&lt;</STRONG> instead of <STRONG>std::less</STRONG>
- for comparisons when a predicate is not supplied. Composite objects, like <STRONG>std::pair</STRONG>,
- also implement their <STRONG>operator&lt;</STRONG> in terms of their contained
- subobjects' <STRONG>operator&lt;</STRONG>.</EM></P>
- <P><EM>The rest of the comparison operators are omitted by design.]</EM></P>
- <h3><a name="free-swap">swap</a></h3>
+ <ul>
+ <li>
+ <code>operator&lt;</code> is a strict weak ordering as described in section 25.3 <code>[lib.alg.sorting]</code>
+ of the C++ standard;</li>
+ <li>
+ under the equivalence relation defined by <code>operator&lt;</code>, <code>!(a
+ &lt; b) &amp;&amp; !(b &lt; a)</code>, two <code>shared_ptr</code> instances
+ are equivalent if and only if they <em>share ownership</em> or are both <em>empty</em>.</li></ul>
+ <p><b>Throws:</b> nothing.</p>
+ <p><b>Notes:</b> Allows <code>shared_ptr</code> objects to be used as keys in
+ associative containers.</p>
+ </blockquote>
+ <p><em>[<code>Operator&lt;</code> has been preferred over a <code>std::less</code>
+ specialization for consistency and legality reasons, as <code>std::less</code>
+ is required to return the results of <code>operator&lt;</code>, and many
+ standard algorithms use <code>operator&lt;</code> instead of <code>std::less</code>
+ for comparisons when a predicate is not supplied. Composite objects, like <code>std::pair</code>,
+ also implement their <code>operator&lt;</code> in terms of their contained
+ subobjects' <code>operator&lt;</code>.</em></p>
+ <p><em>The rest of the comparison operators are omitted by design.]</em></p>
+ <h3 id="free-swap">swap</h3>
                 <pre>template&lt;class T&gt;
   void swap(shared_ptr&lt;T&gt; &amp; a, shared_ptr&lt;T&gt; &amp; b); // never throws</pre>
- <BLOCKQUOTE>
- <P><B>Effects:</B> Equivalent to <code>a.swap(b)</code>.</P>
- <P><B>Throws:</B> nothing.</P>
- <P><B>Notes:</B> Matches the interface of <B>std::swap</B>. Provided as an aid to
- generic programming.</P>
- </BLOCKQUOTE>
- <P><EM>[<STRONG>swap</STRONG> is defined in the same namespace as <STRONG>shared_ptr</STRONG>
- as this is currently the only legal way to supply a <STRONG>swap</STRONG> function
- that has a chance to be used by the standard library.]</EM></P>
- <h3><a name="get_pointer">get_pointer</a></h3>
+ <blockquote>
+ <p><b>Effects:</b> Equivalent to <code>a.swap(b)</code>.</p>
+ <p><b>Throws:</b> nothing.</p>
+ <p><b>Notes:</b> Matches the interface of <code>std::swap</code>. Provided as an aid to
+ generic programming.</p>
+ </blockquote>
+ <p><em>[<code>swap</code> is defined in the same namespace as <code>shared_ptr</code>
+ as this is currently the only legal way to supply a <code>swap</code> function
+ that has a chance to be used by the standard library.]</em></p>
+ <h3 id="get_pointer">get_pointer</h3>
                 <pre>template&lt;class T&gt;
- T * get_pointer(shared_ptr&lt;T&gt; const &amp; p); // never throws</pre>
- <BLOCKQUOTE>
- <P><B>Returns:</B> <code>p.get()</code>.</P>
- <P><B>Throws:</B> nothing.</P>
- <P><B>Notes:</B> Provided as an aid to generic programming. Used by <A href="../bind/mem_fn.html">
- mem_fn</A>.</P>
- </BLOCKQUOTE>
- <h3><a name="static_pointer_cast">static_pointer_cast</a></h3>
+ typename shared_ptr&lt;T&gt;::element_type * get_pointer(shared_ptr&lt;T&gt; const &amp; p); // never throws</pre>
+ <blockquote>
+ <p><b>Returns:</b> <code>p.get()</code>.</p>
+ <p><b>Throws:</b> nothing.</p>
+ <p><b>Notes:</b> Provided as an aid to generic programming. Used by <a href="../bind/mem_fn.html">
+ mem_fn</a>.</p>
+ </blockquote>
+ <h3 id="static_pointer_cast">static_pointer_cast</h3>
                 <pre>template&lt;class T, class U&gt;
   shared_ptr&lt;T&gt; static_pointer_cast(shared_ptr&lt;U&gt; const &amp; r); // never throws</pre>
- <BLOCKQUOTE>
- <P><STRONG>Requires:</STRONG> The expression <code>static_cast&lt;T*&gt;(r.get())</code>
- must be well-formed.</P>
- <P><B>Returns:</B> If <b>r</b> is <i>empty</i>, an <i>empty</i> <b>shared_ptr&lt;T&gt;</b>;
- otherwise, a <STRONG>shared_ptr&lt;T&gt;</STRONG> object that stores a copy of <code>
- static_cast&lt;T*&gt;(r.get())</code> and <i>shares ownership</i> with <b>r</b>.</P>
- <P><B>Throws:</B> nothing.</P>
- <P><B>Notes:</B> the seemingly equivalent expression</P>
- <p><code>shared_ptr&lt;T&gt;(static_cast&lt;T*&gt;(r.get()))</code></p>
- <p>will eventually result in undefined behavior, attempting to delete the same
+ <blockquote>
+ <p><b>Requires:</b> The expression <code>static_cast&lt;T*&gt;( (U*)0 )</code>
+ must be well-formed.</p>
+ <p><b>Returns:</b> <code>shared_ptr&lt;T&gt;( r, static_cast&lt;typename shared_ptr&lt;T&gt;::element_type*&gt;(r.get()) )</code>.</p>
+ <p><b>Throws:</b> nothing.</p>
+ <p><b>Notes:</b> the seemingly equivalent expression
+ <code>shared_ptr&lt;T&gt;(static_cast&lt;T*&gt;(r.get()))</code>
+ will eventually result in undefined behavior, attempting to delete the same
                                 object twice.</p>
- </BLOCKQUOTE>
- <h3><a name="const_pointer_cast">const_pointer_cast</a></h3>
+ </blockquote>
+ <h3 id="const_pointer_cast">const_pointer_cast</h3>
                 <pre>template&lt;class T, class U&gt;
   shared_ptr&lt;T&gt; const_pointer_cast(shared_ptr&lt;U&gt; const &amp; r); // never throws</pre>
- <BLOCKQUOTE>
- <P><STRONG>Requires:</STRONG> The expression <code>const_cast&lt;T*&gt;(r.get())</code>
- must be well-formed.</P>
- <P><B>Returns:</B> If <b>r</b> is <i>empty</i>, an <i>empty</i> <b>shared_ptr&lt;T&gt;</b>;
- otherwise, a <STRONG>shared_ptr&lt;T&gt;</STRONG> object that stores a copy of <code>
- const_cast&lt;T*&gt;(r.get())</code> and <i>shares ownership</i> with <b>r</b>.</P>
- <P><B>Throws:</B> nothing.</P>
- <P><B>Notes:</B> the seemingly equivalent expression</P>
- <p><code>shared_ptr&lt;T&gt;(const_cast&lt;T*&gt;(r.get()))</code></p>
- <p>will eventually result in undefined behavior, attempting to delete the same
- object twice.</p>
- </BLOCKQUOTE>
- <h3><a name="dynamic_pointer_cast">dynamic_pointer_cast</a></h3>
+ <blockquote>
+ <p><b>Requires:</b> The expression <code>const_cast&lt;T*&gt;( (U*)0 )</code>
+ must be well-formed.</p>
+ <p><b>Returns:</b> <code>shared_ptr&lt;T&gt;( r, const_cast&lt;typename shared_ptr&lt;T&gt;::element_type*&gt;(r.get()) )</code>.</p>
+ <p><b>Throws:</b> nothing.</p>
+ </blockquote>
+ <h3 id="dynamic_pointer_cast">dynamic_pointer_cast</h3>
                 <pre>template&lt;class T, class U&gt;
   shared_ptr&lt;T&gt; dynamic_pointer_cast(shared_ptr&lt;U&gt; const &amp; r);</pre>
- <BLOCKQUOTE>
- <P><STRONG>Requires:</STRONG> The expression <CODE>dynamic_cast&lt;T*&gt;(r.get())</CODE>
- must be well-formed and its behavior defined.</P>
- <P><B>Returns:</B></P>
- <UL>
- <LI>
- When <CODE>dynamic_cast&lt;T*&gt;(r.get())</CODE> returns a nonzero value, a <STRONG>
- shared_ptr&lt;T&gt;</STRONG> object that stores a copy of it and <i>shares
- ownership</i> with <STRONG>r</STRONG>;
- <LI>
- Otherwise, an <i>empty</i> <STRONG>shared_ptr&lt;T&gt;</STRONG> object.</LI></UL>
- <P><B>Throws:</B> nothing.</P>
- <P><B>Notes:</B> the seemingly equivalent expression</P>
- <P><CODE>shared_ptr&lt;T&gt;(dynamic_cast&lt;T*&gt;(r.get()))</CODE></P>
- <P>will eventually result in undefined behavior, attempting to delete the same
- object twice.</P>
- </BLOCKQUOTE>
- <h3><a name="insertion-operator">operator&lt;&lt;</a></h3>
+ <blockquote>
+ <p><b>Requires:</b> The expression <code>dynamic_cast&lt;T*&gt;( (U*)0 )</code>
+ must be well-formed.</p>
+ <p><b>Returns:</b></p>
+ <ul>
+ <li>
+ When <code>dynamic_cast&lt;typename shared_ptr&lt;T&gt;::element_type*&gt;(r.get())</code> returns a nonzero value <code>p</code>,
+ <code>shared_ptr&lt;T&gt;(r, p)</code>;</li>
+ <li>
+ Otherwise, <code>shared_ptr&lt;T&gt;()</code>.</li></ul>
+ <p><b>Throws:</b> nothing.</p>
+ </blockquote>
+ <h3 id="reinterpret_pointer_cast">reinterpret_pointer_cast</h3>
+ <pre>template&lt;class T, class U&gt;
+ shared_ptr&lt;T&gt; reinterpret_pointer_cast(shared_ptr&lt;U&gt; const &amp; r); // never throws</pre>
+ <blockquote>
+ <p><b>Requires:</b> The expression <code>reinterpret_cast&lt;T*&gt;( (U*)0 )</code>
+ must be well-formed.</p>
+ <p><b>Returns:</b> <code>shared_ptr&lt;T&gt;( r, reinterpret_cast&lt;typename shared_ptr&lt;T&gt;::element_type*&gt;(r.get()) )</code>.</p>
+ <p><b>Throws:</b> nothing.</p>
+ </blockquote>
+ <h3 id="insertion-operator">operator&lt;&lt;</h3>
                 <pre>template&lt;class E, class T, class Y&gt;
     std::basic_ostream&lt;E, T&gt; &amp; operator&lt;&lt; (std::basic_ostream&lt;E, T&gt; &amp; os, shared_ptr&lt;Y&gt; const &amp; p);</pre>
- <BLOCKQUOTE>
- <p><STRONG>Effects:</STRONG> <code>os &lt;&lt; p.get();</code>.</p>
- <P><B>Returns:</B> <b>os</b>.</P>
- </BLOCKQUOTE>
- <h3><a name="get_deleter">get_deleter</a></h3>
+ <blockquote>
+ <p><b>Effects:</b> <code>os &lt;&lt; p.get();</code>.</p>
+ <p><b>Returns:</b> <code>os</code>.</p>
+ </blockquote>
+ <h3 id="get_deleter">get_deleter</h3>
                 <pre>template&lt;class D, class T&gt;
     D * get_deleter(shared_ptr&lt;T&gt; const &amp; p);</pre>
- <BLOCKQUOTE>
- <P><B>Returns:</B> If <STRONG>*this</STRONG> <EM>owns</EM> a deleter <STRONG>d</STRONG>
- of type (cv-unqualified) <STRONG>D</STRONG>, returns <code>&amp;d</code>;
- otherwise returns 0.</P>
- <P><B>Throws:</B> nothing.</P>
- </BLOCKQUOTE>
- <h2><a name="example">Example</a></h2>
- <p>See shared_ptr_example.cpp for a
- complete example program. The program builds a <b>std::vector</b> and <b>std::set</b>
- of <b>shared_ptr</b> objects.</p>
- <p>Note that after the containers have been populated, some of the <b>shared_ptr</b>
+ <blockquote>
+ <p><b>Returns:</b> If <code>*this</code> <em>owns</em> a deleter <code>d</code>
+ of type (cv-unqualified) <code>D</code>, returns <code>&amp;d</code>;
+ otherwise returns 0.</p>
+ <p><b>Throws:</b> nothing.</p>
+ </blockquote>
+ <h2 id="example">Example</h2>
+ <p>See shared_ptr_example.cpp for a
+ complete example program. The program builds a <code>std::vector</code> and <code>std::set</code>
+ of <code>shared_ptr</code> objects.</p>
+ <p>Note that after the containers have been populated, some of the <code>shared_ptr</code>
                         objects will have a use count of 1 rather than a use count of 2, since the set
- is a <b>std::set</b> rather than a <b>std::multiset</b>, and thus does not
+ is a <code>std::set</code> rather than a <code>std::multiset</code>, and thus does not
                         contain duplicate entries. Furthermore, the use count may be even higher at
- various times while <b>push_back</b> and <b>insert</b> container operations are
+ various times while <code>push_back</code> and <code>insert</code> container operations are
                         performed. More complicated yet, the container operations may throw exceptions
                         under a variety of circumstances. Getting the memory management and exception
                         handling in this example right without a smart pointer would be a nightmare.</p>
- <h2><a name="Handle/Body">Handle/Body</a> Idiom</h2>
- <p>One common usage of <b>shared_ptr</b> is to implement a handle/body (also called
+ <h2 id="HandleBody">Handle/Body Idiom</h2>
+ <p>One common usage of <code>shared_ptr</code> is to implement a handle/body (also called
                         pimpl) idiom which avoids exposing the body (implementation) in the header
                         file.</p>
- <p>The shared_ptr_example2_test.cpp
- sample program includes a header file, shared_ptr_example2.hpp,
- which uses a <b>shared_ptr&lt;&gt;</b> to an incomplete type to hide the
+ <p>The shared_ptr_example2_test.cpp
+ sample program includes a header file, shared_ptr_example2.hpp,
+ which uses a <code>shared_ptr</code> to an incomplete type to hide the
                         implementation. The instantiation of member functions which require a complete
- type occurs in the shared_ptr_example2.cpp
+ type occurs in the shared_ptr_example2.cpp
                         implementation file. Note that there is no need for an explicit destructor.
- Unlike ~scoped_ptr, ~shared_ptr does not require that <b>T</b> be a complete
+ Unlike <code>~scoped_ptr</code>, <code>~shared_ptr</code> does not require that <code>T</code> be a complete
                         type.</p>
- <h2><a name="ThreadSafety">Thread Safety</a></h2>
- <p><STRONG>shared_ptr</STRONG> objects offer the same level of thread safety as
- built-in types. A <STRONG>shared_ptr</STRONG> instance can be "read" (accessed
- using only const operations) simultaneously by multiple threads. Different <STRONG>shared_ptr</STRONG>
- instances can be "written to" (accessed using mutable operations such as <STRONG>operator=
- </STRONG>or <STRONG>reset</STRONG>) simultaneosly by multiple threads (even
+ <h2 id="ThreadSafety">Thread Safety</h2>
+ <p><code>shared_ptr</code> objects offer the same level of thread safety as
+ built-in types. A <code>shared_ptr</code> instance can be "read" (accessed
+ using only const operations) simultaneously by multiple threads. Different <code>shared_ptr</code>
+ instances can be "written to" (accessed using mutable operations such as <code>operator=
+ </code>or <code>reset</code>) simultaneosly by multiple threads (even
                         when these instances are copies, and share the same reference count
                         underneath.)</p>
- <P>Any other simultaneous accesses result in undefined behavior.</P>
- <P>Examples:</P>
+ <p>Any other simultaneous accesses result in undefined behavior.</p>
+ <p>Examples:</p>
                 <pre>shared_ptr&lt;int&gt; p(new int(42));
 
 //--- Example 1 ---
@@ -606,89 +688,78 @@
 p3.reset(new int(2)); // undefined, multiple writes
 </pre>
                 <p>&nbsp;</p>
- <P>Starting with Boost release 1.33.0, <STRONG>shared_ptr</STRONG> uses a lock-free
- implementation on the following platforms:</P>
- <UL>
- <LI>
- GNU GCC on x86 or x86-64;
- <LI>
- GNU GCC on IA64;
- <LI>
- Metrowerks CodeWarrior on PowerPC;
- <LI>
- GNU GCC on PowerPC;
- <LI>
- Windows.</LI></UL>
- <P>If your program is single-threaded and does not link to any libraries that might
- have used <STRONG>shared_ptr</STRONG> in its default configuration, you can <STRONG>
- #define</STRONG> the macro <STRONG>BOOST_SP_DISABLE_THREADS</STRONG> on a
- project-wide basis to switch to ordinary non-atomic reference count updates.</P>
- <P>(Defining <STRONG>BOOST_SP_DISABLE_THREADS</STRONG> in some, but not all,
+ <p>Starting with Boost release 1.33.0, <code>shared_ptr</code> uses a lock-free
+ implementation on most common platforms.</p>
+ <p>If your program is single-threaded and does not link to any libraries that might
+ have used <code>shared_ptr</code> in its default configuration, you can <code>
+ #define</code> the macro <code>BOOST_SP_DISABLE_THREADS</code> on a
+ project-wide basis to switch to ordinary non-atomic reference count updates.</p>
+ <p>(Defining <code>BOOST_SP_DISABLE_THREADS</code> in some, but not all,
                         translation units is technically a violation of the One Definition Rule and
                         undefined behavior. Nevertheless, the implementation attempts to do its best to
                         accommodate the request to use non-atomic updates in those translation units.
- No guarantees, though.)</P>
- <P>You can define the macro <STRONG>BOOST_SP_USE_PTHREADS</STRONG> to turn off the
- lock-free platform-specific implementation and fall back to the generic <STRONG>pthread_mutex_t</STRONG>-based
- code.</P>
- <h2><a name="FAQ">Frequently Asked Questions</a></h2>
- <P><B>Q.</B> There are several variations of shared pointers, with different
+ No guarantees, though.)</p>
+ <p>You can define the macro <code>BOOST_SP_USE_PTHREADS</code> to turn off the
+ lock-free platform-specific implementation and fall back to the generic
+ <code>pthread_mutex_t</code>-based code.</p>
+ <h2 id="FAQ">Frequently Asked Questions</h2>
+ <p><b>Q.</b> There are several variations of shared pointers, with different
                         tradeoffs; why does the smart pointer library supply only a single
                         implementation? It would be useful to be able to experiment with each type so
- as to find the most suitable for the job at hand?</P>
- <P>
- <b>A.</b> An important goal of <STRONG>shared_ptr</STRONG> is to provide a
+ as to find the most suitable for the job at hand?</p>
+ <p>
+ <b>A.</b> An important goal of <code>shared_ptr</code> is to provide a
                         standard shared-ownership pointer. Having a single pointer type is important
                         for stable library interfaces, since different shared pointers typically cannot
                         interoperate, i.e. a reference counted pointer (used by library A) cannot share
- ownership with a linked pointer (used by library B.)<BR>
- </P>
- <P><B>Q.</B> Why doesn't <B>shared_ptr</B> have template parameters supplying
- traits or policies to allow extensive user customization?</P>
- <P>
- <B>A.</B> Parameterization discourages users. The <B>shared_ptr</B> template is
+ ownership with a linked pointer (used by library B.)
+ </p>
+ <p><b>Q.</b> Why doesn't <code>shared_ptr</code> have template parameters supplying
+ traits or policies to allow extensive user customization?</p>
+ <p>
+ <b>A.</b> Parameterization discourages users. The <code>shared_ptr</code> template is
                         carefully crafted to meet common needs without extensive parameterization. Some
                         day a highly configurable smart pointer may be invented that is also very easy
- to use and very hard to misuse. Until then, <B>shared_ptr</B> is the smart
+ to use and very hard to misuse. Until then, <code>shared_ptr</code> is the smart
                         pointer of choice for a wide range of applications. (Those interested in policy
- based smart pointers should read <A href="http://www.awprofessional.com/bookstore/product.asp?isbn=0201704315&amp;rl=1">
- Modern C++ Design</A> by Andrei Alexandrescu.)<BR>
- </P>
- <P><B>Q.</B> I am not convinced. Default parameters can be used where appropriate
- to hide the complexity. Again, why not policies?</P>
- <P>
- <B>A.</B> Template parameters affect the type. See the answer to the first
- question above.<BR>
- </P>
- <P><B>Q.</B> Why doesn't <b>shared_ptr</b> use a linked list implementation?</P>
- <P>
+ based smart pointers should read <a href="http://www.awprofessional.com/bookstore/product.asp?isbn=0201704315&amp;rl=1">
+ Modern C++ Design</a> by Andrei Alexandrescu.)
+ </p>
+ <p><b>Q.</b> I am not convinced. Default parameters can be used where appropriate
+ to hide the complexity. Again, why not policies?</p>
+ <p>
+ <b>A.</b> Template parameters affect the type. See the answer to the first
+ question above.
+ </p>
+ <p><b>Q.</b> Why doesn't <code>shared_ptr</code> use a linked list implementation?</p>
+ <p>
                         <b>A.</b> A linked list implementation does not offer enough advantages to
- offset the added cost of an extra pointer. See timings
+ offset the added cost of an extra pointer. See timings
                         page. In addition, it is expensive to make a linked list implementation thread
- safe.<BR>
- </P>
- <P><b>Q.</b> Why doesn't <b>shared_ptr</b> (or any of the other Boost smart
- pointers) supply an automatic conversion to <b>T*</b>?</P>
- <P>
- <b>A.</b> Automatic conversion is believed to be too error prone.<BR>
- </P>
- <P><B>Q.</B> Why does <b>shared_ptr</b> supply use_count()?</P>
- <P>
+ safe.
+ </p>
+ <p><b>Q.</b> Why doesn't <code>shared_ptr</code> (or any of the other Boost smart
+ pointers) supply an automatic conversion to <code>T*</code>?</p>
+ <p>
+ <b>A.</b> Automatic conversion is believed to be too error prone.
+ </p>
+ <p><b>Q.</b> Why does <code>shared_ptr</code> supply use_count()?</p>
+ <p>
                         <b>A.</b> As an aid to writing test cases and debugging displays. One of the
- progenitors had use_count(), and it was useful in tracking down bugs in a
- complex project that turned out to have cyclic-dependencies.<BR>
- </P>
- <P><B>Q.</B> Why doesn't <b>shared_ptr</b> specify complexity requirements?</P>
- <P>
+ progenitors had <code>use_count()</code>, and it was useful in tracking down bugs in a
+ complex project that turned out to have cyclic-dependencies.
+ </p>
+ <p><b>Q.</b> Why doesn't <code>shared_ptr</code> specify complexity requirements?</p>
+ <p>
                         <b>A.</b> Because complexity requirements limit implementors and complicate the
- specification without apparent benefit to <b>shared_ptr</b> users. For example,
+ specification without apparent benefit to <code>shared_ptr</code> users. For example,
                         error-checking implementations might become non-conforming if they had to meet
- stringent complexity requirements.<BR>
- </P>
- <P><b>Q.</b> Why doesn't <b>shared_ptr</b> provide a release() function?</P>
- <P>
- <b>A.</b> <b>shared_ptr</b> cannot give away ownership unless it's unique()
- because the other copy will still destroy the object.</P>
+ stringent complexity requirements.
+ </p>
+ <p><b>Q.</b> Why doesn't <code>shared_ptr</code> provide a <code>release()</code> function?</p>
+ <p>
+ <b>A.</b> <code>shared_ptr</code> cannot give away ownership unless it's <code>unique()</code>
+ because the other copy will still destroy the object.</p>
                 <p>Consider:</p>
                 <blockquote><pre>shared_ptr&lt;int&gt; a(new int);
 shared_ptr&lt;int&gt; b(a); // a.use_count() == b.use_count() == 2
@@ -698,25 +769,22 @@
 // Who owns p now? b will still call delete on it in its destructor.</pre>
                 </blockquote>
                 <p>Furthermore, the pointer returned by <code>release()</code> would be difficult
- to deallocate reliably, as the source <b>shared_ptr</b> could have been created
- with a custom deleter.<BR>
+ to deallocate reliably, as the source <code>shared_ptr</code> could have been created
+ with a custom deleter.
                 </p>
- <P><b>Q.</b> Why is <code>operator-&gt;()</code> const, but its return value is a
- non-const pointer to the element type?</P>
- <P>
+ <p><b>Q.</b> Why is <code>operator-&gt;()</code> const, but its return value is a
+ non-const pointer to the element type?</p>
+ <p>
                         <b>A.</b> Shallow copy pointers, including raw pointers, typically don't
                         propagate constness. It makes little sense for them to do so, as you can always
                         obtain a non-const pointer from a const one and then proceed to modify the
- object through it.<b>shared_ptr</b> is "as close to raw pointers as possible
- but no closer".<BR>
- <BR>
- </P>
- <hr>
- <p>
- $Date$</p>
+ object through it. <code>shared_ptr</code> is "as close to raw pointers as possible
+ but no closer".
+ </p>
+ <hr />
                 <p><small>Copyright 1999 Greg Colvin and Beman Dawes. Copyright 2002 Darin Adler.
- Copyright 2002-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.</small></p>
+ Copyright 2002-2005, 2012 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.</small></p>
         </body>
 </html>

Modified: branches/release/libs/smart_ptr/test/sp_unique_ptr_test.cpp
==============================================================================
--- branches/release/libs/smart_ptr/test/sp_unique_ptr_test.cpp (original)
+++ branches/release/libs/smart_ptr/test/sp_unique_ptr_test.cpp 2012-12-07 19:57:04 EST (Fri, 07 Dec 2012)
@@ -91,6 +91,66 @@
         p2.reset();
         p3.reset();
         BOOST_TEST( X::instances == 0 );
+
+ p2 = std::unique_ptr<X>( new X );
+ BOOST_TEST( X::instances == 1 );
+
+ p2 = std::unique_ptr<X>( new X );
+ BOOST_TEST( X::instances == 1 );
+
+ p2.reset();
+ BOOST_TEST( X::instances == 0 );
+ }
+
+ {
+ BOOST_TEST( X::instances == 0 );
+
+ std::unique_ptr<X> p( new X );
+ BOOST_TEST( X::instances == 1 );
+
+ boost::shared_ptr<X const> p2( std::move( p ) );
+ BOOST_TEST( X::instances == 1 );
+ BOOST_TEST( p.get() == 0 );
+
+ boost::shared_ptr<X const> p3 = p2->shared_from_this();
+ BOOST_TEST( p2 == p3 );
+ BOOST_TEST( !(p2 < p3) && !(p3 < p2) );
+
+ p2.reset();
+ p3.reset();
+ BOOST_TEST( X::instances == 0 );
+
+ p2 = std::unique_ptr<X>( new X );
+ BOOST_TEST( X::instances == 1 );
+
+ p2 = std::unique_ptr<X>( new X );
+ BOOST_TEST( X::instances == 1 );
+
+ p2.reset();
+ BOOST_TEST( X::instances == 0 );
+ }
+
+ {
+ BOOST_TEST( X::instances == 0 );
+
+ std::unique_ptr<X> p( new X );
+ BOOST_TEST( X::instances == 1 );
+
+ boost::shared_ptr<void> p2( std::move( p ) );
+ BOOST_TEST( X::instances == 1 );
+ BOOST_TEST( p.get() == 0 );
+
+ p2.reset();
+ BOOST_TEST( X::instances == 0 );
+
+ p2 = std::unique_ptr<X>( new X );
+ BOOST_TEST( X::instances == 1 );
+
+ p2 = std::unique_ptr<X>( new X );
+ BOOST_TEST( X::instances == 1 );
+
+ p2.reset();
+ BOOST_TEST( X::instances == 0 );
     }
 
     {
@@ -105,6 +165,15 @@
 
         p2.reset();
         BOOST_TEST( Y::instances == 0 );
+
+ p2 = std::unique_ptr<Y, YD>( new Y, YD() );
+ BOOST_TEST( Y::instances == 1 );
+
+ p2 = std::unique_ptr<Y, YD>( new Y, YD() );
+ BOOST_TEST( Y::instances == 1 );
+
+ p2.reset();
+ BOOST_TEST( Y::instances == 0 );
     }
 
     {
@@ -121,6 +190,15 @@
 
         p2.reset();
         BOOST_TEST( Y::instances == 0 );
+
+ p2 = std::unique_ptr<Y, YD&>( new Y, yd );
+ BOOST_TEST( Y::instances == 1 );
+
+ p2 = std::unique_ptr<Y, YD&>( new Y, yd );
+ BOOST_TEST( Y::instances == 1 );
+
+ p2.reset();
+ BOOST_TEST( Y::instances == 0 );
     }
 
     {
@@ -137,6 +215,15 @@
 
         p2.reset();
         BOOST_TEST( Y::instances == 0 );
+
+ p2 = std::unique_ptr<Y, YD const&>( new Y, yd );
+ BOOST_TEST( Y::instances == 1 );
+
+ p2 = std::unique_ptr<Y, YD const&>( new Y, yd );
+ BOOST_TEST( Y::instances == 1 );
+
+ p2.reset();
+ BOOST_TEST( Y::instances == 0 );
     }
 
     return boost::report_errors();


Boost-Commit list run by bdawes at acm.org, david.abrahams at rcn.com, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk