hb-iter.hh 18.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_ITER_HH
#define HB_ITER_HH

#include "hb.hh"
31
#include "hb-meta.hh"
32 33 34 35 36 37


/* Unified iterator object.
 *
 * The goal of this template is to make the same iterator interface
 * available to all types, and make it very easy and compact to use.
38
 * hb_iter_tator objects are small, light-weight, objects that can be
39
 * copied by value.  If the collection / object being iterated on
40
 * is writable, then the iterator returns lvalues, otherwise it
41 42 43
 * returns rvalues.
 */

B
Behdad Esfahbod 已提交
44 45 46 47 48

/*
 * Base classes for iterators.
 */

49
/* Base class for all iterators. */
50
template <typename iter_t, typename Item = typename iter_t::__item_t__>
51
struct hb_iter_t
52
{
B
Behdad Esfahbod 已提交
53
  typedef Item item_t;
54
  static constexpr unsigned item_size = hb_static_size (Item);
55 56 57
  static constexpr bool is_iterator = true;
  static constexpr bool is_random_access_iterator = false;
  static constexpr bool is_sorted_iterator = false;
58

59 60
  private:
  /* https://en.wikipedia.org/wiki/Curiously_recurring_template_pattern */
61 62
  const iter_t* thiz () const { return static_cast<const iter_t *> (this); }
        iter_t* thiz ()       { return static_cast<      iter_t *> (this); }
63
  public:
64

B
Behdad Esfahbod 已提交
65 66
  /* TODO:
   * Port operators below to use hb_enable_if to sniff which method implements
B
Behdad Esfahbod 已提交
67
   * an operator and use it, and remove hb_iter_fallback_mixin_t completely. */
B
Behdad Esfahbod 已提交
68

69
  /* Operators. */
70 71 72 73
  iter_t iter () const { return *thiz(); }
  iter_t operator + () const { return *thiz(); }
  explicit operator bool () const { return thiz()->__more__ (); }
  unsigned len () const { return thiz()->__len__ (); }
B
Behdad Esfahbod 已提交
74 75 76 77
  /* The following can only be enabled if item_t is reference type.  Otherwise
   * it will be returning pointer to temporary rvalue. */
  template <typename T = item_t,
	    hb_enable_if (hb_is_reference (T))>
78 79 80 81 82 83 84 85 86 87 88 89 90 91
  hb_remove_reference (item_t)* operator -> () const { return hb_addressof (**thiz()); }
  item_t operator * () const { return thiz()->__item__ (); }
  item_t operator * () { return thiz()->__item__ (); }
  item_t operator [] (unsigned i) const { return thiz()->__item_at__ (i); }
  item_t operator [] (unsigned i) { return thiz()->__item_at__ (i); }
  iter_t& operator += (unsigned count) { thiz()->__forward__ (count); return *thiz(); }
  iter_t& operator ++ () { thiz()->__next__ (); return *thiz(); }
  iter_t& operator -= (unsigned count) { thiz()->__rewind__ (count); return *thiz(); }
  iter_t& operator -- () { thiz()->__prev__ (); return *thiz(); }
  iter_t operator + (unsigned count) const { auto c = thiz()->iter (); c += count; return c; }
  friend iter_t operator + (unsigned count, const iter_t &it) { return it + count; }
  iter_t operator ++ (int) { iter_t c (*thiz()); ++*thiz(); return c; }
  iter_t operator - (unsigned count) const { auto c = thiz()->iter (); c -= count; return c; }
  iter_t operator -- (int) { iter_t c (*thiz()); --*thiz(); return c; }
92
  template <typename T>
93
  iter_t& operator >> (T &v) { v = **thiz(); ++*thiz(); return *thiz(); }
94
  template <typename T>
95
  iter_t& operator >> (T &v) const { v = **thiz(); ++*thiz(); return *thiz(); }
B
Behdad Esfahbod 已提交
96
  template <typename T>
97
  iter_t& operator << (const T v) { **thiz() = v; ++*thiz(); return *thiz(); }
98

99
  protected:
100 101 102
  hb_iter_t () {}
  hb_iter_t (const hb_iter_t &o HB_UNUSED) {}
  void operator = (const hb_iter_t &o HB_UNUSED) {}
103 104
};

