| 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 |
|