ViewVC Help
View File | Revision Log | Show Annotations | Download File
/cvs/libptytty/src/estl.h
Revision: 1.29
Committed: Thu Nov 13 13:58:12 2014 UTC (9 years, 8 months ago) by sf-exg
Content type: text/plain
Branch: MAIN
CVS Tags: rel-1_8, rxvt-unicode-rel-9_26, rxvt-unicode-rel-9_25, rxvt-unicode-rel-9_22, rel-1_7, rxvt-unicode-rel-9_21
Changes since 1.28: +8 -2 lines
Log Message:
*** empty log message ***

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 sf-exg 1.28 namespace estl
30     {
31     #if ESTL_LARGE_MEMORY_MODEL
32     // should use size_t/ssize_t, but that's not portable enough for us
33     typedef unsigned long size_type;
34     typedef long difference_type;
35     #else
36     typedef uint32_t size_type;
37     typedef int32_t difference_type;
38     #endif
39    
40     template<typename T>
41     struct scoped_ptr
42     {
43     T *p;
44    
45     scoped_ptr () : p (0) { }
46    
47     explicit
48     scoped_ptr (T *a) : p (a) { }
49    
50     ~scoped_ptr ()
51     {
52     delete p;
53     }
54    
55     void reset (T *a)
56     {
57     delete p;
58     p = a;
59     }
60    
61     T *operator ->() const { return p; }
62     T &operator *() const { return *p; }
63    
64     operator T *() { return p; }
65     T *get () const { return p; }
66 sf-exg 1.29
67     private:
68     scoped_ptr (const scoped_ptr &);
69     scoped_ptr &operator =(const scoped_ptr &);
70 sf-exg 1.28 };
71    
72     template<typename T>
73     struct scoped_array
74     {
75     T *p;
76    
77     scoped_array () : p (0) { }
78    
79     explicit
80     scoped_array (T *a) : p (a) { }
81    
82     ~scoped_array ()
83     {
84     delete [] p;
85     }
86    
87     void reset (T *a)
88     {
89     delete [] p;
90     p = a;
91     }
92    
93     operator T *() { return p; }
94     T *get () const { return p; }
95 sf-exg 1.29
96     private:
97     scoped_array (const scoped_array &);
98     scoped_array &operator =(const scoped_array &);
99 sf-exg 1.28 };
100     }
101    
102 root 1.9 // original version taken from MICO, but this has been completely rewritten
103     // known limitations w.r.t. std::vector
104     // - many methods missing
105 root 1.12 // - no error checking, no exceptions thrown (e.g. at())
106 root 1.9 // - size_type is 32bit even on 64 bit hosts, so limited to 2**31 elements
107     // - no allocator support
108     // - we don't really care about const correctness, but we try
109     // - we don't care about namespaces and stupid macros the user might define
110 root 1.12 // - no bool specialisation
111 sf-exg 1.1 template<class T>
112     struct simplevec
113     {
114 sf-exg 1.28 typedef estl::size_type size_type;
115 root 1.9
116     typedef T value_type;
117     typedef T *iterator;
118 root 1.3 typedef const T *const_iterator;
119 root 1.9 typedef T *pointer;
120     typedef const T *const_pointer;
121     typedef T &reference;
122     typedef const T &const_reference;
123     // missing: allocator_type
124     // missing: reverse iterator
125    
126     private:
127     size_type sze, res;
128     T *buf;
129 sf-exg 1.1
130 root 1.9 // we shamelessly optimise for "simple" types. everything
131     // "not simple enough" will use the slow path.
132 root 1.8 static bool is_simple_enough ()
133     {
134 root 1.21 #if ECB_CPP11
135 root 1.8 return std::is_trivially_assignable<T, T>::value
136 sf-exg 1.26 && std::is_trivially_constructible<T>::value
137 root 1.8 && std::is_trivially_copyable<T>::value
138     && std::is_trivially_destructible<T>::value;
139 sf-exg 1.27 #elif ECB_GCC_VERSION(4,4) || ECB_CLANG_VERSION(2,8)
140 root 1.8 return __has_trivial_assign (T)
141     && __has_trivial_constructor (T)
142     && __has_trivial_copy (T)
143     && __has_trivial_destructor (T);
144     #else
145     return 0;
146     #endif
147     }
148    
149 root 1.9 static void construct (iterator a, size_type n = 1)
150 root 1.3 {
151 root 1.9 if (!is_simple_enough ())
152     while (n--)
153 sf-exg 1.17 new (a++) T ();
154 root 1.3 }
155    
156 root 1.9 static void destruct (iterator a, size_type n = 1)
157 root 1.3 {
158 root 1.8 if (!is_simple_enough ())
159 root 1.9 while (n--)
160     (*a++).~T ();
161 root 1.3 }
162    
163 root 1.11 template<class I>
164     static void cop_new (iterator a, I b) { new (a) T (*b); }
165     template<class I>
166     static void cop_set (iterator a, I b) { *a = *b ; }
167    
168 root 1.14 // MUST copy forwards
169 root 1.11 template<class I>
170 root 1.15 static void copy (iterator dst, I src, size_type n, void (*op)(iterator, I))
171 root 1.11 {
172 root 1.13 while (n--)
173     op (dst++, src++);
174 root 1.11 }
175    
176 root 1.15 static void copy (iterator dst, iterator src, size_type n, void (*op)(iterator, iterator))
177 root 1.8 {
178     if (is_simple_enough ())
179     memcpy (dst, src, sizeof (T) * n);
180     else
181 root 1.11 copy<iterator> (dst, src, n, op);
182 root 1.9 }
183    
184     static T *alloc (size_type n) ecb_cold
185     {
186     return (T *)::operator new ((size_t) (sizeof (T) * n));
187     }
188    
189     void dealloc () ecb_cold
190     {
191     destruct (buf, sze);
192     ::operator delete (buf);
193     }
194    
195     size_type good_size (size_type n) ecb_cold
196     {
197     return n ? 2UL << ecb_ld32 (n) : 5;
198 root 1.8 }
199    
200     void ins (iterator where, size_type n)
201 root 1.3 {
202 root 1.9 size_type pos = where - begin ();
203    
204     if (ecb_expect_false (sze + n > res))
205 root 1.3 {
206 root 1.9 res = good_size (sze + n);
207 root 1.3
208 root 1.9 T *nbuf = alloc (res);
209     copy (nbuf, buf, sze, cop_new);
210     dealloc ();
211     buf = nbuf;
212 root 1.3 }
213 root 1.9
214     construct (buf + sze, n);
215 root 1.14
216     iterator src = buf + pos;
217     if (is_simple_enough ())
218 sf-exg 1.23 memmove (src + n, src, sizeof (T) * (sze - pos));
219 root 1.14 else
220 sf-exg 1.23 for (size_type i = sze - pos; i--; )
221 sf-exg 1.17 cop_set (src + n + i, src + i);
222 sf-exg 1.23
223     sze += n;
224 root 1.3 }
225 sf-exg 1.1
226     public:
227 root 1.9 size_type capacity () const { return res; }
228     size_type size () const { return sze; }
229     bool empty () const { return size () == 0; }
230    
231 root 1.11 size_t max_size () const
232     {
233     return (~(size_type)0) >> 1;
234     }
235    
236 root 1.9 const_iterator begin () const { return &buf [ 0]; }
237     iterator begin () { return &buf [ 0]; }
238     const_iterator end () const { return &buf [sze ]; }
239     iterator end () { return &buf [sze ]; }
240     const_reference front () const { return buf [ 0]; }
241     reference front () { return buf [ 0]; }
242     const_reference back () const { return buf [sze - 1]; }
243     reference back () { return buf [sze - 1]; }
244    
245 root 1.3 void reserve (size_type sz)
246     {
247 root 1.9 if (ecb_expect_true (sz <= res))
248     return;
249 root 1.3
250 root 1.9 sz = good_size (sz);
251     T *nbuf = alloc (sz);
252 root 1.3
253 root 1.15 copy (nbuf, begin (), sze, cop_new);
254 root 1.9 dealloc ();
255    
256     buf = nbuf;
257     res = sz;
258 root 1.3 }
259    
260 root 1.7 void resize (size_type sz)
261     {
262     reserve (sz);
263 root 1.8
264     if (is_simple_enough ())
265 root 1.9 sze = sz;
266 root 1.8 else
267     {
268 root 1.9 while (sze < sz) construct (buf + sze++);
269     while (sze > sz) destruct (buf + --sze);
270 root 1.8 }
271 root 1.7 }
272    
273 root 1.3 simplevec ()
274 root 1.9 : sze(0), res(0), buf(0)
275 root 1.3 {
276     }
277    
278 root 1.9 simplevec (size_type n, const T &t = T ())
279 root 1.3 {
280 root 1.11 sze = res = n;
281     buf = alloc (sze);
282    
283     while (n--)
284     new (buf + n) T (t);
285 root 1.3 }
286    
287 sf-exg 1.25 simplevec (const_iterator first, const_iterator last)
288 root 1.3 {
289 root 1.11 sze = res = last - first;
290     buf = alloc (sze);
291 root 1.15 copy (buf, first, sze, cop_new);
292 root 1.3 }
293    
294     simplevec (const simplevec<T> &v)
295 root 1.9 : sze(0), res(0), buf(0)
296 root 1.3 {
297 root 1.11 sze = res = v.size ();
298     buf = alloc (sze);
299 root 1.15 copy (buf, v.begin (), sze, cop_new);
300 root 1.3 }
301    
302     ~simplevec ()
303     {
304 root 1.8 dealloc ();
305 root 1.3 }
306    
307 root 1.9 void swap (simplevec<T> &t)
308 root 1.3 {
309 root 1.9 ::swap (sze, t.sze);
310     ::swap (res, t.res);
311     ::swap (buf, t.buf);
312 root 1.3 }
313    
314     void clear ()
315     {
316 root 1.9 destruct (buf, sze);
317     sze = 0;
318 root 1.3 }
319    
320     void push_back (const T &t)
321     {
322 root 1.9 reserve (sze + 1);
323     new (buf + sze++) T (t);
324 root 1.3 }
325    
326     void pop_back ()
327     {
328 root 1.9 destruct (buf + --sze);
329 root 1.3 }
330    
331 root 1.11 const_reference operator [](size_type idx) const { return buf[idx]; }
332     reference operator [](size_type idx) { return buf[idx]; }
333    
334     const_reference at (size_type idx) const { return buf [idx]; }
335     reference at (size_type idx) { return buf [idx]; }
336    
337 sf-exg 1.25 void assign (const_iterator first, const_iterator last)
338 root 1.11 {
339 sf-exg 1.25 simplevec<T> v (first, last);
340     swap (v);
341 root 1.11 }
342    
343     void assign (size_type n, const T &t)
344     {
345 sf-exg 1.25 simplevec<T> v (n, t);
346     swap (v);
347 root 1.11 }
348    
349     simplevec<T> &operator= (const simplevec<T> &v)
350     {
351     assign (v.begin (), v.end ());
352     return *this;
353     }
354 root 1.3
355     iterator insert (iterator pos, const T &t)
356     {
357 root 1.8 size_type at = pos - begin ();
358 root 1.10
359 root 1.8 ins (pos, 1);
360 root 1.10 buf [at] = t;
361    
362     return buf + at;
363 root 1.3 }
364    
365 sf-exg 1.25 iterator insert (iterator pos, const_iterator first, const_iterator last)
366 root 1.3 {
367 root 1.8 size_type n = last - first;
368     size_type at = pos - begin ();
369 root 1.3
370 root 1.9 ins (pos, n);
371 root 1.10 copy (buf + at, first, n, cop_set);
372 root 1.3
373 root 1.10 return buf + at;
374 root 1.3 }
375    
376     iterator insert (iterator pos, size_type n, const T &t)
377     {
378 root 1.8 size_type at = pos - begin ();
379 root 1.3
380 root 1.9 ins (pos, n);
381    
382 root 1.10 for (iterator i = buf + at; n--; )
383     *i++ = t;
384 root 1.3
385 root 1.10 return buf + at;
386 root 1.3 }
387    
388 sf-exg 1.19 iterator erase (iterator first, iterator last)
389 root 1.3 {
390 root 1.20 size_type n = last - first;
391     size_type c = end () - last;
392 root 1.8
393 root 1.13 if (is_simple_enough ())
394 root 1.20 memmove (first, last, sizeof (T) * c);
395 root 1.13 else
396 sf-exg 1.22 copy (first, last, c, cop_set);
397 root 1.13
398 root 1.9 sze -= n;
399     destruct (buf + sze, n);
400 sf-exg 1.19
401     return first;
402 root 1.3 }
403    
404 sf-exg 1.19 iterator erase (iterator pos)
405 root 1.3 {
406     if (pos != end ())
407 root 1.8 erase (pos, pos + 1);
408 sf-exg 1.19
409     return pos;
410 root 1.3 }
411 sf-exg 1.1 };
412    
413     template<class T>
414 root 1.3 bool operator ==(const simplevec<T> &v1, const simplevec<T> &v2)
415 sf-exg 1.1 {
416 root 1.3 if (v1.size () != v2.size ()) return false;
417    
418     return !v1.size () || !memcmp (&v1[0], &v2[0], v1.size () * sizeof (T));
419 sf-exg 1.1 }
420    
421     template<class T>
422 root 1.3 bool operator <(const simplevec<T> &v1, const simplevec<T> &v2)
423 sf-exg 1.1 {
424 root 1.3 unsigned long minlast = min (v1.size (), v2.size ());
425    
426     for (unsigned long i = 0; i < minlast; ++i)
427     {
428     if (v1[i] < v2[i]) return true;
429     if (v2[i] < v1[i]) return false;
430 sf-exg 1.1 }
431 root 1.3 return v1.size () < v2.size ();
432 sf-exg 1.1 }
433    
434     template<typename T>
435     struct vector : simplevec<T>
436     {
437     };
438 sf-exg 1.2
439     #endif
440 root 1.3