annotate DEPENDENCIES/generic/include/boost/intrusive/slist_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_SLIST_HOOK_HPP
Chris@16 15 #define BOOST_INTRUSIVE_SLIST_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/slist_node.hpp>
Chris@16 21 #include <boost/intrusive/circular_slist_algorithms.hpp>
Chris@16 22 #include <boost/intrusive/link_mode.hpp>
Chris@16 23 #include <boost/intrusive/options.hpp>
Chris@16 24 #include <boost/intrusive/detail/generic_hook.hpp>
Chris@16 25
Chris@101 26 #if defined(BOOST_HAS_PRAGMA_ONCE)
Chris@101 27 # pragma once
Chris@101 28 #endif
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 slist_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_slist_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_slist_algorithms<slist_node_traits<typename packed_options::void_pointer> >
Chris@16 54 , typename packed_options::tag
Chris@16 55 , packed_options::link_mode
Chris@16 56 , SlistBaseHookId
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 slist_base_hook in order to store objects in
Chris@16 63 //! in an list. slist_base_hook holds the data necessary to maintain the
Chris@16 64 //! list and provides an appropriate value_traits class for list.
Chris@16 65 //!
Chris@16 66 //! The hook admits the following options: \c tag<>, \c void_pointer<> and
Chris@16 67 //! \c link_mode<>.
Chris@16 68 //!
Chris@16 69 //! \c tag<> defines a tag to identify the node.
Chris@16 70 //! The same tag value can be used in different classes, but if a class is
Chris@16 71 //! derived from more than one \c list_base_hook, then each \c list_base_hook needs its
Chris@16 72 //! unique tag.
Chris@16 73 //!
Chris@16 74 //! \c link_mode<> will specify the linking mode of the hook (\c normal_link,
Chris@16 75 //! \c auto_unlink or \c safe_link).
Chris@16 76 //!
Chris@16 77 //! \c void_pointer<> is the pointer type that will be used internally in the hook
Chris@101 78 //! and the container configured to use this hook.
Chris@16 79 #if defined(BOOST_INTRUSIVE_DOXYGEN_INVOKED) || defined(BOOST_INTRUSIVE_VARIADIC_TEMPLATES)
Chris@16 80 template<class ...Options>
Chris@16 81 #else
Chris@16 82 template<class O1, class O2, class O3>
Chris@16 83 #endif
Chris@16 84 class slist_base_hook
Chris@16 85 : public make_slist_base_hook<
Chris@16 86 #if !defined(BOOST_INTRUSIVE_VARIADIC_TEMPLATES)
Chris@16 87 O1, O2, O3
Chris@16 88 #else
Chris@16 89 Options...
Chris@16 90 #endif
Chris@16 91 >::type
Chris@16 92 {
Chris@16 93 #if defined(BOOST_INTRUSIVE_DOXYGEN_INVOKED)
Chris@16 94 public:
Chris@16 95 //! <b>Effects</b>: If link_mode is \c auto_unlink or \c safe_link
Chris@16 96 //! initializes the node to an unlinked state.
Chris@16 97 //!
Chris@16 98 //! <b>Throws</b>: Nothing.
Chris@16 99 slist_base_hook();
Chris@16 100
Chris@16 101 //! <b>Effects</b>: If link_mode is \c auto_unlink or \c safe_link
Chris@16 102 //! initializes the node to an unlinked state. The argument is ignored.
Chris@16 103 //!
Chris@16 104 //! <b>Throws</b>: Nothing.
Chris@16 105 //!
Chris@16 106 //! <b>Rationale</b>: Providing a copy-constructor
Chris@16 107 //! makes classes using the hook STL-compliant without forcing the
Chris@16 108 //! user to do some additional work. \c swap can be used to emulate
Chris@16 109 //! move-semantics.
Chris@16 110 slist_base_hook(const slist_base_hook& );
Chris@16 111
Chris@16 112 //! <b>Effects</b>: Empty function. The argument is ignored.
Chris@16 113 //!
Chris@16 114 //! <b>Throws</b>: Nothing.
Chris@16 115 //!
Chris@16 116 //! <b>Rationale</b>: Providing an assignment operator
Chris@16 117 //! makes classes using the hook STL-compliant without forcing the
Chris@16 118 //! user to do some additional work. \c swap can be used to emulate
Chris@16 119 //! move-semantics.
Chris@16 120 slist_base_hook& operator=(const slist_base_hook& );
Chris@16 121
Chris@16 122 //! <b>Effects</b>: If link_mode is \c normal_link, the destructor does
Chris@16 123 //! nothing (ie. no code is generated). If link_mode is \c safe_link and the
Chris@16 124 //! object is stored in an slist an assertion is raised. If link_mode is
Chris@16 125 //! \c auto_unlink and \c is_linked() is true, the node is unlinked.
Chris@16 126 //!
Chris@16 127 //! <b>Throws</b>: Nothing.
Chris@16 128 ~slist_base_hook();
Chris@16 129
Chris@16 130 //! <b>Effects</b>: Swapping two nodes swaps the position of the elements
Chris@16 131 //! related to those nodes in one or two containers. That is, if the node
Chris@16 132 //! this is part of the element e1, the node x is part of the element e2
Chris@16 133 //! and both elements are included in the containers s1 and s2, then after
Chris@16 134 //! the swap-operation e1 is in s2 at the position of e2 and e2 is in s1
Chris@16 135 //! at the position of e1. If one element is not in a container, then
Chris@16 136 //! after the swap-operation the other element is not in a container.
Chris@16 137 //! Iterators to e1 and e2 related to those nodes are invalidated.
Chris@16 138 //!
Chris@16 139 //! <b>Complexity</b>: Constant
Chris@16 140 //!
Chris@16 141 //! <b>Throws</b>: Nothing.
Chris@16 142 void swap_nodes(slist_base_hook &other);
Chris@16 143
Chris@16 144 //! <b>Precondition</b>: link_mode must be \c safe_link or \c auto_unlink.
Chris@16 145 //!
Chris@16 146 //! <b>Returns</b>: true, if the node belongs to a container, false
Chris@16 147 //! otherwise. This function can be used to test whether \c slist::iterator_to
Chris@16 148 //! will return a valid iterator.
Chris@16 149 //!
Chris@16 150 //! <b>Complexity</b>: Constant
Chris@16 151 bool is_linked() const;
Chris@16 152
Chris@16 153 //! <b>Effects</b>: Removes the node if it's inserted in a container.
Chris@16 154 //! This function is only allowed if link_mode is \c auto_unlink.
Chris@16 155 //!
Chris@16 156 //! <b>Throws</b>: Nothing.
Chris@16 157 void unlink();
Chris@16 158 #endif
Chris@16 159 };
Chris@16 160
Chris@16 161 //! Helper metafunction to define a \c slist_member_hook that yields to the same
Chris@16 162 //! type when the same options (either explicitly or implicitly) are used.
Chris@16 163 #if defined(BOOST_INTRUSIVE_DOXYGEN_INVOKED) || defined(BOOST_INTRUSIVE_VARIADIC_TEMPLATES)
Chris@16 164 template<class ...Options>
Chris@16 165 #else
Chris@16 166 template<class O1 = void, class O2 = void, class O3 = void>
Chris@16 167 #endif
Chris@16 168 struct make_slist_member_hook
Chris@16 169 {
Chris@16 170 /// @cond
Chris@16 171 typedef typename pack_options
Chris@16 172 < hook_defaults,
Chris@16 173 #if !defined(BOOST_INTRUSIVE_VARIADIC_TEMPLATES)
Chris@16 174 O1, O2, O3
Chris@16 175 #else
Chris@16 176 Options...
Chris@16 177 #endif
Chris@16 178 >::type packed_options;
Chris@16 179
Chris@16 180 typedef generic_hook
Chris@101 181 < circular_slist_algorithms<slist_node_traits<typename packed_options::void_pointer> >
Chris@16 182 , member_tag
Chris@16 183 , packed_options::link_mode
Chris@16 184 , NoBaseHookId
Chris@16 185 > implementation_defined;
Chris@16 186 /// @endcond
Chris@16 187 typedef implementation_defined type;
Chris@16 188 };
Chris@16 189
Chris@16 190 //! Put a public data member slist_member_hook in order to store objects of this class in
Chris@16 191 //! an list. slist_member_hook holds the data necessary for maintaining the list and
Chris@16 192 //! provides an appropriate value_traits class for list.
Chris@16 193 //!
Chris@16 194 //! The hook admits the following options: \c void_pointer<> and
Chris@16 195 //! \c link_mode<>.
Chris@16 196 //!
Chris@16 197 //! \c link_mode<> will specify the linking mode of the hook (\c normal_link,
Chris@16 198 //! \c auto_unlink or \c safe_link).
Chris@16 199 //!
Chris@16 200 //! \c void_pointer<> is the pointer type that will be used internally in the hook
Chris@101 201 //! and the container configured to use this hook.
Chris@16 202 #if defined(BOOST_INTRUSIVE_DOXYGEN_INVOKED) || defined(BOOST_INTRUSIVE_VARIADIC_TEMPLATES)
Chris@16 203 template<class ...Options>
Chris@16 204 #else
Chris@16 205 template<class O1, class O2, class O3>
Chris@16 206 #endif
Chris@16 207 class slist_member_hook
Chris@16 208 : public make_slist_member_hook<
Chris@16 209 #if !defined(BOOST_INTRUSIVE_VARIADIC_TEMPLATES)
Chris@16 210 O1, O2, O3
Chris@16 211 #else
Chris@16 212 Options...
Chris@16 213 #endif
Chris@16 214 >::type
Chris@16 215 {
Chris@16 216 #if defined(BOOST_INTRUSIVE_DOXYGEN_INVOKED)
Chris@16 217 public:
Chris@16 218 //! <b>Effects</b>: If link_mode is \c auto_unlink or \c safe_link
Chris@16 219 //! initializes the node to an unlinked state.
Chris@16 220 //!
Chris@16 221 //! <b>Throws</b>: Nothing.
Chris@16 222 slist_member_hook();
Chris@16 223
Chris@16 224 //! <b>Effects</b>: If link_mode is \c auto_unlink or \c safe_link
Chris@16 225 //! initializes the node to an unlinked state. The argument is ignored.
Chris@16 226 //!
Chris@16 227 //! <b>Throws</b>: Nothing.
Chris@16 228 //!
Chris@16 229 //! <b>Rationale</b>: Providing a copy-constructor
Chris@16 230 //! makes classes using the hook STL-compliant without forcing the
Chris@16 231 //! user to do some additional work. \c swap can be used to emulate
Chris@16 232 //! move-semantics.
Chris@16 233 slist_member_hook(const slist_member_hook& );
Chris@16 234
Chris@16 235 //! <b>Effects</b>: Empty function. The argument is ignored.
Chris@16 236 //!
Chris@16 237 //! <b>Throws</b>: Nothing.
Chris@16 238 //!
Chris@16 239 //! <b>Rationale</b>: Providing an assignment operator
Chris@16 240 //! makes classes using the hook STL-compliant without forcing the
Chris@16 241 //! user to do some additional work. \c swap can be used to emulate
Chris@16 242 //! move-semantics.
Chris@16 243 slist_member_hook& operator=(const slist_member_hook& );
Chris@16 244
Chris@16 245 //! <b>Effects</b>: If link_mode is \c normal_link, the destructor does
Chris@16 246 //! nothing (ie. no code is generated). If link_mode is \c safe_link and the
Chris@16 247 //! object is stored in an slist an assertion is raised. If link_mode is
Chris@16 248 //! \c auto_unlink and \c is_linked() is true, the node is unlinked.
Chris@16 249 //!
Chris@16 250 //! <b>Throws</b>: Nothing.
Chris@16 251 ~slist_member_hook();
Chris@16 252
Chris@16 253 //! <b>Effects</b>: Swapping two nodes swaps the position of the elements
Chris@16 254 //! related to those nodes in one or two containers. That is, if the node
Chris@16 255 //! this is part of the element e1, the node x is part of the element e2
Chris@16 256 //! and both elements are included in the containers s1 and s2, then after
Chris@16 257 //! the swap-operation e1 is in s2 at the position of e2 and e2 is in s1
Chris@16 258 //! at the position of e1. If one element is not in a container, then
Chris@16 259 //! after the swap-operation the other element is not in a container.
Chris@16 260 //! Iterators to e1 and e2 related to those nodes are invalidated.
Chris@16 261 //!
Chris@16 262 //! <b>Complexity</b>: Constant
Chris@16 263 //!
Chris@16 264 //! <b>Throws</b>: Nothing.
Chris@16 265 void swap_nodes(slist_member_hook &other);
Chris@16 266
Chris@16 267 //! <b>Precondition</b>: link_mode must be \c safe_link or \c auto_unlink.
Chris@16 268 //!
Chris@16 269 //! <b>Returns</b>: true, if the node belongs to a container, false
Chris@16 270 //! otherwise. This function can be used to test whether \c slist::iterator_to
Chris@16 271 //! will return a valid iterator.
Chris@16 272 //!
Chris@16 273 //! <b>Complexity</b>: Constant
Chris@16 274 bool is_linked() const;
Chris@16 275
Chris@16 276 //! <b>Effects</b>: Removes the node if it's inserted in a container.
Chris@16 277 //! This function is only allowed if link_mode is \c auto_unlink.
Chris@16 278 //!
Chris@16 279 //! <b>Throws</b>: Nothing.
Chris@16 280 void unlink();
Chris@16 281 #endif
Chris@16 282 };
Chris@16 283
Chris@16 284 } //namespace intrusive
Chris@16 285 } //namespace boost
Chris@16 286
Chris@16 287 #include <boost/intrusive/detail/config_end.hpp>
Chris@16 288
Chris@16 289 #endif //BOOST_INTRUSIVE_SLIST_HOOK_HPP