src/cx/linked_list.h

Tue, 28 Dec 2021 17:24:18 +0100

author
Mike Becker <universe@uap-core.de>
date
Tue, 28 Dec 2021 17:24:18 +0100
changeset 488
9138acaa494b
parent 487
4bd19279778c
child 489
af6be1e123aa
permissions
-rw-r--r--

add cxLinkedListFromArray() and cxListCompare()

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

mercurial