Coverage Report

Created: 2023-02-22 06:51

/src/icu/source/common/uvector.h
Line
Count
Source (jump to first uncovered line)
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-2016, International Business Machines
6
*   Corporation and others.  All Rights Reserved.
7
**********************************************************************
8
*   Date        Name        Description
9
*   10/22/99    alan        Creation.  This is an internal header.
10
*                           It should not be exported.
11
**********************************************************************
12
*/
13
14
#ifndef UVECTOR_H
15
#define UVECTOR_H
16
17
#include "unicode/utypes.h"
18
#include "unicode/uobject.h"
19
#include "cmemory.h"
20
#include "uarrsort.h"
21
#include "uelement.h"
22
23
U_NAMESPACE_BEGIN
24
25
/**
26
 * <p>Ultralightweight C++ implementation of a <tt>void*</tt> vector
27
 * that is (mostly) compatible with java.util.Vector.
28
 *
29
 * <p>This is a very simple implementation, written to satisfy an
30
 * immediate porting need.  As such, it is not completely fleshed out,
31
 * and it aims for simplicity and conformity.  Nonetheless, it serves
32
 * its purpose (porting code from java that uses java.util.Vector)
33
 * well, and it could be easily made into a more robust vector class.
34
 *
35
 * <p><b>Design notes</b>
36
 *
37
 * <p>There is index bounds checking, but little is done about it.  If
38
 * indices are out of bounds, either nothing happens, or zero is
39
 * returned.  We <em>do</em> avoid indexing off into the weeds.
40
 *
41
 * <p>There is detection of out of memory, but the handling is very
42
 * coarse-grained -- similar to UnicodeString's protocol, but even
43
 * coarser.  The class contains <em>one static flag</em> that is set
44
 * when any call to <tt>new</tt> returns zero.  This allows the caller
45
 * to use several vectors and make just one check at the end to see if
46
 * a memory failure occurred.  This is more efficient than making a
47
 * check after each call on each vector when doing many operations on
48
 * multiple vectors.  The single static flag works best when memory
49
 * failures are infrequent, and when recovery options are limited or
50
 * nonexistent.
51
 *
52
 * <p>Since we don't have garbage collection, UVector was given the
53
 * option to <em>own</em>its contents.  To employ this, set a deleter
54
 * function.  The deleter is called on a void* pointer when that
55
 * pointer is released by the vector, either when the vector itself is
56
 * destructed, or when a call to setElementAt() overwrites an element,
57
 * or when a call to remove() or one of its variants explicitly
58
 * removes an element.  If no deleter is set, or the deleter is set to
59
 * zero, then it is assumed that the caller will delete elements as
60
 * needed.
61
 *
62
 * <p>In order to implement methods such as contains() and indexOf(),
63
 * UVector needs a way to compare objects for equality.  To do so, it
64
 * uses a comparison function, or "comparer."  If the comparer is not
65
 * set, or is set to zero, then all such methods will act as if the
66
 * vector contains no element.  That is, indexOf() will always return
67
 * -1, contains() will always return false, etc.
68
 *
69
 * <p><b>To do</b>
70
 *
71
 * <p>Improve the handling of index out of bounds errors.
72
 *
73
 * @author Alan Liu
74
 */
