1 //==-- llvm/ADT/ilist.h - Intrusive Linked List Template ---------*- C++ -*-==//
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
9 // This file defines classes to implement an intrusive doubly linked list class
10 // (i.e. each node of the list must contain a next and previous field for the
13 // The ilist class itself should be a plug in replacement for list. This list
14 // replacement does not provide a constant time size() method, so be careful to
15 // use empty() when you really want to know if it's empty.
17 // The ilist class is implemented as a circular list. The list itself contains
18 // a sentinel node, whose Next points at begin() and whose Prev points at
19 // rbegin(). The sentinel node itself serves as end() and rend().
21 //===----------------------------------------------------------------------===//
23 #ifndef LLVM_ADT_ILIST_H
24 #define LLVM_ADT_ILIST_H
26 #include "llvm/ADT/simple_ilist.h"
33 /// Use delete by default for iplist and ilist.
35 /// Specialize this to get different behaviour for ownership-related API. (If
36 /// you really want ownership semantics, consider using std::list or building
37 /// something like \a BumpPtrList.)
39 /// \see ilist_noalloc_traits
40 template <typename NodeTy
> struct ilist_alloc_traits
{
41 static void deleteNode(NodeTy
*V
) { delete V
; }
44 /// Custom traits to do nothing on deletion.
46 /// Specialize ilist_alloc_traits to inherit from this to disable the
47 /// non-intrusive deletion in iplist (which implies ownership).
49 /// If you want purely intrusive semantics with no callbacks, consider using \a
50 /// simple_ilist instead.
54 /// struct ilist_alloc_traits<MyType> : ilist_noalloc_traits<MyType> {};
56 template <typename NodeTy
> struct ilist_noalloc_traits
{
57 static void deleteNode(NodeTy
*V
) {}
60 /// Callbacks do nothing by default in iplist and ilist.
62 /// Specialize this for to use callbacks for when nodes change their list
64 template <typename NodeTy
> struct ilist_callback_traits
{
65 void addNodeToList(NodeTy
*) {}
66 void removeNodeFromList(NodeTy
*) {}
68 /// Callback before transferring nodes to this list. The nodes may already be
69 /// in this same list.
70 template <class Iterator
>
71 void transferNodesFromList(ilist_callback_traits
&OldList
, Iterator
/*first*/,
77 /// A fragment for template traits for intrusive list that provides default
78 /// node related operations.
80 /// TODO: Remove this layer of indirection. It's not necessary.
81 template <typename NodeTy
>
82 struct ilist_node_traits
: ilist_alloc_traits
<NodeTy
>,
83 ilist_callback_traits
<NodeTy
> {};
85 /// Template traits for intrusive list.
87 /// Customize callbacks and allocation semantics.
88 template <typename NodeTy
>
89 struct ilist_traits
: public ilist_node_traits
<NodeTy
> {};
91 /// Const traits should never be instantiated.
92 template <typename Ty
> struct ilist_traits
<const Ty
> {};
94 namespace ilist_detail
{
96 template <class T
> T
&make();
98 /// Type trait to check for a traits class that has a getNext member (as a
99 /// canary for any of the ilist_nextprev_traits API).
100 template <class TraitsT
, class NodeT
> struct HasGetNext
{
103 template <size_t N
> struct SFINAE
{};
106 static Yes
&test(U
*I
, decltype(I
->getNext(&make
<NodeT
>())) * = 0);
107 template <class> static No
&test(...);
110 static const bool value
= sizeof(test
<TraitsT
>(nullptr)) == sizeof(Yes
);
113 /// Type trait to check for a traits class that has a createSentinel member (as
114 /// a canary for any of the ilist_sentinel_traits API).
115 template <class TraitsT
> struct HasCreateSentinel
{
120 static Yes
&test(U
*I
, decltype(I
->createSentinel()) * = 0);
121 template <class> static No
&test(...);
124 static const bool value
= sizeof(test
<TraitsT
>(nullptr)) == sizeof(Yes
);
127 /// Type trait to check for a traits class that has a createNode member.
128 /// Allocation should be managed in a wrapper class, instead of in
130 template <class TraitsT
, class NodeT
> struct HasCreateNode
{
133 template <size_t N
> struct SFINAE
{};
136 static Yes
&test(U
*I
, decltype(I
->createNode(make
<NodeT
>())) * = 0);
137 template <class> static No
&test(...);
140 static const bool value
= sizeof(test
<TraitsT
>(nullptr)) == sizeof(Yes
);
143 template <class TraitsT
, class NodeT
> struct HasObsoleteCustomization
{
144 static const bool value
= HasGetNext
<TraitsT
, NodeT
>::value
||
145 HasCreateSentinel
<TraitsT
>::value
||
146 HasCreateNode
<TraitsT
, NodeT
>::value
;
149 } // end namespace ilist_detail
151 //===----------------------------------------------------------------------===//
153 /// A wrapper around an intrusive list with callbacks and non-intrusive
156 /// This wraps a purely intrusive list (like simple_ilist) with a configurable
157 /// traits class. The traits can implement callbacks and customize the
158 /// ownership semantics.
160 /// This is a subset of ilist functionality that can safely be used on nodes of
161 /// polymorphic types, i.e. a heterogeneous list with a common base class that
162 /// holds the next/prev pointers. The only state of the list itself is an
163 /// ilist_sentinel, which holds pointers to the first and last nodes in the
165 template <class IntrusiveListT
, class TraitsT
>
166 class iplist_impl
: public TraitsT
, IntrusiveListT
{
167 typedef IntrusiveListT base_list_type
;
170 typedef typename
base_list_type::pointer pointer
;
171 typedef typename
base_list_type::const_pointer const_pointer
;
172 typedef typename
base_list_type::reference reference
;
173 typedef typename
base_list_type::const_reference const_reference
;
174 typedef typename
base_list_type::value_type value_type
;
175 typedef typename
base_list_type::size_type size_type
;
176 typedef typename
base_list_type::difference_type difference_type
;
177 typedef typename
base_list_type::iterator iterator
;
178 typedef typename
base_list_type::const_iterator const_iterator
;
179 typedef typename
base_list_type::reverse_iterator reverse_iterator
;
181 typename
base_list_type::const_reverse_iterator const_reverse_iterator
;
184 // TODO: Drop this assertion and the transitive type traits anytime after
185 // v4.0 is branched (i.e,. keep them for one release to help out-of-tree code
188 !ilist_detail::HasObsoleteCustomization
<TraitsT
, value_type
>::value
,
189 "ilist customization points have changed!");
191 static bool op_less(const_reference L
, const_reference R
) { return L
< R
; }
192 static bool op_equal(const_reference L
, const_reference R
) { return L
== R
; }
195 iplist_impl() = default;
197 iplist_impl(const iplist_impl
&) = delete;
198 iplist_impl
&operator=(const iplist_impl
&) = delete;
200 iplist_impl(iplist_impl
&&X
)
201 : TraitsT(std::move(X
)), IntrusiveListT(std::move(X
)) {}
202 iplist_impl
&operator=(iplist_impl
&&X
) {
203 *static_cast<TraitsT
*>(this) = std::move(X
);
204 *static_cast<IntrusiveListT
*>(this) = std::move(X
);
208 ~iplist_impl() { clear(); }
210 // Miscellaneous inspection routines.
211 size_type
max_size() const { return size_type(-1); }
213 using base_list_type::begin
;
214 using base_list_type::end
;
215 using base_list_type::rbegin
;
216 using base_list_type::rend
;
217 using base_list_type::empty
;
218 using base_list_type::front
;
219 using base_list_type::back
;
221 void swap(iplist_impl
&RHS
) {
222 assert(0 && "Swap does not use list traits callback correctly yet!");
223 base_list_type::swap(RHS
);
226 iterator
insert(iterator where
, pointer New
) {
227 this->addNodeToList(New
); // Notify traits that we added a node...
228 return base_list_type::insert(where
, *New
);
231 iterator
insert(iterator where
, const_reference New
) {
232 return this->insert(where
, new value_type(New
));
235 iterator
insertAfter(iterator where
, pointer New
) {
237 return insert(begin(), New
);
239 return insert(++where
, New
);
242 /// Clone another list.
243 template <class Cloner
> void cloneFrom(const iplist_impl
&L2
, Cloner clone
) {
245 for (const_reference V
: L2
)
249 pointer
remove(iterator
&IT
) {
250 pointer Node
= &*IT
++;
251 this->removeNodeFromList(Node
); // Notify traits that we removed a node...
252 base_list_type::remove(*Node
);
256 pointer
remove(const iterator
&IT
) {
258 return remove(MutIt
);
261 pointer
remove(pointer IT
) { return remove(iterator(IT
)); }
262 pointer
remove(reference IT
) { return remove(iterator(IT
)); }
264 // erase - remove a node from the controlled sequence... and delete it.
265 iterator
erase(iterator where
) {
266 this->deleteNode(remove(where
));
270 iterator
erase(pointer IT
) { return erase(iterator(IT
)); }
271 iterator
erase(reference IT
) { return erase(iterator(IT
)); }
273 /// Remove all nodes from the list like clear(), but do not call
274 /// removeNodeFromList() or deleteNode().
276 /// This should only be used immediately before freeing nodes in bulk to
277 /// avoid traversing the list and bringing all the nodes into cache.
278 void clearAndLeakNodesUnsafely() { base_list_type::clear(); }
281 // transfer - The heart of the splice function. Move linked list nodes from
282 // [first, last) into position.
284 void transfer(iterator position
, iplist_impl
&L2
, iterator first
, iterator last
) {
285 if (position
== last
)
288 // Notify traits we moved the nodes...
289 this->transferNodesFromList(L2
, first
, last
);
291 base_list_type::splice(position
, L2
, first
, last
);
295 //===----------------------------------------------------------------------===
296 // Functionality derived from other functions defined above...
299 using base_list_type::size
;
301 iterator
erase(iterator first
, iterator last
) {
302 while (first
!= last
)
303 first
= erase(first
);
307 void clear() { erase(begin(), end()); }
309 // Front and back inserters...
310 void push_front(pointer val
) { insert(begin(), val
); }
311 void push_back(pointer val
) { insert(end(), val
); }
313 assert(!empty() && "pop_front() on empty list!");
317 assert(!empty() && "pop_back() on empty list!");
318 iterator t
= end(); erase(--t
);
321 // Special forms of insert...
322 template<class InIt
> void insert(iterator where
, InIt first
, InIt last
) {
323 for (; first
!= last
; ++first
) insert(where
, *first
);
326 // Splice members - defined in terms of transfer...
327 void splice(iterator where
, iplist_impl
&L2
) {
329 transfer(where
, L2
, L2
.begin(), L2
.end());
331 void splice(iterator where
, iplist_impl
&L2
, iterator first
) {
332 iterator last
= first
; ++last
;
333 if (where
== first
|| where
== last
) return; // No change
334 transfer(where
, L2
, first
, last
);
336 void splice(iterator where
, iplist_impl
&L2
, iterator first
, iterator last
) {
337 if (first
!= last
) transfer(where
, L2
, first
, last
);
339 void splice(iterator where
, iplist_impl
&L2
, reference N
) {
340 splice(where
, L2
, iterator(N
));
342 void splice(iterator where
, iplist_impl
&L2
, pointer N
) {
343 splice(where
, L2
, iterator(N
));
346 template <class Compare
>
347 void merge(iplist_impl
&Right
, Compare comp
) {
350 this->transferNodesFromList(Right
, Right
.begin(), Right
.end());
351 base_list_type::merge(Right
, comp
);
353 void merge(iplist_impl
&Right
) { return merge(Right
, op_less
); }
355 using base_list_type::sort
;
357 /// Get the previous node, or \c nullptr for the list head.
358 pointer
getPrevNode(reference N
) const {
359 auto I
= N
.getIterator();
362 return &*std::prev(I
);
364 /// Get the previous node, or \c nullptr for the list head.
365 const_pointer
getPrevNode(const_reference N
) const {
366 return getPrevNode(const_cast<reference
>(N
));
369 /// Get the next node, or \c nullptr for the list tail.
370 pointer
getNextNode(reference N
) const {
371 auto Next
= std::next(N
.getIterator());
376 /// Get the next node, or \c nullptr for the list tail.
377 const_pointer
getNextNode(const_reference N
) const {
378 return getNextNode(const_cast<reference
>(N
));
382 /// An intrusive list with ownership and callbacks specified/controlled by
383 /// ilist_traits, only with API safe for polymorphic types.
385 /// The \p Options parameters are the same as those for \a simple_ilist. See
386 /// there for a description of what's available.
387 template <class T
, class... Options
>
389 : public iplist_impl
<simple_ilist
<T
, Options
...>, ilist_traits
<T
>> {
390 using iplist_impl_type
= typename
iplist::iplist_impl
;
395 iplist(const iplist
&X
) = delete;
396 iplist
&operator=(const iplist
&X
) = delete;
398 iplist(iplist
&&X
) : iplist_impl_type(std::move(X
)) {}
399 iplist
&operator=(iplist
&&X
) {
400 *static_cast<iplist_impl_type
*>(this) = std::move(X
);
405 template <class T
, class... Options
> using ilist
= iplist
<T
, Options
...>;
407 } // end namespace llvm
411 // Ensure that swap uses the fast list swap...
413 void swap(llvm::iplist
<Ty
> &Left
, llvm::iplist
<Ty
> &Right
) {
417 } // end namespace std
419 #endif // LLVM_ADT_ILIST_H