Mon, 23 Jan 2023 20:34:18 +0100
temporarily remove pointer lists - see #234
universe@398 | 1 | /* |
universe@398 | 2 | * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS HEADER. |
universe@398 | 3 | * |
universe@398 | 4 | * Copyright 2021 Mike Becker, Olaf Wintermann All rights reserved. |
universe@398 | 5 | * |
universe@398 | 6 | * Redistribution and use in source and binary forms, with or without |
universe@398 | 7 | * modification, are permitted provided that the following conditions are met: |
universe@398 | 8 | * |
universe@398 | 9 | * 1. Redistributions of source code must retain the above copyright |
universe@398 | 10 | * notice, this list of conditions and the following disclaimer. |
universe@398 | 11 | * |
universe@398 | 12 | * 2. Redistributions in binary form must reproduce the above copyright |
universe@398 | 13 | * notice, this list of conditions and the following disclaimer in the |
universe@398 | 14 | * documentation and/or other materials provided with the distribution. |
universe@398 | 15 | * |
universe@398 | 16 | * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" |
universe@398 | 17 | * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE |
universe@398 | 18 | * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE |
universe@398 | 19 | * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE |
universe@398 | 20 | * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR |
universe@398 | 21 | * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF |
universe@398 | 22 | * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS |
universe@398 | 23 | * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN |
universe@398 | 24 | * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) |
universe@398 | 25 | * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE |
universe@398 | 26 | * POSSIBILITY OF SUCH DAMAGE. |
universe@398 | 27 | */ |
universe@453 | 28 | /** |
universe@453 | 29 | * \file linked_list.h |
universe@453 | 30 | * \brief Linked list implementation. |
universe@453 | 31 | * \details Also provides several low-level functions for custom linked list implementations. |
universe@453 | 32 | * \author Mike Becker |
universe@453 | 33 | * \author Olaf Wintermann |
universe@453 | 34 | * \version 3.0 |
universe@453 | 35 | * \copyright 2-Clause BSD License |
universe@453 | 36 | */ |
universe@398 | 37 | |
universe@398 | 38 | #ifndef UCX_LINKED_LIST_H |
universe@398 | 39 | #define UCX_LINKED_LIST_H |
universe@398 | 40 | |
universe@484 | 41 | #include "common.h" |
universe@398 | 42 | #include "list.h" |
universe@398 | 43 | |
universe@415 | 44 | #ifdef __cplusplus |
universe@415 | 45 | extern "C" { |
universe@415 | 46 | #endif |
universe@415 | 47 | |
universe@466 | 48 | /** |
universe@466 | 49 | * Allocates a linked list for storing elements with \p item_size bytes each. |
universe@466 | 50 | * |
universe@528 | 51 | * @remark Elements added to the list are copied, therefore a possible destructor |
universe@526 | 52 | * MUST NOT free the memory pointed to by its argument. |
universe@466 | 53 | * |
universe@466 | 54 | * @param allocator the allocator for allocating the list nodes |
universe@466 | 55 | * @param comparator the comparator for the elements |
universe@466 | 56 | * @param item_size the size of each element in bytes |
universe@466 | 57 | * @return the created list |
universe@466 | 58 | */ |
universe@500 | 59 | CxList *cxLinkedListCreate( |
universe@508 | 60 | CxAllocator const *allocator, |
universe@481 | 61 | CxListComparator comparator, |
universe@481 | 62 | size_t item_size |
universe@488 | 63 | ) __attribute__((__nonnull__)); |
universe@453 | 64 | |
universe@466 | 65 | /** |
universe@438 | 66 | * Finds the node at a certain index. |
universe@438 | 67 | * |
universe@438 | 68 | * This function can be used to start at an arbitrary position within the list. |
universe@438 | 69 | * If the search index is large than the start index, \p loc_advance must denote |
universe@438 | 70 | * the location of some sort of \c next pointer (i.e. a pointer to the next node). |
universe@438 | 71 | * But it is also possible that the search index is smaller than the start index |
universe@438 | 72 | * (e.g. in cases where traversing a list backwards is faster) in which case |
universe@438 | 73 | * \p loc_advance must denote the location of some sort of \c prev pointer |
universe@438 | 74 | * (i.e. a pointer to the previous node). |
universe@438 | 75 | * |
universe@438 | 76 | * @param start a pointer to the start node |
universe@438 | 77 | * @param start_index the start index |
universe@438 | 78 | * @param loc_advance the location of the pointer to advance |
universe@438 | 79 | * @param index the search index |
universe@438 | 80 | * @return the node found at the specified index |
universe@438 | 81 | */ |
universe@481 | 82 | void *cx_linked_list_at( |
universe@508 | 83 | void const *start, |
universe@481 | 84 | size_t start_index, |
universe@481 | 85 | ptrdiff_t loc_advance, |
universe@481 | 86 | size_t index |
universe@481 | 87 | ) __attribute__((__nonnull__)); |
universe@438 | 88 | |
universe@453 | 89 | /** |
universe@480 | 90 | * Finds the index of an element within a linked list. |
universe@480 | 91 | * |
universe@480 | 92 | * @param start a pointer to the start node |
universe@480 | 93 | * @param loc_advance the location of the pointer to advance |
universe@480 | 94 | * @param loc_data the location of the \c data pointer within your node struct |
universe@480 | 95 | * @param cmp_func a compare function to compare \p elem against the node data |
universe@480 | 96 | * @param elem a pointer to the element to find |
universe@480 | 97 | * @return the index of the element or a past-one index if the element could not be found |
universe@480 | 98 | */ |
universe@481 | 99 | size_t cx_linked_list_find( |
universe@489 | 100 | void const *start, |
universe@481 | 101 | ptrdiff_t loc_advance, |
universe@481 | 102 | ptrdiff_t loc_data, |
universe@481 | 103 | CxListComparator cmp_func, |
universe@489 | 104 | void const *elem |
universe@481 | 105 | ) __attribute__((__nonnull__)); |
universe@480 | 106 | |
universe@480 | 107 | /** |
universe@475 | 108 | * Finds the first node in a linked list. |
universe@475 | 109 | * |
universe@475 | 110 | * The function starts with the pointer denoted by \p node and traverses the list |
universe@475 | 111 | * along a prev pointer whose location within the node struct is |
universe@475 | 112 | * denoted by \p loc_prev. |
universe@475 | 113 | * |
universe@475 | 114 | * @param node a pointer to a node in the list |
universe@475 | 115 | * @param loc_prev the location of the \c prev pointer |
universe@485 | 116 | * @return a pointer to the first node |
universe@475 | 117 | */ |
universe@481 | 118 | void *cx_linked_list_first( |
universe@508 | 119 | void const *node, |
universe@481 | 120 | ptrdiff_t loc_prev |
universe@481 | 121 | ) __attribute__((__nonnull__)); |
universe@475 | 122 | |
universe@475 | 123 | /** |
universe@453 | 124 | * Finds the last node in a linked list. |
universe@453 | 125 | * |
universe@475 | 126 | * The function starts with the pointer denoted by \p node and traverses the list |
universe@456 | 127 | * along a next pointer whose location within the node struct is |
universe@453 | 128 | * denoted by \p loc_next. |
universe@453 | 129 | * |
universe@475 | 130 | * @param node a pointer to a node in the list |
universe@456 | 131 | * @param loc_next the location of the \c next pointer |
universe@478 | 132 | * @return a pointer to the last node |
universe@453 | 133 | */ |
universe@481 | 134 | void *cx_linked_list_last( |
universe@508 | 135 | void const *node, |
universe@481 | 136 | ptrdiff_t loc_next |
universe@481 | 137 | ) __attribute__((__nonnull__)); |
universe@398 | 138 | |
universe@453 | 139 | /** |
universe@473 | 140 | * Finds the predecessor of a node in case it is not linked. |
universe@473 | 141 | * |
universe@473 | 142 | * \remark If \p node is not contained in the list starting with \p begin, the behavior is undefined. |
universe@473 | 143 | * |
universe@473 | 144 | * @param begin the node where to start the search |
universe@473 | 145 | * @param loc_next the location of the \c next pointer |
universe@473 | 146 | * @param node the successor of the node to find |
universe@473 | 147 | * @return the node or \c NULL if \p node has no predecessor |
universe@473 | 148 | */ |
universe@481 | 149 | void *cx_linked_list_prev( |
universe@508 | 150 | void const *begin, |
universe@481 | 151 | ptrdiff_t loc_next, |
universe@508 | 152 | void const *node |
universe@481 | 153 | ) __attribute__((__nonnull__)); |
universe@473 | 154 | |
universe@473 | 155 | /** |
universe@453 | 156 | * Adds a new node to a linked list. |
universe@475 | 157 | * The node must not be part of any list already. |
universe@453 | 158 | * |
universe@478 | 159 | * \remark One of the pointers \p begin or \p end may be \c NULL, but not both. |
universe@453 | 160 | * |
universe@453 | 161 | * @param begin a pointer to the begin node pointer (if your list has one) |
universe@453 | 162 | * @param end a pointer to the end node pointer (if your list has one) |
universe@453 | 163 | * @param loc_prev the location of a \c prev pointer within your node struct (negative if your struct does not have one) |
universe@473 | 164 | * @param loc_next the location of a \c next pointer within your node struct (required) |
universe@453 | 165 | * @param new_node a pointer to the node that shall be appended |
universe@453 | 166 | */ |
universe@481 | 167 | void cx_linked_list_add( |
universe@481 | 168 | void **begin, |
universe@481 | 169 | void **end, |
universe@481 | 170 | ptrdiff_t loc_prev, |
universe@481 | 171 | ptrdiff_t loc_next, |
universe@481 | 172 | void *new_node |
universe@481 | 173 | ) __attribute__((__nonnull__(5))); |
universe@406 | 174 | |
universe@468 | 175 | /** |
universe@475 | 176 | * Prepends a new node to a linked list. |
universe@475 | 177 | * The node must not be part of any list already. |
universe@475 | 178 | * |
universe@478 | 179 | * \remark One of the pointers \p begin or \p end may be \c NULL, but not both. |
universe@475 | 180 | * |
universe@475 | 181 | * @param begin a pointer to the begin node pointer (if your list has one) |
universe@475 | 182 | * @param end a pointer to the end node pointer (if your list has one) |
universe@475 | 183 | * @param loc_prev the location of a \c prev pointer within your node struct (negative if your struct does not have one) |
universe@475 | 184 | * @param loc_next the location of a \c next pointer within your node struct (required) |
universe@475 | 185 | * @param new_node a pointer to the node that shall be prepended |
universe@475 | 186 | */ |
universe@481 | 187 | void cx_linked_list_prepend( |
universe@481 | 188 | void **begin, |
universe@481 | 189 | void **end, |
universe@481 | 190 | ptrdiff_t loc_prev, |
universe@481 | 191 | ptrdiff_t loc_next, |
universe@481 | 192 | void *new_node |
universe@481 | 193 | ) __attribute__((__nonnull__(5))); |
universe@481 | 194 | |
universe@481 | 195 | /** |
universe@481 | 196 | * Links two nodes. |
universe@481 | 197 | * |
universe@481 | 198 | * @param left the new predecessor of \p right |
universe@481 | 199 | * @param right the new successor of \p left |
universe@481 | 200 | * @param loc_prev the location of a \c prev pointer within your node struct (negative if your struct does not have one) |
universe@481 | 201 | * @param loc_next the location of a \c next pointer within your node struct (required) |
universe@481 | 202 | */ |
universe@481 | 203 | void cx_linked_list_link( |
universe@481 | 204 | void *left, |
universe@481 | 205 | void *right, |
universe@481 | 206 | ptrdiff_t loc_prev, |
universe@481 | 207 | ptrdiff_t loc_next |
universe@481 | 208 | ) __attribute__((__nonnull__)); |
universe@481 | 209 | |
universe@481 | 210 | /** |
universe@481 | 211 | * Unlinks two nodes. |
universe@481 | 212 | * |
universe@481 | 213 | * If right is not the successor of left, the behavior is undefined. |
universe@481 | 214 | * |
universe@481 | 215 | * @param left the predecessor of \p right |
universe@481 | 216 | * @param right the successor of \p left |
universe@481 | 217 | * @param loc_prev the location of a \c prev pointer within your node struct (negative if your struct does not have one) |
universe@481 | 218 | * @param loc_next the location of a \c next pointer within your node struct (required) |
universe@481 | 219 | */ |
universe@481 | 220 | void cx_linked_list_unlink( |
universe@481 | 221 | void *left, |
universe@481 | 222 | void *right, |
universe@481 | 223 | ptrdiff_t loc_prev, |
universe@481 | 224 | ptrdiff_t loc_next |
universe@481 | 225 | ) __attribute__((__nonnull__)); |
universe@481 | 226 | |
universe@481 | 227 | /** |
universe@481 | 228 | * Inserts a new node after a given node of a linked list. |
universe@481 | 229 | * The new node must not be part of any list already. |
universe@481 | 230 | * |
universe@481 | 231 | * \note If you specify \c NULL as the \p node to insert after, this function needs either the \p begin or |
universe@481 | 232 | * the \p end pointer to determine the start of the list. Then the new node will be prepended to the list. |
universe@481 | 233 | * |
universe@481 | 234 | * @param begin a pointer to the begin node pointer (if your list has one) |
universe@481 | 235 | * @param end a pointer to the end node pointer (if your list has one) |
universe@481 | 236 | * @param loc_prev the location of a \c prev pointer within your node struct (negative if your struct does not have one) |
universe@481 | 237 | * @param loc_next the location of a \c next pointer within your node struct (required) |
universe@481 | 238 | * @param node the node after which to insert (\c NULL if you want to prepend the node to the list) |
universe@481 | 239 | * @param new_node a pointer to the node that shall be prepended |
universe@481 | 240 | */ |
universe@481 | 241 | void cx_linked_list_insert( |
universe@481 | 242 | void **begin, |
universe@481 | 243 | void **end, |
universe@481 | 244 | ptrdiff_t loc_prev, |
universe@481 | 245 | ptrdiff_t loc_next, |
universe@481 | 246 | void *node, |
universe@481 | 247 | void *new_node |
universe@481 | 248 | ) __attribute__((__nonnull__(6))); |
universe@481 | 249 | |
universe@481 | 250 | /** |
universe@481 | 251 | * Inserts a chain of nodes after a given node of a linked list. |
universe@481 | 252 | * The chain must not be part of any list already. |
universe@481 | 253 | * |
universe@481 | 254 | * If you do not explicitly specify the end of the chain, it will be determined by traversing |
universe@481 | 255 | * the \c next pointer. |
universe@481 | 256 | * |
universe@481 | 257 | * \note If you specify \c NULL as the \p node to insert after, this function needs either the \p begin or |
universe@481 | 258 | * the \p end pointer to determine the start of the list. If only the \p end pointer is specified, you also need |
universe@481 | 259 | * to provide a valid \p loc_prev location. |
universe@481 | 260 | * Then the chain will be prepended to the list. |
universe@481 | 261 | * |
universe@481 | 262 | * @param begin a pointer to the begin node pointer (if your list has one) |
universe@481 | 263 | * @param end a pointer to the end node pointer (if your list has one) |
universe@481 | 264 | * @param loc_prev the location of a \c prev pointer within your node struct (negative if your struct does not have one) |
universe@481 | 265 | * @param loc_next the location of a \c next pointer within your node struct (required) |
universe@481 | 266 | * @param node the node after which to insert (\c NULL to prepend the chain to the list) |
universe@481 | 267 | * @param insert_begin a pointer to the first node of the chain that shall be inserted |
universe@481 | 268 | * @param insert_end a pointer to the last node of the chain (or NULL if the last node shall be determined) |
universe@481 | 269 | */ |
universe@481 | 270 | void cx_linked_list_insert_chain( |
universe@481 | 271 | void **begin, |
universe@481 | 272 | void **end, |
universe@481 | 273 | ptrdiff_t loc_prev, |
universe@481 | 274 | ptrdiff_t loc_next, |
universe@481 | 275 | void *node, |
universe@481 | 276 | void *insert_begin, |
universe@481 | 277 | void *insert_end |
universe@481 | 278 | ) __attribute__((__nonnull__(6))); |
universe@475 | 279 | |
universe@475 | 280 | /** |
universe@473 | 281 | * Removes a node from the linked list. |
universe@473 | 282 | * |
universe@473 | 283 | * If the node to remove is the begin (resp. end) node of the list and if \p begin (resp. \p end) |
universe@473 | 284 | * addresses are provided, the pointers are adjusted accordingly. |
universe@473 | 285 | * |
universe@473 | 286 | * The following combinations of arguments are valid (more arguments are optional): |
universe@477 | 287 | * \li \p loc_next and \p loc_prev (ancestor node is determined by using the prev pointer, overall O(1) performance) |
universe@477 | 288 | * \li \p loc_next and \p begin (ancestor node is determined by list traversal, overall O(n) performance) |
universe@473 | 289 | * |
universe@476 | 290 | * \remark The \c next and \c prev pointers of the removed node are not cleared by this function and may still be used |
universe@476 | 291 | * to traverse to a former adjacent node in the list. |
universe@473 | 292 | * |
universe@473 | 293 | * @param begin a pointer to the begin node pointer (optional) |
universe@473 | 294 | * @param end a pointer to the end node pointer (optional) |
universe@473 | 295 | * @param loc_prev the location of a \c prev pointer within your node struct (negative if your struct does not have one) |
universe@473 | 296 | * @param loc_next the location of a \c next pointer within your node struct (required) |
universe@473 | 297 | * @param node the node to remove |
universe@473 | 298 | */ |
universe@481 | 299 | void cx_linked_list_remove( |
universe@481 | 300 | void **begin, |
universe@481 | 301 | void **end, |
universe@481 | 302 | ptrdiff_t loc_prev, |
universe@481 | 303 | ptrdiff_t loc_next, |
universe@481 | 304 | void *node |
universe@481 | 305 | ) __attribute__((__nonnull__(5))); |
universe@473 | 306 | |
universe@473 | 307 | |
universe@473 | 308 | /** |
universe@468 | 309 | * Determines the size of a linked list starting with \p node. |
universe@468 | 310 | * @param node the first node |
universe@468 | 311 | * @param loc_next the location of the \c next pointer within the node struct |
universe@468 | 312 | * @return the size of the list or zero if \p node is \c NULL |
universe@468 | 313 | */ |
universe@481 | 314 | size_t cx_linked_list_size( |
universe@489 | 315 | void const *node, |
universe@481 | 316 | ptrdiff_t loc_next |
universe@481 | 317 | ); |
universe@468 | 318 | |
universe@468 | 319 | /** |
universe@468 | 320 | * Sorts a linked list based on a comparison function. |
universe@468 | 321 | * |
universe@639 | 322 | * This function can work with linked lists of the following structure: |
universe@468 | 323 | * \code |
universe@468 | 324 | * typedef struct node node; |
universe@468 | 325 | * struct node { |
universe@468 | 326 | * node* prev; |
universe@468 | 327 | * node* next; |
universe@639 | 328 | * my_payload data; |
universe@468 | 329 | * } |
universe@468 | 330 | * \endcode |
universe@468 | 331 | * |
universe@476 | 332 | * @note This is a recursive function with at most logarithmic recursion depth. |
universe@476 | 333 | * |
universe@468 | 334 | * @param begin a pointer to the begin node pointer (required) |
universe@468 | 335 | * @param end a pointer to the end node pointer (optional) |
universe@468 | 336 | * @param loc_prev the location of a \c prev pointer within your node struct (negative if not present) |
universe@468 | 337 | * @param loc_next the location of a \c next pointer within your node struct (required) |
universe@468 | 338 | * @param loc_data the location of the \c data pointer within your node struct |
universe@468 | 339 | * @param cmp_func the compare function defining the sort order |
universe@468 | 340 | */ |
universe@481 | 341 | void cx_linked_list_sort( |
universe@481 | 342 | void **begin, |
universe@481 | 343 | void **end, |
universe@481 | 344 | ptrdiff_t loc_prev, |
universe@481 | 345 | ptrdiff_t loc_next, |
universe@481 | 346 | ptrdiff_t loc_data, |
universe@481 | 347 | CxListComparator cmp_func |
universe@639 | 348 | ) __attribute__((__nonnull__(1, 6))); |
universe@473 | 349 | |
universe@486 | 350 | |
universe@486 | 351 | /** |
universe@486 | 352 | * Compares two lists element wise. |
universe@486 | 353 | * |
universe@488 | 354 | * \note Both list must have the same structure. |
universe@488 | 355 | * |
universe@486 | 356 | * @param begin_left the begin of the left list (\c NULL denotes an empty list) |
universe@486 | 357 | * @param begin_right the begin of the right list (\c NULL denotes an empty list) |
universe@486 | 358 | * @param loc_advance the location of the pointer to advance |
universe@486 | 359 | * @param loc_data the location of the \c data pointer within your node struct |
universe@486 | 360 | * @param cmp_func the function to compare the elements |
universe@552 | 361 | * @return the first non-zero result of invoking \p cmp_func or: negative if the left list is smaller than the |
universe@552 | 362 | * right list, positive if the left list is larger than the right list, zero if both lists are equal. |
universe@486 | 363 | */ |
universe@486 | 364 | int cx_linked_list_compare( |
universe@489 | 365 | void const *begin_left, |
universe@489 | 366 | void const *begin_right, |
universe@486 | 367 | ptrdiff_t loc_advance, |
universe@486 | 368 | ptrdiff_t loc_data, |
universe@486 | 369 | CxListComparator cmp_func |
universe@639 | 370 | ) __attribute__((__nonnull__(5))); |
universe@486 | 371 | |
universe@473 | 372 | /** |
universe@473 | 373 | * Reverses the order of the nodes in a linked list. |
universe@473 | 374 | * |
universe@473 | 375 | * @param begin a pointer to the begin node pointer (required) |
universe@473 | 376 | * @param end a pointer to the end node pointer (optional) |
universe@473 | 377 | * @param loc_prev the location of a \c prev pointer within your node struct (negative if your struct does not have one) |
universe@473 | 378 | * @param loc_next the location of a \c next pointer within your node struct (required) |
universe@473 | 379 | */ |
universe@481 | 380 | void cx_linked_list_reverse( |
universe@481 | 381 | void **begin, |
universe@481 | 382 | void **end, |
universe@481 | 383 | ptrdiff_t loc_prev, |
universe@481 | 384 | ptrdiff_t loc_next |
universe@481 | 385 | ) __attribute__((__nonnull__(1))); |
universe@473 | 386 | |
universe@415 | 387 | #ifdef __cplusplus |
universe@628 | 388 | } // extern "C" |
universe@415 | 389 | #endif |
universe@415 | 390 | |
universe@628 | 391 | #endif // UCX_LINKED_LIST_H |