hb-array.hh 8.3 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30
/*
 * Copyright © 2018  Google, Inc.
 *
 *  This is part of HarfBuzz, a text shaping library.
 *
 * Permission is hereby granted, without written agreement and without
 * license or royalty fees, to use, copy, modify, and distribute this
 * software and its documentation for any purpose, provided that the
 * above copyright notice and the following two paragraphs appear in
 * all copies of this software.
 *
 * IN NO EVENT SHALL THE COPYRIGHT HOLDER BE LIABLE TO ANY PARTY FOR
 * DIRECT, INDIRECT, SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES
 * ARISING OUT OF THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN
 * IF THE COPYRIGHT HOLDER HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH
 * DAMAGE.
 *
 * THE COPYRIGHT HOLDER SPECIFICALLY DISCLAIMS ANY WARRANTIES, INCLUDING,
 * BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND
 * FITNESS FOR A PARTICULAR PURPOSE.  THE SOFTWARE PROVIDED HEREUNDER IS
 * ON AN "AS IS" BASIS, AND THE COPYRIGHT HOLDER HAS NO OBLIGATION TO
 * PROVIDE MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR MODIFICATIONS.
 *
 * Google Author(s): Behdad Esfahbod
 */

#ifndef HB_ARRAY_HH
#define HB_ARRAY_HH

#include "hb.hh"
31 32 33
#include "hb-dsalgs.hh"
#include "hb-iter.hh"
#include "hb-null.hh"
34 35 36 37 38 39


template <typename Type>
struct hb_sorted_array_t;