105
#define HB_ITER_USING(Name) \
106
  using item_t = typename Name::item_t; \
107
  using Name::item_size; \
108
  using Name::is_iterator; \
109 110 111 112 113 114 115 116 117 118
  using Name::iter; \
  using Name::operator bool; \
  using Name::len; \
  using Name::operator ->; \
  using Name::operator *; \
  using Name::operator []; \
  using Name::operator +=; \
  using Name::operator ++; \
  using Name::operator -=; \
  using Name::operator --; \
B
Behdad Esfahbod 已提交
119
  using Name::operator +; \
120
  using Name::operator -; \
B
Behdad Esfahbod 已提交
121 122
  using Name::operator >>; \
  using Name::operator <<; \
123 124
  static_assert (true, "")

B
Behdad Esfahbod 已提交
125 126 127
/* Returns iterator type of a type. */
#define hb_iter_t(Iterable) decltype (hb_declval (Iterable).iter ())

128 129 130 131

/* TODO Change to function-object. */

template <typename> struct hb_array_t;
132 133 134 135 136

static const struct
{
  template <typename T>
  hb_iter_t (T)
137
  operator () (T&& c) const
138 139 140 141 142
  { return c.iter (); }

  /* Specialization for C arrays. */

  template <typename Type> inline hb_array_t<Type>
143
  operator () (Type *array, unsigned int length) const
144 145 146
  { return hb_array_t<Type> (array, length); }

  template <typename Type, unsigned int length> hb_array_t<Type>
147
  operator () (Type (&array)[length]) const
148 149 150
  { return hb_array_t<Type> (array, length); }

} hb_iter HB_UNUSED;
151 152


153
/* Mixin to fill in what the subclass doesn't provide. */
154
template <typename iter_t, typename item_t = typename iter_t::__item_t__>
B
Behdad Esfahbod 已提交
155
struct hb_iter_fallback_mixin_t
156 157 158
{
  private:
  /* https://en.wikipedia.org/wiki/Curiously_recurring_template_pattern */
159 160
  const iter_t* thiz () const { return static_cast<const iter_t *> (this); }
        iter_t* thiz ()       { return static_cast<      iter_t *> (this); }
161
  public:
162

B
Behdad Esfahbod 已提交
163
  /* Access: Implement __item__(), or __item_at__() if random-access. */
164 165
  item_t __item__ () const { return (*thiz())[0]; }
  item_t __item_at__ (unsigned i) const { return *(*thiz() + i); }
166

167
  /* Termination: Implement __more__(), or __len__() if random-access. */
168 169
  bool __more__ () const { return thiz()->len (); }
  unsigned __len__ () const
170
  { iter_t c (*thiz()); unsigned l = 0; while (c) { c++; l++; }; return l; }
171 172

  /* Advancing: Implement __next__(), or __forward__() if random-access. */
173 174
  void __next__ () { *thiz() += 1; }
  void __forward__ (unsigned n) { while (n--) ++*thiz(); }
175

B
Behdad Esfahbod 已提交
176
  /* Rewinding: Implement __prev__() or __rewind__() if bidirectional. */
177 178
  void __prev__ () { *thiz() -= 1; }
  void __rewind__ (unsigned n) { while (n--) --*thiz(); }
B
Behdad Esfahbod 已提交
179

B
Behdad Esfahbod 已提交
180
  protected:
181 182 183
  hb_iter_fallback_mixin_t () {}
  hb_iter_fallback_mixin_t (const hb_iter_fallback_mixin_t &o HB_UNUSED) {}
  void operator = (const hb_iter_fallback_mixin_t &o HB_UNUSED) {}
184 185
};

