1 | // © 2016 and later: Unicode, Inc. and others. |
2 | // License & terms of use: http://www.unicode.org/copyright.html |
3 | /* |
4 | ****************************************************************************** |
5 | * Copyright (C) 1999-2013, International Business Machines Corporation and |
6 | * others. All Rights Reserved. |
7 | ****************************************************************************** |
8 | * Date Name Description |
9 | * 10/22/99 alan Creation. |
10 | ********************************************************************** |
11 | */ |
12 | |
13 | #include "uvector.h" |
14 | #include "cmemory.h" |
15 | #include "uarrsort.h" |
16 | #include "uelement.h" |
17 | |
18 | U_NAMESPACE_BEGIN |
19 | |
20 | #define DEFAULT_CAPACITY 8 |
21 | |
22 | /* |
23 | * Constants for hinting whether a key is an integer |
24 | * or a pointer. If a hint bit is zero, then the associated |
25 | * token is assumed to be an integer. This is needed for iSeries |
26 | */ |
27 | #define HINT_KEY_POINTER (1) |
28 | #define HINT_KEY_INTEGER (0) |
29 | |
30 | UOBJECT_DEFINE_RTTI_IMPLEMENTATION(UVector) |
31 | |
32 | UVector::UVector(UErrorCode &status) : |
33 | count(0), |
34 | capacity(0), |
35 | elements(0), |
36 | deleter(0), |
37 | comparer(0) |
38 | { |
39 | _init(DEFAULT_CAPACITY, status); |
40 | } |
41 | |
42 | UVector::UVector(int32_t initialCapacity, UErrorCode &status) : |
43 | count(0), |
44 | capacity(0), |
45 | elements(0), |
46 | deleter(0), |
47 | comparer(0) |
48 | { |
49 | _init(initialCapacity, status); |
50 | } |
51 | |
52 | UVector::UVector(UObjectDeleter *d, UElementsAreEqual *c, UErrorCode &status) : |
53 | count(0), |
54 | capacity(0), |
55 | elements(0), |
56 | deleter(d), |
57 | comparer(c) |
58 | { |
59 | _init(DEFAULT_CAPACITY, status); |
60 | } |
61 | |
62 | UVector::UVector(UObjectDeleter *d, UElementsAreEqual *c, int32_t initialCapacity, UErrorCode &status) : |
63 | count(0), |
64 | capacity(0), |
65 | elements(0), |
66 | deleter(d), |
67 | comparer(c) |
68 | { |
69 | _init(initialCapacity, status); |
70 | } |
71 | |
72 | void UVector::_init(int32_t initialCapacity, UErrorCode &status) { |
73 | if (U_FAILURE(status)) { |
74 | return; |
75 | } |
76 | // Fix bogus initialCapacity values; avoid malloc(0) and integer overflow |
77 | if ((initialCapacity < 1) || (initialCapacity > (int32_t)(INT32_MAX / sizeof(UElement)))) { |
78 | initialCapacity = DEFAULT_CAPACITY; |
79 | } |
80 | elements = (UElement *)uprv_malloc(sizeof(UElement)*initialCapacity); |
81 | if (elements == 0) { |
82 | status = U_MEMORY_ALLOCATION_ERROR; |
83 | } else { |
84 | capacity = initialCapacity; |
85 | } |
86 | } |
87 | |
88 | UVector::~UVector() { |
89 | removeAllElements(); |
90 | uprv_free(elements); |
91 | elements = 0; |
92 | } |
93 | |
94 | /** |
95 | * Assign this object to another (make this a copy of 'other'). |
96 | * Use the 'assign' function to assign each element. |
97 | */ |
98 | void UVector::assign(const UVector& other, UElementAssigner *assign, UErrorCode &ec) { |
99 | if (ensureCapacity(other.count, ec)) { |
100 | setSize(other.count, ec); |
101 | if (U_SUCCESS(ec)) { |
102 | for (int32_t i=0; i<other.count; ++i) { |
103 | if (elements[i].pointer != 0 && deleter != 0) { |
104 | (*deleter)(elements[i].pointer); |
105 | } |
106 | (*assign)(&elements[i], &other.elements[i]); |
107 | } |
108 | } |
109 | } |
110 | } |
111 | |
112 | // This only does something sensible if this object has a non-null comparer |
113 | UBool UVector::operator==(const UVector& other) { |
114 | int32_t i; |
115 | if (count != other.count) return FALSE; |
116 | if (comparer != NULL) { |
117 | // Compare using this object's comparer |
118 | for (i=0; i<count; ++i) { |
119 | if (!(*comparer)(elements[i], other.elements[i])) { |
120 | return FALSE; |
121 | } |
122 | } |
123 | } |
124 | return TRUE; |
125 | } |
126 | |
127 | void UVector::addElement(void* obj, UErrorCode &status) { |
128 | if (ensureCapacity(count + 1, status)) { |
129 | elements[count++].pointer = obj; |
130 | } |
131 | } |
132 | |
133 | void UVector::addElement(int32_t elem, UErrorCode &status) { |
134 | if (ensureCapacity(count + 1, status)) { |
135 | elements[count].pointer = NULL; // Pointers may be bigger than ints. |
136 | elements[count].integer = elem; |
137 | count++; |
138 | } |
139 | } |
140 | |
141 | void UVector::setElementAt(void* obj, int32_t index) { |
142 | if (0 <= index && index < count) { |
143 | if (elements[index].pointer != 0 && deleter != 0) { |
144 | (*deleter)(elements[index].pointer); |
145 | } |
146 | elements[index].pointer = obj; |
147 | } |
148 | /* else index out of range */ |
149 | } |
150 | |
151 | void UVector::setElementAt(int32_t elem, int32_t index) { |
152 | if (0 <= index && index < count) { |
153 | if (elements[index].pointer != 0 && deleter != 0) { |
154 | // TODO: this should be an error. mixing up ints and pointers. |
155 | (*deleter)(elements[index].pointer); |
156 | } |
157 | elements[index].pointer = NULL; |
158 | elements[index].integer = elem; |
159 | } |
160 | /* else index out of range */ |
161 | } |
162 | |
163 | void UVector::insertElementAt(void* obj, int32_t index, UErrorCode &status) { |
164 | // must have 0 <= index <= count |
165 | if (0 <= index && index <= count && ensureCapacity(count + 1, status)) { |
166 | for (int32_t i=count; i>index; --i) { |
167 | elements[i] = elements[i-1]; |
168 | } |
169 | elements[index].pointer = obj; |
170 | ++count; |
171 | } |
172 | /* else index out of range */ |
173 | } |
174 | |
175 | void UVector::insertElementAt(int32_t elem, int32_t index, UErrorCode &status) { |
176 | // must have 0 <= index <= count |
177 | if (0 <= index && index <= count && ensureCapacity(count + 1, status)) { |
178 | for (int32_t i=count; i>index; --i) { |
179 | elements[i] = elements[i-1]; |
180 | } |
181 | elements[index].pointer = NULL; |
182 | elements[index].integer = elem; |
183 | ++count; |
184 | } |
185 | /* else index out of range */ |
186 | } |
187 | |
188 | void* UVector::elementAt(int32_t index) const { |
189 | return (0 <= index && index < count) ? elements[index].pointer : 0; |
190 | } |
191 | |
192 | int32_t UVector::elementAti(int32_t index) const { |
193 | return (0 <= index && index < count) ? elements[index].integer : 0; |
194 | } |
195 | |
196 | UBool UVector::containsAll(const UVector& other) const { |
197 | for (int32_t i=0; i<other.size(); ++i) { |
198 | if (indexOf(other.elements[i]) < 0) { |
199 | return FALSE; |
200 | } |
201 | } |
202 | return TRUE; |
203 | } |
204 | |
205 | UBool UVector::containsNone(const UVector& other) const { |
206 | for (int32_t i=0; i<other.size(); ++i) { |
207 | if (indexOf(other.elements[i]) >= 0) { |
208 | return FALSE; |
209 | } |
210 | } |
211 | return TRUE; |
212 | } |
213 | |
214 | UBool UVector::removeAll(const UVector& other) { |
215 | UBool changed = FALSE; |
216 | for (int32_t i=0; i<other.size(); ++i) { |
217 | int32_t j = indexOf(other.elements[i]); |
218 | if (j >= 0) { |
219 | removeElementAt(j); |
220 | changed = TRUE; |
221 | } |
222 | } |
223 | return changed; |
224 | } |
225 | |
226 | UBool UVector::retainAll(const UVector& other) { |
227 | UBool changed = FALSE; |
228 | for (int32_t j=size()-1; j>=0; --j) { |
229 | int32_t i = other.indexOf(elements[j]); |
230 | if (i < 0) { |
231 | removeElementAt(j); |
232 | changed = TRUE; |
233 | } |
234 | } |
235 | return changed; |
236 | } |
237 | |
238 | void UVector::removeElementAt(int32_t index) { |
239 | void* e = orphanElementAt(index); |
240 | if (e != 0 && deleter != 0) { |
241 | (*deleter)(e); |
242 | } |
243 | } |
244 | |
245 | UBool UVector::removeElement(void* obj) { |
246 | int32_t i = indexOf(obj); |
247 | if (i >= 0) { |
248 | removeElementAt(i); |
249 | return TRUE; |
250 | } |
251 | return FALSE; |
252 | } |
253 | |
254 | void UVector::removeAllElements(void) { |
255 | if (deleter != 0) { |
256 | for (int32_t i=0; i<count; ++i) { |
257 | if (elements[i].pointer != 0) { |
258 | (*deleter)(elements[i].pointer); |
259 | } |
260 | } |
261 | } |
262 | count = 0; |
263 | } |
264 | |
265 | UBool UVector::equals(const UVector &other) const { |
266 | int i; |
267 | |
268 | if (this->count != other.count) { |
269 | return FALSE; |
270 | } |
271 | if (comparer == 0) { |
272 | for (i=0; i<count; i++) { |
273 | if (elements[i].pointer != other.elements[i].pointer) { |
274 | return FALSE; |
275 | } |
276 | } |
277 | } else { |
278 | UElement key; |
279 | for (i=0; i<count; i++) { |
280 | key.pointer = &other.elements[i]; |
281 | if (!(*comparer)(key, elements[i])) { |
282 | return FALSE; |
283 | } |
284 | } |
285 | } |
286 | return TRUE; |
287 | } |
288 | |
289 | |
290 | |
291 | int32_t UVector::indexOf(void* obj, int32_t startIndex) const { |
292 | UElement key; |
293 | key.pointer = obj; |
294 | return indexOf(key, startIndex, HINT_KEY_POINTER); |
295 | } |
296 | |
297 | int32_t UVector::indexOf(int32_t obj, int32_t startIndex) const { |
298 | UElement key; |
299 | key.integer = obj; |
300 | return indexOf(key, startIndex, HINT_KEY_INTEGER); |
301 | } |
302 | |
303 | // This only works if this object has a non-null comparer |
304 | int32_t UVector::indexOf(UElement key, int32_t startIndex, int8_t hint) const { |
305 | int32_t i; |
306 | if (comparer != 0) { |
307 | for (i=startIndex; i<count; ++i) { |
308 | if ((*comparer)(key, elements[i])) { |
309 | return i; |
310 | } |
311 | } |
312 | } else { |
313 | for (i=startIndex; i<count; ++i) { |
314 | /* Pointers are not always the same size as ints so to perform |
315 | * a valid comparision we need to know whether we are being |
316 | * provided an int or a pointer. */ |
317 | if (hint & HINT_KEY_POINTER) { |
318 | if (key.pointer == elements[i].pointer) { |
319 | return i; |
320 | } |
321 | } else { |
322 | if (key.integer == elements[i].integer) { |
323 | return i; |
324 | } |
325 | } |
326 | } |
327 | } |
328 | return -1; |
329 | } |
330 | |
331 | UBool UVector::ensureCapacity(int32_t minimumCapacity, UErrorCode &status) { |
332 | if (minimumCapacity < 0) { |
333 | status = U_ILLEGAL_ARGUMENT_ERROR; |
334 | return FALSE; |
335 | } |
336 | if (capacity < minimumCapacity) { |
337 | if (capacity > (INT32_MAX - 1) / 2) { // integer overflow check |
338 | status = U_ILLEGAL_ARGUMENT_ERROR; |
339 | return FALSE; |
340 | } |
341 | int32_t newCap = capacity * 2; |
342 | if (newCap < minimumCapacity) { |
343 | newCap = minimumCapacity; |
344 | } |
345 | if (newCap > (int32_t)(INT32_MAX / sizeof(UElement))) { // integer overflow check |
346 | // We keep the original memory contents on bad minimumCapacity. |
347 | status = U_ILLEGAL_ARGUMENT_ERROR; |
348 | return FALSE; |
349 | } |
350 | UElement* newElems = (UElement *)uprv_realloc(elements, sizeof(UElement)*newCap); |
351 | if (newElems == NULL) { |
352 | // We keep the original contents on the memory failure on realloc or bad minimumCapacity. |
353 | status = U_MEMORY_ALLOCATION_ERROR; |
354 | return FALSE; |
355 | } |
356 | elements = newElems; |
357 | capacity = newCap; |
358 | } |
359 | return TRUE; |
360 | } |
361 | |
362 | /** |
363 | * Change the size of this vector as follows: If newSize is smaller, |
364 | * then truncate the array, possibly deleting held elements for i >= |
365 | * newSize. If newSize is larger, grow the array, filling in new |
366 | * slots with NULL. |
367 | */ |
368 | void UVector::setSize(int32_t newSize, UErrorCode &status) { |
369 | int32_t i; |
370 | if (newSize < 0) { |
371 | return; |
372 | } |
373 | if (newSize > count) { |
374 | if (!ensureCapacity(newSize, status)) { |
375 | return; |
376 | } |
377 | UElement empty; |
378 | empty.pointer = NULL; |
379 | empty.integer = 0; |
380 | for (i=count; i<newSize; ++i) { |
381 | elements[i] = empty; |
382 | } |
383 | } else { |
384 | /* Most efficient to count down */ |
385 | for (i=count-1; i>=newSize; --i) { |
386 | removeElementAt(i); |
387 | } |
388 | } |
389 | count = newSize; |
390 | } |
391 | |
392 | /** |
393 | * Fill in the given array with all elements of this vector. |
394 | */ |
395 | void** UVector::toArray(void** result) const { |
396 | void** a = result; |
397 | for (int i=0; i<count; ++i) { |
398 | *a++ = elements[i].pointer; |
399 | } |
400 | return result; |
401 | } |
402 | |
403 | UObjectDeleter *UVector::setDeleter(UObjectDeleter *d) { |
404 | UObjectDeleter *old = deleter; |
405 | deleter = d; |
406 | return old; |
407 | } |
408 | |
409 | UElementsAreEqual *UVector::setComparer(UElementsAreEqual *d) { |
410 | UElementsAreEqual *old = comparer; |
411 | comparer = d; |
412 | return old; |
413 | } |
414 | |
415 | /** |
416 | * Removes the element at the given index from this vector and |
417 | * transfer ownership of it to the caller. After this call, the |
418 | * caller owns the result and must delete it and the vector entry |
419 | * at 'index' is removed, shifting all subsequent entries back by |
420 | * one index and shortening the size of the vector by one. If the |
421 | * index is out of range or if there is no item at the given index |
422 | * then 0 is returned and the vector is unchanged. |
423 | */ |
424 | void* UVector::orphanElementAt(int32_t index) { |
425 | void* e = 0; |
426 | if (0 <= index && index < count) { |
427 | e = elements[index].pointer; |
428 | for (int32_t i=index; i<count-1; ++i) { |
429 | elements[i] = elements[i+1]; |
430 | } |
431 | --count; |
432 | } |
433 | /* else index out of range */ |
434 | return e; |
435 | } |
436 | |
437 | /** |
438 | * Insert the given object into this vector at its sorted position |
439 | * as defined by 'compare'. The current elements are assumed to |
440 | * be sorted already. |
441 | */ |
442 | void UVector::sortedInsert(void* obj, UElementComparator *compare, UErrorCode& ec) { |
443 | UElement e; |
444 | e.pointer = obj; |
445 | sortedInsert(e, compare, ec); |
446 | } |
447 | |
448 | /** |
449 | * Insert the given integer into this vector at its sorted position |
450 | * as defined by 'compare'. The current elements are assumed to |
451 | * be sorted already. |
452 | */ |
453 | void UVector::sortedInsert(int32_t obj, UElementComparator *compare, UErrorCode& ec) { |
454 | UElement e; |
455 | e.integer = obj; |
456 | sortedInsert(e, compare, ec); |
457 | } |
458 | |
459 | // ASSUME elements[] IS CURRENTLY SORTED |
460 | void UVector::sortedInsert(UElement e, UElementComparator *compare, UErrorCode& ec) { |
461 | // Perform a binary search for the location to insert tok at. Tok |
462 | // will be inserted between two elements a and b such that a <= |
463 | // tok && tok < b, where there is a 'virtual' elements[-1] always |
464 | // less than tok and a 'virtual' elements[count] always greater |
465 | // than tok. |
466 | int32_t min = 0, max = count; |
467 | while (min != max) { |
468 | int32_t probe = (min + max) / 2; |
469 | int8_t c = (*compare)(elements[probe], e); |
470 | if (c > 0) { |
471 | max = probe; |
472 | } else { |
473 | // assert(c <= 0); |
474 | min = probe + 1; |
475 | } |
476 | } |
477 | if (ensureCapacity(count + 1, ec)) { |
478 | for (int32_t i=count; i>min; --i) { |
479 | elements[i] = elements[i-1]; |
480 | } |
481 | elements[min] = e; |
482 | ++count; |
483 | } |
484 | } |
485 | |
486 | /** |
487 | * Array sort comparator function. |
488 | * Used from UVector::sort() |
489 | * Conforms to function signature required for uprv_sortArray(). |
490 | * This function is essentially just a wrapper, to make a |
491 | * UVector style comparator function usable with uprv_sortArray(). |
492 | * |
493 | * The context pointer to this function is a pointer back |
494 | * (with some extra indirection) to the user supplied comparator. |
495 | * |
496 | */ |
497 | static int32_t U_CALLCONV |
498 | sortComparator(const void *context, const void *left, const void *right) { |
499 | UElementComparator *compare = *static_cast<UElementComparator * const *>(context); |
500 | UElement e1 = *static_cast<const UElement *>(left); |
501 | UElement e2 = *static_cast<const UElement *>(right); |
502 | int32_t result = (*compare)(e1, e2); |
503 | return result; |
504 | } |
505 | |
506 | |
507 | /** |
508 | * Array sort comparison function for use from UVector::sorti() |
509 | * Compares int32_t vector elements. |
510 | */ |
511 | static int32_t U_CALLCONV |
512 | sortiComparator(const void * /*context */, const void *left, const void *right) { |
513 | const UElement *e1 = static_cast<const UElement *>(left); |
514 | const UElement *e2 = static_cast<const UElement *>(right); |
515 | int32_t result = e1->integer < e2->integer? -1 : |
516 | e1->integer == e2->integer? 0 : 1; |
517 | return result; |
518 | } |
519 | |
520 | /** |
521 | * Sort the vector, assuming it constains ints. |
522 | * (A more general sort would take a comparison function, but it's |
523 | * not clear whether UVector's UElementComparator or |
524 | * UComparator from uprv_sortAray would be more appropriate.) |
525 | */ |
526 | void UVector::sorti(UErrorCode &ec) { |
527 | if (U_SUCCESS(ec)) { |
528 | uprv_sortArray(elements, count, sizeof(UElement), |
529 | sortiComparator, NULL, FALSE, &ec); |
530 | } |
531 | } |
532 | |
533 | |
534 | /** |
535 | * Sort with a user supplied comparator. |
536 | * |
537 | * The comparator function handling is confusing because the function type |
538 | * for UVector (as defined for sortedInsert()) is different from the signature |
539 | * required by uprv_sortArray(). This is handled by passing the |
540 | * the UVector sort function pointer via the context pointer to a |
541 | * sortArray() comparator function, which can then call back to |
542 | * the original user functtion. |
543 | * |
544 | * An additional twist is that it's not safe to pass a pointer-to-function |
545 | * as a (void *) data pointer, so instead we pass a (data) pointer to a |
546 | * pointer-to-function variable. |
547 | */ |
548 | void UVector::sort(UElementComparator *compare, UErrorCode &ec) { |
549 | if (U_SUCCESS(ec)) { |
550 | uprv_sortArray(elements, count, sizeof(UElement), |
551 | sortComparator, &compare, FALSE, &ec); |
552 | } |
553 | } |
554 | |
555 | |
556 | /** |
557 | * Stable sort with a user supplied comparator of type UComparator. |
558 | */ |
559 | void UVector::sortWithUComparator(UComparator *compare, const void *context, UErrorCode &ec) { |
560 | if (U_SUCCESS(ec)) { |
561 | uprv_sortArray(elements, count, sizeof(UElement), |
562 | compare, context, TRUE, &ec); |
563 | } |
564 | } |
565 | |
566 | U_NAMESPACE_END |
567 | |
568 | |