cds/container/details/make_lazy_list.h

   1 //$$CDS-header$$
   2
   3 #ifndef CDSLIB_CONTAINER_DETAILS_MAKE_LAZY_LIST_H
   4 #define CDSLIB_CONTAINER_DETAILS_MAKE_LAZY_LIST_H
   5
   6 #include <cds/details/binary_functor_wrapper.h>
   7
   8 namespace cds { namespace container {
   9
  10     //@cond
  11     namespace details {
  12
  13         template <class GC, typename T, class Traits>
  14         struct make_lazy_list
  15         {
  16             typedef GC      gc;
  17             typedef T       value_type;
  18             typedef Traits original_type_traits;
  19
  20             struct node_type : public intrusive::lazy_list::node<gc, typename original_type_traits::lock_type>
  21             {
  22                 value_type  m_Value;
  23
  24                 node_type()
  25                 {}
  26
  27                 template <typename Q>
  28                 node_type( Q const& v )
  29                     : m_Value(v)
  30                 {}
  31                 template <typename... Args>
  32                 node_type( Args&&... args )
  33                     : m_Value( std::forward<Args>(args)...)
  34                 {}
  35             };
  36
  37             typedef typename original_type_traits::allocator::template rebind<node_type>::other  allocator_type;
  38             typedef cds::details::Allocator< node_type, allocator_type >                cxx_allocator;
  39
  40             struct node_deallocator
  41             {
  42                 void operator ()( node_type * pNode )
  43                 {
  44                     cxx_allocator().Delete( pNode );
  45                 }
  46             };
  47
  48             typedef typename opt::details::make_comparator< value_type, original_type_traits >::type key_comparator;
  49             typedef typename opt::details::make_equal_to< value_type, original_type_traits >::type equal_to_comparator;
  50
  51             struct value_accessor {
  52                 value_type const & operator()( node_type const & node ) const
  53                 {
  54                     return node.m_Value;
  55                 }
  56             };
  57
  58             template <typename Less>
  59             struct less_wrapper {
  60                 typedef cds::details::compare_wrapper< node_type, cds::opt::details::make_comparator_from_less<Less>, value_accessor > type;
  61             };
  62
  63             template <typename Equal>
  64             struct equal_to_wrapper {
  65                 typedef cds::details::predicate_wrapper< node_type, Equal, value_accessor > type;
  66             };
  67
  68             struct intrusive_traits: public original_type_traits
  69             {
  70                 typedef intrusive::lazy_list::base_hook< opt::gc<gc> >  hook;
  71                 typedef node_deallocator               disposer;
  72                 static CDS_CONSTEXPR const opt::link_check_type link_checker = cds::intrusive::lazy_list::traits::link_checker;
  73
  74                 typedef cds::details::compare_wrapper< node_type, key_comparator, value_accessor > compare;
  75                 typedef cds::details::predicate_wrapper< node_type, equal_to_comparator, value_accessor > equal_to;
  76             };
  77
  78             typedef intrusive::LazyList<gc, node_type, intrusive_traits>  type;
  79         };
  80     }   // namespace details
  81     //@endcond
  82
  83 }}  // namespace cds::container
  84
  85 #endif  // #ifndef CDSLIB_CONTAINER_DETAILS_MAKE_MICHAEL_LIST_H