186 187 188 189 190 191
template <typename iter_t, typename item_t = typename iter_t::__item_t__>
struct hb_iter_with_fallback_t :
  hb_iter_t<iter_t, item_t>,
  hb_iter_fallback_mixin_t<iter_t, item_t>
{
  protected:
192 193
  hb_iter_with_fallback_t () {}
  hb_iter_with_fallback_t (const hb_iter_with_fallback_t &o HB_UNUSED) :
B
Behdad Esfahbod 已提交
194 195
    hb_iter_t<iter_t, item_t> (o),
    hb_iter_fallback_mixin_t<iter_t, item_t> (o) {}
196
  void operator = (const hb_iter_with_fallback_t &o HB_UNUSED) {}
197 198
};

B
Behdad Esfahbod 已提交
199 200 201 202
/*
 * Meta-programming predicates.
 */

203 204
/* hb_is_iterable() */

205 206 207 208 209 210 211 212 213 214
template <typename T>
struct hb_is_iterable
{
  private:
  template <typename U>
  static auto test (int) -> decltype (hb_declval (U).iter (), hb_true_t ());
  template <typename>
  static hb_false_t test (...);

  public:
B
Behdad Esfahbod 已提交
215
  enum { value = decltype (test<T> (0))::value };
216
};
B
Behdad Esfahbod 已提交
217
#define hb_is_iterable(Iterable) hb_is_iterable<Iterable>::value
218

B
Behdad Esfahbod 已提交
219 220 221
/* TODO Add hb_is_iterable_of().
 * TODO Add random_access / sorted variants. */

B
Behdad Esfahbod 已提交
222

223
/* hb_is_iterator() / hb_is_random_access_iterator() / hb_is_sorted_iterator() */
224

225
template <typename Iter>
226
struct _hb_is_iterator_of
227
{
B
Behdad Esfahbod 已提交
228
  char operator () (...) { return 0; }
B
Behdad Esfahbod 已提交
229 230 231 232
  template<typename Item> int operator () (hb_iter_t<Iter, Item> *) { return 0; }
  template<typename Item> int operator () (hb_iter_t<Iter, const Item> *) { return 0; }
  template<typename Item> int operator () (hb_iter_t<Iter, Item&> *) { return 0; }
  template<typename Item> int operator () (hb_iter_t<Iter, const Item&> *) { return 0; }
233 234
  static_assert (sizeof (char) != sizeof (int), "");
};
235
template<typename Iter, typename Item>
236 237 238 239
struct hb_is_iterator_of { enum {
  value = sizeof (int) == sizeof (hb_declval (_hb_is_iterator_of<Iter>) (hb_declval (Iter*))) }; };
#define hb_is_iterator_of(Iter, Item) hb_is_iterator_of<Iter, Item>::value
#define hb_is_iterator(Iter) hb_is_iterator_of (Iter, typename Iter::item_t)
240

241 242 243 244 245
#define hb_is_random_access_iterator_of(Iter, Item) \
  hb_is_iterator_of (Iter, Item) && Iter::is_random_access_iterator
#define hb_is_random_access_iterator(Iter) \
  hb_is_random_access_iterator_of (Iter, typename Iter::item_t)

246
#define hb_is_sorted_iterator_of(Iter, Item) \
247
  hb_is_iterator_of (Iter, Item) && Iter::is_sorted_iterator
248 249
#define hb_is_sorted_iterator(Iter) \
  hb_is_sorted_iterator_of (Iter, typename Iter::item_t)
250

B
Behdad Esfahbod 已提交
251

B
Behdad Esfahbod 已提交
252
/*
B
Behdad Esfahbod 已提交
253
 * Adaptors, combiners, etc.
B
Behdad Esfahbod 已提交
254
 */
255

256 257 258 259 260
template <typename Lhs, typename Rhs,
	  hb_enable_if (hb_is_iterator (Lhs))>