75
class U_COMMON_API UVector : public UObject {
76
    // NOTE: UVector uses the UHashKey (union of void* and int32_t) as
77
    // its basic storage type.  It uses UElementsAreEqual as its
78
    // comparison function.  It uses UObjectDeleter as its deleter
79
    // function.  These are named for hashtables, but used here as-is
80
    // rather than duplicating the type.  This allows sharing of
81
    // support functions.
82
83
private:
84
    int32_t count;
85
86
    int32_t capacity;
87
88
    UElement* elements;
89
90
    UObjectDeleter *deleter;
91
92
    UElementsAreEqual *comparer;
93
94
public:
95
    UVector(UErrorCode &status);
96
97
    UVector(int32_t initialCapacity, UErrorCode &status);
98
99
    UVector(UObjectDeleter *d, UElementsAreEqual *c, UErrorCode &status);
100
101
    UVector(UObjectDeleter *d, UElementsAreEqual *c, int32_t initialCapacity, UErrorCode &status);
102
103
    virtual ~UVector();
104
105
    /**
106
     * Assign this object to another (make this a copy of 'other').
107
     * Use the 'assign' function to assign each element.
108
     */
109
    void assign(const UVector& other, UElementAssigner *assign, UErrorCode &ec);
110
111
    /**
112
     * Compare this vector with another.  They will be considered
113
     * equal if they are of the same size and all elements are equal,
114
     * as compared using this object's comparer.
115
     */
116
    bool operator==(const UVector& other);
117
118
    /**
119
     * Equivalent to !operator==()
120
     */
121
    inline bool operator!=(const UVector& other);
122
123
    //------------------------------------------------------------
124
    // java.util.Vector API
125
    //------------------------------------------------------------
126
127
    /*
128
     * Old version of addElement, with non-standard error handling.
129
     * Will be removed once all uses have been switched to the new addElement().
130
     */
131
    void addElementX(void* obj, UErrorCode &status);
132
133
    void addElement(int32_t elem, UErrorCode &status);
134
135
    void setElementAt(void* obj, int32_t index);
136
137
    void setElementAt(int32_t elem, int32_t index);
138
139
    void insertElementAt(void* obj, int32_t index, UErrorCode &status);
140
141
    void insertElementAt(int32_t elem, int32_t index, UErrorCode &status);
142
    
143
    void* elementAt(int32_t index) const;
144
145
    int32_t elementAti(int32_t index) const;
146
147
    UBool equals(const UVector &other) const;
148
149
    inline void* firstElement(void) const;
150
151
    inline void* lastElement(void) const;
152
153
    inline int32_t lastElementi(void) const;
154
155
    int32_t indexOf(void* obj, int32_t startIndex = 0) const;
156
157
    int32_t indexOf(int32_t obj, int32_t startIndex = 0) const;
158
159
    inline UBool contains(void* obj) const;
160
161
    inline UBool contains(int32_t obj) const;
162
163
    UBool containsAll(const UVector& other) const;
164
165
    UBool removeAll(const UVector& other);
166
167
    UBool retainAll(const UVector& other);
168
169
    void removeElementAt(int32_t index);
170
171
    UBool removeElement(void* obj);
172
173
    void removeAllElements();
174
175
    inline int32_t size(void) const;
176
177
    inline UBool isEmpty(void) const;
178
179
    /*
180
     * Old version of ensureCapacity, with non-standard error handling.
181
     * Will be removed once all uses have been switched to the new ensureCapacity().
182
     */
183
    UBool ensureCapacityX(int32_t minimumCapacity, UErrorCode &status);
184
185
    /**
186
     * Change the size of this vector as follows: If newSize is
187
     * smaller, then truncate the array, possibly deleting held
188
     * elements for i >= newSize.  If newSize is larger, grow the
189
     * array, filling in new slots with NULL.
190
     */
191
    void setSize(int32_t newSize, UErrorCode &status);
192
193
    /**
194
     * Fill in the given array with all elements of this vector.
195
     */
196
    void** toArray(void** result) const;
197
198
    //------------------------------------------------------------
199
    // New API
200
    //------------------------------------------------------------
201
202
    UObjectDeleter *setDeleter(UObjectDeleter *d);
203
204
    UElementsAreEqual *setComparer(UElementsAreEqual *c);
205
206
    inline void* operator[](int32_t index) const;
207
208
    /**
209
     * Removes the element at the given index from this vector and
210
     * transfer ownership of it to the caller.  After this call, the
211
     * caller owns the result and must delete it and the vector entry
212
     * at 'index' is removed, shifting all subsequent entries back by
213
     * one index and shortening the size of the vector by one.  If the
214
     * index is out of range or if there is no item at the given index
215
     * then 0 is returned and the vector is unchanged.
216
     */
217
    void* orphanElementAt(int32_t index);
218
219
    /**
220
     * Returns true if this vector contains none of the elements
221
     * of the given vector.
222
     * @param other vector to be checked for containment
223
     * @return true if the test condition is met
224
     */
225
    UBool containsNone(const UVector& other) const;
226
227
    /**
228
     * Insert the given object into this vector at its sorted position
229
     * as defined by 'compare'.  The current elements are assumed to
230
     * be sorted already.
231
     */
232
    void sortedInsert(void* obj, UElementComparator *compare, UErrorCode& ec);
233
234
    /**
235
     * Insert the given integer into this vector at its sorted position
236
     * as defined by 'compare'.  The current elements are assumed to
237
     * be sorted already.
238
     */
239
    void sortedInsert(int32_t obj, UElementComparator *compare, UErrorCode& ec);
240
241
    /**
242
     * Sort the contents of the vector, assuming that the contents of the
243
     * vector are of type int32_t.
244
     */
245
    void sorti(UErrorCode &ec);
246
247
    /**
248
      * Sort the contents of this vector, using a caller-supplied function
249
      * to do the comparisons.  (It's confusing that
250
      *  UVector's UElementComparator function is different from the
251
      *  UComparator function type defined in uarrsort.h)
252
      */
253
    void sort(UElementComparator *compare, UErrorCode &ec);
254
255
    /**
256
     * Stable sort the contents of this vector using a caller-supplied function
257
     * of type UComparator to do the comparison.  Provides more flexibility
258
     * than UVector::sort() because an additional user parameter can be passed to
259
     * the comparison function.
260
     */
261
    void sortWithUComparator(UComparator *compare, const void *context, UErrorCode &ec);
262
263
    /**
264
     * ICU "poor man's RTTI", returns a UClassID for this class.
265
     */
266
    static UClassID U_EXPORT2 getStaticClassID();
267
268
    /**
269
     * ICU "poor man's RTTI", returns a UClassID for the actual class.
270
     */
271
    virtual UClassID getDynamicClassID() const;
272
273
private:
274
    void _init(int32_t initialCapacity, UErrorCode &status);
275
276
    int32_t indexOf(UElement key, int32_t startIndex = 0, int8_t hint = 0) const;
277
278
    void sortedInsert(UElement e, UElementComparator *compare, UErrorCode& ec);
279
280
    // Disallow
281
    UVector(const UVector&);
282
283
    // Disallow
284
    UVector& operator=(const UVector&);
285
286
};
287
288
289
/**
290
 * <p>Ultralightweight C++ implementation of a <tt>void*</tt> stack
291
 * that is (mostly) compatible with java.util.Stack.  As in java, this
292
 * is merely a paper thin layer around UVector.  See the UVector
293
 * documentation for further information.
294
 *
295
 * <p><b>Design notes</b>
296
 *
297
 * <p>The element at index <tt>n-1</tt> is (of course) the top of the
298
 * stack.
299
 *
300
 * <p>The poorly named <tt>empty()</tt> method doesn't empty the
301
 * stack; it determines if the stack is empty.
302
 *
303
 * @author Alan Liu
304
 */
