CBMC
Loading...
Searching...
No Matches
Public Member Functions | Private Attributes | List of all members
small_shared_ptrt< T > Class Template Referencefinal

This class is really similar to boost's intrusive_pointer, but can be a bit simpler seeing as we're only using it one place. More...

#include <small_shared_ptr.h>

Public Member Functions

  small_shared_ptrt ()=default
 
  small_shared_ptrt (T *t)
 
  small_shared_ptrt (const small_shared_ptrt &rhs)
 
small_shared_ptrt &  operator= (const small_shared_ptrt &rhs)
 
  small_shared_ptrt (small_shared_ptrt &&rhs)
 
small_shared_ptrt &  operator= (small_shared_ptrt &&rhs)
 
  ~small_shared_ptrt ()
 
void  swap (small_shared_ptrt &rhs)
 
T *  get () const
 
T &  operator* () const
 
T *  operator-> () const
 
auto  use_count () const -> decltype(pointee_use_count(std::declval< T >()))
 
  operator bool () const
 

Private Attributes

T *  t_ = nullptr
 

Detailed Description

template<typename T>
class small_shared_ptrt< T >

This class is really similar to boost's intrusive_pointer, but can be a bit simpler seeing as we're only using it one place.

The idea is that the pointed-to object stores its reference-count internally, which is more space-efficient than storing it in a separate control block (which is what shared_ptr does).

Definition at line 24 of file small_shared_ptr.h.

Constructor & Destructor Documentation

◆  small_shared_ptrt() [1/4]

template<typename T >
small_shared_ptrt< T >::small_shared_ptrt ( )
default

◆  small_shared_ptrt() [2/4]

template<typename T >
small_shared_ptrt< T >::small_shared_ptrt ( T *  t )
inlineexplicit

Definition at line 29 of file small_shared_ptr.h.

◆  small_shared_ptrt() [3/4]

template<typename T >
small_shared_ptrt< T >::small_shared_ptrt ( const small_shared_ptrt< T > &  rhs )
inline

Definition at line 37 of file small_shared_ptr.h.

◆  small_shared_ptrt() [4/4]

template<typename T >
small_shared_ptrt< T >::small_shared_ptrt ( small_shared_ptrt< T > &&  rhs )
inline

Definition at line 52 of file small_shared_ptr.h.

◆  ~small_shared_ptrt()

template<typename T >
small_shared_ptrt< T >::~small_shared_ptrt ( )
inline

Definition at line 63 of file small_shared_ptr.h.

Member Function Documentation

◆  get()

template<typename T >
T * small_shared_ptrt< T >::get ( ) const
inline

Definition at line 82 of file small_shared_ptr.h.

◆  operator bool()

template<typename T >
small_shared_ptrt< T >::operator bool ( ) const
inlineexplicit

Definition at line 102 of file small_shared_ptr.h.

◆  operator*()

template<typename T >
T & small_shared_ptrt< T >::operator* ( ) const
inline

Definition at line 87 of file small_shared_ptr.h.

◆  operator->()

template<typename T >
T * small_shared_ptrt< T >::operator-> ( ) const
inline

Definition at line 92 of file small_shared_ptr.h.

◆  operator=() [1/2]

template<typename T >
small_shared_ptrt & small_shared_ptrt< T >::operator= ( const small_shared_ptrt< T > &  rhs )
inline

Definition at line 45 of file small_shared_ptr.h.

◆  operator=() [2/2]

template<typename T >
small_shared_ptrt & small_shared_ptrt< T >::operator= ( small_shared_ptrt< T > &&  rhs )
inline

Definition at line 57 of file small_shared_ptr.h.

◆  swap()

template<typename T >
void small_shared_ptrt< T >::swap ( small_shared_ptrt< T > &  rhs )
inline

Definition at line 77 of file small_shared_ptr.h.

◆  use_count()

template<typename T >
auto small_shared_ptrt< T >::use_count ( ) const -> decltype(pointee_use_count(std::declval<T>()))
inline

Definition at line 97 of file small_shared_ptr.h.

Member Data Documentation

◆  t_

template<typename T >
T* small_shared_ptrt< T >::t_ = nullptr
private

Definition at line 108 of file small_shared_ptr.h.

The documentation for this class was generated from the following file:

AltStyle によって変換されたページ (->オリジナル) /