-//$$CDS-header$$
+/*
+ This file is a part of libcds - Concurrent Data Structures library
+
+ (C) Copyright Maxim Khizhinsky (libcds.dev@gmail.com) 2006-2016
+
+ 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_CONTAINER_STRIPED_SET_BOOST_STABLE_VECTOR_ADAPTER_H
#define CDSLIB_CONTAINER_STRIPED_SET_BOOST_STABLE_VECTOR_ADAPTER_H
//@endcond
public:
-
- /// Insert value \p val of type \p Q into the container
- /**
- The function allows to split creating of new item into two part:
- - create item with key only from \p val
- - try to insert new item into the container
- - if inserting is success, calls \p f functor to initialize value-field of the new item.
-
- The functor signature is:
- \code
- void func( value_type& item );
- \endcode
- where \p item is the item inserted.
-
- The type \p Q may differ from \ref value_type of items storing in the container.
- Therefore, the \p value_type should be comparable with type \p Q and constructible from type \p Q,
-
- The user-defined functor is called only if the inserting is success.
- */
template <typename Q, typename Func>
bool insert( const Q& val, Func f )
{
- iterator it = std::lower_bound( m_Vector.begin(), m_Vector.end(), val, find_predicate() );
+ iterator it = std::lower_bound( m_Vector.begin(), m_Vector.end(), val, find_predicate());
if ( it == m_Vector.end() || key_comparator()( val, *it ) != 0 ) {
value_type newItem( val );
it = m_Vector.insert( it, newItem );
bool emplace( Args&&... args )
{
value_type val( std::forward<Args>(args)... );
- iterator it = std::lower_bound( m_Vector.begin(), m_Vector.end(), val, find_predicate() );
+ iterator it = std::lower_bound( m_Vector.begin(), m_Vector.end(), val, find_predicate());
if ( it == m_Vector.end() || key_comparator()( val, *it ) != 0 ) {
- it = m_Vector.emplace( it, std::move( val ) );
+ it = m_Vector.emplace( it, std::move( val ));
return true;
}
return false;
}
- /// Ensures that the \p item exists in the container
- /**
- The operation performs inserting or changing data.
-
- If the \p val key not found in the container, then the new item created from \p val
- is inserted. Otherwise, the functor \p func is called with the item found.
- The \p Func functor has interface:
- \code
- void func( bool bNew, value_type& item, const Q& val );
- \endcode
- or like a functor:
- \code
- struct my_functor {
- void operator()( bool bNew, value_type& item, const Q& val );
- };
- \endcode
-
- where arguments are:
- - \p bNew - \p true if the item has been inserted, \p false otherwise
- - \p item - container's item
- - \p val - argument \p val passed into the \p ensure function
-
- The functor may change non-key fields of the \p item.
-
- The type \p Q may differ from \ref value_type of items storing in the container.
- Therefore, the \p value_type should be comparable with type \p Q and constructible from type \p Q,
-
- Returns <tt> std::pair<bool, bool> </tt> where \p first is true if operation is successfull,
- \p second is true if new item has been added or \p false if the item with \p val key
- already exists.
- */
template <typename Q, typename Func>
- std::pair<bool, bool> ensure( const Q& val, Func func )
+ std::pair<bool, bool> update( const Q& val, Func func, bool bAllowInsert )
{
- iterator it = std::lower_bound( m_Vector.begin(), m_Vector.end(), val, find_predicate() );
+ iterator it = std::lower_bound( m_Vector.begin(), m_Vector.end(), val, find_predicate());
if ( it == m_Vector.end() || key_comparator()( val, *it ) != 0 ) {
// insert new
+ if ( !bAllowInsert )
+ return std::make_pair( false, false );
+
value_type newItem( val );
it = m_Vector.insert( it, newItem );
func( true, *it, val );
}
}
- /// Delete \p key
- /**
- The function searches an item with key \p key, calls \p f functor
- and deletes the item. If \p key is not found, the functor is not called.
-
- The functor \p Func interface is:
- \code
- struct extractor {
- void operator()(value_type const& val);
- };
- \endcode
-
- The type \p Q may differ from \ref value_type of items storing in the container.
- Therefore, the \p value_type should be comparable with type \p Q.
-
- Return \p true if key is found and deleted, \p false otherwise
- */
template <typename Q, typename Func>
bool erase( const Q& key, Func f )
{
- iterator it = std::lower_bound( m_Vector.begin(), m_Vector.end(), key, find_predicate() );
+ iterator it = std::lower_bound( m_Vector.begin(), m_Vector.end(), key, find_predicate());
if ( it == m_Vector.end() || key_comparator()( key, *it ) != 0 )
return false;
bool erase( const Q& key, Less pred, Func f )
{
iterator it = std::lower_bound( m_Vector.begin(), m_Vector.end(), key, pred );
- if ( it == m_Vector.end() || pred( key, *it ) || pred( *it, key ) )
+ if ( it == m_Vector.end() || pred( key, *it ) || pred( *it, key ))
return false;
// key exists
return true;
}
- /// Find the key \p val
- /**
- The function searches the item with key equal to \p val and calls the functor \p f for item found.
- The interface of \p Func functor is:
- \code
- struct functor {
- void operator()( value_type& item, Q& val );
- };
- \endcode
- where \p item is the item found, \p val is the <tt>find</tt> function argument.
-
- The functor may change non-key fields of \p item.
- The \p val argument is non-const since it can be used as \p f functor destination i.e., the functor
- may modify both arguments.
-
- The type \p Q may differ from \ref value_type of items storing in the container.
- Therefore, the \p value_type should be comparable with type \p Q.
-
- The function returns \p true if \p val is found, \p false otherwise.
- */
template <typename Q, typename Func>
bool find( Q& val, Func f )
{
- iterator it = std::lower_bound( m_Vector.begin(), m_Vector.end(), val, find_predicate() );
+ iterator it = std::lower_bound( m_Vector.begin(), m_Vector.end(), val, find_predicate());
if ( it == m_Vector.end() || key_comparator()( val, *it ) != 0 )
return false;
bool find( Q& val, Less pred, Func f )
{
iterator it = std::lower_bound( m_Vector.begin(), m_Vector.end(), val, pred );
- if ( it == m_Vector.end() || pred( val, *it ) || pred( *it, val ) )
+ if ( it == m_Vector.end() || pred( val, *it ) || pred( *it, val ))
return false;
// key exists
void move_item( adapted_container& /*from*/, iterator itWhat )
{
- iterator it = std::lower_bound( m_Vector.begin(), m_Vector.end(), *itWhat, find_predicate() );
+ iterator it = std::lower_bound( m_Vector.begin(), m_Vector.end(), *itWhat, find_predicate());
assert( it == m_Vector.end() || key_comparator()( *itWhat, *it ) != 0 );
copy_item()( m_Vector, it, itWhat );
};
}}} // namespace cds::intrusive::striped_set
-
-
//@endcond
#endif // #ifndef CDSLIB_CONTAINER_STRIPED_SET_BOOST_STABLE_VECTOR_ADAPTER_H