libptytty/src/estl.h

#ifndef ESTL_H_
#define ESTL_H_

#include <stdlib.h>
#include <string.h>

#include "ecb.h"

template<typename T, typename U> static inline T min (T a, U b) { return a < (T)b ? a : (T)b; }
template<typename T, typename U> static inline T max (T a, U b) { return a > (T)b ? a : (T)b; }

template<typename T, typename U> static inline void swap (T& a, U& b) { T t = a; a = (T)b; b = (U)t; }

template <typename I, typename T>
I find (I first, I last, const T& value)
{
  while (first != last && *first != value)
    ++first;

  return first;
}

#include <new>

#if __cplusplus >= 201103L
  #include <type_traits>
#endif

// original version taken from MICO, but this has been completely rewritten
// known limitations w.r.t. std::vector
// - many methods missing
// - no error checking, no exceptions thrown (e.g. at())
// - size_type is 32bit even on 64 bit hosts, so limited to 2**31 elements
// - no allocator support
// - we don't really care about const correctness, but we try
// - we don't care about namespaces and stupid macros the user might define
// - no bool specialisation
template<class T>
struct simplevec
{
#if ESTL_BIG_VECTOR
  // shoudl use size_t/ssize_t, but that's not portable enough for us
  typedef unsigned long size_type;
  typedef          long difference_type;
#else
  typedef uint32_t size_type;
  typedef  int32_t difference_type;
#endif

  typedef       T  value_type;
  typedef       T *iterator;
  typedef const T *const_iterator;
  typedef       T *pointer;
  typedef const T *const_pointer;
  typedef       T &reference;
  typedef const T &const_reference;
  // missing: allocator_type
  // missing: reverse iterator

private:
  size_type sze, res;
  T *buf;

  // we shamelessly optimise for "simple" types. everything
  // "not simple enough" will use the slow path.
  static bool is_simple_enough ()
  {
    return 1; // we are not there yet
    #if __cplusplus >= 201103L
      return std::is_trivially_assignable<T, T>::value
          && std::is_trivially_constructable<T>::value
          && std::is_trivially_copyable<T>::value
          && std::is_trivially_destructible<T>::value;
    #elif ECB_GCC_VERSION(4,4)
      return __has_trivial_assign (T)
          && __has_trivial_constructor (T)
          && __has_trivial_copy (T)
          && __has_trivial_destructor (T);
    #else
      return 0;
    #endif
  }

  static void construct (iterator a, size_type n = 1)
  {
    if (!is_simple_enough ())
      while (n--)
        new (*a++) T ();
  }

  static void destruct (iterator a, size_type n = 1)
  {
    if (!is_simple_enough ())
      while (n--)
        (*a++).~T ();
  }

  template<class I>
  static void cop_new (iterator a, I b) { new (a) T (*b); }
  template<class I>
  static void cop_set (iterator a, I b) {     *a  =  *b ; }

  static void copy_higher (iterator dst, iterator src, size_type n, void (*op)(iterator, iterator) = cop_new)
  {
    if (is_simple_enough ())
      memmove (dst, src, sizeof (T) * n);
    else
      while (n--)
        op (dst + n, src + n);
  }

  template<class I>
  static void copy (iterator dst, I        src, size_type n, void (*op)(iterator,        I) = cop_new)
  {
    while (n--)
      op (dst++, src++);
  }

  static void copy (iterator dst, iterator src, size_type n, void (*op)(iterator, iterator) = cop_new)
  {
    if (is_simple_enough ())
      memcpy (dst, src, sizeof (T) * n);
    else
      copy<iterator> (dst, src, n, op);
  }

  static T *alloc (size_type n) ecb_cold
  {
    return (T *)::operator new ((size_t) (sizeof (T) * n));
  }

  void dealloc () ecb_cold
  {
    destruct (buf, sze);
    ::operator delete (buf);
  }

  size_type good_size (size_type n) ecb_cold
  {
    return n ? 2UL << ecb_ld32 (n) : 5;
  }