static inline decltype (hb_declval (Rhs) (hb_declval (Lhs)))
operator | (Lhs lhs, const Rhs &rhs) { return rhs (lhs); }

B
Behdad Esfahbod 已提交
261 262 263 264 265
/* hb_map(), hb_filter(), hb_reduce() */

template <typename Iter, typename Proj,
	 hb_enable_if (hb_is_iterator (Iter))>
struct hb_map_iter_t :
B
Behdad Esfahbod 已提交
266 267
  hb_iter_t<hb_map_iter_t<Iter, Proj>,
	    decltype (hb_declval (Proj) (hb_declval (typename Iter::item_t)))>
B
Behdad Esfahbod 已提交
268
{
B
Behdad Esfahbod 已提交
269
  hb_map_iter_t (const Iter& it, Proj f) : it (it), f (f) {}
B
Behdad Esfahbod 已提交
270

271
  typedef decltype (hb_declval (Proj) (hb_declval (typename Iter::item_t))) __item_t__;
272
  static constexpr bool is_random_access_iterator = Iter::is_random_access_iterator;
B
Behdad Esfahbod 已提交
273 274
  __item_t__ __item__ () const { return f (*it); }
  __item_t__ __item_at__ (unsigned i) const { return f (it[i]); }
275
  bool __more__ () const { return bool (it); }
B
Behdad Esfahbod 已提交
276 277 278 279 280 281 282 283 284 285
  unsigned __len__ () const { return it.len (); }
  void __next__ () { ++it; }
  void __forward__ (unsigned n) { it += n; }
  void __prev__ () { --it; }
  void __rewind__ (unsigned n) { it -= n; }

  private:
  Iter it;
  Proj f;
};
286

B
Behdad Esfahbod 已提交
287 288 289
template <typename Proj>
struct hb_map_iter_factory_t
{
290
  hb_map_iter_factory_t (Proj f) : f (f) {}
B
Behdad Esfahbod 已提交
291

292 293 294 295 296
  template <typename Iter,
	    hb_enable_if (hb_is_iterator (Iter))>
  hb_map_iter_t<Iter, Proj>
  operator () (Iter it) const
  { return hb_map_iter_t<Iter, Proj> (it, f); }
B
Behdad Esfahbod 已提交
297 298 299 300

  private:
  Proj f;
};
301 302 303 304 305 306 307
static const struct
{
  template <typename Proj>
  hb_map_iter_factory_t<Proj>
  operator () (Proj&& f) const
  { return hb_map_iter_factory_t<Proj> (f); }
} hb_map HB_UNUSED;
B
Behdad Esfahbod 已提交
308

B
Behdad Esfahbod 已提交
309 310 311
template <typename Iter, typename Pred, typename Proj,
	 hb_enable_if (hb_is_iterator (Iter))>
struct hb_filter_iter_t :
312 313
  hb_iter_with_fallback_t<hb_filter_iter_t<Iter, Pred, Proj>,
			  typename Iter::item_t>
B
Behdad Esfahbod 已提交
314
{
B
Behdad Esfahbod 已提交
315
  hb_filter_iter_t (const Iter& it_, Pred p, Proj f) : it (it_), p (p), f (f)
B
Behdad Esfahbod 已提交
316 317 318
  { while (it && !p (f (*it))) ++it; }

  typedef typename Iter::item_t __item_t__;
319
  static constexpr bool is_sorted_iterator = Iter::is_sorted_iterator;
B
Behdad Esfahbod 已提交
320
  __item_t__ __item__ () const { return *it; }
321
  bool __more__ () const { return bool (it); }
B
Behdad Esfahbod 已提交
322 323 324 325 326 327 328 329 330 331 332
  void __next__ () { do ++it; while (it && !p (f (*it))); }
  void __prev__ () { --it; }

  private:
  Iter it;
  Pred p;
  Proj f;
};
template <typename Pred, typename Proj>
struct hb_filter_iter_factory_t
{
333
  hb_filter_iter_factory_t (Pred p, Proj f) : p (p), f (f) {}
B
Behdad Esfahbod 已提交
334

335 336 337 338 339
  template <typename Iter,
	    hb_enable_if (hb_is_iterator (Iter))>
  hb_filter_iter_t<Iter, Pred, Proj>
  operator () (Iter it) const
  { return hb_filter_iter_t<Iter, Pred, Proj> (it, p, f); }
B
Behdad Esfahbod 已提交
340 341 342 343 344

