f7923e0b786f39d7f328ba5163af1c01861b3cd1
[libcds.git] / cds / container / details / make_lazy_list.h
1 //$$CDS-header$$
2
3 #ifndef __CDS_CONTAINER_DETAILS_MAKE_LAZY_LIST_H
4 #define __CDS_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
50             struct value_accessor {
51                 value_type const & operator()( node_type const & node ) const
52                 {
53                     return node.m_Value;
54                 }
55             };
56
57             template <typename Less>
58             struct less_wrapper {
59                 typedef cds::details::compare_wrapper< node_type, cds::opt::details::make_comparator_from_less<Less>, value_accessor > type;
60             };
61
62             struct intrusive_traits: public original_type_traits
63             {
64                 typedef intrusive::lazy_list::base_hook< opt::gc<gc> >  hook;
65                 typedef node_deallocator               disposer;
66                 static CDS_CONSTEXPR const opt::link_check_type link_checker = cds::intrusive::lazy_list::traits::link_checker;
67
68                 typedef cds::details::compare_wrapper< node_type, key_comparator, value_accessor > compare;
69             };
70
71             typedef intrusive::LazyList<gc, node_type, intrusive_traits>  type;
72         };
73     }   // namespace details
74     //@endcond
75
76 }}  // namespace cds::container
77
78 #endif  // #ifndef __CDS_CONTAINER_DETAILS_MAKE_MICHAEL_LIST_H