  void ins (iterator where, size_type n)
  {
    size_type pos = where - begin ();

    if (ecb_expect_false (sze + n > res))
      {
        res = good_size (sze + n);

        T *nbuf = alloc (res);
        copy (nbuf, buf, sze, cop_new);
        dealloc ();
        buf = nbuf;
      }

    construct (buf + sze, n);
    copy_higher (buf + pos + n, buf + pos, sze - pos, cop_set);
    sze += n;
  }

public:
  size_type capacity () const { return res; }
  size_type size     () const { return sze; }
  bool empty         () const { return size () == 0; }

  size_t max_size () const
  {
    return (~(size_type)0) >> 1;
  }

  const_iterator  begin () const { return &buf [      0]; }
        iterator  begin ()       { return &buf [      0]; }
  const_iterator  end   () const { return &buf [sze    ]; }
        iterator  end   ()       { return &buf [sze    ]; }
  const_reference front () const { return  buf [      0]; }
        reference front ()       { return  buf [      0]; }
  const_reference back  () const { return  buf [sze - 1]; }
        reference back  ()       { return  buf [sze - 1]; }

  void reserve (size_type sz)
  {
    if (ecb_expect_true (sz <= res))
      return;

    sz = good_size (sz);
    T *nbuf = alloc (sz);

    copy (nbuf, begin (), sze);
    dealloc ();

    buf  = nbuf;
    res = sz;
  }

  void resize (size_type sz)
  {
    reserve (sz);

    if (is_simple_enough ())
      sze = sz;
    else
      {
        while (sze < sz) construct (buf + sze++);
        while (sze > sz) destruct  (buf + --sze);
      }
  }

  simplevec ()
  : sze(0), res(0), buf(0)
  {
  }

  simplevec (size_type n, const T &t = T ())
  {
    sze = res = n;
    buf = alloc (sze);

    while (n--)
      new (buf + n) T (t);
  }

  template<class I>
  simplevec (I first, I last)
  {
    sze = res = last - first;
    buf = alloc (sze);
    copy (buf, first, sze);
  }

  simplevec (const simplevec<T> &v)
  : sze(0), res(0), buf(0)
  {
    sze = res = v.size ();
    buf = alloc (sze);
    copy (buf, v.begin (), sze);
  }

  ~simplevec ()
  {
    dealloc ();
  }

  void swap (simplevec<T> &t)
  {
    ::swap (sze, t.sze);
    ::swap (res, t.res);
    ::swap (buf, t.buf);
  }

  void clear ()
  {
    destruct (buf, sze);
    sze = 0;
  }

  void push_back (const T &t)
  {
    reserve (sze + 1);
    new (buf + sze++) T (t);
  }

  void pop_back ()
  {
    destruct (buf + --sze);
  }

  const_reference operator [](size_type idx) const { return buf[idx]; }
        reference operator [](size_type idx)       { return buf[idx]; }

  const_reference at (size_type idx) const { return buf [idx]; }
        reference at (size_type idx)       { return buf [idx]; }

  template<class I>
  void assign (I first, I last)
  {
    swap (simplevec<T> (first, last));
  }

  void assign (size_type n, const T &t)
  {
    swap (simplevec<T> (n, t));
  }

  simplevec<T> &operator= (const simplevec<T> &v)
  {
    assign (v.begin (), v.end ());
    return *this;
  }

  iterator insert (iterator pos, const T &t)
  {
    size_type at = pos - begin ();

    ins (pos, 1);
    buf [at] = t;

    return buf + at;
  }

  template<class I>
  iterator insert (iterator pos, I first, I last)
  {
    size_type n  = last - first;
    size_type at = pos - begin ();

    ins (pos, n);
    copy (buf + at, first, n, cop_set);

    return buf + at;
  }

  iterator insert (iterator pos, size_type n, const T &t)
  {
    size_type at = pos - begin ();

    ins (pos, n);

    for (iterator i = buf + at; n--; )
      *i++ = t;

    return buf + at;
  }

  void erase (iterator first, iterator last)
  {
    size_t n = last - first;

    if (is_simple_enough ())
      memmove (first, last, sizeof (T) * n);
    else
      copy<iterator> (first, last, n, cop_new);

    sze -= n;
    destruct (buf + sze, n);
  }