  private:
  Pred p;
  Proj f;
};
345 346 347 348 349 350 351 352
static const struct
{
  template <typename Pred = decltype ((hb_bool)),
	    typename Proj = decltype ((hb_identity))>
  hb_filter_iter_factory_t<Pred, Proj>
  operator () (Pred&& p = hb_bool, Proj&& f = hb_identity) const
  { return hb_filter_iter_factory_t<Pred, Proj> (p, f); }
} hb_filter HB_UNUSED;
353

354
template <typename Redu, typename InitT>
E
Ebrahim Byagowi 已提交
355 356
struct hb_reduce_t
{
357
  hb_reduce_t (Redu r, InitT init_value) : r (r), init_value (init_value) {}
E
Ebrahim Byagowi 已提交
358 359

  template <typename Iter,
360 361 362
	    hb_enable_if (hb_is_iterator (Iter)),
	    typename AccuT = decltype (hb_declval (Redu) (hb_declval (InitT), hb_declval (typename Iter::item_t)))>
  AccuT
E
Ebrahim Byagowi 已提交
363 364
  operator () (Iter it) const
  {
365
    AccuT value = init_value;
E
Ebrahim Byagowi 已提交
366
    for (; it; ++it)
367
      value = r (value, *it);
E
Ebrahim Byagowi 已提交
368 369 370 371 372
    return value;
  }

  private:
  Redu r;
373
  InitT init_value;
E
Ebrahim Byagowi 已提交
374 375 376
};
static const struct
{
377 378 379 380
  template <typename Redu, typename InitT>
  hb_reduce_t<Redu, InitT>
  operator () (Redu&& r, InitT init_value) const
  { return hb_reduce_t<Redu, InitT> (r, init_value); }
E
Ebrahim Byagowi 已提交
381 382 383
} hb_reduce HB_UNUSED;


B
Behdad Esfahbod 已提交
384
/* hb_zip() */
385

B
Behdad Esfahbod 已提交
386
template <typename A, typename B>
387
struct hb_zip_iter_t :
B
Behdad Esfahbod 已提交
388 389
  hb_iter_t<hb_zip_iter_t<A, B>,
	    hb_pair_t<typename A::item_t, typename B::item_t> >
B
Behdad Esfahbod 已提交
390
{
391
  hb_zip_iter_t () {}
392
  hb_zip_iter_t (const A& a, const B& b) : a (a), b (b) {}
B
Behdad Esfahbod 已提交
393 394

  typedef hb_pair_t<typename A::item_t, typename B::item_t> __item_t__;
395
  static constexpr bool is_random_access_iterator =
B
Behdad Esfahbod 已提交
396 397
    A::is_random_access_iterator &&
    B::is_random_access_iterator;
398
  static constexpr bool is_sorted_iterator =
B
Behdad Esfahbod 已提交
399 400
    A::is_sorted_iterator &&
    B::is_sorted_iterator;
B
Behdad Esfahbod 已提交
401 402 403 404 405 406 407 408 409 410 411 412 413
  __item_t__ __item__ () const { return __item_t__ (*a, *b); }
  __item_t__ __item_at__ (unsigned i) const { return __item_t__ (a[i], b[i]); }
  bool __more__ () const { return a && b; }
  unsigned __len__ () const { return MIN (a.len (), b.len ()); }
  void __next__ () { ++a; ++b; }
  void __forward__ (unsigned n) { a += n; b += n; }
  void __prev__ () { --a; --b; }
  void __rewind__ (unsigned n) { a -= n; b -= n; }

  private:
  A a;
  B b;
};
414 415 416 417 418
static const struct
{
  template <typename A, typename B,
	    hb_enable_if (hb_is_iterable (A) && hb_is_iterable (B))>
  hb_zip_iter_t<hb_iter_t (A), hb_iter_t (B)>
419
  operator () (A& a, B &b) const
B
Behdad Esfahbod 已提交
420
  { return hb_zip_iter_t<hb_iter_t (A), hb_iter_t (B)> (hb_iter (a), hb_iter (b)); }
421
} hb_zip HB_UNUSED;
B
Behdad Esfahbod 已提交
422

