src/cx/list.h

Mon, 18 Apr 2022 16:29:14 +0200

author
Mike Becker <universe@uap-core.de>
date
Mon, 18 Apr 2022 16:29:14 +0200
changeset 526
b070ef465313
parent 525
536646d1575b
child 528
4fbfac557df8
permissions
-rw-r--r--

simplify destructor signature (but loads more responsibility onto the user)

universe@390 1 /*
universe@390 2 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS HEADER.
universe@390 3 *
universe@390 4 * Copyright 2021 Mike Becker, Olaf Wintermann All rights reserved.
universe@390 5 *
universe@390 6 * Redistribution and use in source and binary forms, with or without
universe@390 7 * modification, are permitted provided that the following conditions are met:
universe@390 8 *
universe@390 9 * 1. Redistributions of source code must retain the above copyright
universe@390 10 * notice, this list of conditions and the following disclaimer.
universe@390 11 *
universe@390 12 * 2. Redistributions in binary form must reproduce the above copyright
universe@390 13 * notice, this list of conditions and the following disclaimer in the
universe@390 14 * documentation and/or other materials provided with the distribution.
universe@390 15 *
universe@390 16 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
universe@390 17 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
universe@390 18 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
universe@390 19 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
universe@390 20 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
universe@390 21 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
universe@390 22 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
universe@390 23 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
universe@390 24 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
universe@390 25 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
universe@390 26 * POSSIBILITY OF SUCH DAMAGE.
universe@390 27 */
universe@453 28 /**
universe@453 29 * \file list.h
universe@453 30 * \brief Interface for list implementations.
universe@453 31 * \author Mike Becker
universe@453 32 * \author Olaf Wintermann
universe@453 33 * \version 3.0
universe@453 34 * \copyright 2-Clause BSD License
universe@453 35 */
universe@390 36
universe@390 37 #ifndef UCX_LIST_H
universe@390 38 #define UCX_LIST_H
universe@390 39
universe@484 40 #include "common.h"
universe@398 41 #include "allocator.h"
universe@494 42 #include "iterator.h"
universe@398 43
universe@415 44 #ifdef __cplusplus
universe@415 45 extern "C" {
universe@415 46 #endif
universe@415 47
universe@464 48 /**
universe@464 49 * A comparator function comparing two list elements.
universe@464 50 */
universe@489 51 typedef int(*CxListComparator)(
universe@489 52 void const *left,
universe@489 53 void const *right
universe@489 54 );
universe@398 55
universe@464 56 /**
universe@500 57 * List class type.
universe@464 58 */
universe@500 59 typedef struct cx_list_class_s cx_list_class;
universe@435 60
universe@464 61 /**
universe@464 62 * Structure for holding the base data of a list.
universe@464 63 */
universe@435 64 struct cx_list_s {
universe@464 65 /**
universe@464 66 * The list class definition.
universe@464 67 */
universe@435 68 cx_list_class *cl;
universe@464 69 /**
universe@464 70 * The allocator to use.
universe@464 71 */
universe@508 72 CxAllocator const *allocator;
universe@464 73 /**
universe@503 74 * An optional destructor for the list contents.
universe@526 75 *
universe@526 76 * @attention Read the documentation of the particular list implementation
universe@526 77 * whether this destructor shall only destroy the contents or also free the memory.
universe@503 78 */
universe@503 79 cx_destructor_func content_destructor;
universe@503 80 /**
universe@464 81 * The comparator function for the elements.
universe@464 82 */
universe@398 83 CxListComparator cmpfunc;
universe@464 84 /**
universe@464 85 * The size of each element (payload only).
universe@464 86 */
universe@401 87 size_t itemsize;
universe@464 88 /**
universe@464 89 * The size of the list (number of currently stored elements).
universe@464 90 */
universe@401 91 size_t size;
universe@464 92 /**
universe@464 93 * The capacity of the list (maximum number of elements).
universe@464 94 */
universe@401 95 size_t capacity;
universe@435 96 };
universe@398 97
universe@464 98 /**
universe@500 99 * The class definition for arbitrary lists.
universe@500 100 */
universe@500 101 struct cx_list_class_s {
universe@500 102 /**
universe@524 103 * Destructor function.
universe@524 104 */
universe@524 105 void (*destructor)(struct cx_list_s *list);
universe@524 106
universe@524 107 /**
universe@500 108 * Member function for adding an element.
universe@500 109 */
universe@500 110 int (*add)(
universe@500 111 struct cx_list_s *list,
universe@500 112 void const *elem
universe@500 113 );
universe@500 114
universe@500 115 /**
universe@500 116 * Member function for inserting an element.
universe@500 117 */
universe@500 118 int (*insert)(
universe@500 119 struct cx_list_s *list,
universe@500 120 size_t index,
universe@500 121 void const *elem
universe@500 122 );
universe@500 123
universe@500 124 /**
universe@500 125 * Member function for inserting an element relative to an iterator position.
universe@500 126 */
universe@500 127 int (*insert_iter)(
universe@500 128 struct cx_iterator_s *iter,
universe@500 129 void const *elem,
universe@500 130 int prepend
universe@500 131 );
universe@500 132
universe@500 133 /**
universe@500 134 * Member function for removing an element.
universe@500 135 */
universe@500 136 int (*remove)(
universe@500 137 struct cx_list_s *list,
universe@500 138 size_t index
universe@500 139 );
universe@500 140
universe@500 141 /**
universe@500 142 * Member function for element lookup.
universe@500 143 */
universe@500 144 void *(*at)(
universe@500 145 struct cx_list_s const *list,
universe@500 146 size_t index
universe@500 147 );
universe@500 148
universe@500 149 /**
universe@500 150 * Member function for finding an element.
universe@500 151 */
universe@500 152 size_t (*find)(
universe@500 153 struct cx_list_s const *list,
universe@500 154 void const *elem
universe@500 155 );
universe@500 156
universe@500 157 /**
universe@500 158 * Member function for sorting the list in place.
universe@500 159 */
universe@500 160 void (*sort)(struct cx_list_s *list);
universe@500 161
universe@500 162 /**
universe@500 163 * Member function for comparing this list to another list of the same type.
universe@500 164 */
universe@500 165 int (*compare)(
universe@500 166 struct cx_list_s const *list,
universe@500 167 struct cx_list_s const *other
universe@500 168 );
universe@500 169
universe@500 170 /**
universe@500 171 * Member function for reversing the order of the items.
universe@500 172 */
universe@500 173 void (*reverse)(struct cx_list_s *list);
universe@500 174
universe@500 175 /**
universe@500 176 * Returns an iterator pointing to the specified index.
universe@500 177 */
universe@500 178 struct cx_iterator_s (*iterator)(
universe@500 179 struct cx_list_s *list,
universe@500 180 size_t index
universe@500 181 );
universe@500 182 };
universe@500 183
universe@500 184 /**
universe@464 185 * Common type for all list implementations.
universe@464 186 */
universe@500 187 typedef struct cx_list_s CxList;
universe@398 188
universe@464 189 /**
universe@464 190 * Adds an item to the end of the list.
universe@464 191 *
universe@464 192 * @param list the list
universe@464 193 * @param elem a pointer to the element to add
universe@464 194 * @return zero on success, non-zero on memory allocation failure
universe@464 195 */
universe@508 196 __attribute__((__nonnull__))
universe@489 197 static inline int cxListAdd(
universe@500 198 CxList *list,
universe@489 199 void const *elem
universe@489 200 ) {
universe@469 201 return list->cl->add(list, elem);
universe@469 202 }
universe@398 203
universe@464 204 /**
universe@464 205 * Inserts an item at the specified index.
universe@464 206 *
universe@464 207 * If \p index equals the list \c size, this is effectively cxListAdd().
universe@464 208 *
universe@464 209 * @param list the list
universe@464 210 * @param index the index the element shall have
universe@464 211 * @param elem a pointer to the element to add
universe@464 212 * @return zero on success, non-zero on memory allocation failure
universe@464 213 * or when the index is out of bounds
universe@499 214 * @see cxListInsertAfter()
universe@499 215 * @see cxListInsertBefore()
universe@464 216 */
universe@508 217 __attribute__((__nonnull__))
universe@489 218 static inline int cxListInsert(
universe@500 219 CxList *list,
universe@489 220 size_t index,
universe@489 221 void const *elem
universe@489 222 ) {
universe@469 223 return list->cl->insert(list, index, elem);
universe@469 224 }
universe@398 225
universe@464 226 /**
universe@499 227 * Inserts an element after the current location of the specified iterator.
universe@499 228 *
universe@499 229 * The used iterator remains operational, but all other active iterators should
universe@499 230 * be considered invalidated.
universe@499 231 *
universe@499 232 * If \p iter is not a list iterator, the behavior is undefined.
universe@499 233 * If \p iter is a past-the-end iterator, the new element gets appended to the list.
universe@499 234 *
universe@499 235 * @param iter an iterator
universe@499 236 * @param elem the element to insert
universe@499 237 * @return zero on success, non-zero on memory allocation failure
universe@499 238 * @see cxListInsert()
universe@499 239 * @see cxListInsertBefore()
universe@499 240 */
universe@508 241 __attribute__((__nonnull__))
universe@499 242 static inline int cxListInsertAfter(
universe@499 243 CxIterator *iter,
universe@499 244 void const *elem
universe@499 245 ) {
universe@500 246 return ((struct cx_list_s *) iter->src_handle)->cl->insert_iter(iter, elem, 0);
universe@499 247 }
universe@499 248
universe@499 249 /**
universe@499 250 * Inserts an element before the current location of the specified iterator.
universe@499 251 *
universe@499 252 * The used iterator remains operational, but all other active iterators should
universe@499 253 * be considered invalidated.
universe@499 254 *
universe@499 255 * If \p iter is not a list iterator, the behavior is undefined.
universe@499 256 * If \p iter is a past-the-end iterator, the new element gets appended to the list.
universe@499 257 *
universe@499 258 * @param iter an iterator
universe@499 259 * @param elem the element to insert
universe@499 260 * @return zero on success, non-zero on memory allocation failure
universe@499 261 * @see cxListInsert()
universe@499 262 * @see cxListInsertAfter()
universe@499 263 */
universe@508 264 __attribute__((__nonnull__))
universe@499 265 static inline int cxListInsertBefore(
universe@499 266 CxIterator *iter,
universe@499 267 void const *elem
universe@499 268 ) {
universe@500 269 return ((struct cx_list_s *) iter->src_handle)->cl->insert_iter(iter, elem, 1);
universe@499 270 }
universe@499 271
universe@499 272 /**
universe@464 273 * Removes the element at the specified index.
universe@464 274 * @param list the list
universe@464 275 * @param index the index of the element
universe@464 276 * @return zero on success, non-zero if the index is out of bounds
universe@464 277 */
universe@508 278 __attribute__((__nonnull__))
universe@489 279 static inline int cxListRemove(
universe@500 280 CxList *list,
universe@489 281 size_t index
universe@489 282 ) {
universe@469 283 return list->cl->remove(list, index);
universe@469 284 }
universe@398 285
universe@464 286 /**
universe@464 287 * Returns a pointer to the element at the specified index.
universe@464 288 *
universe@464 289 * @param list the list
universe@464 290 * @param index the index of the element
universe@464 291 * @return a pointer to the element or \c NULL if the index is out of bounds
universe@464 292 */
universe@508 293 __attribute__((__nonnull__))
universe@489 294 static inline void *cxListAt(
universe@500 295 CxList *list,
universe@489 296 size_t index
universe@489 297 ) {
universe@469 298 return list->cl->at(list, index);
universe@469 299 }
universe@439 300
universe@464 301 /**
universe@494 302 * Returns an iterator pointing to the item at the specified index.
universe@494 303 *
universe@494 304 * The returned iterator is position-aware.
universe@494 305 *
universe@494 306 * If the index is out of range, a past-the-end iterator will be returned.
universe@494 307 *
universe@494 308 * @param list the list
universe@494 309 * @param index the index where the iterator shall point at
universe@494 310 * @return a new iterator
universe@494 311 */
universe@508 312 __attribute__((__nonnull__, __warn_unused_result__))
universe@494 313 static inline CxIterator cxListIterator(
universe@500 314 CxList *list,
universe@494 315 size_t index
universe@494 316 ) {
universe@494 317 return list->cl->iterator(list, index);
universe@494 318 }
universe@494 319
universe@494 320 /**
universe@494 321 * Returns an iterator pointing to the first item of the list.
universe@494 322 *
universe@494 323 * The returned iterator is position-aware.
universe@494 324 *
universe@494 325 * If the list is empty, a past-the-end iterator will be returned.
universe@494 326 *
universe@494 327 * @param list the list
universe@494 328 * @return a new iterator
universe@494 329 */
universe@508 330 __attribute__((__nonnull__, __warn_unused_result__))
universe@500 331 static inline CxIterator cxListBegin(CxList *list) {
universe@494 332 return list->cl->iterator(list, 0);
universe@494 333 }
universe@494 334
universe@494 335 /**
universe@464 336 * Returns the index of the first element that equals \p elem.
universe@464 337 *
universe@464 338 * Determining equality is performed by the list's comparator function.
universe@464 339 *
universe@464 340 * @param list the list
universe@464 341 * @param elem the element to find
universe@464 342 * @return the index of the element or \c (size+1) if the element is not found
universe@464 343 */
universe@508 344 __attribute__((__nonnull__))
universe@489 345 static inline size_t cxListFind(
universe@500 346 CxList *list,
universe@489 347 void const *elem
universe@489 348 ) {
universe@469 349 return list->cl->find(list, elem);
universe@469 350 }
universe@398 351
universe@464 352 /**
universe@469 353 * Sorts the list in place.
universe@469 354 *
universe@469 355 * \remark The underlying sort algorithm is implementation defined.
universe@469 356 *
universe@469 357 * @param list the list
universe@469 358 */
universe@508 359 __attribute__((__nonnull__))
universe@500 360 static inline void cxListSort(CxList *list) {
universe@469 361 list->cl->sort(list);
universe@469 362 }
universe@404 363
universe@488 364 /**
universe@490 365 * Reverses the order of the items.
universe@490 366 *
universe@490 367 * @param list the list
universe@490 368 */
universe@508 369 __attribute__((__nonnull__))
universe@500 370 static inline void cxListReverse(CxList *list) {
universe@490 371 list->cl->reverse(list);
universe@490 372 }
universe@490 373
universe@490 374 /**
universe@488 375 * Compares a list to another list of the same type.
universe@488 376 *
universe@488 377 * First, the list sizes are compared. If they match, the lists are compared element-wise.
universe@488 378 *
universe@488 379 * @param list the list
universe@488 380 * @param other the list to compare to
universe@488 381 * @return zero, if both lists are equal element wise, negative if the first list is smaller, zero if the first list is larger
universe@488 382 */
universe@508 383 __attribute__((__nonnull__))
universe@488 384 static inline int cxListCompare(
universe@500 385 CxList *list,
universe@500 386 CxList *other
universe@488 387 ) {
universe@488 388 return list->cl->compare(list, other);
universe@488 389 }
universe@488 390
universe@503 391 /**
universe@503 392 * Calls the list's destructor function for every element.
universe@503 393 * If CxList.autofree_content is \c true, the elements are automatically free'd
universe@503 394 * unless the content destructor function did not already do that.
universe@503 395 * Similarly, if CxList.autofree is \c true, the list structure is free'd, unless
universe@503 396 * the list destructor function did not already do that.
universe@503 397 *
universe@503 398 * This function itself is a destructor function for the CxList.
universe@503 399 *
universe@503 400 * @param list the list which contents shall be destroyed
universe@508 401 * @return \p list if the list structure has not been free'd during the process
universe@503 402 */
universe@503 403 __attribute__((__nonnull__))
universe@503 404 CxList *cxListDestroy(CxList *list);
universe@503 405
universe@415 406 #ifdef __cplusplus
universe@415 407 } /* extern "C" */
universe@415 408 #endif
universe@415 409
universe@393 410 #endif /* UCX_LIST_H */

mercurial