-//$$CDS-header$$
+/*
+ This file is a part of libcds - Concurrent Data Structures library
-#ifndef __CDS_OPT_ITEM_DISPOSER_H
-#define __CDS_OPT_ITEM_DISPOSER_H
+ (C) Copyright Maxim Khizhinsky (libcds.dev@gmail.com) 2006-2017
+
+ Source code repo: http://github.com/khizmax/libcds/
+ Download: http://sourceforge.net/projects/libcds/files/
+
+ Redistribution and use in source and binary forms, with or without
+ modification, are permitted provided that the following conditions are met:
+
+ * Redistributions of source code must retain the above copyright notice, this
+ list of conditions and the following disclaimer.
+
+ * Redistributions in binary form must reproduce the above copyright notice,
+ this list of conditions and the following disclaimer in the documentation
+ and/or other materials provided with the distribution.
+
+ THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
+ AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+ IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
+ DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
+ FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
+ DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
+ SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+ CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
+ OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+ OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+*/
+
+#ifndef CDSLIB_OPT_ITEM_DISPOSER_H
+#define CDSLIB_OPT_ITEM_DISPOSER_H
#include <cds/details/defs.h>
The cleaner is a functor called when an item is removed from a container.
Note, the cleaner should not delete (deallocate) the value \p val passed in.
However, if the \p value_type type is a structure that contains dynamically allocated
- field(s), the cleaning functor may deallocate it and iniitalize to default value (usually, \p NULL).
+ field(s), the cleaning functor may deallocate it and initialize to default value (usually, \p nullptr).
The interface for type \p value_type is:
\code
void operator ()( value_type& val )
{
...
- // code to cleanup \p val
+ // code to cleanup val
}
}
\endcode
Predefined option types:
\li opt::v::empty_cleaner
+ \li opt::v::destruct_cleaner
+ \li opt::v::auto_cleaner
*/
template <typename Type>
struct value_cleaner {
/// Empty cleaner
/**
- One of available type for opt::value_cleaner option.
+ One of available type for \p opt::value_cleaner option.
This cleaner is empty, i.e. it does not do any cleaning.
*/
struct empty_cleaner
/// Cleaner that calls destructor of type \p T
/**
- One of available type for opt::value_cleaner option.
+ One of available type for \p opt::value_cleaner option.
*/
struct destruct_cleaner
{
template <typename T>
void operator()( T& val )
{
- (&val)->T::~T();
+ ( &val )->~T();
}
//@endcond
};
- } // namespace v
+ /// Cleaner that calls \p T destructor if it is not trivial
+ /**
+ If \p T has non-trivial destructor (<tt> std::is_trivially_destructible<T>::value </tt> is \p false),
+ the cleaner calls \p T destructor.
+ If <tt> std::is_trivially_destructible<T>::value </tt> is \p true, the cleaner is empty - no
+ destructor of \p T is called.
+ */
+ struct auto_cleaner
+ {
+ //@cond
+ template <typename T>
+ typename std::enable_if< std::is_trivially_destructible<T>::value >::type
+ operator()( T& /*val*/ )
+ {}
+
+ template <typename T>
+ typename std::enable_if< !std::is_trivially_destructible<T>::value >::type
+ operator()( T& val )
+ {
+ ( &val )->~T();
+ }
+ //@endcond
+ };
+
+ } // namespace v
}} // namespace cds::opt
-#endif // #ifndef __CDS_OPT_ITEM_DISPOSER_H
+#endif // #ifndef CDSLIB_OPT_ITEM_DISPOSER_H