Thu, 23 Feb 2023 22:43:13 +0100
add simple functions for creating lists
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@647 | 49 | * Set this flag to true, if you want to disable the use of SBO for |
universe@647 | 50 | * linked list swap operations. |
universe@647 | 51 | */ |
universe@647 | 52 | extern bool CX_DISABLE_LINKED_LIST_SWAP_SBO; |
universe@647 | 53 | |
universe@647 | 54 | /** |
universe@466 | 55 | * Allocates a linked list for storing elements with \p item_size bytes each. |
universe@466 | 56 | * |
universe@466 | 57 | * @param allocator the allocator for allocating the list nodes |
universe@466 | 58 | * @param comparator the comparator for the elements |
universe@466 | 59 | * @param item_size the size of each element in bytes |
universe@466 | 60 | * @return the created list |
universe@466 | 61 | */ |
universe@500 | 62 | CxList *cxLinkedListCreate( |
universe@508 | 63 | CxAllocator const *allocator, |
universe@481 | 64 | CxListComparator comparator, |
universe@481 | 65 | size_t item_size |
universe@488 | 66 | ) __attribute__((__nonnull__)); |
universe@453 | 67 | |
universe@466 | 68 | /** |
universe@662 | 69 | * Allocates a linked list for storing elements with \p item_size bytes each. |
universe@662 | 70 | * |
universe@662 | 71 | * The list will use cxDefaultAllocator and no comparator function. If you want |
universe@662 | 72 | * to call functions that need a comparator, you must either set one immediately |
universe@662 | 73 | * after list creation or use cxLinkedListCreate(). |
universe@662 | 74 | * |
universe@662 | 75 | * @param item_size the size of each element in bytes |
universe@662 | 76 | * @return the created list |
universe@662 | 77 | */ |
universe@662 | 78 | CxList *cxLinkedListCreateSimple(size_t item_size); |
universe@662 | 79 | |
universe@662 | 80 | /** |
universe@438 | 81 | * Finds the node at a certain index. |
universe@438 | 82 | * |
universe@438 | 83 | * This function can be used to start at an arbitrary position within the list. |
universe@438 | 84 | * If the search index is large than the start index, \p loc_advance must denote |
universe@438 | 85 | * the location of some sort of \c next pointer (i.e. a pointer to the next node). |
universe@438 | 86 | * But it is also possible that the search index is smaller than the start index |
universe@438 | 87 | * (e.g. in cases where traversing a list backwards is faster) in which case |
universe@438 | 88 | * \p loc_advance must denote the location of some sort of \c prev pointer |
universe@438 | 89 | * (i.e. a pointer to the previous node). |
universe@438 | 90 | * |
universe@438 | 91 | * @param start a pointer to the start node |
universe@438 | 92 | * @param start_index the start index |
universe@438 | 93 | * @param loc_advance the location of the pointer to advance |
universe@438 | 94 | * @param index the search index |
universe@438 | 95 | * @return the node found at the specified index |
universe@438 | 96 | */ |
universe@481 | 97 | void *cx_linked_list_at( |
universe@508 | 98 | void const *start, |
universe@481 | 99 | size_t start_index, |
universe@481 | 100 | ptrdiff_t loc_advance, |
universe@481 | 101 | size_t index |
universe@481 | 102 | ) __attribute__((__nonnull__)); |
universe@438 | 103 | |
universe@453 | 104 | /** |
universe@480 | 105 | * Finds the index of an element within a linked list. |
universe@480 | 106 | * |
universe@480 | 107 | * @param start a pointer to the start node |
universe@480 | 108 | * @param loc_advance the location of the pointer to advance |
universe@480 | 109 | * @param loc_data the location of the \c data pointer within your node struct |
universe@480 | 110 | * @param cmp_func a compare function to compare \p elem against the node data |
universe@480 | 111 | * @param elem a pointer to the element to find |
universe@480 | 112 | * @return the index of the element or a past-one index if the element could not be found |
universe@480 | 113 | */ |
universe@481 | 114 | size_t cx_linked_list_find( |
universe@489 | 115 | void const *start, |
universe@481 | 116 | ptrdiff_t loc_advance, |
universe@481 | 117 | ptrdiff_t loc_data, |
universe@481 | 118 | CxListComparator cmp_func, |
universe@489 | 119 | void const *elem |
universe@481 | 120 | ) __attribute__((__nonnull__)); |
universe@480 | 121 | |
universe@480 | 122 | /** |
universe@475 | 123 | * Finds the first node in a linked list. |
universe@475 | 124 | * |
universe@475 | 125 | * The function starts with the pointer denoted by \p node and traverses the list |
universe@475 | 126 | * along a prev pointer whose location within the node struct is |
universe@475 | 127 | * denoted by \p loc_prev. |
universe@475 | 128 | * |
universe@475 | 129 | * @param node a pointer to a node in the list |
universe@475 | 130 | * @param loc_prev the location of the \c prev pointer |
universe@485 | 131 | * @return a pointer to the first node |
universe@475 | 132 | */ |
universe@481 | 133 | void *cx_linked_list_first( |
universe@508 | 134 | void const *node, |
universe@481 | 135 | ptrdiff_t loc_prev |
universe@481 | 136 | ) __attribute__((__nonnull__)); |
universe@475 | 137 | |
universe@475 | 138 | /** |
universe@453 | 139 | * Finds the last node in a linked list. |
universe@453 | 140 | * |
universe@475 | 141 | * The function starts with the pointer denoted by \p node and traverses the list |
universe@456 | 142 | * along a next pointer whose location within the node struct is |
universe@453 | 143 | * denoted by \p loc_next. |
universe@453 | 144 | * |
universe@475 | 145 | * @param node a pointer to a node in the list |
universe@456 | 146 | * @param loc_next the location of the \c next pointer |
universe@478 | 147 | * @return a pointer to the last node |
universe@453 | 148 | */ |
universe@481 | 149 | void *cx_linked_list_last( |
universe@508 | 150 | void const *node, |
universe@481 | 151 | ptrdiff_t loc_next |
universe@481 | 152 | ) __attribute__((__nonnull__)); |
universe@398 | 153 | |
universe@453 | 154 | /** |
universe@473 | 155 | * Finds the predecessor of a node in case it is not linked. |
universe@473 | 156 | * |
universe@473 | 157 | * \remark If \p node is not contained in the list starting with \p begin, the behavior is undefined. |
universe@473 | 158 | * |
universe@473 | 159 | * @param begin the node where to start the search |
universe@473 | 160 | * @param loc_next the location of the \c next pointer |
universe@473 | 161 | * @param node the successor of the node to find |
universe@473 | 162 | * @return the node or \c NULL if \p node has no predecessor |
universe@473 | 163 | */ |
universe@481 | 164 | void *cx_linked_list_prev( |
universe@508 | 165 | void const *begin, |
universe@481 | 166 | ptrdiff_t loc_next, |
universe@508 | 167 | void const *node |
universe@481 | 168 | ) __attribute__((__nonnull__)); |
universe@473 | 169 | |
universe@473 | 170 | /** |
universe@453 | 171 | * Adds a new node to a linked list. |
universe@475 | 172 | * The node must not be part of any list already. |
universe@453 | 173 | * |
universe@478 | 174 | * \remark One of the pointers \p begin or \p end may be \c NULL, but not both. |
universe@453 | 175 | * |
universe@453 | 176 | * @param begin a pointer to the begin node pointer (if your list has one) |
universe@453 | 177 | * @param end a pointer to the end node pointer (if your list has one) |
universe@453 | 178 | * @param loc_prev the location of a \c prev pointer within your node struct (negative if your struct does not have one) |
universe@473 | 179 | * @param loc_next the location of a \c next pointer within your node struct (required) |
universe@453 | 180 | * @param new_node a pointer to the node that shall be appended |
universe@453 | 181 | */ |
universe@481 | 182 | void cx_linked_list_add( |
universe@481 | 183 | void **begin, |
universe@481 | 184 | void **end, |
universe@481 | 185 | ptrdiff_t loc_prev, |
universe@481 | 186 | ptrdiff_t loc_next, |
universe@481 | 187 | void *new_node |
universe@481 | 188 | ) __attribute__((__nonnull__(5))); |
universe@406 | 189 | |
universe@468 | 190 | /** |
universe@475 | 191 | * Prepends a new node to a linked list. |
universe@475 | 192 | * The node must not be part of any list already. |
universe@475 | 193 | * |
universe@478 | 194 | * \remark One of the pointers \p begin or \p end may be \c NULL, but not both. |
universe@475 | 195 | * |
universe@475 | 196 | * @param begin a pointer to the begin node pointer (if your list has one) |
universe@475 | 197 | * @param end a pointer to the end node pointer (if your list has one) |
universe@475 | 198 | * @param loc_prev the location of a \c prev pointer within your node struct (negative if your struct does not have one) |
universe@475 | 199 | * @param loc_next the location of a \c next pointer within your node struct (required) |
universe@475 | 200 | * @param new_node a pointer to the node that shall be prepended |
universe@475 | 201 | */ |
universe@481 | 202 | void cx_linked_list_prepend( |
universe@481 | 203 | void **begin, |
universe@481 | 204 | void **end, |
universe@481 | 205 | ptrdiff_t loc_prev, |
universe@481 | 206 | ptrdiff_t loc_next, |
universe@481 | 207 | void *new_node |
universe@481 | 208 | ) __attribute__((__nonnull__(5))); |
universe@481 | 209 | |
universe@481 | 210 | /** |
universe@481 | 211 | * Links two nodes. |
universe@481 | 212 | * |
universe@481 | 213 | * @param left the new predecessor of \p right |
universe@481 | 214 | * @param right the new successor of \p left |
universe@481 | 215 | * @param loc_prev the location of a \c prev pointer within your node struct (negative if your struct does not have one) |
universe@481 | 216 | * @param loc_next the location of a \c next pointer within your node struct (required) |
universe@481 | 217 | */ |
universe@481 | 218 | void cx_linked_list_link( |
universe@481 | 219 | void *left, |
universe@481 | 220 | void *right, |
universe@481 | 221 | ptrdiff_t loc_prev, |
universe@481 | 222 | ptrdiff_t loc_next |
universe@481 | 223 | ) __attribute__((__nonnull__)); |
universe@481 | 224 | |
universe@481 | 225 | /** |
universe@481 | 226 | * Unlinks two nodes. |
universe@481 | 227 | * |
universe@481 | 228 | * If right is not the successor of left, the behavior is undefined. |
universe@481 | 229 | * |
universe@481 | 230 | * @param left the predecessor of \p right |
universe@481 | 231 | * @param right the successor of \p left |
universe@481 | 232 | * @param loc_prev the location of a \c prev pointer within your node struct (negative if your struct does not have one) |
universe@481 | 233 | * @param loc_next the location of a \c next pointer within your node struct (required) |
universe@481 | 234 | */ |
universe@481 | 235 | void cx_linked_list_unlink( |
universe@481 | 236 | void *left, |
universe@481 | 237 | void *right, |
universe@481 | 238 | ptrdiff_t loc_prev, |
universe@481 | 239 | ptrdiff_t loc_next |
universe@481 | 240 | ) __attribute__((__nonnull__)); |
universe@481 | 241 | |
universe@481 | 242 | /** |
universe@481 | 243 | * Inserts a new node after a given node of a linked list. |
universe@481 | 244 | * The new node must not be part of any list already. |
universe@481 | 245 | * |
universe@481 | 246 | * \note If you specify \c NULL as the \p node to insert after, this function needs either the \p begin or |
universe@481 | 247 | * the \p end pointer to determine the start of the list. Then the new node will be prepended to the list. |
universe@481 | 248 | * |
universe@481 | 249 | * @param begin a pointer to the begin node pointer (if your list has one) |
universe@481 | 250 | * @param end a pointer to the end node pointer (if your list has one) |
universe@481 | 251 | * @param loc_prev the location of a \c prev pointer within your node struct (negative if your struct does not have one) |
universe@481 | 252 | * @param loc_next the location of a \c next pointer within your node struct (required) |
universe@481 | 253 | * @param node the node after which to insert (\c NULL if you want to prepend the node to the list) |
universe@481 | 254 | * @param new_node a pointer to the node that shall be prepended |
universe@481 | 255 | */ |
universe@481 | 256 | void cx_linked_list_insert( |
universe@481 | 257 | void **begin, |
universe@481 | 258 | void **end, |
universe@481 | 259 | ptrdiff_t loc_prev, |
universe@481 | 260 | ptrdiff_t loc_next, |
universe@481 | 261 | void *node, |
universe@481 | 262 | void *new_node |
universe@481 | 263 | ) __attribute__((__nonnull__(6))); |
universe@481 | 264 | |
universe@481 | 265 | /** |
universe@481 | 266 | * Inserts a chain of nodes after a given node of a linked list. |
universe@481 | 267 | * The chain must not be part of any list already. |
universe@481 | 268 | * |
universe@481 | 269 | * If you do not explicitly specify the end of the chain, it will be determined by traversing |
universe@481 | 270 | * the \c next pointer. |
universe@481 | 271 | * |
universe@481 | 272 | * \note If you specify \c NULL as the \p node to insert after, this function needs either the \p begin or |
universe@481 | 273 | * the \p end pointer to determine the start of the list. If only the \p end pointer is specified, you also need |
universe@481 | 274 | * to provide a valid \p loc_prev location. |
universe@481 | 275 | * Then the chain will be prepended to the list. |
universe@481 | 276 | * |
universe@481 | 277 | * @param begin a pointer to the begin node pointer (if your list has one) |
universe@481 | 278 | * @param end a pointer to the end node pointer (if your list has one) |
universe@481 | 279 | * @param loc_prev the location of a \c prev pointer within your node struct (negative if your struct does not have one) |
universe@481 | 280 | * @param loc_next the location of a \c next pointer within your node struct (required) |
universe@481 | 281 | * @param node the node after which to insert (\c NULL to prepend the chain to the list) |
universe@481 | 282 | * @param insert_begin a pointer to the first node of the chain that shall be inserted |
universe@481 | 283 | * @param insert_end a pointer to the last node of the chain (or NULL if the last node shall be determined) |
universe@481 | 284 | */ |
universe@481 | 285 | void cx_linked_list_insert_chain( |
universe@481 | 286 | void **begin, |
universe@481 | 287 | void **end, |
universe@481 | 288 | ptrdiff_t loc_prev, |
universe@481 | 289 | ptrdiff_t loc_next, |
universe@481 | 290 | void *node, |
universe@481 | 291 | void *insert_begin, |
universe@481 | 292 | void *insert_end |
universe@481 | 293 | ) __attribute__((__nonnull__(6))); |
universe@475 | 294 | |
universe@475 | 295 | /** |
universe@473 | 296 | * Removes a node from the linked list. |
universe@473 | 297 | * |
universe@473 | 298 | * If the node to remove is the begin (resp. end) node of the list and if \p begin (resp. \p end) |
universe@473 | 299 | * addresses are provided, the pointers are adjusted accordingly. |
universe@473 | 300 | * |
universe@473 | 301 | * The following combinations of arguments are valid (more arguments are optional): |
universe@477 | 302 | * \li \p loc_next and \p loc_prev (ancestor node is determined by using the prev pointer, overall O(1) performance) |
universe@477 | 303 | * \li \p loc_next and \p begin (ancestor node is determined by list traversal, overall O(n) performance) |
universe@473 | 304 | * |
universe@476 | 305 | * \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 | 306 | * to traverse to a former adjacent node in the list. |
universe@473 | 307 | * |
universe@473 | 308 | * @param begin a pointer to the begin node pointer (optional) |
universe@473 | 309 | * @param end a pointer to the end node pointer (optional) |
universe@473 | 310 | * @param loc_prev the location of a \c prev pointer within your node struct (negative if your struct does not have one) |
universe@473 | 311 | * @param loc_next the location of a \c next pointer within your node struct (required) |
universe@473 | 312 | * @param node the node to remove |
universe@473 | 313 | */ |
universe@481 | 314 | void cx_linked_list_remove( |
universe@481 | 315 | void **begin, |
universe@481 | 316 | void **end, |
universe@481 | 317 | ptrdiff_t loc_prev, |
universe@481 | 318 | ptrdiff_t loc_next, |
universe@481 | 319 | void *node |
universe@481 | 320 | ) __attribute__((__nonnull__(5))); |
universe@473 | 321 | |
universe@473 | 322 | |
universe@473 | 323 | /** |
universe@468 | 324 | * Determines the size of a linked list starting with \p node. |
universe@468 | 325 | * @param node the first node |
universe@468 | 326 | * @param loc_next the location of the \c next pointer within the node struct |
universe@468 | 327 | * @return the size of the list or zero if \p node is \c NULL |
universe@468 | 328 | */ |
universe@481 | 329 | size_t cx_linked_list_size( |
universe@489 | 330 | void const *node, |
universe@481 | 331 | ptrdiff_t loc_next |
universe@481 | 332 | ); |
universe@468 | 333 | |
universe@468 | 334 | /** |
universe@468 | 335 | * Sorts a linked list based on a comparison function. |
universe@468 | 336 | * |
universe@639 | 337 | * This function can work with linked lists of the following structure: |
universe@468 | 338 | * \code |
universe@468 | 339 | * typedef struct node node; |
universe@468 | 340 | * struct node { |
universe@468 | 341 | * node* prev; |
universe@468 | 342 | * node* next; |
universe@639 | 343 | * my_payload data; |
universe@468 | 344 | * } |
universe@468 | 345 | * \endcode |
universe@468 | 346 | * |
universe@476 | 347 | * @note This is a recursive function with at most logarithmic recursion depth. |
universe@476 | 348 | * |
universe@468 | 349 | * @param begin a pointer to the begin node pointer (required) |
universe@468 | 350 | * @param end a pointer to the end node pointer (optional) |
universe@468 | 351 | * @param loc_prev the location of a \c prev pointer within your node struct (negative if not present) |
universe@468 | 352 | * @param loc_next the location of a \c next pointer within your node struct (required) |
universe@468 | 353 | * @param loc_data the location of the \c data pointer within your node struct |
universe@468 | 354 | * @param cmp_func the compare function defining the sort order |
universe@468 | 355 | */ |
universe@481 | 356 | void cx_linked_list_sort( |
universe@481 | 357 | void **begin, |
universe@481 | 358 | void **end, |
universe@481 | 359 | ptrdiff_t loc_prev, |
universe@481 | 360 | ptrdiff_t loc_next, |
universe@481 | 361 | ptrdiff_t loc_data, |
universe@481 | 362 | CxListComparator cmp_func |
universe@639 | 363 | ) __attribute__((__nonnull__(1, 6))); |
universe@473 | 364 | |
universe@486 | 365 | |
universe@486 | 366 | /** |
universe@486 | 367 | * Compares two lists element wise. |
universe@486 | 368 | * |
universe@488 | 369 | * \note Both list must have the same structure. |
universe@488 | 370 | * |
universe@486 | 371 | * @param begin_left the begin of the left list (\c NULL denotes an empty list) |
universe@486 | 372 | * @param begin_right the begin of the right list (\c NULL denotes an empty list) |
universe@486 | 373 | * @param loc_advance the location of the pointer to advance |
universe@486 | 374 | * @param loc_data the location of the \c data pointer within your node struct |
universe@486 | 375 | * @param cmp_func the function to compare the elements |
universe@552 | 376 | * @return the first non-zero result of invoking \p cmp_func or: negative if the left list is smaller than the |
universe@552 | 377 | * right list, positive if the left list is larger than the right list, zero if both lists are equal. |
universe@486 | 378 | */ |
universe@486 | 379 | int cx_linked_list_compare( |
universe@489 | 380 | void const *begin_left, |
universe@489 | 381 | void const *begin_right, |
universe@486 | 382 | ptrdiff_t loc_advance, |
universe@486 | 383 | ptrdiff_t loc_data, |
universe@486 | 384 | CxListComparator cmp_func |
universe@639 | 385 | ) __attribute__((__nonnull__(5))); |
universe@486 | 386 | |
universe@473 | 387 | /** |
universe@473 | 388 | * Reverses the order of the nodes in a linked list. |
universe@473 | 389 | * |
universe@473 | 390 | * @param begin a pointer to the begin node pointer (required) |
universe@473 | 391 | * @param end a pointer to the end node pointer (optional) |
universe@473 | 392 | * @param loc_prev the location of a \c prev pointer within your node struct (negative if your struct does not have one) |
universe@473 | 393 | * @param loc_next the location of a \c next pointer within your node struct (required) |
universe@473 | 394 | */ |
universe@481 | 395 | void cx_linked_list_reverse( |
universe@481 | 396 | void **begin, |
universe@481 | 397 | void **end, |
universe@481 | 398 | ptrdiff_t loc_prev, |
universe@481 | 399 | ptrdiff_t loc_next |
universe@481 | 400 | ) __attribute__((__nonnull__(1))); |
universe@473 | 401 | |
universe@415 | 402 | #ifdef __cplusplus |
universe@628 | 403 | } // extern "C" |
universe@415 | 404 | #endif |
universe@415 | 405 | |
universe@628 | 406 | #endif // UCX_LINKED_LIST_H |