template <typename Type>
40
struct hb_array_t// : hb_iter_t<hb_array_t<Type>, Type>
41
{
B
Rename  
Behdad Esfahbod 已提交
42
  typedef Type item_t;
B
Behdad Esfahbod 已提交
43
  enum { item_size = hb_static_size (Type) };
44

B
Behdad Esfahbod 已提交
45 46 47
  /*
   * Constructors.
   */
48 49 50
  hb_array_t () : arrayZ (nullptr), length (0) {}
  hb_array_t (Type *array_, unsigned int length_) : arrayZ (array_), length (length_) {}
  template <unsigned int length_> hb_array_t (Type (&array_)[length_]) : arrayZ (array_), length (length_) {}
51

B
Behdad Esfahbod 已提交
52 53 54 55
  /*
   * Operators.
   */

56 57 58
  Type& operator [] (int i_) const
  {
    unsigned int i = (unsigned int) i_;
59
    if (unlikely (i >= length)) return CrapOrNull(Type);
60 61 62
    return arrayZ[i];
  }

63
  explicit_operator bool () const { return length; }
64 65
  Type * operator & () const { return arrayZ; }
  Type & operator * () { return (this->operator [])[0]; }
66
  operator hb_array_t<const Type> () { return hb_array_t<const Type> (arrayZ, length); }
67
  template <typename T> operator T * () const { return arrayZ; }
B
Behdad Esfahbod 已提交
68

B
Behdad Esfahbod 已提交
69 70
  hb_array_t<Type> & operator += (unsigned int count)
  {
71 72 73
    if (unlikely (count > length))
      count = length;
    length -= count;
B
Behdad Esfahbod 已提交
74 75 76
    arrayZ += count;
    return *this;
  }
B
Behdad Esfahbod 已提交
77 78
  hb_array_t<Type> & operator -= (unsigned int count)
  {
79 80 81
    if (unlikely (count > length))
      count = length;
    length -= count;
B
Behdad Esfahbod 已提交
82 83
    return *this;
  }
84 85
  hb_array_t<Type> & operator ++ () { *this += 1; }
  hb_array_t<Type> & operator -- () { *this -= 1; }
B
Behdad Esfahbod 已提交
86 87 88 89 90 91 92 93
  hb_array_t<Type> operator + (unsigned int count)
  { hb_array_t<Type> copy (*this); *this += count; return copy; }
  hb_array_t<Type> operator - (unsigned int count)
  { hb_array_t<Type> copy (*this); *this -= count; return copy; }
  hb_array_t<Type>  operator ++ (int)
  { hb_array_t<Type> copy (*this); ++*this; return copy; }
  hb_array_t<Type>  operator -- (int)
  { hb_array_t<Type> copy (*this); --*this; return copy; }
B
Behdad Esfahbod 已提交
94

B
Behdad Esfahbod 已提交
95 96 97
  /*
   * Compare, Sort, and Search.
   */
98

B
Behdad Esfahbod 已提交
99 100
  /* Note: our compare is NOT lexicographic; it also does NOT call Type::cmp. */
  int cmp (const hb_array_t<Type> &a) const
101
  {
102 103
    if (length != a.length)
      return (int) a.length - (int) length;
B
Behdad Esfahbod 已提交
104 105 106 107 108 109 110
    return hb_memcmp (a.arrayZ, arrayZ, get_size ());
  }
  static int cmp (const void *pa, const void *pb)
  {
    hb_array_t<Type> *a = (hb_array_t<Type> *) pa;
    hb_array_t<Type> *b = (hb_array_t<Type> *) pb;
    return b->cmp (*a);
111 112 113
  }

  template <typename T>
114
  Type *lsearch (const T &x, Type *not_found = nullptr)
115
  {
116
    unsigned int count = length;
117 118 119 120 121 122 123 124
    for (unsigned int i = 0; i < count; i++)
      if (!this->arrayZ[i].cmp (x))
	return &this->arrayZ[i];
    return not_found;
  }
  template <typename T>
  const Type *lsearch (const T &x, const Type *not_found = nullptr) const
  {
125
    unsigned int count = length;
126 127 128 129 130 131
    for (unsigned int i = 0; i < count; i++)
      if (!this->arrayZ[i].cmp (x))
	return &this->arrayZ[i];
    return not_found;
  }

132
  hb_sorted_array_t<Type> qsort (int (*cmp_)(const void*, const void*))
133
  {
134
    ::qsort (arrayZ, length, item_size, cmp_);
135 136
    return hb_sorted_array_t<Type> (*this);
  }
137
  hb_sorted_array_t<Type> qsort ()
138
  {
139
    ::qsort (arrayZ, length, item_size, Type::cmp);
140 141 142 143
    return hb_sorted_array_t<Type> (*this);
  }
  void qsort (unsigned int start, unsigned int end)
  {
144
    end = MIN (end, length);
145
    assert (start <= end);
146
    ::qsort (arrayZ + start, end - start, item_size, Type::cmp);
147 148
  }

B
Behdad Esfahbod 已提交
149 150 151
  /*
   * Other methods.
   */
152

153
  unsigned int get_size () const { return length * item_size; }
B
Behdad Esfahbod 已提交
154 155

  hb_array_t<Type> sub_array (unsigned int start_offset = 0, unsigned int *seg_count = nullptr /* IN/OUT */) const
156
  {
B
Behdad Esfahbod 已提交
157 158 159
    if (!start_offset && !seg_count)
      return *this;

160
    unsigned int count = length;
B
Behdad Esfahbod 已提交
161 162 163 164 165 166 167
    if (unlikely (start_offset > count))
      count = 0;
    else
      count -= start_offset;
    if (seg_count)
      count = *seg_count = MIN (count, *seg_count);
    return hb_array_t<Type> (arrayZ + start_offset, count);
168
  }
B
Behdad Esfahbod 已提交
169 170 171 172
  hb_array_t<Type> sub_array (unsigned int start_offset, unsigned int seg_count) const
  { return sub_array (start_offset, &seg_count); }

  /* Only call if you allocated the underlying array using malloc() or similar. */
173
  void free ()
174
  { ::free ((void *) arrayZ); arrayZ = nullptr; length = 0; }
175

176 177
  template <typename hb_sanitize_context_t>
  bool sanitize (hb_sanitize_context_t *c) const
178
  { return c->check_array (arrayZ, length); }
179

B
Behdad Esfahbod 已提交
180 181 182 183
  /*
   * Members
   */

184 185
  public:
  Type *arrayZ;
186
  unsigned int length;
187
};
188
template <typename T> inline hb_array_t<T>
189 190 191 192
hb_array (T *array, unsigned int length)
{ return hb_array_t<T> (array, length); }
template <typename T, unsigned int length_> inline hb_array_t<T>
hb_array (T (&array_)[length_])
193
{ return hb_array_t<T> (array_); }
194 195 196 197 198 199 200 201 202 203 204 205


