3 #ifndef CDSLIB_CONTAINER_STRIPED_MAP_H
4 #define CDSLIB_CONTAINER_STRIPED_MAP_H
7 #include <cds/container/striped_set.h>
8 #include <cds/container/striped_set/adapter.h>
9 #include <cds/details/binary_functor_wrapper.h>
11 namespace cds { namespace container {
15 template <class Container, typename... Options>
16 class make_striped_map
18 typedef StripedSet< Container, Options...> billet;
19 typedef typename billet::options billet_options;
20 typedef typename billet_options::hash billet_hash;
22 typedef typename Container::value_type pair_type;
23 typedef typename pair_type::first_type key_type;
25 struct options: public billet_options {
26 struct hash: public billet_hash {
27 size_t operator()( pair_type const& v ) const
29 return billet_hash::operator()( v.first );
33 size_t operator()( Q const& v ) const
35 return billet_hash::operator()( v );
41 typedef StripedSet< Container, cds::opt::type_traits< options > > type ; ///< metafunction result
47 /** @ingroup cds_nonintrusive_map
50 - [2008] Maurice Herlihy, Nir Shavit "The Art of Multiprocessor Programming"
52 Lock striping is very simple technique.
53 The map consists of the bucket table and the array of locks.
54 Initially, the capacity of lock array and bucket table is the same.
55 When the map is resized, bucket table capacity will be doubled but lock array will not.
56 The lock \p i protects each bucket \p j, where <tt> j = i mod L </tt>,
57 where \p L - the size of lock array.
60 - \p Container - the container class that is used as bucket entry. The \p Container class should support
61 an uniform interface described below.
62 - \p Options - options
64 The \p %StripedMap class does not exactly specify the type of container that should be used as a \p Container bucket.
65 Instead, the class supports different container type for the bucket, for exampe, \p std::list, \p std::map and others.
67 Remember that \p %StripedMap class algorithm ensures sequential blocking access to its bucket through the mutex type you specify
68 among \p Options template arguments.
71 - \p cds::opt::mutex_policy - concurrent access policy.
72 Available policies: \p striped_set::striping, \p striped_set::refinable.
73 Default is \p %striped_set::striping.
74 - \p cds::opt::hash - hash functor. Default option value see <tt>opt::v::hash_selector<opt::none> </tt>
75 which selects default hash functor for your compiler.
76 - \p cds::opt::compare - key comparison functor. No default functor is provided.
77 If the option is not specified, the \p %opt::less is used.
78 - \p cds::opt::less - specifies binary predicate used for key comparison. Default is \p std::less<T>.
79 - \p cds::opt::item_counter - item counter type. Default is \p atomicity::item_counter since some operation on the counter is performed
80 without locks. Note that item counting is an essential part of the map algorithm, so dummy counter
81 like as \p atomicity::empty_item_counter is not suitable.
82 - \p cds::opt::allocator - the allocator type using for memory allocation of bucket table and lock array. Default is \ref CDS_DEFAULT_ALLOCATOR.
83 - \p cds::opt::resizing_policy - the resizing policy that is a functor that decides when to resize the hash map.
84 Default option value depends on bucket container type:
85 for sequential containers like \p std::list, \p std::vector the resizing policy is <tt>striped_set::load_factor_resizing<4> </tt>;
86 for other type of containers like \p std::map, \p std::unordered_map the resizing policy is \p striped_set::no_resizing.
87 See \ref cds_striped_resizing_policy "available resizing policy".
88 Note that the choose of resizing policy depends of \p Container type:
89 for sequential containers like \p std::list, \p std::vector and so on, right choosing of the policy can
90 significantly improve performance.
91 For other, non-sequential types of \p Container (like a \p std::map)
92 the resizing policy is not so important.
93 - \p cds::opt::copy_policy - the copy policy which is used to copy items from the old map to the new one when resizing.
94 The policy can be optionally used in adapted bucket container for performance reasons of resizing.
95 The detail of copy algorithm depends on type of bucket container and explains below.
97 \p %opt::compare or \p %opt::less options are used only in some \p Container class for searching an item.
98 \p %opt::compare option has the highest priority: if \p %opt::compare is specified, \p %opt::less is not used.
100 You can pass other option that would be passed to <tt>adapt</tt> metafunction, see below.
102 <b>Internal details</b>
104 The \p %StripedMap class cannot utilize the \p Container container specified directly, but only its adapted variant which
105 supports an unified interface. Internally, the adaptation is made via \p striped_set::adapt metafunction that wraps bucket container
106 and provides the unified bucket interface suitable for \p %StripedMap. Such adaptation is completely transparent for you -
107 you don't need to call \p adapt metafunction directly, \p %StripedMap class's internal machinery itself invokes appropriate
108 \p adapt metafunction to adjust your \p Container container class to \p %StripedMap bucket's internal interface.
109 All you need is to include a right header before <tt>striped_hash_map.h</tt>.
111 By default, <tt>striped_set::adapt<AnyContainer, Options...> </tt> metafunction does not make any wrapping to \p AnyContainer,
112 so, the result <tt>striped_set::adapt<AnyContainer, Options...>::type </tt> is the same as \p AnyContainer.
113 However, there are a lot of specializations of \p adapt for well-known containers, see table below.
114 Any of this specialization wraps corresponding container making it suitable for the map's bucket.
115 Remember, you should include the proper header file for \p adapt <b>before</b> <tt>striped_map.h</tt>.
119 <th>.h-file for \p adapt</th>
124 <td> \p std::list</td>
125 <td><tt><cds/container/striped_map/std_list.h></tt></td>
127 #include <cds/container/striped_map/std_list.h>
128 #include <cds/container/striped_hash_map.h>
129 typedef cds::container::StripedMap<
130 std::list< std::pair< const Key, V > >,
131 cds::opt::less< std::less<Key> >
136 The type of values stored in the \p std::list must be <tt> std::pair< const Key, V > </tt>, where \p Key - key type, and \p V - value type
137 The list is ordered by key \p Key.
138 Template argument pack \p Options <b>must</b> contain \p cds::opt::less or \p cds::opt::compare for type \p Key stored in the list.
142 <td> \p std::map</td>
143 <td><tt><cds/container/striped_map/std_map.h></tt></td>
145 #include <cds/container/striped_map/std_map.h>
146 #include <cds/container/striped_hash_map.h>
147 typedef cds::container::StripedMap<
148 std::map< Key, T, std::less<Key> >
156 <td> \p std::unordered_map</td>
157 <td><tt><cds/container/striped_map/std_hash_map.h></tt></td>
159 #include <cds/container/striped_map/std_hash_map.h>
160 #include <cds/container/striped_hash_map.h>
161 typedef cds::container::StripedMap<
171 You should provide two different hash function \p h1 and \p h2 - one for std::unordered_map and other for \p %StripedMap.
172 For the best result, \p h1 and \p h2 must be orthogonal i.e. <tt> h1(X) != h2(X) </tt> for any value \p X of type \p Key.
176 <td> \p boost::container::slist</td>
177 <td><tt><cds/container/striped_map/boost_slist.h></tt></td>
179 #include <cds/container/hash_smap/boost_slist.h>
180 #include <cds/container/striped_hash_map.h>
181 typedef cds::container::StripedMap<
182 boost::container::slist< std::pair< const Key, T > >
187 The type of values stored in the \p boost::container::slist must be <tt> std::pair< const Key, T > </tt>,
188 where \p Key - key type, and \p T - value type. The list is ordered.
189 \p Options <b>must</b> contain \p cds::opt::less or \p cds::opt::compare.
193 <td> \p boost::container::list</td>
194 <td><tt><cds/container/striped_map/boost_list.h></tt></td>
196 #include <cds/container/striped_map/boost_list.h>
197 #include <cds/container/striped_hash_map.h>
198 typedef cds::container::StripedMap<
199 boost::container::list< std::pair< const Key, T > >
204 The type of values stored in the \p boost::container::list must be <tt> std::pair< const Key, T > </tt>,
205 where \p Key - key type, and \p T - value type. The list is ordered.
206 \p Options <b>must</b> contain \p cds::opt::less or \p cds::opt::compare.
210 <td> \p boost::container::map</td>
211 <td><tt><cds/container/striped_map/boost_map.h></tt></td>
213 #include <cds/container/striped_map/boost_map.h>
214 #include <cds/container/striped_hash_map.h>
215 typedef cds::container::StripedMap<
216 boost::container::map< Key, T, std::pair< const Key, T> >
224 <td> \p boost::container::flat_map</td>
225 <td><tt><cds/container/striped_map/boost_flat_map.h></tt></td>
227 #include <cds/container/striped_map/boost_flat_map.h>
228 #include <cds/container/striped_hash_map.h>
229 typedef cds::container::StripedMap<
230 boost::container::flat_map< Key, T,
231 std::less< std::pair< const Key, T> >
240 <td> \p boost::unordered_map</td>
241 <td><tt><cds/container/striped_map/boost_unordered_map.h></tt></td>
243 #include <cds/container/striped_map/boost_unordered_map.h>
244 #include <cds/container/refinable_hash_map.h>
245 typedef cds::container::StripedMap<
246 boost::unordered_map< Key, T, boost::hash<Key>, std::equal_to<Key> >
256 You can use another container type as map's bucket.
257 Suppose, you have a container class \p MyBestContainer and you want to integrate it with \p %StripedMap as bucket type.
258 There are two possibility:
259 - either your \p MyBestContainer class has native support of bucket's interface;
260 in this case, you can use default <tt>striped_set::adapt</tt> metafunction;
261 - or your \p MyBestContainer class does not support bucket's interface, which means, that you should develop a specialization
262 <tt>cds::container::striped_set::adapt<MyBestContainer> </tt> metafunction providing necessary interface.
264 The <tt>striped_set::adapt< Container, Options... ></tt> metafunction has two template argument:
265 - \p Container is the class that should be used as the bucket, for example, <tt>std::list< std::pair< Key, T > ></tt>.
266 - \p Options pack is the options from \p %StripedMap declaration. The \p adapt metafunction can use
267 any option from \p Options for its internal use. For example, a \p compare option can be passed to \p adapt
268 metafunction via \p Options argument of \p %StripedMap declaration.
270 See striped_set::adapt metafunction for the description of interface that the bucket container must provide
271 to be \p %StripedMap compatible.
274 There are three predefined copy policy:
275 - \p cds::container::striped_set::copy_item - copy item from old bucket to new one when resizing using copy ctor. It is default policy for
276 any compiler that do not support move semantics
277 - \p cds::container::striped_set::move_item - move item from old bucket to new one when resizing using move semantics. It is default policy for
278 any compiler that support move semantics. If compiler does not support move semantics, the move policy is the same as \p copy_item
279 - \p cds::container::striped_set::swap_item - copy item from old bucket to new one when resizing using \p std::swap. Not all containers support
280 this copy policy, see details in table below.
282 You can define your own copy policy specifically for your case.
283 Note, right copy policy can significantly improve the performance of resizing.
298 std::list< std::pair<const Key, T> >& list,
299 std::list<std::pair<const Key, T> >::iterator itInsert,
300 std::list<std::pair<const Key, T> >::iterator itWhat )
302 list.insert( itInsert, *itWhat );
307 // The type T stored in the list must be swappable
310 std::list< std::pair<const Key, T> >& list,
311 std::list<std::pair<const Key, T> >::iterator itInsert,
312 std::list<std::pair<const Key, T> >::iterator itWhat )
314 std::pair<Key, T> newVal( itWhat->first, T() );
315 std::swap( list.insert( itInsert, newVal )->second, itWhat->second );
322 std::list< std::pair<const Key, T> >& list,
323 std::list<std::pair<const Key, T> >::iterator itInsert,
324 std::list<std::pair<const Key, T> >::iterator itWhat )
326 list.insert( itInsert, std::move( *itWhat ) );
334 - \p std::unordered_map
335 - \p boost::container::map
336 - \p boost::container::flat_map
337 - \p boost::unordered_map
341 void operator()( std::map< Key, T>& map, std::map<Key, T>::iterator itWhat )
343 map.insert( *itWhat );
349 void operator()( std::map< Key, T>& map, std::map<Key, T>::iterator itWhat )
353 std::map::value_type( itWhat->first, T() ) ).first->second
358 \p T type must be swappable.
362 void operator()( std::map< Key, T>& map, std::map<Key, T>::iterator itWhat )
364 map.insert( std::move( *itWhat ));
369 <td> \p boost::container::slist</td>
373 bc::slist< std::pair<const Key, T> >& list,
374 bc::slist<std::pair<const Key, T> >::iterator itInsert,
375 bc::slist<std::pair<const Key, T> >::iterator itWhat )
377 list.insert_after( itInsert, *itWhat );
382 // The type T stored in the list must be swappable
385 bc::slist< std::pair<const Key, T> >& list,
386 bc::slist<std::pair<const Key, T> >::iterator itInsert,
387 bc::slist<std::pair<const Key, T> >::iterator itWhat )
389 std::pair<Key, T> newVal( itWhat->first, T() );
390 std::swap( list.insert( itInsert, newVal )->second, itWhat->second );
397 bc::slist< std::pair<const Key, T> >& list,
398 bc::slist<std::pair<const Key, T> >::iterator itInsert,
399 bc::slist<std::pair<const Key, T> >::iterator itWhat )
401 list.insert_after( itInsert, std::move( *itWhat ) );
408 <b>Advanced functions</b>
410 The library provides some advanced functions like \p erase_with(), \p find_with(),
411 that cannot be supported by all underlying containers.
412 The table below shows whether underlying container supports those functions
413 (the sign "+" means "container supports the function"):
418 <th>\p find_with</th>
419 <th>\p erse_with</th>
422 <td> \p std::list</td>
427 <td> \p std::map</td>
432 <td> \p std::unordered_map</td>
437 <td> \p boost::container::slist</td>
442 <td> \p boost::container::list</td>
447 <td> \p boost::container::map</td>
452 <td> \p boost::container::flat_map</td>
457 <td> \p boost::unordered_map</td>
464 template <class Container, typename... Options>
466 #ifdef CDS_DOXYGEN_INVOKED
467 : protected StripedSet<Container, Options...>
469 : protected details::make_striped_map< Container, Options...>::type
473 typedef typename details::make_striped_map< Container, Options...>::type base_class;
478 typedef typename base_class::default_options default_options;
479 typedef typename base_class::options options;
482 typedef Container underlying_container_type ; ///< original intrusive container type for the bucket
483 typedef typename base_class::bucket_type bucket_type ; ///< container type adapted for hash set
484 typedef typename bucket_type::value_type value_type ; ///< pair type (<tt> std::pair<key_type const, mapped_type> </tt>)
485 typedef typename value_type::first_type key_type ; ///< key type
486 typedef typename value_type::second_type mapped_type ; ///< mapped type
488 typedef typename base_class::hash hash ; ///< Hash functor
489 typedef typename base_class::item_counter item_counter ; ///< Item counter
490 typedef typename base_class::resizing_policy resizing_policy ; ///< Resizing policy
491 typedef typename base_class::allocator_type allocator_type ; ///< allocator type specified in options.
492 typedef typename base_class::mutex_policy mutex_policy ; ///< Mutex policy
496 typedef typename base_class::scoped_cell_lock scoped_cell_lock;
497 typedef typename base_class::scoped_full_lock scoped_full_lock;
498 typedef typename base_class::scoped_resize_lock scoped_resize_lock;
503 struct key_accessor {
504 key_type const& operator()( value_type const& p ) const
512 /// Default ctor. The initial capacity is 16.
517 /// Ctor with initial capacity specified
519 size_t nCapacity ///< Initial size of bucket table and lock array. Must be power of two, the minimum is 16.
520 ) : base_class( nCapacity )
523 /// Ctor with resizing policy (copy semantics)
525 This constructor initializes m_ResizingPolicy member with copy of \p resizingPolicy parameter
528 size_t nCapacity ///< Initial size of bucket table and lock array. Must be power of two, the minimum is 16.
529 ,resizing_policy const& resizingPolicy ///< Resizing policy
530 ) : base_class( nCapacity, resizingPolicy )
533 /// Ctor with resizing policy (move semantics)
535 This constructor initializes m_ResizingPolicy member moving \p resizingPolicy parameter
536 Move semantics is used. Available only for the compilers that supports C++11 rvalue reference.
539 size_t nCapacity ///< Initial size of bucket table and lock array. Must be power of two, the minimum is 16.
540 ,resizing_policy&& resizingPolicy ///< Resizing policy
541 ) : base_class( nCapacity, std::forward<resizing_policy>(resizingPolicy) )
544 /// Destructor destroys internal data
549 /// Inserts new node with key and default value
551 The function creates a node with \p key and default value, and then inserts the node created into the map.
554 - The \p key_type should be constructible from a value of type \p K.
555 In trivial case, \p K is equal to \p key_type.
556 - The \p mapped_type should be default-constructible.
558 Returns \p true if inserting successful, \p false otherwise.
560 template <typename K>
561 bool insert( K const& key )
563 return insert_with( key, [](value_type&){} );
568 The function creates a node with copy of \p val value
569 and then inserts the node created into the map.
572 - The \p key_type should be constructible from \p key of type \p K.
573 - The \p mapped_type should be constructible from \p val of type \p V.
575 Returns \p true if \p val is inserted into the set, \p false otherwise.
577 template <typename K, typename V>
578 bool insert( K const& key, V const& val )
580 return insert_with( key, [&val](value_type& item) { item.second = val ; } );
583 /// Inserts new node and initialize it by a functor
585 This function inserts new node with key \p key and if inserting is successful then it calls
586 \p func functor with signature
589 void operator()( value_type& item );
593 The argument \p item of user-defined functor \p func is the reference
594 to the map's item inserted:
595 - <tt>item.first</tt> is a const reference to item's key that cannot be changed.
596 - <tt>item.second</tt> is a reference to item's value that may be changed.
598 The key_type should be constructible from value of type \p K.
600 The function allows to split creating of new item into two part:
601 - create item from \p key;
602 - insert new item into the map;
603 - if inserting is successful, initialize the value of item by calling \p func functor
605 This can be useful if complete initialization of object of \p mapped_type is heavyweight and
606 it is preferable that the initialization should be completed only if inserting is successful.
608 template <typename K, typename Func>
609 bool insert_with( const K& key, Func func )
611 return base_class::insert( key, func );
614 /// For key \p key inserts data of type \p mapped_type created in-place from \p args
616 Returns \p true if inserting successful, \p false otherwise.
618 template <typename K, typename... Args>
619 bool emplace( K&& key, Args&&... args )
623 size_t nHash = base_class::hashing( std::forward<K>(key));
624 bucket_type * pBucket;
626 scoped_cell_lock sl( base_class::m_MutexPolicy, nHash );
627 pBucket = base_class::bucket( nHash );
629 bOk = pBucket->emplace( std::forward<K>(key), std::forward<Args>(args)...);
630 bResize = bOk && base_class::m_ResizingPolicy( ++base_class::m_ItemCounter, *this, *pBucket );
634 base_class::resize();
641 The operation performs inserting or changing data with lock-free manner.
643 If \p key is not found in the map, then \p key is inserted iff \p bAllowInsert is \p true.
644 Otherwise, the functor \p func is called with item found.
646 The functor signature is:
649 void operator()( bool bNew, value_type& item );
653 - \p bNew - \p true if the item has been inserted, \p false otherwise
654 - \p item - item of the map
656 Returns <tt> std::pair<bool, bool> </tt> where \p first is true if operation is successfull,
657 \p second is true if new item has been added or \p false if the item with \p key
658 already is in the map.
660 template <typename K, typename Func>
661 std::pair<bool, bool> update( K const& key, Func func, bool bAllowInsert = true )
663 std::pair<bool, bool> result;
665 size_t nHash = base_class::hashing( key );
666 bucket_type * pBucket;
668 scoped_cell_lock sl( base_class::m_MutexPolicy, nHash );
669 pBucket = base_class::bucket( nHash );
671 result = pBucket->update( key, func, bAllowInsert );
672 bResize = result.first && result.second && base_class::m_ResizingPolicy( ++base_class::m_ItemCounter, *this, *pBucket );
676 base_class::resize();
680 template <typename K, typename Func>
681 CDS_DEPRECATED("ensure() is deprecated, use update() instead")
682 std::pair<bool, bool> ensure( K const& key, Func func )
684 return update( key, func, true );
687 /// Delete \p key from the map
688 /** \anchor cds_nonintrusive_StripedMap_erase
690 Return \p true if \p key is found and deleted, \p false otherwise
692 template <typename K>
693 bool erase( K const& key )
695 return base_class::erase( key );
698 /// Deletes the item from the map using \p pred predicate for searching
700 The function is an analog of \ref cds_nonintrusive_StripedMap_erase "erase(K const&)"
701 but \p pred is used for key comparing.
702 \p Less functor has the interface like \p std::less.
703 \p pred must imply the same element order as the comparator used for building the map.
705 @note This function is enabled if the compiler supports C++11
706 default template arguments for function template <b>and</b> the underlying container
707 supports \p %erase_with feature.
709 template < typename K, typename Less
710 ,typename Bucket = bucket_type, typename = typename std::enable_if< Bucket::has_erase_with >::type >
711 bool erase_with( K const& key, Less pred )
713 return erase_with( key, pred, [](value_type const&) {} );
716 /// Delete \p key from the map
717 /** \anchor cds_nonintrusive_StripedMap_erase_func
719 The function searches an item with key \p key, calls \p f functor
720 and deletes the item. If \p key is not found, the functor is not called.
722 The functor \p Func interface:
725 void operator()(value_type& item) { ... }
729 Return \p true if key is found and deleted, \p false otherwise
731 template <typename K, typename Func>
732 bool erase( K const& key, Func f )
734 return base_class::erase( key, f );
737 /// Deletes the item from the map using \p pred predicate for searching
739 The function is an analog of \ref cds_nonintrusive_StripedMap_erase_func "erase(K const&, Func)"
740 but \p pred is used for key comparing.
741 \p Less functor has the interface like \p std::less.
742 \p pred must imply the same element order as the comparator used for building the map.
744 @note This function is enabled if the compiler supports C++11
745 default template arguments for function template <b>and</b> the underlying container
746 supports \p %erase_with feature.
748 template <typename K, typename Less, typename Func
749 ,typename Bucket = bucket_type, typename = typename std::enable_if< Bucket::has_erase_with >::type >
750 bool erase_with( K const& key, Less pred, Func f )
753 return base_class::erase_with( key, cds::details::predicate_wrapper< value_type, Less, key_accessor >(), f );
756 /// Find the key \p key
757 /** \anchor cds_nonintrusive_StripedMap_find_func
759 The function searches the item with key equal to \p key and calls the functor \p f for item found.
760 The interface of \p Func functor is:
763 void operator()( value_type& item );
766 where \p item is the item found.
768 The functor may change \p item.second.
770 The function returns \p true if \p key is found, \p false otherwise.
772 template <typename K, typename Func>
773 bool find( K const& key, Func f )
775 return base_class::find( key, [&f]( value_type& pair, K const& ) mutable { f(pair); } );
778 /// Find the key \p val using \p pred predicate
780 The function is an analog of \ref cds_nonintrusive_StripedMap_find_func "find(K const&, Func)"
781 but \p pred is used for key comparing
782 \p Less has the interface like \p std::less.
783 \p pred must imply the same element order as the comparator used for building the set.
785 @note This function is enabled if the compiler supports C++11
786 default template arguments for function template <b>and</b> the underlying container
787 supports \p %find_with feature.
789 template <typename K, typename Less, typename Func
790 ,typename Bucket = bucket_type, typename = typename std::enable_if< Bucket::has_find_with >::type >
791 bool find_with( K const& key, Less pred, Func f )
794 return base_class::find_with( key, cds::details::predicate_wrapper< value_type, Less, key_accessor >(),
795 [&f]( value_type& pair, K const& ) mutable { f(pair); } );
798 /// Checks whether the map contains \p key
800 The function searches the item with key equal to \p key
801 and returns \p true if it is found, and \p false otherwise.
803 template <typename K>
804 bool contains( K const& key )
806 return base_class::contains( key );
809 template <typename K>
810 CDS_DEPRECATED("use contains()")
811 bool find( K const& key )
813 return contains( key );
817 /// Checks whether the set contains \p key using \p pred predicate for searching
819 The function is similar to <tt>contains( key )</tt> but \p pred is used for key comparing.
820 \p Less functor has the interface like \p std::less.
821 \p Less must imply the same element order as the comparator used for building the set.
823 @note This function is enabled if the compiler supports C++11
824 default template arguments for function template <b>and</b> the underlying container
825 supports \p %contains() feature.
827 template <typename K, typename Less
828 ,typename Bucket = bucket_type, typename = typename std::enable_if< Bucket::has_find_with >::type >
829 bool contains( K const& key, Less pred )
832 return base_class::contains( key, cds::details::predicate_wrapper< value_type, Less, key_accessor >() );
835 template <typename K, typename Less
836 ,typename Bucket = bucket_type, typename = typename std::enable_if< Bucket::has_find_with >::type >
837 CDS_DEPRECATED("use contains()")
838 bool find_with( K const& key, Less pred )
840 return contains( key, pred );
850 /// Checks if the map is empty
852 Emptiness is checked by item counting: if item count is zero then the map is empty.
856 return base_class::empty();
859 /// Returns item count in the map
862 return base_class::size();
865 /// Returns the size of hash table
867 The hash table size is non-constant and can be increased via resizing.
869 size_t bucket_count() const
871 return base_class::bucket_count();
874 /// Returns lock array size
876 The lock array size is constant.
878 size_t lock_count() const
880 return base_class::lock_count();
883 /// Returns resizing policy object
884 resizing_policy& get_resizing_policy()
886 return base_class::get_resizing_policy();
889 /// Returns resizing policy (const version)
890 resizing_policy const& get_resizing_policy() const
892 return base_class::get_resizing_policy();
896 }} // namespace cds::container
898 #endif // #ifndef CDSLIB_CONTAINER_STRIPED_MAP_H