ViewVC Help
View File | Revision Log | Show Annotations | Download File
/cvs/libptytty/src/estl.h
Revision: 1.12
Committed: Sat May 19 01:57:09 2012 UTC (12 years, 2 months ago) by root
Content type: text/plain
Branch: MAIN
Changes since 1.11: +2 -1 lines
Log Message:
schmorp was here, and bloated urxvt

File Contents

# Content
1 #ifndef ESTL_H_
2 #define ESTL_H_
3
4 #include <stdlib.h>
5 #include <string.h>
6
7 #include "ecb.h"
8
9 template<typename T, typename U> static inline T min (T a, U b) { return a < (T)b ? a : (T)b; }
10 template<typename T, typename U> static inline T max (T a, U b) { return a > (T)b ? a : (T)b; }
11
12 template<typename T, typename U> static inline void swap (T& a, U& b) { T t = a; a = (T)b; b = (U)t; }
13
14 template <typename I, typename T>
15 I find (I first, I last, const T& value)
16 {
17 while (first != last && *first != value)
18 ++first;
19
20 return first;
21 }
22
23 #include <new>
24
25 #if __cplusplus >= 201103L
26 #include <type_traits>
27 #endif
28
29 // original version taken from MICO, but this has been completely rewritten
30 // known limitations w.r.t. std::vector
31 // - many methods missing
32 // - no error checking, no exceptions thrown (e.g. at())
33 // - size_type is 32bit even on 64 bit hosts, so limited to 2**31 elements
34 // - no allocator support
35 // - we don't really care about const correctness, but we try
36 // - we don't care about namespaces and stupid macros the user might define
37 // - no bool specialisation
38 template<class T>
39 struct simplevec
40 {
41 #if ESTL_BIG_VECTOR
42 // shoudl use size_t/ssize_t, but that's not portable enough for us
43 typedef unsigned long size_type;
44 typedef long difference_type;
45 #else
46 typedef uint32_t size_type;
47 typedef int32_t difference_type;
48 #endif
49
50 typedef T value_type;
51 typedef T *iterator;
52 typedef const T *const_iterator;
53 typedef T *pointer;
54 typedef const T *const_pointer;
55 typedef T &reference;
56 typedef const T &const_reference;
57 // missing: allocator_type
58 // missing: reverse iterator
59
60 private:
61 size_type sze, res;
62 T *buf;
63
64 // we shamelessly optimise for "simple" types. everything
65 // "not simple enough" will use the slow path.
66 static bool is_simple_enough ()
67 {
68 return 1; // we are not there yet
69 #if __cplusplus >= 201103L
70 return std::is_trivially_assignable<T, T>::value
71 && std::is_trivially_constructable<T>::value
72 && std::is_trivially_copyable<T>::value
73 && std::is_trivially_destructible<T>::value;
74 #elif ECB_GCC_VERSION(4,4)
75 return __has_trivial_assign (T)
76 && __has_trivial_constructor (T)
77 && __has_trivial_copy (T)
78 && __has_trivial_destructor (T);
79 #else
80 return 0;
81 #endif
82 }
83
84 static void construct (iterator a, size_type n = 1)
85 {
86 if (!is_simple_enough ())
87 while (n--)
88 new (*a++) T ();
89 }
90
91 static void destruct (iterator a, size_type n = 1)
92 {
93 if (!is_simple_enough ())
94 while (n--)
95 (*a++).~T ();
96 }
97
98 template<class I>
99 static void cop_new (iterator a, I b) { new (a) T (*b); }
100 template<class I>
101 static void cop_set (iterator a, I b) { *a = *b ; }
102
103 template<class I>
104 static void copy_lower (iterator dst, I src, size_type n, void (*op)(iterator, I ) = cop_new)
105 {
106 while (n--)
107 op (dst++, src++);
108 }
109
110 static void copy_lower (iterator dst, iterator src, size_type n, void (*op)(iterator, iterator) = cop_new)
111 {
112 if (is_simple_enough ())
113 memmove (dst, src, sizeof (T) * n);
114 else
115 copy_lower<iterator> (dst, src, n, cop_new);
116 }
117
118 static void copy_higher (iterator dst, iterator src, size_type n, void (*op)(iterator, iterator) = cop_new)
119 {
120 if (is_simple_enough ())
121 memmove (dst, src, sizeof (T) * n);
122 else
123 while (n--)
124 op (dst + n, src + n);
125 }
126
127 template<class I>
128 static void copy (iterator dst, I src, size_type n, void (*op)(iterator, I) = cop_new)
129 {
130 copy_lower<I> (dst, src, n, op);
131 }
132
133 static void copy (iterator dst, iterator src, size_type n, void (*op)(iterator, iterator) = cop_new)
134 {
135 if (is_simple_enough ())
136 memcpy (dst, src, sizeof (T) * n);
137 else
138 copy<iterator> (dst, src, n, op);
139 }
140
141 static T *alloc (size_type n) ecb_cold
142 {
143 return (T *)::operator new ((size_t) (sizeof (T) * n));
144 }
145
146 void dealloc () ecb_cold
147 {
148 destruct (buf, sze);
149 ::operator delete (buf);
150 }
151
152 size_type good_size (size_type n) ecb_cold
153 {
154 return n ? 2UL << ecb_ld32 (n) : 5;
155 }
156
157 void ins (iterator where, size_type n)
158 {
159 size_type pos = where - begin ();
160
161 if (ecb_expect_false (sze + n > res))
162 {
163 res = good_size (sze + n);
164
165 T *nbuf = alloc (res);
166 copy (nbuf, buf, sze, cop_new);
167 dealloc ();
168 buf = nbuf;
169 }
170
171 construct (buf + sze, n);
172 copy_higher (buf + pos + n, buf + pos, sze - pos, cop_set);
173 sze += n;
174 }
175
176 public:
177 size_type capacity () const { return res; }
178 size_type size () const { return sze; }
179 bool empty () const { return size () == 0; }
180
181 size_t max_size () const
182 {
183 return (~(size_type)0) >> 1;
184 }
185
186 const_iterator begin () const { return &buf [ 0]; }
187 iterator begin () { return &buf [ 0]; }
188 const_iterator end () const { return &buf [sze ]; }
189 iterator end () { return &buf [sze ]; }
190 const_reference front () const { return buf [ 0]; }
191 reference front () { return buf [ 0]; }
192 const_reference back () const { return buf [sze - 1]; }
193 reference back () { return buf [sze - 1]; }
194
195 void reserve (size_type sz)
196 {
197 if (ecb_expect_true (sz <= res))
198 return;
199
200 sz = good_size (sz);
201 T *nbuf = alloc (sz);
202
203 copy (nbuf, begin (), sze);
204 dealloc ();
205
206 buf = nbuf;
207 res = sz;
208 }
209
210 void resize (size_type sz)
211 {
212 reserve (sz);
213
214 if (is_simple_enough ())
215 sze = sz;
216 else
217 {
218 while (sze < sz) construct (buf + sze++);
219 while (sze > sz) destruct (buf + --sze);
220 }
221 }
222
223 simplevec ()
224 : sze(0), res(0), buf(0)
225 {
226 }
227
228 simplevec (size_type n, const T &t = T ())
229 {
230 sze = res = n;
231 buf = alloc (sze);
232
233 while (n--)
234 new (buf + n) T (t);
235 }
236
237 template<class I>
238 simplevec (I first, I last)
239 {
240 sze = res = last - first;
241 buf = alloc (sze);
242 copy (buf, first, sze);
243 }
244
245 simplevec (const simplevec<T> &v)
246 : sze(0), res(0), buf(0)
247 {
248 sze = res = v.size ();
249 buf = alloc (sze);
250 copy (buf, v.begin (), sze);
251 }
252
253 ~simplevec ()
254 {
255 dealloc ();
256 }
257
258 void swap (simplevec<T> &t)
259 {
260 ::swap (sze, t.sze);
261 ::swap (res, t.res);
262 ::swap (buf, t.buf);
263 }
264
265 void clear ()
266 {
267 destruct (buf, sze);
268 sze = 0;
269 }
270
271 void push_back (const T &t)
272 {
273 reserve (sze + 1);
274 new (buf + sze++) T (t);
275 }
276
277 void pop_back ()
278 {
279 destruct (buf + --sze);
280 }
281
282 const_reference operator [](size_type idx) const { return buf[idx]; }
283 reference operator [](size_type idx) { return buf[idx]; }
284
285 const_reference at (size_type idx) const { return buf [idx]; }
286 reference at (size_type idx) { return buf [idx]; }
287
288 template<class I>
289 void assign (I first, I last)
290 {
291 swap (simplevec<T> (first, last));
292 }
293
294 void assign (size_type n, const T &t)
295 {
296 swap (simplevec<T> (n, t));
297 }
298
299 simplevec<T> &operator= (const simplevec<T> &v)
300 {
301 assign (v.begin (), v.end ());
302 return *this;
303 }
304
305 iterator insert (iterator pos, const T &t)
306 {
307 size_type at = pos - begin ();
308
309 ins (pos, 1);
310 buf [at] = t;
311
312 return buf + at;
313 }
314
315 template<class I>
316 iterator insert (iterator pos, I first, I last)
317 {
318 size_type n = last - first;
319 size_type at = pos - begin ();
320
321 ins (pos, n);
322 copy (buf + at, first, n, cop_set);
323
324 return buf + at;
325 }
326
327 iterator insert (iterator pos, size_type n, const T &t)
328 {
329 size_type at = pos - begin ();
330
331 ins (pos, n);
332
333 for (iterator i = buf + at; n--; )
334 *i++ = t;
335
336 return buf + at;
337 }
338
339 void erase (iterator first, iterator last)
340 {
341 size_t n = last - first;
342
343 copy_lower (last, first, end () - last, cop_set);
344 sze -= n;
345 destruct (buf + sze, n);
346 }
347
348 void erase (iterator pos)
349 {
350 if (pos != end ())
351 erase (pos, pos + 1);
352 }
353 };
354
355 template<class T>
356 bool operator ==(const simplevec<T> &v1, const simplevec<T> &v2)
357 {
358 if (v1.size () != v2.size ()) return false;
359
360 return !v1.size () || !memcmp (&v1[0], &v2[0], v1.size () * sizeof (T));
361 }
362
363 template<class T>
364 bool operator <(const simplevec<T> &v1, const simplevec<T> &v2)
365 {
366 unsigned long minlast = min (v1.size (), v2.size ());
367
368 for (unsigned long i = 0; i < minlast; ++i)
369 {
370 if (v1[i] < v2[i]) return true;
371 if (v2[i] < v1[i]) return false;
372 }
373 return v1.size () < v2.size ();
374 }
375
376 template<typename T>
377 struct vector : simplevec<T>
378 {
379 };
380
381 #endif
382