enum hb_bfind_not_found_t
{
  HB_BFIND_NOT_FOUND_DONT_STORE,
  HB_BFIND_NOT_FOUND_STORE,
  HB_BFIND_NOT_FOUND_STORE_CLOSEST,
};

template <typename Type>
struct hb_sorted_array_t : hb_array_t<Type>
{
206
  hb_sorted_array_t () : hb_array_t<Type> () {}
207
  hb_sorted_array_t (const hb_array_t<Type> &o) : hb_array_t<Type> (o) {}
208 209
  hb_sorted_array_t (Type *array_, unsigned int length_) : hb_array_t<Type> (array_, length_) {}
  template <unsigned int length_> hb_sorted_array_t (Type (&array_)[length_]) : hb_array_t<Type> (array_) {}
210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232

  hb_sorted_array_t<Type> sub_array (unsigned int start_offset, unsigned int *seg_count /* IN/OUT */) const
  { return hb_sorted_array_t<Type> (((const hb_array_t<Type> *) (this))->sub_array (start_offset, seg_count)); }
  hb_sorted_array_t<Type> sub_array (unsigned int start_offset, unsigned int seg_count) const
  { return sub_array (start_offset, &seg_count); }

  template <typename T>
  Type *bsearch (const T &x, Type *not_found = nullptr)
  {
    unsigned int i;
    return bfind (x, &i) ? &this->arrayZ[i] : not_found;
  }
  template <typename T>
  const Type *bsearch (const T &x, const Type *not_found = nullptr) const
  {
    unsigned int i;
    return bfind (x, &i) ? &this->arrayZ[i] : not_found;
  }
  template <typename T>
  bool bfind (const T &x, unsigned int *i = nullptr,
		     hb_bfind_not_found_t not_found = HB_BFIND_NOT_FOUND_DONT_STORE,
		     unsigned int to_store = (unsigned int) -1) const
  {
233
    int min = 0, max = (int) this->length - 1;
234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261
    const Type *array = this->arrayZ;
    while (min <= max)
    {
      int mid = ((unsigned int) min + (unsigned int) max) / 2;
      int c = array[mid].cmp (x);
      if (c < 0)
        max = mid - 1;
      else if (c > 0)
        min = mid + 1;
      else
      {
	if (i)
	  *i = mid;
	return true;
      }
    }
    if (i)
    {
      switch (not_found)
      {
	case HB_BFIND_NOT_FOUND_DONT_STORE:
	  break;

	case HB_BFIND_NOT_FOUND_STORE:
	  *i = to_store;
	  break;

	case HB_BFIND_NOT_FOUND_STORE_CLOSEST:
262
	  if (max < 0 || (max < (int) this->length && array[max].cmp (x) > 0))
263 264 265 266 267 268 269 270
	    max++;
	  *i = max;
	  break;
      }
    }
    return false;
  }
};
271
template <typename T> inline hb_sorted_array_t<T>
272 273 274 275
hb_sorted_array (T *array, unsigned int length)
{ return hb_sorted_array_t<T> (array, length); }
template <typename T, unsigned int length_> inline hb_sorted_array_t<T>
hb_sorted_array (T (&array_)[length_])
276
{ return hb_sorted_array_t<T> (array_); }
277 278


279
typedef hb_array_t<const char> hb_bytes_t;
280
typedef hb_array_t<const unsigned char> hb_ubytes_t;
281

282

283
#endif /* HB_ARRAY_HH */