305
class U_COMMON_API UStack : public UVector {
306
public:
307
    UStack(UErrorCode &status);
308
309
    UStack(int32_t initialCapacity, UErrorCode &status);
310
311
    UStack(UObjectDeleter *d, UElementsAreEqual *c, UErrorCode &status);
312
313
    UStack(UObjectDeleter *d, UElementsAreEqual *c, int32_t initialCapacity, UErrorCode &status);
314
315
    virtual ~UStack();
316
317
    // It's okay not to have a virtual destructor (in UVector)
318
    // because UStack has no special cleanup to do.
319
320
    inline UBool empty(void) const;
321
322
    inline void* peek(void) const;
323
324
    inline int32_t peeki(void) const;
325
    
326
    void* pop(void);
327
    
328
    int32_t popi(void);
329
    
330
    inline void* push(void* obj, UErrorCode &status);
331
332
    inline int32_t push(int32_t i, UErrorCode &status);
333
334
    /*
335
    If the object o occurs as an item in this stack,
336
    this method returns the 1-based distance from the top of the stack.
337
    */
338
    int32_t search(void* obj) const;
339
340
    /**
341
     * ICU "poor man's RTTI", returns a UClassID for this class.
342
     */
343
    static UClassID U_EXPORT2 getStaticClassID();
344
345
    /**
346
     * ICU "poor man's RTTI", returns a UClassID for the actual class.
347
     */
348
    virtual UClassID getDynamicClassID() const;
349
350
private:
351
    // Disallow
352
    UStack(const UStack&);
353
354
    // Disallow
355
    UStack& operator=(const UStack&);
356
};
357
358
359
// UVector inlines
360
361
0
inline int32_t UVector::size(void) const {
362
0
    return count;
363
0
}
364
365
0
inline UBool UVector::isEmpty(void) const {
366
0
    return count == 0;
367
0
}
368
369
0
inline UBool UVector::contains(void* obj) const {
370
0
    return indexOf(obj) >= 0;
371
0
}
372
373
0
inline UBool UVector::contains(int32_t obj) const {
374
0
    return indexOf(obj) >= 0;
375
0
}
376
377
0
inline void* UVector::firstElement(void) const {
378
0
    return elementAt(0);
379
0
}
380
381
0
inline void* UVector::lastElement(void) const {
382
0
    return elementAt(count-1);
383
0
}
384
385
0
inline int32_t UVector::lastElementi(void) const {
386
0
    return elementAti(count-1);
387
0
}
388
389
0
inline void* UVector::operator[](int32_t index) const {
390
0
    return elementAt(index);
391
0
}
392
393
0
inline bool UVector::operator!=(const UVector& other) {
394
0
    return !operator==(other);
395
0
}
396
397
// UStack inlines
398
399
0
inline UBool UStack::empty(void) const {
400
0
    return isEmpty();
401
0
}
402
403
0
inline void* UStack::peek(void) const {
404
0
    return lastElement();
405
0
}
406
407
0
inline int32_t UStack::peeki(void) const {
408
0
    return lastElementi();
409
0
}
410
411
0
inline void* UStack::push(void* obj, UErrorCode &status) {
412
0
    addElementX(obj, status);
413
0
    return obj;
414
0
}
415
416
0
inline int32_t UStack::push(int32_t i, UErrorCode &status) {
417
0
    addElement(i, status);
418
0
    return i;
419
0
}
420
421
U_NAMESPACE_END
422
423
#endif