src/cx/linked_list.h

Mon, 23 Jan 2023 20:34:18 +0100

author
Mike Becker <universe@uap-core.de>
date
Mon, 23 Jan 2023 20:34:18 +0100
changeset 639
309e8b08c60e
parent 629
6c81ee4f11ad
child 647
2e6e9d9f2159
permissions
-rw-r--r--

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

mercurial