423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457
/* hb_enumerate */

template <typename Iter,
	 hb_enable_if (hb_is_iterator (Iter))>
struct hb_enumerate_iter_t :
  hb_iter_t<hb_enumerate_iter_t<Iter>,
	    hb_pair_t<unsigned, typename Iter::item_t> >
{
  hb_enumerate_iter_t (const Iter& it) : i (0), it (it) {}

  typedef hb_pair_t<unsigned, typename Iter::item_t> __item_t__;
  static constexpr bool is_random_access_iterator = Iter::is_random_access_iterator;
  static constexpr bool is_sorted_iterator = true;
  __item_t__ __item__ () const { return __item_t__ (+i, *it); }
  __item_t__ __item_at__ (unsigned j) const { return __item_t__ (i + j, it[j]); }
  bool __more__ () const { return bool (it); }
  unsigned __len__ () const { return it.len (); }
  void __next__ () { ++i; ++it; }
  void __forward__ (unsigned n) { i += n; it += n; }
  void __prev__ () { --i; --it; }
  void __rewind__ (unsigned n) { i -= n; it -= n; }

  private:
  unsigned i;
  Iter it;
};
static const struct
{
  template <typename Iterable,
	    hb_enable_if (hb_is_iterable (Iterable))>
  hb_enumerate_iter_t<hb_iter_t (Iterable)>
  operator () (Iterable& it) const
  { return hb_enumerate_iter_t<hb_iter_t (Iterable)> (hb_iter (it)); }
} hb_enumerate HB_UNUSED;

B
Behdad Esfahbod 已提交
458 459 460 461 462
/* hb_apply() */

template <typename Appl>
struct hb_apply_t
{
463
  hb_apply_t (Appl a) : a (a) {}
B
Behdad Esfahbod 已提交
464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487

  template <typename Iter,
	    hb_enable_if (hb_is_iterator (Iter))>
  void
  operator () (Iter it) const
  {
    for (; it; ++it)
      a (*it);
  }

  private:
  Appl a;
};
static const struct
{
  template <typename Appl> hb_apply_t<Appl>
  operator () (Appl&& a) const
  { return hb_apply_t<Appl> (a); }

  template <typename Appl> hb_apply_t<Appl&>
  operator () (Appl *a) const
  { return hb_apply_t<Appl&> (*a); }
} hb_apply HB_UNUSED;

B
Behdad Esfahbod 已提交
488 489 490 491 492 493 494
/* hb_sink() */

template <typename Sink>
struct hb_sink_t
{
  hb_sink_t (Sink&& s) : s (s) {}

495 496
  template <typename Iter,
	    hb_enable_if (hb_is_iterator (Iter))>
B
Behdad Esfahbod 已提交
497
  void
498
  operator () (Iter it) const
B
Behdad Esfahbod 已提交
499
  {
500
    for (; it; ++it)
B
Behdad Esfahbod 已提交
501 502 503 504 505 506
      s << *it;
  }

  private:
  Sink s;
};
507 508 509 510 511
static const struct
{
  template <typename Sink> hb_sink_t<Sink>
  operator () (Sink&& s) const
  { return hb_sink_t<Sink> (s); }
512 513 514 515

  template <typename Sink> hb_sink_t<Sink&>
  operator () (Sink *s) const
  { return hb_sink_t<Sink&> (*s); }
516
} hb_sink HB_UNUSED;
B
Behdad Esfahbod 已提交
517

