Sun, 06 Oct 2024 12:00:31 +0200
update ucx
174 | 1 | /* |
2 | * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS HEADER. | |
3 | * | |
4 | * Copyright 2021 Mike Becker, Olaf Wintermann All rights reserved. | |
5 | * | |
6 | * Redistribution and use in source and binary forms, with or without | |
7 | * modification, are permitted provided that the following conditions are met: | |
8 | * | |
9 | * 1. Redistributions of source code must retain the above copyright | |
10 | * notice, this list of conditions and the following disclaimer. | |
11 | * | |
12 | * 2. Redistributions in binary form must reproduce the above copyright | |
13 | * notice, this list of conditions and the following disclaimer in the | |
14 | * documentation and/or other materials provided with the distribution. | |
15 | * | |
16 | * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" | |
17 | * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE | |
18 | * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE | |
19 | * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE | |
20 | * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR | |
21 | * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF | |
22 | * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS | |
23 | * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN | |
24 | * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) | |
25 | * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE | |
26 | * POSSIBILITY OF SUCH DAMAGE. | |
27 | */ | |
28 | ||
29 | #include "cx/array_list.h" | |
253
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
30 | #include "cx/compare.h" |
174 | 31 | #include <assert.h> |
32 | #include <string.h> | |
33 | ||
253
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
34 | // Default array reallocator |
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
35 | |
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
36 | static void *cx_array_default_realloc( |
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
37 | void *array, |
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
38 | size_t capacity, |
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
39 | size_t elem_size, |
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
40 | __attribute__((__unused__)) struct cx_array_reallocator_s *alloc |
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
41 | ) { |
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
42 | return realloc(array, capacity * elem_size); |
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
43 | } |
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
44 | |
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
45 | struct cx_array_reallocator_s cx_array_default_reallocator_impl = { |
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
46 | cx_array_default_realloc, NULL, NULL, 0, 0 |
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
47 | }; |
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
48 | |
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
49 | struct cx_array_reallocator_s *cx_array_default_reallocator = &cx_array_default_reallocator_impl; |
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
50 | |
174 | 51 | // LOW LEVEL ARRAY LIST FUNCTIONS |
52 | ||
253
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
53 | enum cx_array_result cx_array_copy( |
174 | 54 | void **target, |
55 | size_t *size, | |
56 | size_t *capacity, | |
57 | size_t index, | |
324 | 58 | const void *src, |
174 | 59 | size_t elem_size, |
60 | size_t elem_count, | |
61 | struct cx_array_reallocator_s *reallocator | |
62 | ) { | |
63 | // assert pointers | |
64 | assert(target != NULL); | |
65 | assert(size != NULL); | |
66 | assert(src != NULL); | |
67 | ||
68 | // determine capacity | |
69 | size_t cap = capacity == NULL ? *size : *capacity; | |
70 | ||
71 | // check if resize is required | |
72 | size_t minsize = index + elem_count; | |
73 | size_t newsize = *size < minsize ? minsize : *size; | |
74 | bool needrealloc = newsize > cap; | |
75 | ||
76 | // reallocate if possible | |
77 | if (needrealloc) { | |
78 | // a reallocator and a capacity variable must be available | |
79 | if (reallocator == NULL || capacity == NULL) { | |
253
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
80 | return CX_ARRAY_REALLOC_NOT_SUPPORTED; |
174 | 81 | } |
82 | ||
83 | // check, if we need to repair the src pointer | |
84 | uintptr_t targetaddr = (uintptr_t) *target; | |
85 | uintptr_t srcaddr = (uintptr_t) src; | |
86 | bool repairsrc = targetaddr <= srcaddr | |
87 | && srcaddr < targetaddr + cap * elem_size; | |
88 | ||
89 | // calculate new capacity (next number divisible by 16) | |
90 | cap = newsize - (newsize % 16) + 16; | |
91 | assert(cap > newsize); | |
92 | ||
93 | // perform reallocation | |
94 | void *newmem = reallocator->realloc( | |
95 | *target, cap, elem_size, reallocator | |
96 | ); | |
97 | if (newmem == NULL) { | |
253
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
98 | return CX_ARRAY_REALLOC_FAILED; |
174 | 99 | } |
100 | ||
101 | // repair src pointer, if necessary | |
102 | if (repairsrc) { | |
103 | src = ((char *) newmem) + (srcaddr - targetaddr); | |
104 | } | |
105 | ||
106 | // store new pointer and capacity | |
107 | *target = newmem; | |
108 | *capacity = cap; | |
109 | } | |
110 | ||
111 | // determine target pointer | |
112 | char *start = *target; | |
113 | start += index * elem_size; | |
114 | ||
115 | // copy elements and set new size | |
116 | memmove(start, src, elem_count * elem_size); | |
117 | *size = newsize; | |
118 | ||
119 | // return successfully | |
253
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
120 | return CX_ARRAY_SUCCESS; |
174 | 121 | } |
122 | ||
324 | 123 | enum cx_array_result cx_array_insert_sorted( |
124 | void **target, | |
125 | size_t *size, | |
126 | size_t *capacity, | |
127 | cx_compare_func cmp_func, | |
128 | const void *sorted_data, | |
129 | size_t elem_size, | |
130 | size_t elem_count, | |
131 | struct cx_array_reallocator_s *reallocator | |
132 | ) { | |
133 | // assert pointers | |
134 | assert(target != NULL); | |
135 | assert(size != NULL); | |
136 | assert(capacity != NULL); | |
137 | assert(cmp_func != NULL); | |
138 | assert(sorted_data != NULL); | |
139 | assert(reallocator != NULL); | |
140 | ||
141 | // corner case | |
142 | if (elem_count == 0) return 0; | |
143 | ||
144 | // store some counts | |
145 | size_t old_size = *size; | |
146 | size_t needed_capacity = old_size + elem_count; | |
147 | ||
148 | // if we need more than we have, try a reallocation | |
149 | if (needed_capacity > *capacity) { | |
150 | size_t new_capacity = needed_capacity - (needed_capacity % 16) + 16; | |
151 | void *new_mem = reallocator->realloc( | |
152 | *target, new_capacity, elem_size, reallocator | |
153 | ); | |
154 | if (new_mem == NULL) { | |
155 | // give it up right away, there is no contract | |
156 | // that requires us to insert as much as we can | |
157 | return CX_ARRAY_REALLOC_FAILED; | |
158 | } | |
159 | *target = new_mem; | |
160 | *capacity = new_capacity; | |
161 | } | |
162 | ||
163 | // now we have guaranteed that we can insert everything | |
164 | size_t new_size = old_size + elem_count; | |
165 | *size = new_size; | |
166 | ||
167 | // declare the source and destination indices/pointers | |
168 | size_t si = 0, di = 0; | |
169 | const char *src = sorted_data; | |
170 | char *dest = *target; | |
171 | ||
172 | // find the first insertion point | |
173 | di = cx_array_binary_search_sup(dest, old_size, elem_size, src, cmp_func); | |
174 | dest += di * elem_size; | |
175 | ||
176 | // move the remaining elements in the array completely to the right | |
177 | // we will call it the "buffer" for parked elements | |
178 | size_t buf_size = old_size - di; | |
179 | size_t bi = new_size - buf_size; | |
180 | char *bptr = ((char *) *target) + bi * elem_size; | |
181 | memmove(bptr, dest, buf_size * elem_size); | |
182 | ||
183 | // while there are both source and buffered elements left, | |
184 | // copy them interleaving | |
185 | while (si < elem_count && bi < new_size) { | |
186 | // determine how many source elements can be inserted | |
187 | size_t copy_len, bytes_copied; | |
188 | copy_len = cx_array_binary_search_sup( | |
189 | src, | |
190 | elem_count - si, | |
191 | elem_size, | |
192 | bptr, | |
193 | cmp_func | |
194 | ); | |
195 | ||
196 | // copy the source elements | |
197 | bytes_copied = copy_len * elem_size; | |
198 | memcpy(dest, src, bytes_copied); | |
199 | dest += bytes_copied; | |
200 | src += bytes_copied; | |
201 | si += copy_len; | |
202 | ||
203 | // when all source elements are in place, we are done | |
204 | if (si >= elem_count) break; | |
205 | ||
206 | // determine how many buffered elements need to be restored | |
207 | copy_len = cx_array_binary_search_sup( | |
208 | bptr, | |
209 | new_size - bi, | |
210 | elem_size, | |
211 | src, | |
212 | cmp_func | |
213 | ); | |
214 | ||
215 | // restore the buffered elements | |
216 | bytes_copied = copy_len * elem_size; | |
217 | memmove(dest, bptr, bytes_copied); | |
218 | dest += bytes_copied; | |
219 | bptr += bytes_copied; | |
220 | bi += copy_len; | |
221 | } | |
222 | ||
223 | // still source elements left? simply append them | |
224 | if (si < elem_count) { | |
225 | memcpy(dest, src, elem_size * (elem_count - si)); | |
226 | } | |
227 | ||
228 | // still buffer elements left? | |
229 | // don't worry, we already moved them to the correct place | |
230 | ||
231 | return CX_ARRAY_SUCCESS; | |
232 | } | |
233 | ||
234 | size_t cx_array_binary_search_inf( | |
235 | const void *arr, | |
236 | size_t size, | |
237 | size_t elem_size, | |
238 | const void *elem, | |
239 | cx_compare_func cmp_func | |
240 | ) { | |
241 | // special case: empty array | |
242 | if (size == 0) return 0; | |
243 | ||
244 | // declare a variable that will contain the compare results | |
245 | int result; | |
246 | ||
247 | // cast the array pointer to something we can use offsets with | |
248 | const char *array = arr; | |
249 | ||
250 | // check the first array element | |
251 | result = cmp_func(elem, array); | |
252 | if (result < 0) { | |
253 | return size; | |
254 | } else if (result == 0) { | |
255 | return 0; | |
256 | } | |
257 | ||
258 | // check the last array element | |
259 | result = cmp_func(elem, array + elem_size * (size - 1)); | |
260 | if (result >= 0) { | |
261 | return size - 1; | |
262 | } | |
263 | ||
264 | // the element is now guaranteed to be somewhere in the list | |
265 | // so start the binary search | |
266 | size_t left_index = 1; | |
267 | size_t right_index = size - 1; | |
268 | size_t pivot_index; | |
269 | ||
270 | while (left_index <= right_index) { | |
271 | pivot_index = left_index + (right_index - left_index) / 2; | |
272 | const char *arr_elem = array + pivot_index * elem_size; | |
273 | result = cmp_func(elem, arr_elem); | |
274 | if (result == 0) { | |
275 | // found it! | |
276 | return pivot_index; | |
277 | } else if (result < 0) { | |
278 | // element is smaller than pivot, continue search left | |
279 | right_index = pivot_index - 1; | |
280 | } else { | |
281 | // element is larger than pivot, continue search right | |
282 | left_index = pivot_index + 1; | |
283 | } | |
284 | } | |
285 | ||
286 | // report the largest upper bound | |
287 | return result < 0 ? (pivot_index - 1) : pivot_index; | |
288 | } | |
289 | ||
174 | 290 | #ifndef CX_ARRAY_SWAP_SBO_SIZE |
187
24ce2c326d85
implement toggle button (WinUI3)
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
174
diff
changeset
|
291 | #define CX_ARRAY_SWAP_SBO_SIZE 128 |
174 | 292 | #endif |
253
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
293 | unsigned cx_array_swap_sbo_size = CX_ARRAY_SWAP_SBO_SIZE; |
174 | 294 | |
295 | void cx_array_swap( | |
296 | void *arr, | |
297 | size_t elem_size, | |
298 | size_t idx1, | |
299 | size_t idx2 | |
300 | ) { | |
301 | assert(arr != NULL); | |
302 | ||
303 | // short circuit | |
304 | if (idx1 == idx2) return; | |
305 | ||
306 | char sbo_mem[CX_ARRAY_SWAP_SBO_SIZE]; | |
307 | void *tmp; | |
308 | ||
309 | // decide if we can use the local buffer | |
310 | if (elem_size > CX_ARRAY_SWAP_SBO_SIZE) { | |
311 | tmp = malloc(elem_size); | |
312 | // we don't want to enforce error handling | |
313 | if (tmp == NULL) abort(); | |
314 | } else { | |
315 | tmp = sbo_mem; | |
316 | } | |
317 | ||
318 | // calculate memory locations | |
319 | char *left = arr, *right = arr; | |
320 | left += idx1 * elem_size; | |
321 | right += idx2 * elem_size; | |
322 | ||
323 | // three-way swap | |
324 | memcpy(tmp, left, elem_size); | |
325 | memcpy(left, right, elem_size); | |
326 | memcpy(right, tmp, elem_size); | |
327 | ||
328 | // free dynamic memory, if it was needed | |
329 | if (tmp != sbo_mem) { | |
330 | free(tmp); | |
331 | } | |
332 | } | |
333 | ||
334 | // HIGH LEVEL ARRAY LIST FUNCTIONS | |
335 | ||
336 | typedef struct { | |
337 | struct cx_list_s base; | |
338 | void *data; | |
339 | size_t capacity; | |
340 | struct cx_array_reallocator_s reallocator; | |
341 | } cx_array_list; | |
342 | ||
343 | static void *cx_arl_realloc( | |
344 | void *array, | |
345 | size_t capacity, | |
346 | size_t elem_size, | |
347 | struct cx_array_reallocator_s *alloc | |
348 | ) { | |
349 | // retrieve the pointer to the list allocator | |
324 | 350 | const CxAllocator *al = alloc->ptr1; |
174 | 351 | |
352 | // use the list allocator to reallocate the memory | |
353 | return cxRealloc(al, array, capacity * elem_size); | |
354 | } | |
355 | ||
356 | static void cx_arl_destructor(struct cx_list_s *list) { | |
357 | cx_array_list *arl = (cx_array_list *) list; | |
358 | ||
359 | char *ptr = arl->data; | |
360 | ||
324 | 361 | if (list->collection.simple_destructor) { |
362 | for (size_t i = 0; i < list->collection.size; i++) { | |
174 | 363 | cx_invoke_simple_destructor(list, ptr); |
324 | 364 | ptr += list->collection.elem_size; |
174 | 365 | } |
366 | } | |
324 | 367 | if (list->collection.advanced_destructor) { |
368 | for (size_t i = 0; i < list->collection.size; i++) { | |
174 | 369 | cx_invoke_advanced_destructor(list, ptr); |
324 | 370 | ptr += list->collection.elem_size; |
174 | 371 | } |
372 | } | |
373 | ||
324 | 374 | cxFree(list->collection.allocator, arl->data); |
375 | cxFree(list->collection.allocator, list); | |
174 | 376 | } |
377 | ||
378 | static size_t cx_arl_insert_array( | |
379 | struct cx_list_s *list, | |
380 | size_t index, | |
324 | 381 | const void *array, |
174 | 382 | size_t n |
383 | ) { | |
384 | // out of bounds and special case check | |
324 | 385 | if (index > list->collection.size || n == 0) return 0; |
174 | 386 | |
387 | // get a correctly typed pointer to the list | |
388 | cx_array_list *arl = (cx_array_list *) list; | |
389 | ||
390 | // do we need to move some elements? | |
324 | 391 | if (index < list->collection.size) { |
392 | const char *first_to_move = (const char *) arl->data; | |
393 | first_to_move += index * list->collection.elem_size; | |
394 | size_t elems_to_move = list->collection.size - index; | |
174 | 395 | size_t start_of_moved = index + n; |
396 | ||
253
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
397 | if (CX_ARRAY_SUCCESS != cx_array_copy( |
174 | 398 | &arl->data, |
324 | 399 | &list->collection.size, |
174 | 400 | &arl->capacity, |
401 | start_of_moved, | |
402 | first_to_move, | |
324 | 403 | list->collection.elem_size, |
174 | 404 | elems_to_move, |
405 | &arl->reallocator | |
406 | )) { | |
407 | // if moving existing elems is unsuccessful, abort | |
408 | return 0; | |
409 | } | |
410 | } | |
411 | ||
412 | // note that if we had to move the elements, the following operation | |
413 | // is guaranteed to succeed, because we have the memory already allocated | |
414 | // therefore, it is impossible to leave this function with an invalid array | |
415 | ||
416 | // place the new elements | |
253
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
417 | if (CX_ARRAY_SUCCESS == cx_array_copy( |
174 | 418 | &arl->data, |
324 | 419 | &list->collection.size, |
174 | 420 | &arl->capacity, |
421 | index, | |
422 | array, | |
324 | 423 | list->collection.elem_size, |
424 | n, | |
425 | &arl->reallocator | |
426 | )) { | |
427 | return n; | |
428 | } else { | |
429 | // array list implementation is "all or nothing" | |
430 | return 0; | |
431 | } | |
432 | } | |
433 | ||
434 | static size_t cx_arl_insert_sorted( | |
435 | struct cx_list_s *list, | |
436 | const void *sorted_data, | |
437 | size_t n | |
438 | ) { | |
439 | // get a correctly typed pointer to the list | |
440 | cx_array_list *arl = (cx_array_list *) list; | |
441 | ||
442 | if (CX_ARRAY_SUCCESS == cx_array_insert_sorted( | |
443 | &arl->data, | |
444 | &list->collection.size, | |
445 | &arl->capacity, | |
446 | list->collection.cmpfunc, | |
447 | sorted_data, | |
448 | list->collection.elem_size, | |
174 | 449 | n, |
450 | &arl->reallocator | |
451 | )) { | |
452 | return n; | |
453 | } else { | |
454 | // array list implementation is "all or nothing" | |
455 | return 0; | |
456 | } | |
457 | } | |
458 | ||
459 | static int cx_arl_insert_element( | |
460 | struct cx_list_s *list, | |
461 | size_t index, | |
324 | 462 | const void *element |
174 | 463 | ) { |
464 | return 1 != cx_arl_insert_array(list, index, element, 1); | |
465 | } | |
466 | ||
467 | static int cx_arl_insert_iter( | |
324 | 468 | struct cx_iterator_s *iter, |
469 | const void *elem, | |
174 | 470 | int prepend |
471 | ) { | |
324 | 472 | struct cx_list_s *list = iter->src_handle.m; |
473 | if (iter->index < list->collection.size) { | |
174 | 474 | int result = cx_arl_insert_element( |
475 | list, | |
476 | iter->index + 1 - prepend, | |
477 | elem | |
478 | ); | |
324 | 479 | if (result == 0) { |
480 | iter->elem_count++; | |
481 | if (prepend != 0) { | |
482 | iter->index++; | |
483 | iter->elem_handle = ((char *) iter->elem_handle) + list->collection.elem_size; | |
484 | } | |
174 | 485 | } |
486 | return result; | |
487 | } else { | |
324 | 488 | int result = cx_arl_insert_element(list, list->collection.size, elem); |
489 | if (result == 0) { | |
490 | iter->elem_count++; | |
491 | iter->index = list->collection.size; | |
492 | } | |
174 | 493 | return result; |
494 | } | |
495 | } | |
496 | ||
497 | static int cx_arl_remove( | |
498 | struct cx_list_s *list, | |
499 | size_t index | |
500 | ) { | |
501 | cx_array_list *arl = (cx_array_list *) list; | |
502 | ||
503 | // out-of-bounds check | |
324 | 504 | if (index >= list->collection.size) { |
174 | 505 | return 1; |
506 | } | |
507 | ||
508 | // content destruction | |
324 | 509 | cx_invoke_destructor(list, ((char *) arl->data) + index * list->collection.elem_size); |
174 | 510 | |
511 | // short-circuit removal of last element | |
324 | 512 | if (index == list->collection.size - 1) { |
513 | list->collection.size--; | |
174 | 514 | return 0; |
515 | } | |
516 | ||
517 | // just move the elements starting at index to the left | |
518 | int result = cx_array_copy( | |
519 | &arl->data, | |
324 | 520 | &list->collection.size, |
174 | 521 | &arl->capacity, |
522 | index, | |
324 | 523 | ((char *) arl->data) + (index + 1) * list->collection.elem_size, |
524 | list->collection.elem_size, | |
525 | list->collection.size - index - 1, | |
174 | 526 | &arl->reallocator |
527 | ); | |
253
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
528 | |
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
529 | // cx_array_copy cannot fail, array cannot grow |
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
530 | assert(result == 0); |
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
531 | |
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
532 | // decrease the size |
324 | 533 | list->collection.size--; |
253
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
534 | |
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
535 | return 0; |
174 | 536 | } |
537 | ||
538 | static void cx_arl_clear(struct cx_list_s *list) { | |
324 | 539 | if (list->collection.size == 0) return; |
174 | 540 | |
541 | cx_array_list *arl = (cx_array_list *) list; | |
542 | char *ptr = arl->data; | |
543 | ||
324 | 544 | if (list->collection.simple_destructor) { |
545 | for (size_t i = 0; i < list->collection.size; i++) { | |
174 | 546 | cx_invoke_simple_destructor(list, ptr); |
324 | 547 | ptr += list->collection.elem_size; |
174 | 548 | } |
549 | } | |
324 | 550 | if (list->collection.advanced_destructor) { |
551 | for (size_t i = 0; i < list->collection.size; i++) { | |
174 | 552 | cx_invoke_advanced_destructor(list, ptr); |
324 | 553 | ptr += list->collection.elem_size; |
174 | 554 | } |
555 | } | |
556 | ||
324 | 557 | memset(arl->data, 0, list->collection.size * list->collection.elem_size); |
558 | list->collection.size = 0; | |
174 | 559 | } |
560 | ||
561 | static int cx_arl_swap( | |
562 | struct cx_list_s *list, | |
563 | size_t i, | |
564 | size_t j | |
565 | ) { | |
324 | 566 | if (i >= list->collection.size || j >= list->collection.size) return 1; |
174 | 567 | cx_array_list *arl = (cx_array_list *) list; |
324 | 568 | cx_array_swap(arl->data, list->collection.elem_size, i, j); |
174 | 569 | return 0; |
570 | } | |
571 | ||
572 | static void *cx_arl_at( | |
324 | 573 | const struct cx_list_s *list, |
174 | 574 | size_t index |
575 | ) { | |
324 | 576 | if (index < list->collection.size) { |
577 | const cx_array_list *arl = (const cx_array_list *) list; | |
174 | 578 | char *space = arl->data; |
324 | 579 | return space + index * list->collection.elem_size; |
174 | 580 | } else { |
581 | return NULL; | |
582 | } | |
583 | } | |
584 | ||
253
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
585 | static ssize_t cx_arl_find_remove( |
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
586 | struct cx_list_s *list, |
324 | 587 | const void *elem, |
253
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
588 | bool remove |
174 | 589 | ) { |
324 | 590 | assert(list->collection.cmpfunc != NULL); |
591 | assert(list->collection.size < SIZE_MAX / 2); | |
592 | char *cur = ((const cx_array_list *) list)->data; | |
174 | 593 | |
324 | 594 | for (ssize_t i = 0; i < (ssize_t) list->collection.size; i++) { |
595 | if (0 == list->collection.cmpfunc(elem, cur)) { | |
253
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
596 | if (remove) { |
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
597 | if (0 == cx_arl_remove(list, i)) { |
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
598 | return i; |
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
599 | } else { |
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
600 | return -1; |
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
601 | } |
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
602 | } else { |
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
603 | return i; |
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
604 | } |
174 | 605 | } |
324 | 606 | cur += list->collection.elem_size; |
174 | 607 | } |
608 | ||
609 | return -1; | |
610 | } | |
611 | ||
612 | static void cx_arl_sort(struct cx_list_s *list) { | |
324 | 613 | assert(list->collection.cmpfunc != NULL); |
174 | 614 | qsort(((cx_array_list *) list)->data, |
324 | 615 | list->collection.size, |
616 | list->collection.elem_size, | |
617 | list->collection.cmpfunc | |
174 | 618 | ); |
619 | } | |
620 | ||
621 | static int cx_arl_compare( | |
324 | 622 | const struct cx_list_s *list, |
623 | const struct cx_list_s *other | |
174 | 624 | ) { |
324 | 625 | assert(list->collection.cmpfunc != NULL); |
626 | if (list->collection.size == other->collection.size) { | |
627 | const char *left = ((const cx_array_list *) list)->data; | |
628 | const char *right = ((const cx_array_list *) other)->data; | |
629 | for (size_t i = 0; i < list->collection.size; i++) { | |
630 | int d = list->collection.cmpfunc(left, right); | |
174 | 631 | if (d != 0) { |
632 | return d; | |
633 | } | |
324 | 634 | left += list->collection.elem_size; |
635 | right += other->collection.elem_size; | |
174 | 636 | } |
637 | return 0; | |
638 | } else { | |
324 | 639 | return list->collection.size < other->collection.size ? -1 : 1; |
174 | 640 | } |
641 | } | |
642 | ||
643 | static void cx_arl_reverse(struct cx_list_s *list) { | |
324 | 644 | if (list->collection.size < 2) return; |
645 | void *data = ((const cx_array_list *) list)->data; | |
646 | size_t half = list->collection.size / 2; | |
174 | 647 | for (size_t i = 0; i < half; i++) { |
324 | 648 | cx_array_swap(data, list->collection.elem_size, i, list->collection.size - 1 - i); |
174 | 649 | } |
650 | } | |
651 | ||
324 | 652 | static bool cx_arl_iter_valid(const void *it) { |
653 | const struct cx_iterator_s *iter = it; | |
654 | const struct cx_list_s *list = iter->src_handle.c; | |
655 | return iter->index < list->collection.size; | |
174 | 656 | } |
657 | ||
324 | 658 | static void *cx_arl_iter_current(const void *it) { |
659 | const struct cx_iterator_s *iter = it; | |
174 | 660 | return iter->elem_handle; |
661 | } | |
662 | ||
663 | static void cx_arl_iter_next(void *it) { | |
324 | 664 | struct cx_iterator_s *iter = it; |
665 | if (iter->base.remove) { | |
666 | iter->base.remove = false; | |
667 | cx_arl_remove(iter->src_handle.m, iter->index); | |
174 | 668 | } else { |
669 | iter->index++; | |
670 | iter->elem_handle = | |
671 | ((char *) iter->elem_handle) | |
324 | 672 | + ((const struct cx_list_s *) iter->src_handle.c)->collection.elem_size; |
174 | 673 | } |
674 | } | |
675 | ||
676 | static void cx_arl_iter_prev(void *it) { | |
324 | 677 | struct cx_iterator_s *iter = it; |
678 | const cx_array_list *list = iter->src_handle.c; | |
679 | if (iter->base.remove) { | |
680 | iter->base.remove = false; | |
681 | cx_arl_remove(iter->src_handle.m, iter->index); | |
174 | 682 | } |
683 | iter->index--; | |
324 | 684 | if (iter->index < list->base.collection.size) { |
174 | 685 | iter->elem_handle = ((char *) list->data) |
324 | 686 | + iter->index * list->base.collection.elem_size; |
174 | 687 | } |
688 | } | |
689 | ||
690 | ||
691 | static struct cx_iterator_s cx_arl_iterator( | |
324 | 692 | const struct cx_list_s *list, |
174 | 693 | size_t index, |
694 | bool backwards | |
695 | ) { | |
696 | struct cx_iterator_s iter; | |
697 | ||
698 | iter.index = index; | |
324 | 699 | iter.src_handle.c = list; |
174 | 700 | iter.elem_handle = cx_arl_at(list, index); |
324 | 701 | iter.elem_size = list->collection.elem_size; |
702 | iter.elem_count = list->collection.size; | |
174 | 703 | iter.base.valid = cx_arl_iter_valid; |
704 | iter.base.current = cx_arl_iter_current; | |
705 | iter.base.next = backwards ? cx_arl_iter_prev : cx_arl_iter_next; | |
706 | iter.base.remove = false; | |
707 | iter.base.mutating = false; | |
708 | ||
709 | return iter; | |
710 | } | |
711 | ||
712 | static cx_list_class cx_array_list_class = { | |
713 | cx_arl_destructor, | |
714 | cx_arl_insert_element, | |
715 | cx_arl_insert_array, | |
324 | 716 | cx_arl_insert_sorted, |
174 | 717 | cx_arl_insert_iter, |
718 | cx_arl_remove, | |
719 | cx_arl_clear, | |
720 | cx_arl_swap, | |
721 | cx_arl_at, | |
253
087cc9216f28
initial newapi GTK port
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
187
diff
changeset
|
722 | cx_arl_find_remove, |
174 | 723 | cx_arl_sort, |
724 | cx_arl_compare, | |
725 | cx_arl_reverse, | |
726 | cx_arl_iterator, | |
727 | }; | |
728 | ||
729 | CxList *cxArrayListCreate( | |
324 | 730 | const CxAllocator *allocator, |
174 | 731 | cx_compare_func comparator, |
324 | 732 | size_t elem_size, |
174 | 733 | size_t initial_capacity |
734 | ) { | |
735 | if (allocator == NULL) { | |
736 | allocator = cxDefaultAllocator; | |
737 | } | |
738 | ||
739 | cx_array_list *list = cxCalloc(allocator, 1, sizeof(cx_array_list)); | |
740 | if (list == NULL) return NULL; | |
741 | ||
742 | list->base.cl = &cx_array_list_class; | |
324 | 743 | list->base.collection.allocator = allocator; |
174 | 744 | list->capacity = initial_capacity; |
745 | ||
324 | 746 | if (elem_size > 0) { |
747 | list->base.collection.elem_size = elem_size; | |
748 | list->base.collection.cmpfunc = comparator; | |
174 | 749 | } else { |
324 | 750 | elem_size = sizeof(void *); |
751 | list->base.collection.cmpfunc = comparator == NULL ? cx_cmp_ptr : comparator; | |
174 | 752 | cxListStorePointers((CxList *) list); |
753 | } | |
754 | ||
324 | 755 | // allocate the array after the real elem_size is known |
756 | list->data = cxCalloc(allocator, initial_capacity, elem_size); | |
174 | 757 | if (list->data == NULL) { |
758 | cxFree(allocator, list); | |
759 | return NULL; | |
760 | } | |
761 | ||
762 | // configure the reallocator | |
763 | list->reallocator.realloc = cx_arl_realloc; | |
764 | list->reallocator.ptr1 = (void *) allocator; | |
765 | ||
766 | return (CxList *) list; | |
767 | } |