c++-gtk-utils
|
This is a generic class for managing the lifetime of objects allocated on freestore. More...
#include <c++-gtk-utils/shared_handle.h>
Public Member Functions | |
SharedHandle (T ptr=0) | |
SharedHandle (T ptr, Cgu::SharedHandleAllocFail::Leave tag) | |
void | reset (T ptr=0) |
void | reset (T ptr, Cgu::SharedHandleAllocFail::Leave tag) |
SharedHandle (const SharedHandle &sh_hand) | |
SharedHandle (SharedHandle &&sh_hand) | |
SharedHandle & | operator= (SharedHandle sh_hand) |
T | get () const |
operator T () const | |
unsigned int | get_refcount () const |
~SharedHandle () |
This is a generic class for managing the lifetime of objects allocated on freestore.
The SharedHandle class is similar to the SharedPtr class (it keeps a reference count and deletes the handled object when the count reaches 0), but it does not have pointer semantics. Accordingly, it can be used to manage the memory of arrays and other objects allocated on the heap.
Because it is useful with arrays, by default it deallocates memory using C++ delete[]. However, if a SharedHandle object is passed a function object type as a second template argument when instantiated, it will use that function object to delete memory. This enables it to handle the memory of any object, such as objects to be deleted using std::free() or Glib's g_free(), g_list_free() or g_slice_free(). Instances (such as GcharScopedHandle, GcharSharedHandle, GerrorSharedHandle and GerrorScopedHandle) typdef'ed for particular deleters can conveniently manage objects of any kind.
To reflect the fact that it is just a handle for a pointer, it has different instantiation semantics from a SharedPtr object. A SharedPtr object is instantiated using this syntax:
SharedPtr<ObjType> sh_ptr(new ObjType);
A SharedHandle is instantiated using this syntax (note that the instantiated handle is for type T* and not T):
SharedHandle<ObjType*> sh_handle(new ObjType[n]);
Apart from the operatorT() type conversion operator (which returns the underlying pointer), the only other method to obtain the underlying pointer is the get() method. If the object referenced is an array allocated on the heap, to use indexing you could either do this:
using namespace Cgu; SharedHandle<char*> handle(new char[10]); handle.get()[0] = 'a'; std::cout << handle.get()[0] << std::endl;
or this:
using namespace Cgu; SharedHandle<char*> handle(new char[10]); handle[0] = 'a'; std::cout << handle[0] << std::endl;
There is also a SharedLockHandle class, which has a thread-safe reference count, and a ScopedHandle class, which deletes its object as soon as it goes out of scope. A ScopedHandle class can be viewed as a SharedHandle which cannot be assigned to or used as the argument to a copy constructor and therefore which cannot have a reference count of more than 1. It is used where, if you wanted pointer semantics, you might use a const std::auto_ptr<>.
SharedHandle objects can be instantiated for pointers to constant objects (such as SharedHandle<const char*>), provided the deleter functor will take such pointers.
This library provides StandardArrayDelete, CFree, GFree, GerrorFree, GSliceFree, GSliceFreeSize and GSliceDestroy deleter functors, which can be used as the second template parameter of the SharedHandle class. As mentioned above, StandardArrayDelete is the default, and some typedef'ed instances of SharedHandle for gchar (with the GFree deleter) and for GError (with the GerrorFree deleter) are provided.
Comparison with std::shared_ptr
Although the semantics of std::shared_ptr in C++11 are not particularly suited to managing either arrays or C objects with accessor functions (such as in glib), most of the things that can be done by this class can be done by using std::shared_ptr with a specialised deleter. However, this class is retained in the c++-gtk-utils library not only to retain compatibility with series 1.2 of the library, but also to cater for some cases not met (or not so easily met) by std::shared_ptr:
(i) The Cgu::SharedHandle class takes its deleter as a template parameter, which means that typedefs can be used to enable handles for particular deleters to be easily created (and as mentioned, this library provides a number of pre-formed deleter functors and typedefs for them). With std::shared_ptr, custom deleters must be passed to the shared_ptr constructor on every occasion a shared_ptr is constructed to manage a new object (and they cannot be templated as a typedef).
(ii) Glib memory slices provide an efficient small object allocator (they are likely to be significantly more efficient than global operator new()/new[](), which generally hands off to malloc(), and whilst malloc() is good for large block allocations it is generally poor as a small object allocator). Internal Cgu::SharedHandle allocation using glib memory slices can be achieved simply by compiling the library with the --with-glib-memory-slices-no-compat configuration option. To use glib memory slices for internal allocation within std::shared_ptr, a custom allocator object would need to be passed to the shared_ptr constructor on every occasion a shared_ptr is constructed to manage a new object (and it cannot be templated as a typedef for convenient construction).
(iii) If glib memory slices are not used (which do not throw), constructing a shared pointer for a new managed object (or calling reset() for a new managed object) might throw if internal allocation fails. Although by default the Cgu::SharedHandle implementation will delete the new managed object in such a case, it also provides an alternative constructor and reset() method which instead enables the new object to be accessed via the thrown exception object so that user code can decide what to do; std::shared_ptr deletes the new object in every case.
(iv) A user can explicitly state whether the shared handle object is to have atomic increment and decrement-and-test with respect to the reference count so that the reference count is thread safe ('no' in the case of Cgu::SharedHandle, and 'yes' in the case of Cgu::SharedLockHandle). Using atomic functions is unnecessary if the managed object concerned is only addressed in one thread (and might cause unwanted cache flushing in certain circumstances). std::shared_ptr will generally always use atomic functions with respect to its reference count in a multi-threaded program.
In favour of std::shared_ptr, it has an associated std::weak_ptr class, which Cgu::SharedHandle does not (there is a Cgu::GobjWeakHandle class, but that is cognate with Cgu::GobjHandle and is only usable with GObjects).
Cgu::SharedHandle< T, Dealloc >::SharedHandle | ( | T | ptr = 0 | ) | [inline, explicit] |
Constructor taking an unmanaged object.
ptr | The object which the SharedHandle is to manage (if any). |
std::bad_alloc | This constructor will not throw if the 'ptr' argument has a NULL value (the default), otherwise it might throw std::bad_alloc if memory is exhausted and the system throws in that case. If such an exception is thrown, this constructor is exception safe (it does not leak resources), but as well as cleaning itself up this constructor will also delete the managed object passed to it to avoid a memory leak. If such automatic deletion is not wanted in that case, use the version of this constructor taking a Cgu::SharedHandleAllocFail::Leave tag argument. |
Cgu::SharedHandle< T, Dealloc >::SharedHandle | ( | T | ptr, |
Cgu::SharedHandleAllocFail::Leave | tag | ||
) | [inline] |
Constructor taking an unmanaged object.
ptr | The object which the SharedHandle is to manage |
tag | Passing the tag emumerator Cgu::SharedHandleAllocFail::leave causes this constructor not to delete the new managed object passed as the 'ptr' argument in the event of internal allocation in this method failing because of memory exhaustion (in that event, Cgu::SharedHandleError will be thrown). |
Cgu::SharedHandleError | This constructor might throw Cgu::SharedHandleError if memory is exhausted and the system would otherwise throw std::bad_alloc in that case. This constructor is exception safe (it does not leak resources), and if such an exception is thrown it will clean itself up, but it will not attempt to delete the new managed object passed to it. Access to the object passed to the 'ptr' argument can be obtained via the thrown Cgu::SharedHandleError object. |
Cgu::SharedHandle< T, Dealloc >::SharedHandle | ( | const SharedHandle< T, Dealloc > & | sh_hand | ) | [inline] |
The copy constructor does not throw.
sh_hand | The handle to be copied. |
Cgu::SharedHandle< T, Dealloc >::SharedHandle | ( | SharedHandle< T, Dealloc > && | sh_hand | ) | [inline] |
The move constructor does not throw. It has move semantics.
sh_hand | The handle to be moved. |
Cgu::SharedHandle< T, Dealloc >::~SharedHandle | ( | ) | [inline] |
The destructor does not throw unless the destructor of a handled object throws - that should never happen.
T Cgu::SharedHandle< T, Dealloc >::get | ( | ) | const [inline] |
This method does not throw.
unsigned int Cgu::SharedHandle< T, Dealloc >::get_refcount | ( | ) | const [inline] |
This method does not throw.
Cgu::SharedHandle< T, Dealloc >::operator T | ( | ) | const [inline] |
This method does not throw.
SharedHandle& Cgu::SharedHandle< T, Dealloc >::operator= | ( | SharedHandle< T, Dealloc > | sh_hand | ) | [inline] |
This method (and so copy or move assignment) does not throw unless the destructor of a managed object throws.
sh_hand | the assignor. |
void Cgu::SharedHandle< T, Dealloc >::reset | ( | T | ptr = 0 | ) | [inline] |
Causes the SharedHandle to cease to manage its managed object (if any), deleting it if this is the last SharedHandle object managing it. If the argument passed is not NULL, the SharedHandle object will manage the new object passed (which must not be managed by any other SharedHandle object). This method is exception safe, but see the comments below on std::bad_alloc.
ptr | NULL (the default), or a new unmanaged object to manage. |
std::bad_alloc | This method will not throw if the 'ptr' argument has a NULL value (the default) and the destructor of a managed object does not throw, otherwise it might throw std::bad_alloc if memory is exhausted and the system throws in that case. Note that if such an exception is thrown then this method will do nothing (it is strongly exception safe and will continue to manage the object it was managing prior to the call), except that it will delete the new managed object passed to it to avoid a memory leak. If such automatic deletion in the event of such an exception is not wanted, use the reset() method taking a Cgu::SharedHandleAllocFail::Leave tag type as its second argument. |
void Cgu::SharedHandle< T, Dealloc >::reset | ( | T | ptr, |
Cgu::SharedHandleAllocFail::Leave | tag | ||
) | [inline] |
Causes the SharedHandle to cease to manage its managed object (if any), deleting it if this is the last SharedHandle object managing it. The SharedHandle object will manage the new object passed (which must not be managed by any other SharedHandle object). This method is exception safe, but see the comments below on Cgu::SharedHandleError.
ptr | A new unmanaged object to manage (if no new object is to be managed, use the version of reset() taking a default value of NULL). |
tag | Passing the tag emumerator Cgu::SharedHandleAllocFail::leave causes this method not to delete the new managed object passed as the 'ptr' argument in the event of internal allocation in this method failing because of memory exhaustion (in that event, Cgu::SharedHandleError will be thrown). |
Cgu::SharedHandleError | This method might throw Cgu::SharedHandleError if memory is exhausted and the system would otherwise throw std::bad_alloc in that case. Note that if such an exception is thrown then this method will do nothing (it is strongly exception safe and will continue to manage the object it was managing prior to the call), and it will not attempt to delete the new managed object passed to it. Access to the object passed to the 'ptr' argument can be obtained via the thrown Cgu::SharedHandleError object. |