annotate DEPENDENCIES/generic/include/boost/intrusive/list_hook.hpp @ 133:4acb5d8d80b6 tip

Don't fail environmental check if README.md exists (but .txt and no-suffix don't)
author Chris Cannam
date Tue, 30 Jul 2019 12:25:44 +0100
parents c530137014c0
children
rev   line source
Chris@16 1 /////////////////////////////////////////////////////////////////////////////
Chris@16 2 //
Chris@16 3 // (C) Copyright Olaf Krzikalla 2004-2006.
Chris@16 4 // (C) Copyright Ion Gaztanaga 2006-2013
Chris@16 5 //
Chris@16 6 // Distributed under the Boost Software License, Version 1.0.
Chris@16 7 // (See accompanying file LICENSE_1_0.txt or copy at
Chris@16 8 // http://www.boost.org/LICENSE_1_0.txt)
Chris@16 9 //
Chris@16 10 // See http://www.boost.org/libs/intrusive for documentation.
Chris@16 11 //
Chris@16 12 /////////////////////////////////////////////////////////////////////////////
Chris@16 13
Chris@16 14 #ifndef BOOST_INTRUSIVE_LIST_HOOK_HPP
Chris@16 15 #define BOOST_INTRUSIVE_LIST_HOOK_HPP
Chris@16 16
Chris@16 17 #include <boost/intrusive/detail/config_begin.hpp>
Chris@16 18 #include <boost/intrusive/intrusive_fwd.hpp>
Chris@101 19
Chris@16 20 #include <boost/intrusive/detail/list_node.hpp>
Chris@16 21 #include <boost/intrusive/circular_list_algorithms.hpp>
Chris@16 22 #include <boost/intrusive/options.hpp>
Chris@16 23 #include <boost/intrusive/detail/generic_hook.hpp>
Chris@16 24
Chris@101 25 #if defined(BOOST_HAS_PRAGMA_ONCE)
Chris@101 26 # pragma once
Chris@101 27 #endif
Chris@101 28
Chris@101 29
Chris@16 30 namespace boost {
Chris@16 31 namespace intrusive {
Chris@16 32
Chris@16 33 //! Helper metafunction to define a \c \c list_base_hook that yields to the same
Chris@16 34 //! type when the same options (either explicitly or implicitly) are used.
Chris@16 35 #if defined(BOOST_INTRUSIVE_DOXYGEN_INVOKED) || defined(BOOST_INTRUSIVE_VARIADIC_TEMPLATES)
Chris@16 36 template<class ...Options>
Chris@16 37 #else
Chris@16 38 template<class O1 = void, class O2 = void, class O3 = void>
Chris@16 39 #endif
Chris@16 40 struct make_list_base_hook
Chris@16 41 {
Chris@16 42 /// @cond
Chris@16 43 typedef typename pack_options
Chris@16 44 < hook_defaults,
Chris@16 45 #if !defined(BOOST_INTRUSIVE_VARIADIC_TEMPLATES)
Chris@16 46 O1, O2, O3
Chris@16 47 #else
Chris@16 48 Options...
Chris@16 49 #endif
Chris@16 50 >::type packed_options;
Chris@16 51
Chris@16 52 typedef generic_hook
Chris@101 53 < circular_list_algorithms<list_node_traits<typename packed_options::void_pointer> >
Chris@16 54 , typename packed_options::tag
Chris@16 55 , packed_options::link_mode
Chris@16 56 , ListBaseHookId
Chris@16 57 > implementation_defined;
Chris@16 58 /// @endcond
Chris@16 59 typedef implementation_defined type;
Chris@16 60 };
Chris@16 61
Chris@16 62 //! Derive a class from this hook in order to store objects of that class
Chris@16 63 //! in an list.
Chris@16 64 //!
Chris@16 65 //! The hook admits the following options: \c tag<>, \c void_pointer<> and
Chris@16 66 //! \c link_mode<>.
Chris@16 67 //!
Chris@16 68 //! \c tag<> defines a tag to identify the node.
Chris@16 69 //! The same tag value can be used in different classes, but if a class is
Chris@16 70 //! derived from more than one \c list_base_hook, then each \c list_base_hook needs its
Chris@16 71 //! unique tag.
Chris@16 72 //!
Chris@16 73 //! \c link_mode<> will specify the linking mode of the hook (\c normal_link,
Chris@16 74 //! \c auto_unlink or \c safe_link).
Chris@16 75 //!
Chris@16 76 //! \c void_pointer<> is the pointer type that will be used internally in the hook
Chris@101 77 //! and the container configured to use this hook.
Chris@16 78 #if defined(BOOST_INTRUSIVE_DOXYGEN_INVOKED) || defined(BOOST_INTRUSIVE_VARIADIC_TEMPLATES)
Chris@16 79 template<class ...Options>
Chris@16 80 #else
Chris@16 81 template<class O1, class O2, class O3>
Chris@16 82 #endif
Chris@16 83 class list_base_hook
Chris@16 84 : public make_list_base_hook
Chris@16 85 #if !defined(BOOST_INTRUSIVE_VARIADIC_TEMPLATES)
Chris@16 86 <O1, O2, O3>
Chris@16 87 #else
Chris@16 88 <Options...>
Chris@16 89 #endif
Chris@16 90 ::type
Chris@16 91 {
Chris@16 92 #if defined(BOOST_INTRUSIVE_DOXYGEN_INVOKED)
Chris@16 93 public:
Chris@16 94 //! <b>Effects</b>: If link_mode is \c auto_unlink or \c safe_link
Chris@16 95 //! initializes the node to an unlinked state.
Chris@16 96 //!
Chris@16 97 //! <b>Throws</b>: Nothing.
Chris@16 98 list_base_hook();
Chris@16 99
Chris@16 100 //! <b>Effects</b>: If link_mode is \c auto_unlink or \c safe_link
Chris@16 101 //! initializes the node to an unlinked state. The argument is ignored.
Chris@16 102 //!
Chris@16 103 //! <b>Throws</b>: Nothing.
Chris@16 104 //!
Chris@16 105 //! <b>Rationale</b>: Providing a copy-constructor
Chris@16 106 //! makes classes using the hook STL-compliant without forcing the
Chris@16 107 //! user to do some additional work. \c swap can be used to emulate
Chris@16 108 //! move-semantics.
Chris@16 109 list_base_hook(const list_base_hook& );
Chris@16 110
Chris@16 111 //! <b>Effects</b>: Empty function. The argument is ignored.
Chris@16 112 //!
Chris@16 113 //! <b>Throws</b>: Nothing.
Chris@16 114 //!
Chris@16 115 //! <b>Rationale</b>: Providing an assignment operator
Chris@16 116 //! makes classes using the hook STL-compliant without forcing the
Chris@16 117 //! user to do some additional work. \c swap can be used to emulate
Chris@16 118 //! move-semantics.
Chris@16 119 list_base_hook& operator=(const list_base_hook& );
Chris@16 120
Chris@16 121 //! <b>Effects</b>: If link_mode is \c normal_link, the destructor does
Chris@16 122 //! nothing (ie. no code is generated). If link_mode is \c safe_link and the
Chris@16 123 //! object is stored in an list an assertion is raised. If link_mode is
Chris@16 124 //! \c auto_unlink and \c is_linked() is true, the node is unlinked.
Chris@16 125 //!
Chris@16 126 //! <b>Throws</b>: Nothing.
Chris@16 127 ~list_base_hook();
Chris@16 128
Chris@16 129 //! <b>Effects</b>: Swapping two nodes swaps the position of the elements
Chris@16 130 //! related to those nodes in one or two containers. That is, if the node
Chris@16 131 //! this is part of the element e1, the node x is part of the element e2
Chris@16 132 //! and both elements are included in the containers s1 and s2, then after
Chris@16 133 //! the swap-operation e1 is in s2 at the position of e2 and e2 is in s1
Chris@16 134 //! at the position of e1. If one element is not in a container, then
Chris@16 135 //! after the swap-operation the other element is not in a container.
Chris@16 136 //! Iterators to e1 and e2 related to those nodes are invalidated.
Chris@16 137 //!
Chris@16 138 //! <b>Complexity</b>: Constant
Chris@16 139 //!
Chris@16 140 //! <b>Throws</b>: Nothing.
Chris@16 141 void swap_nodes(list_base_hook &other);
Chris@16 142
Chris@16 143 //! <b>Precondition</b>: link_mode must be \c safe_link or \c auto_unlink.
Chris@16 144 //!
Chris@16 145 //! <b>Returns</b>: true, if the node belongs to a container, false
Chris@16 146 //! otherwise. This function can be used to test whether \c list::iterator_to
Chris@16 147 //! will return a valid iterator.
Chris@16 148 //!
Chris@16 149 //! <b>Complexity</b>: Constant
Chris@16 150 bool is_linked() const;
Chris@16 151
Chris@16 152 //! <b>Effects</b>: Removes the node if it's inserted in a container.
Chris@16 153 //! This function is only allowed if link_mode is \c auto_unlink.
Chris@16 154 //!
Chris@16 155 //! <b>Throws</b>: Nothing.
Chris@16 156 void unlink();
Chris@16 157 #endif
Chris@16 158 };
Chris@16 159
Chris@16 160 //! Helper metafunction to define a \c \c list_member_hook that yields to the same
Chris@16 161 //! type when the same options (either explicitly or implicitly) are used.
Chris@16 162 #if defined(BOOST_INTRUSIVE_DOXYGEN_INVOKED) || defined(BOOST_INTRUSIVE_VARIADIC_TEMPLATES)
Chris@16 163 template<class ...Options>
Chris@16 164 #else
Chris@16 165 template<class O1 = void, class O2 = void, class O3 = void>
Chris@16 166 #endif
Chris@16 167 struct make_list_member_hook
Chris@16 168 {
Chris@16 169 /// @cond
Chris@16 170 typedef typename pack_options
Chris@16 171 < hook_defaults,
Chris@16 172 #if !defined(BOOST_INTRUSIVE_VARIADIC_TEMPLATES)
Chris@16 173 O1, O2, O3
Chris@16 174 #else
Chris@16 175 Options...
Chris@16 176 #endif
Chris@16 177 >::type packed_options;
Chris@16 178
Chris@16 179 typedef generic_hook
Chris@101 180 < circular_list_algorithms<list_node_traits<typename packed_options::void_pointer> >
Chris@16 181 , member_tag
Chris@16 182 , packed_options::link_mode
Chris@16 183 , NoBaseHookId
Chris@16 184 > implementation_defined;
Chris@16 185 /// @endcond
Chris@16 186 typedef implementation_defined type;
Chris@16 187 };
Chris@16 188
Chris@16 189 //! Store this hook in a class to be inserted
Chris@16 190 //! in an list.
Chris@16 191 //!
Chris@16 192 //! The hook admits the following options: \c void_pointer<> and
Chris@16 193 //! \c link_mode<>.
Chris@16 194 //!
Chris@16 195 //! \c link_mode<> will specify the linking mode of the hook (\c normal_link,
Chris@16 196 //! \c auto_unlink or \c safe_link).
Chris@16 197 //!
Chris@16 198 //! \c void_pointer<> is the pointer type that will be used internally in the hook
Chris@101 199 //! and the container configured to use this hook.
Chris@16 200 #if defined(BOOST_INTRUSIVE_DOXYGEN_INVOKED) || defined(BOOST_INTRUSIVE_VARIADIC_TEMPLATES)
Chris@16 201 template<class ...Options>
Chris@16 202 #else
Chris@16 203 template<class O1, class O2, class O3>
Chris@16 204 #endif
Chris@16 205 class list_member_hook
Chris@16 206 : public make_list_member_hook
Chris@16 207 #if !defined(BOOST_INTRUSIVE_VARIADIC_TEMPLATES)
Chris@16 208 <O1, O2, O3>
Chris@16 209 #else
Chris@16 210 <Options...>
Chris@16 211 #endif
Chris@16 212 ::type
Chris@16 213 {
Chris@16 214 #if defined(BOOST_INTRUSIVE_DOXYGEN_INVOKED)
Chris@16 215 public:
Chris@16 216 //! <b>Effects</b>: If link_mode is \c auto_unlink or \c safe_link
Chris@16 217 //! initializes the node to an unlinked state.
Chris@16 218 //!
Chris@16 219 //! <b>Throws</b>: Nothing.
Chris@16 220 list_member_hook();
Chris@16 221
Chris@16 222 //! <b>Effects</b>: If link_mode is \c auto_unlink or \c safe_link
Chris@16 223 //! initializes the node to an unlinked state. The argument is ignored.
Chris@16 224 //!
Chris@16 225 //! <b>Throws</b>: Nothing.
Chris@16 226 //!
Chris@16 227 //! <b>Rationale</b>: Providing a copy-constructor
Chris@16 228 //! makes classes using the hook STL-compliant without forcing the
Chris@16 229 //! user to do some additional work. \c swap can be used to emulate
Chris@16 230 //! move-semantics.
Chris@16 231 list_member_hook(const list_member_hook& );
Chris@16 232
Chris@16 233 //! <b>Effects</b>: Empty function. The argument is ignored.
Chris@16 234 //!
Chris@16 235 //! <b>Throws</b>: Nothing.
Chris@16 236 //!
Chris@16 237 //! <b>Rationale</b>: Providing an assignment operator
Chris@16 238 //! makes classes using the hook STL-compliant without forcing the
Chris@16 239 //! user to do some additional work. \c swap can be used to emulate
Chris@16 240 //! move-semantics.
Chris@16 241 list_member_hook& operator=(const list_member_hook& );
Chris@16 242
Chris@16 243 //! <b>Effects</b>: If link_mode is \c normal_link, the destructor does
Chris@16 244 //! nothing (ie. no code is generated). If link_mode is \c safe_link and the
Chris@16 245 //! object is stored in an list an assertion is raised. If link_mode is
Chris@16 246 //! \c auto_unlink and \c is_linked() is true, the node is unlinked.
Chris@16 247 //!
Chris@16 248 //! <b>Throws</b>: Nothing.
Chris@16 249 ~list_member_hook();
Chris@16 250
Chris@16 251 //! <b>Effects</b>: Swapping two nodes swaps the position of the elements
Chris@16 252 //! related to those nodes in one or two containers. That is, if the node
Chris@16 253 //! this is part of the element e1, the node x is part of the element e2
Chris@16 254 //! and both elements are included in the containers s1 and s2, then after
Chris@16 255 //! the swap-operation e1 is in s2 at the position of e2 and e2 is in s1
Chris@16 256 //! at the position of e1. If one element is not in a container, then
Chris@16 257 //! after the swap-operation the other element is not in a container.
Chris@16 258 //! Iterators to e1 and e2 related to those nodes are invalidated.
Chris@16 259 //!
Chris@16 260 //! <b>Complexity</b>: Constant
Chris@16 261 //!
Chris@16 262 //! <b>Throws</b>: Nothing.
Chris@16 263 void swap_nodes(list_member_hook &other);
Chris@16 264
Chris@16 265 //! <b>Precondition</b>: link_mode must be \c safe_link or \c auto_unlink.
Chris@16 266 //!
Chris@16 267 //! <b>Returns</b>: true, if the node belongs to a container, false
Chris@16 268 //! otherwise. This function can be used to test whether \c list::iterator_to
Chris@16 269 //! will return a valid iterator.
Chris@16 270 //!
Chris@16 271 //! <b>Complexity</b>: Constant
Chris@16 272 bool is_linked() const;
Chris@16 273
Chris@16 274 //! <b>Effects</b>: Removes the node if it's inserted in a container.
Chris@16 275 //! This function is only allowed if link_mode is \c auto_unlink.
Chris@16 276 //!
Chris@16 277 //! <b>Throws</b>: Nothing.
Chris@16 278 void unlink();
Chris@16 279 #endif
Chris@16 280 };
Chris@16 281
Chris@16 282 } //namespace intrusive
Chris@16 283 } //namespace boost
Chris@16 284
Chris@16 285 #include <boost/intrusive/detail/config_end.hpp>
Chris@16 286
Chris@16 287 #endif //BOOST_INTRUSIVE_LIST_HOOK_HPP