< cpp‎ | memory
Revision as of 08:34, 15 August 2013 by P12 (Talk | contribs)

Defined in header <memory>
template< class T > class shared_ptr;
(since C++11)

std::shared_ptr is a smart pointer that retains shared ownership of an object through a pointer. Several shared_ptr objects may own the same object. The object is destroyed and its memory deallocated when either of the following happens:

  • the last remaining shared_ptr owning the object is destroyed.
  • the last remaining shared_ptr owning the object is assigned another pointer via operator= or reset().

The object is destroyed using delete-expression or a custom deleter that is supplied to shared_ptr during construction.

A shared_ptr can share ownership of an object while storing a pointer to another object. This feature can be used to point to member objects while owning the object they belong to.

A shared_ptr may also own no objects, in which case it is called empty.

shared_ptr meets the requirements of CopyConstructible and CopyAssignable.


Member types

Member type Definition
element_type T

Member functions

constructs new shared_ptr
(public member function) [edit]
destructs the owned object if no more shared_ptrs link to it
(public member function) [edit]
assigns the shared_ptr
(public member function) [edit]
replaces the managed object
(public member function) [edit]
swaps the managed objects
(public member function) [edit]
returns the stored pointer
(public member function) [edit]
dereferences the stored pointer
(public member function) [edit]
returns the number of shared_ptr objects referring to the same managed object
(public member function) [edit]
checks whether the managed object is managed only by the current shared_ptr instance
(public member function) [edit]
checks if there is associated managed object
(public member function) [edit]
provides owner-based ordering of shared pointers
(public member function) [edit]

Non-member functions

creates a shared pointer that manages a new object
(function template) [edit]
creates a shared pointer that manages a new object allocated using an allocator
(function template) [edit]
applies static_cast, dynamic_cast, const_cast, or reinterpret_cast to the stored pointer
(function template) [edit]
returns the deleter of specified type, if owned
(function template) [edit]
compares with another shared_ptr or with nullptr
(function template) [edit]
outputs the value of the stored pointer to an output stream
(function template) [edit]
specializes the std::swap algorithm
(function template) [edit]
specializes atomic operations for std::shared_ptr
(function template) [edit]

Helper classes

hash support for std::shared_ptr
(class template specialization) [edit]


The ownership of an object can only be shared with another shared_ptr by copy constructing or copy assigning its value to another shared_ptr. Constructing a new shared_ptr using the raw underlying pointer leads to undefined behavior.

Implementation notes

In a typical implementation, std::shared_ptr holds only two pointers:

  • a pointer to the managed object
  • a pointer to control block

The control block is a dynamically-allocated object that holds:

  • either a pointer to the managed object or the managed object itself
  • the deleter (type-erased)
  • the allocator (type-erased)
  • the number of shared_ptrs that own the managed object
  • the number of weak_ptrs that refer to the managed object

When shared_ptr is created by calling std::make_shared or std::allocate_shared, the memory for both the control block and the managed object is created with a single allocation. The managed object is constructed in-place in a data member of the control block. When shared_ptr is created via one of the shared_ptr constructors, the managed object and the control block must be allocated separately. In this case, the control block stores a pointer to the managed object.

The pointer held by the shared_ptr directly is the one returned by get(), while the pointer/object held by the control block is the one that will be deleted when the number of shared owners reaches zero. These pointers are not necessarily equal.

The destructor of shared_ptr decrements the number of shared owners of the control block. If that counter reaches zero, the control block calls the destructor of the managed object. The control block does not deallocate itself until the std::weak_ptr counter reaches zero as well.