B
Behdad Esfahbod 已提交
518 519
/* hb-drain: hb_sink to void / blackhole / /dev/null. */

B
Behdad Esfahbod 已提交
520 521 522 523 524 525 526 527 528 529 530
static const struct
{
  template <typename Iter,
	    hb_enable_if (hb_is_iterator (Iter))>
  void
  operator () (Iter it) const
  {
    for (; it; ++it)
      (void) *it;
  }
} hb_drain HB_UNUSED;
B
Behdad Esfahbod 已提交
531

B
Behdad Esfahbod 已提交
532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567
/* hb_unzip(): unzip and sink to two sinks. */

template <typename Sink1, typename Sink2>
struct hb_unzip_t
{
  hb_unzip_t (Sink1&& s1, Sink2&& s2) : s1 (s1), s2 (s2) {}

  template <typename Iter,
	    hb_enable_if (hb_is_iterator (Iter))>
  void
  operator () (Iter it) const
  {
    for (; it; ++it)
    {
      const auto &v = *it;
      s1 << v.first;
      s2 << v.second;
    }
  }

  private:
  Sink1 s1;
  Sink2 s2;
};
static const struct
{
  template <typename Sink1, typename Sink2> hb_unzip_t<Sink1, Sink2>
  operator () (Sink1&& s1, Sink2&& s2) const
  { return hb_unzip_t<Sink1, Sink2> (s1, s2); }

  template <typename Sink1, typename Sink2> hb_unzip_t<Sink1&, Sink2&>
  operator () (Sink1 *s1, Sink2 *s2) const
  { return hb_unzip_t<Sink1&, Sink2&> (*s1, *s2); }
} hb_unzip HB_UNUSED;


568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591
/* hb-all, hb-any, hb-none. */

static const struct
{
  template <typename Iterable,
	    hb_enable_if (hb_is_iterable (Iterable))>
  bool
  operator () (Iterable&& c) const
  {
    for (auto it = hb_iter (c); it; ++it)
      if (!*it)
	return false;
    return true;
  }
} hb_all HB_UNUSED;

static const struct
{
  template <typename Iterable,
	    hb_enable_if (hb_is_iterable (Iterable))>
  bool
  operator () (Iterable&& c) const
  {
    for (auto it = hb_iter (c); it; ++it)
592
      if (*it)
593 594 595 596 597 598 599 600 601 602 603 604 605
	return true;
    return false;
  }
} hb_any HB_UNUSED;

static const struct
{
  template <typename Iterable,
	    hb_enable_if (hb_is_iterable (Iterable))>
  bool
  operator () (Iterable&& c) const
  {
    for (auto it = hb_iter (c); it; ++it)
606
      if (*it)
607 608 609 610 611
	return false;
    return true;
  }
} hb_none HB_UNUSED;

B
Behdad Esfahbod 已提交
612 613 614 615 616 617 618 619 620
/*
 * Algorithms operating on iterators.
 */

template <typename C, typename V,
	  hb_enable_if (hb_is_iterable (C))>
inline void
hb_fill (C& c, const V &v)
{
B
Behdad Esfahbod 已提交
621
  for (auto i = hb_iter (c); i; i++)
B
Behdad Esfahbod 已提交
622
    *i = v;
B
Behdad Esfahbod 已提交
623 624
}

625 626
template <typename S, typename D>
inline void
B
Behdad Esfahbod 已提交
627
hb_copy (S&& is, D&& id)
B
Behdad Esfahbod 已提交
628
{
B
Behdad Esfahbod 已提交
629
  hb_iter (is) | hb_sink (id);
B
Behdad Esfahbod 已提交
630 631 632
}


633
#endif /* HB_ITER_HH */