]>
Commit | Line | Data |
---|---|---|
f3c0d7a5 A |
1 | // © 2016 and later: Unicode, Inc. and others. |
2 | // License & terms of use: http://www.unicode.org/copyright.html | |
b75a7d8f A |
3 | /* |
4 | ****************************************************************************** | |
51004dcb A |
5 | * Copyright (C) 1999-2013, International Business Machines Corporation and |
6 | * others. All Rights Reserved. | |
b75a7d8f A |
7 | ****************************************************************************** |
8 | * Date Name Description | |
9 | * 10/22/99 alan Creation. | |
10 | ********************************************************************** | |
11 | */ | |
12 | ||
13 | #include "uvector.h" | |
14 | #include "cmemory.h" | |
729e4ab9 | 15 | #include "uarrsort.h" |
4388f060 | 16 | #include "uelement.h" |
b75a7d8f A |
17 | |
18 | U_NAMESPACE_BEGIN | |
19 | ||
729e4ab9 | 20 | #define DEFAULT_CAPACITY 8 |
b75a7d8f A |
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 | ||
374ca955 | 30 | UOBJECT_DEFINE_RTTI_IMPLEMENTATION(UVector) |
b75a7d8f A |
31 | |
32 | UVector::UVector(UErrorCode &status) : | |
33 | count(0), | |
34 | capacity(0), | |
35 | elements(0), | |
36 | deleter(0), | |
37 | comparer(0) | |
38 | { | |
729e4ab9 | 39 | _init(DEFAULT_CAPACITY, status); |
b75a7d8f A |
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 | ||
4388f060 | 52 | UVector::UVector(UObjectDeleter *d, UElementsAreEqual *c, UErrorCode &status) : |
b75a7d8f A |
53 | count(0), |
54 | capacity(0), | |
55 | elements(0), | |
56 | deleter(d), | |
57 | comparer(c) | |
58 | { | |
729e4ab9 | 59 | _init(DEFAULT_CAPACITY, status); |
b75a7d8f A |
60 | } |
61 | ||
4388f060 | 62 | UVector::UVector(UObjectDeleter *d, UElementsAreEqual *c, int32_t initialCapacity, UErrorCode &status) : |
b75a7d8f A |
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) { | |
374ca955 A |
73 | if (U_FAILURE(status)) { |
74 | return; | |
75 | } | |
729e4ab9 | 76 | // Fix bogus initialCapacity values; avoid malloc(0) and integer overflow |
4388f060 | 77 | if ((initialCapacity < 1) || (initialCapacity > (int32_t)(INT32_MAX / sizeof(UElement)))) { |
729e4ab9 | 78 | initialCapacity = DEFAULT_CAPACITY; |
b75a7d8f | 79 | } |
4388f060 | 80 | elements = (UElement *)uprv_malloc(sizeof(UElement)*initialCapacity); |
b75a7d8f A |
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 | */ | |
4388f060 | 98 | void UVector::assign(const UVector& other, UElementAssigner *assign, UErrorCode &ec) { |
b75a7d8f | 99 | if (ensureCapacity(other.count, ec)) { |
46f4442e A |
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]); | |
b75a7d8f | 107 | } |
b75a7d8f A |
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 { | |
4388f060 | 278 | UElement key; |
b75a7d8f A |
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 { | |
4388f060 | 292 | UElement key; |
b75a7d8f A |
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 { | |
4388f060 | 298 | UElement key; |
b75a7d8f A |
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 | |
4388f060 | 304 | int32_t UVector::indexOf(UElement key, int32_t startIndex, int8_t hint) const { |
b75a7d8f A |
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) { | |
729e4ab9 A |
332 | if (minimumCapacity < 0) { |
333 | status = U_ILLEGAL_ARGUMENT_ERROR; | |
334 | return FALSE; | |
335 | } | |
46f4442e | 336 | if (capacity < minimumCapacity) { |
729e4ab9 A |
337 | if (capacity > (INT32_MAX - 1) / 2) { // integer overflow check |
338 | status = U_ILLEGAL_ARGUMENT_ERROR; | |
339 | return FALSE; | |
340 | } | |
b75a7d8f A |
341 | int32_t newCap = capacity * 2; |
342 | if (newCap < minimumCapacity) { | |
343 | newCap = minimumCapacity; | |
344 | } | |
4388f060 | 345 | if (newCap > (int32_t)(INT32_MAX / sizeof(UElement))) { // integer overflow check |
729e4ab9 A |
346 | // We keep the original memory contents on bad minimumCapacity. |
347 | status = U_ILLEGAL_ARGUMENT_ERROR; | |
348 | return FALSE; | |
349 | } | |
4388f060 | 350 | UElement* newElems = (UElement *)uprv_realloc(elements, sizeof(UElement)*newCap); |
46f4442e | 351 | if (newElems == NULL) { |
729e4ab9 | 352 | // We keep the original contents on the memory failure on realloc or bad minimumCapacity. |
b75a7d8f A |
353 | status = U_MEMORY_ALLOCATION_ERROR; |
354 | return FALSE; | |
355 | } | |
b75a7d8f A |
356 | elements = newElems; |
357 | capacity = newCap; | |
b75a7d8f | 358 | } |
46f4442e | 359 | return TRUE; |
b75a7d8f A |
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 | */ | |
46f4442e | 368 | void UVector::setSize(int32_t newSize, UErrorCode &status) { |
b75a7d8f A |
369 | int32_t i; |
370 | if (newSize < 0) { | |
371 | return; | |
372 | } | |
373 | if (newSize > count) { | |
46f4442e | 374 | if (!ensureCapacity(newSize, status)) { |
b75a7d8f A |
375 | return; |
376 | } | |
4388f060 | 377 | UElement empty; |
b75a7d8f A |
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 | ||
4388f060 A |
409 | UElementsAreEqual *UVector::setComparer(UElementsAreEqual *d) { |
410 | UElementsAreEqual *old = comparer; | |
b75a7d8f A |
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 | */ | |
4388f060 A |
442 | void UVector::sortedInsert(void* obj, UElementComparator *compare, UErrorCode& ec) { |
443 | UElement e; | |
444 | e.pointer = obj; | |
445 | sortedInsert(e, compare, ec); | |
b75a7d8f A |
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 | */ | |
4388f060 A |
453 | void UVector::sortedInsert(int32_t obj, UElementComparator *compare, UErrorCode& ec) { |
454 | UElement e; | |
455 | e.integer = obj; | |
456 | sortedInsert(e, compare, ec); | |
b75a7d8f A |
457 | } |
458 | ||
459 | // ASSUME elements[] IS CURRENTLY SORTED | |
4388f060 | 460 | void UVector::sortedInsert(UElement e, UElementComparator *compare, UErrorCode& ec) { |
b75a7d8f A |
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; | |
4388f060 | 469 | int8_t c = (*compare)(elements[probe], e); |
b75a7d8f A |
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 | } | |
4388f060 | 481 | elements[min] = e; |
b75a7d8f A |
482 | ++count; |
483 | } | |
484 | } | |
485 | ||
729e4ab9 A |
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) { | |
4388f060 A |
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); | |
729e4ab9 A |
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) { | |
4388f060 A |
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; | |
729e4ab9 A |
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 | |
4388f060 | 523 | * not clear whether UVector's UElementComparator or |
729e4ab9 A |
524 | * UComparator from uprv_sortAray would be more appropriate.) |
525 | */ | |
526 | void UVector::sorti(UErrorCode &ec) { | |
527 | if (U_SUCCESS(ec)) { | |
4388f060 | 528 | uprv_sortArray(elements, count, sizeof(UElement), |
729e4ab9 A |
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 | */ | |
4388f060 | 548 | void UVector::sort(UElementComparator *compare, UErrorCode &ec) { |
729e4ab9 | 549 | if (U_SUCCESS(ec)) { |
4388f060 | 550 | uprv_sortArray(elements, count, sizeof(UElement), |
729e4ab9 A |
551 | sortComparator, &compare, FALSE, &ec); |
552 | } | |
553 | } | |
554 | ||
4388f060 A |
555 | |
556 | /** | |
51004dcb | 557 | * Stable sort with a user supplied comparator of type UComparator. |
4388f060 A |
558 | */ |
559 | void UVector::sortWithUComparator(UComparator *compare, const void *context, UErrorCode &ec) { | |
560 | if (U_SUCCESS(ec)) { | |
561 | uprv_sortArray(elements, count, sizeof(UElement), | |
51004dcb | 562 | compare, context, TRUE, &ec); |
4388f060 A |
563 | } |
564 | } | |
565 | ||
b75a7d8f A |
566 | U_NAMESPACE_END |
567 |