src/cx/map.h

Sun, 09 Apr 2023 19:03:58 +0200

author
Mike Becker <universe@uap-core.de>
date
Sun, 09 Apr 2023 19:03:58 +0200
changeset 677
b09aae58bba4
parent 669
dce9b8450656
child 681
502105523db7
permissions
-rw-r--r--

refactoring of collections to make use of destructors in map implementations

universe@549 1 /*
universe@549 2 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS HEADER.
universe@549 3 *
universe@549 4 * Copyright 2021 Mike Becker, Olaf Wintermann All rights reserved.
universe@549 5 *
universe@549 6 * Redistribution and use in source and binary forms, with or without
universe@549 7 * modification, are permitted provided that the following conditions are met:
universe@549 8 *
universe@549 9 * 1. Redistributions of source code must retain the above copyright
universe@549 10 * notice, this list of conditions and the following disclaimer.
universe@549 11 *
universe@549 12 * 2. Redistributions in binary form must reproduce the above copyright
universe@549 13 * notice, this list of conditions and the following disclaimer in the
universe@549 14 * documentation and/or other materials provided with the distribution.
universe@549 15 *
universe@549 16 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
universe@549 17 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
universe@549 18 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
universe@549 19 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
universe@549 20 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
universe@549 21 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
universe@549 22 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
universe@549 23 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
universe@549 24 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
universe@549 25 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
universe@549 26 * POSSIBILITY OF SUCH DAMAGE.
universe@549 27 */
universe@549 28 /**
universe@549 29 * \file map.h
universe@549 30 * \brief Interface for map implementations.
universe@549 31 * \author Mike Becker
universe@549 32 * \author Olaf Wintermann
universe@549 33 * \version 3.0
universe@549 34 * \copyright 2-Clause BSD License
universe@549 35 */
universe@549 36
universe@549 37 #ifndef UCX_MAP_H
universe@549 38 #define UCX_MAP_H
universe@549 39
universe@677 40 #include "collection.h"
universe@563 41 #include "hash_key.h"
universe@549 42
universe@549 43 #ifdef __cplusplus
universe@549 44 extern "C" {
universe@549 45 #endif
universe@549 46
universe@549 47 /** Type for the UCX map. */
universe@549 48 typedef struct cx_map_s CxMap;
universe@549 49
universe@549 50 /** Type for a map entry. */
universe@549 51 typedef struct cx_map_entry_s CxMapEntry;
universe@549 52
universe@549 53 /** Type for map class definitions. */
universe@549 54 typedef struct cx_map_class_s cx_map_class;
universe@549 55
universe@549 56 /** Structure for the UCX map. */
universe@549 57 struct cx_map_s {
universe@549 58 /** The map class definition. */
universe@549 59 cx_map_class *cl;
universe@549 60 /** An allocator that is used for the map elements. */
universe@549 61 CxAllocator *allocator;
universe@549 62 /** The number of elements currently stored. */
universe@549 63 size_t size;
universe@658 64 /**
universe@658 65 * The size of an element.
universe@658 66 */
universe@677 67 size_t item_size;
universe@658 68 /**
universe@658 69 * True, if this map shall store pointers instead
universe@658 70 * of copies of objects.
universe@658 71 */
universe@658 72 bool store_pointers;
universe@549 73 };
universe@549 74
universe@549 75 /**
universe@549 76 * The class definition for arbitrary maps.
universe@549 77 */
universe@549 78 struct cx_map_class_s {
universe@549 79 /**
universe@549 80 * Deallocates the entire memory.
universe@549 81 */
universe@549 82 __attribute__((__nonnull__))
universe@549 83 void (*destructor)(struct cx_map_s *map);
universe@549 84
universe@549 85 /**
universe@549 86 * Removes all elements.
universe@549 87 */
universe@549 88 __attribute__((__nonnull__))
universe@549 89 void (*clear)(struct cx_map_s *map);
universe@549 90
universe@549 91 /**
universe@549 92 * Add or overwrite an element.
universe@549 93 */
universe@549 94 __attribute__((__nonnull__))
universe@549 95 int (*put)(
universe@549 96 CxMap *map,
universe@563 97 CxHashKey key,
universe@550 98 void *value
universe@549 99 );
universe@549 100
universe@549 101 /**
universe@549 102 * Returns an element.
universe@549 103 */
universe@549 104 __attribute__((__nonnull__, __warn_unused_result__))
universe@549 105 void *(*get)(
universe@549 106 CxMap const *map,
universe@563 107 CxHashKey key
universe@549 108 );
universe@549 109
universe@549 110 /**
universe@549 111 * Removes an element.
universe@549 112 */
universe@659 113 __attribute__((__nonnull__))
universe@549 114 void *(*remove)(
universe@550 115 CxMap *map,
universe@563 116 CxHashKey key
universe@549 117 );
universe@549 118
universe@549 119 /**
universe@549 120 * Iterator over the key/value pairs.
universe@549 121 */
universe@549 122 __attribute__((__nonnull__, __warn_unused_result__))
universe@630 123 CxIterator (*iterator)(CxMap const *map);
universe@549 124
universe@549 125 /**
universe@549 126 * Iterator over the keys.
universe@549 127 */
universe@549 128 __attribute__((__nonnull__, __warn_unused_result__))
universe@630 129 CxIterator (*iterator_keys)(CxMap const *map);
universe@549 130
universe@549 131 /**
universe@549 132 * Iterator over the values.
universe@549 133 */
universe@549 134 __attribute__((__nonnull__, __warn_unused_result__))
universe@630 135 CxIterator (*iterator_values)(CxMap const *map);
universe@630 136
universe@630 137 /**
universe@630 138 * Mutating iterator over the key/value pairs.
universe@630 139 */
universe@630 140 __attribute__((__nonnull__, __warn_unused_result__))
universe@630 141 CxMutIterator (*mut_iterator)(CxMap *map);
universe@630 142
universe@630 143 /**
universe@630 144 * Mutating iterator over the keys.
universe@630 145 */
universe@630 146 __attribute__((__nonnull__, __warn_unused_result__))
universe@630 147 CxMutIterator (*mut_iterator_keys)(CxMap *map);
universe@630 148
universe@630 149 /**
universe@630 150 * Mutating iterator over the values.
universe@630 151 */
universe@630 152 __attribute__((__nonnull__, __warn_unused_result__))
universe@630 153 CxMutIterator (*mut_iterator_values)(CxMap *map);
universe@549 154 };
universe@549 155
universe@549 156 /**
universe@549 157 * A map entry.
universe@549 158 */
universe@549 159 struct cx_map_entry_s {
universe@549 160 /**
universe@551 161 * A pointer to the key.
universe@549 162 */
universe@563 163 CxHashKey const *key;
universe@549 164 /**
universe@551 165 * A pointer to the value.
universe@549 166 */
universe@551 167 void *value;
universe@549 168 };
universe@549 169
universe@658 170 /**
universe@658 171 * Advises the map to store copies of the objects (default mode of operation).
universe@658 172 *
universe@658 173 * Retrieving objects from this map will yield pointers to the copies stored
universe@658 174 * within this list.
universe@658 175 *
universe@658 176 * @param map the map
universe@658 177 * @see cxMapStorePointers()
universe@658 178 */
universe@658 179 __attribute__((__nonnull__))
universe@658 180 static inline void cxMapStoreObjects(CxMap *map) {
universe@658 181 map->store_pointers = false;
universe@658 182 }
universe@658 183
universe@658 184 /**
universe@658 185 * Advises the map to only store pointers to the objects.
universe@658 186 *
universe@658 187 * Retrieving objects from this list will yield the original pointers stored.
universe@658 188 *
universe@658 189 * @note This function forcibly sets the element size to the size of a pointer.
universe@658 190 * Invoking this function on a non-empty map that already stores copies of
universe@658 191 * objects is undefined.
universe@658 192 *
universe@658 193 * @param map the map
universe@658 194 * @see cxMapStoreObjects()
universe@658 195 */
universe@658 196 __attribute__((__nonnull__))
universe@658 197 static inline void cxMapStorePointers(CxMap *map) {
universe@658 198 map->store_pointers = true;
universe@677 199 map->item_size = sizeof(void *);
universe@658 200 }
universe@658 201
universe@549 202
universe@549 203 /**
universe@549 204 * Deallocates the memory of the specified map.
universe@549 205 *
universe@549 206 * @param map the map to be destroyed
universe@549 207 */
universe@549 208 __attribute__((__nonnull__))
universe@549 209 static inline void cxMapDestroy(CxMap *map) {
universe@549 210 // TODO: likely to add auto-free feature for contents in the future
universe@549 211 map->cl->destructor(map);
universe@549 212 }
universe@549 213
universe@549 214
universe@549 215 /**
universe@549 216 * Clears a map by removing all elements.
universe@549 217 *
universe@549 218 * @param map the map to be cleared
universe@549 219 */
universe@549 220 __attribute__((__nonnull__))
universe@549 221 static inline void cxMapClear(CxMap *map) {
universe@549 222 map->cl->clear(map);
universe@549 223 }
universe@549 224
universe@549 225 /**
universe@549 226 * Puts a key/value-pair into the map.
universe@549 227 *
universe@549 228 * @param map the map
universe@549 229 * @param key the key
universe@549 230 * @param value the value
universe@549 231 * @return 0 on success, non-zero value on failure
universe@549 232 */
universe@549 233 __attribute__((__nonnull__))
universe@549 234 static inline int cxMapPut(
universe@549 235 CxMap *map,
universe@563 236 CxHashKey key,
universe@550 237 void *value
universe@549 238 ) {
universe@549 239 return map->cl->put(map, key, value);
universe@549 240 }
universe@549 241
universe@549 242 /**
universe@549 243 * Retrieves a value by using a key.
universe@549 244 *
universe@549 245 * @param map the map
universe@549 246 * @param key the key
universe@549 247 * @return the value
universe@549 248 */
universe@549 249 __attribute__((__nonnull__, __warn_unused_result__))
universe@553 250 static inline void *cxMapGet(
universe@549 251 CxMap const *map,
universe@563 252 CxHashKey key
universe@549 253 ) {
universe@549 254 return map->cl->get(map, key);
universe@549 255 }
universe@549 256
universe@549 257 /**
universe@549 258 * Removes a key/value-pair from the map by using the key.
universe@549 259 *
universe@659 260 * If this map is storing pointers, you should make sure that the map
universe@659 261 * is not the last location where this pointer is stored.
universe@659 262 * Otherwise, use cxMapRemoveAndGet() to retrieve the pointer while
universe@659 263 * removing it from the map.
universe@659 264 *
universe@549 265 * @param map the map
universe@549 266 * @param key the key
universe@659 267 * @see cxMapRemoveAndGet()
universe@659 268 */
universe@659 269 __attribute__((__nonnull__))
universe@659 270 static inline void cxMapRemove(
universe@659 271 CxMap *map,
universe@659 272 CxHashKey key
universe@659 273 ) {
universe@659 274 (void) map->cl->remove(map, key);
universe@659 275 }
universe@659 276
universe@659 277 /**
universe@659 278 * Removes a key/value-pair from the map by using the key.
universe@659 279 *
universe@659 280 * This function should only be used when the map is storing pointers,
universe@659 281 * in order to retrieve the pointer you are about to remove.
universe@659 282 * In any other case, cxMapRemove() is sufficient.
universe@659 283 *
universe@659 284 * @param map the map
universe@659 285 * @param key the key
universe@659 286 * @return the stored pointer or \c NULL if either the key is not present
universe@659 287 * in the map or the map is not storing pointers
universe@658 288 * @see cxMapStorePointers()
universe@549 289 */
universe@549 290 __attribute__((__nonnull__, __warn_unused_result__))
universe@659 291 static inline void *cxMapRemoveAndGet(
universe@549 292 CxMap *map,
universe@563 293 CxHashKey key
universe@549 294 ) {
universe@549 295 return map->cl->remove(map, key);
universe@549 296 }
universe@549 297
universe@549 298 // TODO: set-like map operations (union, intersect, difference)
universe@549 299
universe@549 300 /**
universe@549 301 * Creates a value iterator for a map.
universe@549 302 *
universe@549 303 * \note An iterator iterates over all elements successively. Therefore the order
universe@549 304 * highly depends on the map implementation and may change arbitrarily when the contents change.
universe@549 305 *
universe@549 306 * @param map the map to create the iterator for
universe@549 307 * @return an iterator for the currently stored values
universe@549 308 */
universe@549 309 __attribute__((__nonnull__, __warn_unused_result__))
universe@551 310 static inline CxIterator cxMapIteratorValues(CxMap *map) {
universe@549 311 return map->cl->iterator_values(map);
universe@549 312 }
universe@549 313
universe@549 314 /**
universe@549 315 * Creates a key iterator for a map.
universe@549 316 *
universe@564 317 * The elements of the iterator are keys of type CxHashKey.
universe@555 318 *
universe@549 319 * \note An iterator iterates over all elements successively. Therefore the order
universe@549 320 * highly depends on the map implementation and may change arbitrarily when the contents change.
universe@549 321 *
universe@549 322 * @param map the map to create the iterator for
universe@549 323 * @return an iterator for the currently stored keys
universe@549 324 */
universe@549 325 __attribute__((__nonnull__, __warn_unused_result__))
universe@551 326 static inline CxIterator cxMapIteratorKeys(CxMap *map) {
universe@549 327 return map->cl->iterator_keys(map);
universe@549 328 }
universe@549 329
universe@549 330 /**
universe@549 331 * Creates an iterator for a map.
universe@549 332 *
universe@555 333 * The elements of the iterator are key/value pairs of type CxMapEntry.
universe@549 334 *
universe@549 335 * \note An iterator iterates over all elements successively. Therefore the order
universe@549 336 * highly depends on the map implementation and may change arbitrarily when the contents change.
universe@549 337 *
universe@549 338 * @param map the map to create the iterator for
universe@555 339 * @return an iterator for the currently stored entries
universe@549 340 * @see cxMapIteratorKeys()
universe@549 341 * @see cxMapIteratorValues()
universe@549 342 */
universe@549 343 __attribute__((__nonnull__, __warn_unused_result__))
universe@551 344 static inline CxIterator cxMapIterator(CxMap *map) {
universe@549 345 return map->cl->iterator(map);
universe@549 346 }
universe@549 347
universe@630 348
universe@630 349 /**
universe@630 350 * Creates a mutating iterator over the values of a map.
universe@630 351 *
universe@630 352 * \note An iterator iterates over all elements successively. Therefore the order
universe@630 353 * highly depends on the map implementation and may change arbitrarily when the contents change.
universe@630 354 *
universe@630 355 * @param map the map to create the iterator for
universe@630 356 * @return an iterator for the currently stored values
universe@630 357 */
universe@630 358 __attribute__((__nonnull__, __warn_unused_result__))
universe@630 359 static inline CxMutIterator cxMapMutIteratorValues(CxMap *map) {
universe@630 360 return map->cl->mut_iterator_values(map);
universe@630 361 }
universe@630 362
universe@630 363 /**
universe@630 364 * Creates a mutating iterator over the keys of a map.
universe@630 365 *
universe@630 366 * The elements of the iterator are keys of type CxHashKey.
universe@630 367 *
universe@630 368 * \note An iterator iterates over all elements successively. Therefore the order
universe@630 369 * highly depends on the map implementation and may change arbitrarily when the contents change.
universe@630 370 *
universe@630 371 * @param map the map to create the iterator for
universe@630 372 * @return an iterator for the currently stored keys
universe@630 373 */
universe@630 374 __attribute__((__nonnull__, __warn_unused_result__))
universe@630 375 static inline CxMutIterator cxMapMutIteratorKeys(CxMap *map) {
universe@630 376 return map->cl->mut_iterator_keys(map);
universe@630 377 }
universe@630 378
universe@630 379 /**
universe@630 380 * Creates a mutating iterator for a map.
universe@630 381 *
universe@630 382 * The elements of the iterator are key/value pairs of type CxMapEntry.
universe@630 383 *
universe@630 384 * \note An iterator iterates over all elements successively. Therefore the order
universe@630 385 * highly depends on the map implementation and may change arbitrarily when the contents change.
universe@630 386 *
universe@630 387 * @param map the map to create the iterator for
universe@630 388 * @return an iterator for the currently stored entries
universe@630 389 * @see cxMapMutIteratorKeys()
universe@630 390 * @see cxMapMutIteratorValues()
universe@630 391 */
universe@630 392 __attribute__((__nonnull__, __warn_unused_result__))
universe@630 393 static inline CxMutIterator cxMapMutIterator(CxMap *map) {
universe@630 394 return map->cl->mut_iterator(map);
universe@630 395 }
universe@630 396
universe@549 397 #ifdef __cplusplus
universe@549 398 }
universe@549 399 #endif
universe@549 400
universe@549 401 #endif // UCX_MAP_H

mercurial