The suggested usage pattern is to have such objects inherit from this class, and then to access them through a small_shared_ptrt. This approach provides us with shared_ptr-like semantics, but without the space overhead required by shared_ptr. The idea is similar to boost's intrusive_ptr.

Template Parameters: Num some numeric type, used to store a reference count

Definition at line 182 of file small_shared_ptr.h.

Constructor & Destructor Documentation

◆ small_shared_pointeet() [1/3]

template<typename Num >

small_shared_pointeet< Num >::small_shared_pointeet ( )

default

◆ small_shared_pointeet() [2/3]

template<typename Num >

small_shared_pointeet< Num >::small_shared_pointeet ( const small_shared_pointeet< Num > & )

inline

Definition at line 188 of file small_shared_ptr.h.

◆ small_shared_pointeet() [3/3]

template<typename Num >

small_shared_pointeet< Num >::small_shared_pointeet ( small_shared_pointeet< Num > && )

inline

Definition at line 195 of file small_shared_ptr.h.

◆ ~small_shared_pointeet()

template<typename Num >

small_shared_pointeet< Num >::~small_shared_pointeet ( )

protecteddefault

Member Function Documentation

◆ decrement_use_count()

template<typename Num >

void small_shared_pointeet< Num >::decrement_use_count ( )

inline

Definition at line 207 of file small_shared_ptr.h.

◆ increment_use_count()

template<typename Num >

void small_shared_pointeet< Num >::increment_use_count ( )

inline

Definition at line 203 of file small_shared_ptr.h.

◆ operator=() [1/2]

template<typename Num >

small_shared_pointeet & small_shared_pointeet< Num >::operator= ( const small_shared_pointeet< Num > & )

inline

Definition at line 191 of file small_shared_ptr.h.

◆ operator=() [2/2]

template<typename Num >

small_shared_pointeet & small_shared_pointeet< Num >::operator= ( small_shared_pointeet< Num > && )

inline

Definition at line 198 of file small_shared_ptr.h.

◆ use_count()

template<typename Num >

Num small_shared_pointeet< Num >::use_count ( ) const

inline

Definition at line 211 of file small_shared_ptr.h.

Member Data Documentation

◆ use_count_

template<typename Num >

Num small_shared_pointeet< Num >::use_count_ = 0

private

Definition at line 221 of file small_shared_ptr.h.

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

/home/runner/work/cbmc/cbmc/src/util/small_shared_ptr.h