ViewVC Help
View File | Revision Log | Show Annotations | Download File
/cvs/libptytty/src/estl.h
Revision: 1.26
Committed: Thu Nov 6 18:13:31 2014 UTC (9 years, 8 months ago) by sf-exg
Content type: text/plain
Branch: MAIN
Changes since 1.25: +1 -1 lines
Log Message:
Fix typo.

File Contents

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