  void erase (iterator pos)
  {
    if (pos != end ())
      erase (pos, pos + 1);
  }
};

template<class T>
bool operator ==(const simplevec<T> &v1, const simplevec<T> &v2)
{
  if (v1.size () != v2.size ()) return false;

  return !v1.size () || !memcmp (&v1[0], &v2[0], v1.size () * sizeof (T));
}

template<class T>
bool operator <(const simplevec<T> &v1, const simplevec<T> &v2)
{
  unsigned long minlast = min (v1.size (), v2.size ());

  for (unsigned long i = 0; i < minlast; ++i)
    {
      if (v1[i] < v2[i]) return true;
      if (v2[i] < v1[i]) return false;
    }
  return v1.size () < v2.size ();
}

template<typename T>
struct vector : simplevec<T>
{
};

#endif

Revision:	1.13
Committed:	Sat May 19 02:10:54 2012 UTC (12 years, 1 month ago) by root
Content type:	text/plain
Branch:	MAIN
Changes since 1.12:	+7 -17 lines
Log Message:	cool, inlining this reduces codesize by 1.5kb, even smaller than original estl.h
#	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	static void copy_higher (iterator dst, iterator src, size_type n, void (*op)(iterator, iterator) = cop_new)
104	{
105	if (is_simple_enough ())
106	memmove (dst, src, sizeof (T) * n);
107	else
108	while (n--)
109	op (dst + n, src + n);
110	}
111
112	template<class I>
113	static void copy (iterator dst, I src, size_type n, void (*op)(iterator, I) = cop_new)
114	{
115	while (n--)
116	op (dst++, src++);
117	}
118
119	static void copy (iterator dst, iterator src, size_type n, void (*op)(iterator, iterator) = cop_new)
120	{
121	if (is_simple_enough ())
122	memcpy (dst, src, sizeof (T) * n);
123	else
124	copy<iterator> (dst, src, n, op);
125	}
126
127	static T *alloc (size_type n) ecb_cold
128	{
129	return (T )::operator new ((size_t) (sizeof (T) n));
130	}
131
132	void dealloc () ecb_cold
133	{
134	destruct (buf, sze);
135	::operator delete (buf);
136	}
137
138	size_type good_size (size_type n) ecb_cold
139	{
140	return n ? 2UL << ecb_ld32 (n) : 5;
141	}
142
143	void ins (iterator where, size_type n)
144	{
145	size_type pos = where - begin ();
146
147	if (ecb_expect_false (sze + n > res))
148	{
149	res = good_size (sze + n);
150
151	T *nbuf = alloc (res);
152	copy (nbuf, buf, sze, cop_new);
153	dealloc ();
154	buf = nbuf;
155	}
156
157	construct (buf + sze, n);
158	copy_higher (buf + pos + n, buf + pos, sze - pos, cop_set);
159	sze += n;
160	}
161
162	public:
163	size_type capacity () const { return res; }
164	size_type size () const { return sze; }
165	bool empty () const { return size () == 0; }
166
167	size_t max_size () const
168	{
169	return (~(size_type)0) >> 1;
170	}
171
172	const_iterator begin () const { return &buf [ 0]; }
173	iterator begin () { return &buf [ 0]; }
174	const_iterator end () const { return &buf [sze ]; }
175	iterator end () { return &buf [sze ]; }
176	const_reference front () const { return buf [ 0]; }
177	reference front () { return buf [ 0]; }
178	const_reference back () const { return buf [sze - 1]; }
179	reference back () { return buf [sze - 1]; }
180
181	void reserve (size_type sz)
182	{
183	if (ecb_expect_true (sz <= res))
184	return;
185
186	sz = good_size (sz);
187	T *nbuf = alloc (sz);
188
189	copy (nbuf, begin (), sze);
190	dealloc ();
191
192	buf = nbuf;
193	res = sz;
194	}
195
196	void resize (size_type sz)
197	{
198	reserve (sz);
199
200	if (is_simple_enough ())
201	sze = sz;
202	else
203	{
204	while (sze < sz) construct (buf + sze++);
205	while (sze > sz) destruct (buf + --sze);
206	}
207	}
208
209	simplevec ()
210	: sze(0), res(0), buf(0)
211	{
212	}
213
214	simplevec (size_type n, const T &t = T ())
215	{
216	sze = res = n;
217	buf = alloc (sze);
218
219	while (n--)
220	new (buf + n) T (t);
221	}
222
223	template<class I>
224	simplevec (I first, I last)
225	{
226	sze = res = last - first;
227	buf = alloc (sze);
228	copy (buf, first, sze);
229	}
230
231	simplevec (const simplevec<T> &v)
232	: sze(0), res(0), buf(0)
233	{
234	sze = res = v.size ();
235	buf = alloc (sze);
236	copy (buf, v.begin (), sze);
237	}
238
239	~simplevec ()
240	{
241	dealloc ();
242	}
243
244	void swap (simplevec<T> &t)
245	{
246	::swap (sze, t.sze);
247	::swap (res, t.res);
248	::swap (buf, t.buf);
249	}
250
251	void clear ()
252	{
253	destruct (buf, sze);
254	sze = 0;
255	}
256
257	void push_back (const T &t)
258	{
259	reserve (sze + 1);
260	new (buf + sze++) T (t);
261	}
262
263	void pop_back ()
264	{
265	destruct (buf + --sze);
266	}
267
268	const_reference operator [](size_type idx) const { return buf[idx]; }
269	reference operator [](size_type idx) { return buf[idx]; }
270
271	const_reference at (size_type idx) const { return buf [idx]; }
272	reference at (size_type idx) { return buf [idx]; }
273
274	template<class I>
275	void assign (I first, I last)
276	{
277	swap (simplevec<T> (first, last));
278	}
279
280	void assign (size_type n, const T &t)
281	{
282	swap (simplevec<T> (n, t));
283	}
284
285	simplevec<T> &operator= (const simplevec<T> &v)
286	{
287	assign (v.begin (), v.end ());
288	return *this;
289	}
290
291	iterator insert (iterator pos, const T &t)
292	{
293	size_type at = pos - begin ();
294
295	ins (pos, 1);
296	buf [at] = t;
297
298	return buf + at;
299	}
300
301	template<class I>
302	iterator insert (iterator pos, I first, I last)
303	{
304	size_type n = last - first;
305	size_type at = pos - begin ();
306
307	ins (pos, n);
308	copy (buf + at, first, n, cop_set);
309
310	return buf + at;
311	}
312
313	iterator insert (iterator pos, size_type n, const T &t)
314	{
315	size_type at = pos - begin ();
316
317	ins (pos, n);
318
319	for (iterator i = buf + at; n--; )
320	*i++ = t;
321
322	return buf + at;
323	}
324
325	void erase (iterator first, iterator last)
326	{
327	size_t n = last - first;
328
329	if (is_simple_enough ())
330	memmove (first, last, sizeof (T) * n);
331	else
332	copy<iterator> (first, last, n, cop_new);
333
334	sze -= n;
335	destruct (buf + sze, n);
336	}
337
338	void erase (iterator pos)
339	{
340	if (pos != end ())
341	erase (pos, pos + 1);
342	}
343	};
344
345	template<class T>
346	bool operator ==(const simplevec<T> &v1, const simplevec<T> &v2)
347	{
348	if (v1.size () != v2.size ()) return false;
349
350	return !v1.size () \|\| !memcmp (&v1[0], &v2[0], v1.size () * sizeof (T));
351	}
352
353	template<class T>
354	bool operator <(const simplevec<T> &v1, const simplevec<T> &v2)
355	{
356	unsigned long minlast = min (v1.size (), v2.size ());
357
358	for (unsigned long i = 0; i < minlast; ++i)
359	{
360	if (v1[i] < v2[i]) return true;
361	if (v2[i] < v1[i]) return false;
362	}
363	return v1.size () < v2.size ();
364	}
365
366	template<typename T>
367	struct vector : simplevec<T>
368	{
369	};
370
371	#endif
372