2018-12-21 06:08:05 +01:00
|
|
|
/*
|
|
|
|
* 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"
|
2018-12-27 23:23:12 +01:00
|
|
|
#include "hb-meta.hh"
|
2018-12-21 06:08:05 +01:00
|
|
|
|
|
|
|
|
|
|
|
/* 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.
|
2018-12-21 06:54:55 +01:00
|
|
|
* hb_iter_tator objects are small, light-weight, objects that can be
|
2018-12-21 06:08:05 +01:00
|
|
|
* copied by value. If the collection / object being iterated on
|
2018-12-21 06:54:55 +01:00
|
|
|
* is writable, then the iterator returns lvalues, otherwise it
|
2018-12-21 06:08:05 +01:00
|
|
|
* returns rvalues.
|
|
|
|
*/
|
|
|
|
|
2018-12-28 20:29:09 +01:00
|
|
|
|
|
|
|
/*
|
|
|
|
* Base classes for iterators.
|
|
|
|
*/
|
|
|
|
|
2018-12-21 06:54:55 +01:00
|
|
|
/* Base class for all iterators. */
|
2019-01-26 22:44:09 +01:00
|
|
|
template <typename iter_t, typename Item = typename iter_t::__item_t__>
|
2019-01-04 17:22:32 +01:00
|
|
|
struct hb_iter_t
|
2018-12-21 06:08:05 +01:00
|
|
|
{
|
2018-12-21 07:57:02 +01:00
|
|
|
typedef Item item_t;
|
2019-01-22 12:15:23 +01:00
|
|
|
static constexpr unsigned item_size = hb_static_size (Item);
|
2019-01-25 15:34:03 +01:00
|
|
|
static constexpr bool is_iterator = true;
|
|
|
|
static constexpr bool is_random_access_iterator = false;
|
|
|
|
static constexpr bool is_sorted_iterator = false;
|
2018-12-21 06:54:55 +01:00
|
|
|
|
2018-12-22 00:09:45 +01:00
|
|
|
private:
|
|
|
|
/* https://en.wikipedia.org/wiki/Curiously_recurring_template_pattern */
|
2018-12-21 07:57:02 +01:00
|
|
|
const iter_t* thiz () const { return static_cast<const iter_t *> (this); }
|
|
|
|
iter_t* thiz () { return static_cast< iter_t *> (this); }
|
2018-12-22 00:09:45 +01:00
|
|
|
public:
|
2018-12-21 06:54:55 +01:00
|
|
|
|
2019-01-08 22:43:49 +01:00
|
|
|
/* TODO:
|
|
|
|
* Port operators below to use hb_enable_if to sniff which method implements
|
2019-01-29 22:39:19 +01:00
|
|
|
* an operator and use it, and remove hb_iter_fallback_mixin_t completely. */
|
2019-01-08 22:43:49 +01:00
|
|
|
|
2018-12-21 06:54:55 +01:00
|
|
|
/* Operators. */
|
2018-12-27 02:06:10 +01:00
|
|
|
iter_t iter () const { return *thiz(); }
|
2019-01-27 00:49:37 +01:00
|
|
|
iter_t operator + () const { return *thiz(); }
|
2018-12-27 02:06:10 +01:00
|
|
|
explicit_operator bool () const { return thiz()->__more__ (); }
|
|
|
|
unsigned len () const { return thiz()->__len__ (); }
|
2019-01-31 01:03:16 +01:00
|
|
|
/* 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))>
|
2019-01-08 03:38:49 +01:00
|
|
|
hb_remove_reference (item_t)* operator -> () const { return hb_addressof (**thiz()); }
|
2018-12-27 23:17:28 +01:00
|
|
|
item_t operator * () const { return thiz()->__item__ (); }
|
|
|
|
item_t operator [] (unsigned i) const { return thiz()->__item_at__ (i); }
|
2018-12-27 02:06:10 +01:00
|
|
|
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(); }
|
2019-01-28 22:17:36 +01:00
|
|
|
iter_t operator + (unsigned count) const { auto c = thiz()->iter (); c += count; return c; }
|
2018-12-30 08:11:03 +01:00
|
|
|
friend iter_t operator + (unsigned count, const iter_t &it) { return it + count; }
|
2018-12-21 07:57:02 +01:00
|
|
|
iter_t operator ++ (int) { iter_t c (*thiz()); ++*thiz(); return c; }
|
2019-01-28 22:17:36 +01:00
|
|
|
iter_t operator - (unsigned count) const { auto c = thiz()->iter (); c -= count; return c; }
|
2018-12-21 07:57:02 +01:00
|
|
|
iter_t operator -- (int) { iter_t c (*thiz()); --*thiz(); return c; }
|
2019-01-28 22:23:12 +01:00
|
|
|
template <typename T>
|
|
|
|
iter_t& operator >> (T &v) { v = **thiz(); ++*thiz(); return *thiz(); }
|
|
|
|
template <typename T>
|
|
|
|
iter_t& operator << (const T v) { **thiz() = v; ++*thiz(); return *thiz(); }
|
2018-12-21 06:54:55 +01:00
|
|
|
|
2018-12-22 00:09:45 +01:00
|
|
|
protected:
|
|
|
|
hb_iter_t () {}
|
2018-12-24 02:19:52 +01:00
|
|
|
hb_iter_t (const hb_iter_t &o HB_UNUSED) {}
|
|
|
|
void operator = (const hb_iter_t &o HB_UNUSED) {}
|
2018-12-22 00:09:45 +01:00
|
|
|
};
|
|
|
|
|
2018-12-27 19:29:51 +01:00
|
|
|
#define HB_ITER_USING(Name) \
|
2019-01-09 01:38:08 +01:00
|
|
|
using item_t = typename Name::item_t; \
|
2018-12-28 22:29:48 +01:00
|
|
|
using Name::item_size; \
|
2018-12-31 02:51:31 +01:00
|
|
|
using Name::is_iterator; \
|
2018-12-27 19:29:51 +01:00
|
|
|
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 --; \
|
2018-12-30 08:11:03 +01:00
|
|
|
using Name::operator +; \
|
2018-12-27 19:29:51 +01:00
|
|
|
using Name::operator -; \
|
2019-01-29 22:44:39 +01:00
|
|
|
using Name::operator >>; \
|
|
|
|
using Name::operator <<; \
|
2018-12-27 19:29:51 +01:00
|
|
|
static_assert (true, "")
|
|
|
|
|
2019-01-27 00:50:54 +01:00
|
|
|
/* Returns iterator type of a type. */
|
|
|
|
#define hb_iter_t(Iterable) decltype (hb_declval (Iterable).iter ())
|
|
|
|
|
2019-01-27 01:03:56 +01:00
|
|
|
|
|
|
|
/* TODO Change to function-object. */
|
|
|
|
|
2019-01-27 00:50:54 +01:00
|
|
|
template <typename T>
|
|
|
|
inline hb_iter_t (T)
|
|
|
|
hb_iter (const T& c) { return c.iter (); }
|
|
|
|
|
2019-01-27 01:03:56 +01:00
|
|
|
/* Specialization for C arrays. */
|
|
|
|
template <typename> struct hb_array_t;
|
|
|
|
template <typename Type> inline hb_array_t<Type>
|
|
|
|
hb_iter (Type *array, unsigned int length) { return hb_array_t<Type> (array, length); }
|
|
|
|
template <typename Type, unsigned int length> hb_array_t<Type>
|
|
|
|
hb_iter (Type (&array)[length]) { return hb_iter (array, length); }
|
|
|
|
|
|
|
|
|
2018-12-22 00:09:45 +01:00
|
|
|
/* Mixin to fill in what the subclass doesn't provide. */
|
2019-01-09 08:48:35 +01:00
|
|
|
template <typename iter_t, typename item_t = typename iter_t::__item_t__>
|
2019-01-29 22:39:19 +01:00
|
|
|
struct hb_iter_fallback_mixin_t
|
2018-12-22 00:09:45 +01:00
|
|
|
{
|
|
|
|
private:
|
|
|
|
/* https://en.wikipedia.org/wiki/Curiously_recurring_template_pattern */
|
|
|
|
const iter_t* thiz () const { return static_cast<const iter_t *> (this); }
|
|
|
|
iter_t* thiz () { return static_cast< iter_t *> (this); }
|
|
|
|
public:
|
2018-12-21 06:54:55 +01:00
|
|
|
|
2018-12-21 07:53:27 +01:00
|
|
|
/* Access: Implement __item__(), or __item_at__() if random-access. */
|
2018-12-27 23:17:28 +01:00
|
|
|
item_t __item__ () const { return (*thiz())[0]; }
|
|
|
|
item_t __item_at__ (unsigned i) const { return *(*thiz() + i); }
|
2018-12-21 06:54:55 +01:00
|
|
|
|
2018-12-22 00:49:27 +01:00
|
|
|
/* Termination: Implement __more__(), or __len__() if random-access. */
|
2018-12-27 02:06:10 +01:00
|
|
|
bool __more__ () const { return thiz()->len (); }
|
2018-12-22 00:49:27 +01:00
|
|
|
unsigned __len__ () const
|
|
|
|
{ iter_t c (*thiz()); unsigned l = 0; while (c) { c++; l++; }; return l; }
|
2018-12-21 06:54:55 +01:00
|
|
|
|
|
|
|
/* Advancing: Implement __next__(), or __forward__() if random-access. */
|
2018-12-27 02:06:10 +01:00
|
|
|
void __next__ () { *thiz() += 1; }
|
|
|
|
void __forward__ (unsigned n) { while (n--) ++*thiz(); }
|
2018-12-21 06:54:55 +01:00
|
|
|
|
2018-12-21 07:17:35 +01:00
|
|
|
/* Rewinding: Implement __prev__() or __rewind__() if bidirectional. */
|
2018-12-27 02:06:10 +01:00
|
|
|
void __prev__ () { *thiz() -= 1; }
|
|
|
|
void __rewind__ (unsigned n) { while (n--) --*thiz(); }
|
2018-12-21 07:17:35 +01:00
|
|
|
|
2018-12-27 00:54:27 +01:00
|
|
|
protected:
|
2019-01-29 22:39:19 +01:00
|
|
|
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) {}
|
2018-12-21 06:08:05 +01:00
|
|
|
};
|
|
|
|
|
2019-01-30 02:10:19 +01:00
|
|
|
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:
|
|
|
|
hb_iter_with_fallback_t () {}
|
2019-01-30 23:54:23 +01:00
|
|
|
hb_iter_with_fallback_t (const hb_iter_with_fallback_t &o HB_UNUSED) :
|
|
|
|
hb_iter_t<iter_t, item_t> (o),
|
|
|
|
hb_iter_fallback_mixin_t<iter_t, item_t> (o) {}
|
2019-01-30 02:10:19 +01:00
|
|
|
void operator = (const hb_iter_with_fallback_t &o HB_UNUSED) {}
|
|
|
|
};
|
|
|
|
|
2018-12-28 20:29:09 +01:00
|
|
|
/*
|
|
|
|
* Meta-programming predicates.
|
|
|
|
*/
|
|
|
|
|
2018-12-28 22:29:48 +01:00
|
|
|
/* hb_is_iterable() */
|
|
|
|
|
|
|
|
template<typename T, typename B>
|
2018-12-28 20:29:09 +01:00
|
|
|
struct _hb_is_iterable
|
|
|
|
{ enum { value = false }; };
|
2018-12-28 22:29:48 +01:00
|
|
|
template<typename T>
|
2019-01-26 22:47:35 +01:00
|
|
|
struct _hb_is_iterable<T, hb_bool_tt<true || sizeof (hb_declval (T).iter ())> >
|
2018-12-28 20:29:09 +01:00
|
|
|
{ enum { value = true }; };
|
2018-12-28 20:40:30 +01:00
|
|
|
|
2018-12-28 22:29:48 +01:00
|
|
|
template<typename T>
|
2018-12-28 20:29:09 +01:00
|
|
|
struct hb_is_iterable { enum { value = _hb_is_iterable<T, hb_true_t>::value }; };
|
|
|
|
#define hb_is_iterable(Iterable) hb_is_iterable<Iterable>::value
|
2018-12-21 06:08:05 +01:00
|
|
|
|
2019-01-08 21:57:01 +01:00
|
|
|
/* TODO Add hb_is_iterable_of().
|
|
|
|
* TODO Add random_access / sorted variants. */
|
|
|
|
|
2018-12-28 20:29:09 +01:00
|
|
|
|
2019-01-08 21:53:02 +01:00
|
|
|
/* hb_is_iterator() / hb_is_random_access_iterator() / hb_is_sorted_iterator() */
|
2018-12-28 22:29:48 +01:00
|
|
|
|
2019-01-07 23:24:23 +01:00
|
|
|
template <typename Iter>
|
2019-01-08 21:42:15 +01:00
|
|
|
struct _hb_is_iterator_of
|
2019-01-07 23:24:23 +01:00
|
|
|
{
|
2019-01-09 04:13:17 +01:00
|
|
|
char operator () (...) { return 0; }
|
2019-01-09 01:27:37 +01:00
|
|
|
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; }
|
2019-01-07 23:24:23 +01:00
|
|
|
static_assert (sizeof (char) != sizeof (int), "");
|
|
|
|
};
|
2018-12-31 00:42:14 +01:00
|
|
|
template<typename Iter, typename Item>
|
2019-01-08 21:42:15 +01:00
|
|
|
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)
|
2018-12-28 22:29:48 +01:00
|
|
|
|
2019-01-08 21:53:02 +01:00
|
|
|
#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)
|
|
|
|
|
2019-01-08 21:42:15 +01:00
|
|
|
#define hb_is_sorted_iterator_of(Iter, Item) \
|
2019-01-08 21:53:02 +01:00
|
|
|
hb_is_iterator_of (Iter, Item) && Iter::is_sorted_iterator
|
2019-01-08 21:42:15 +01:00
|
|
|
#define hb_is_sorted_iterator(Iter) \
|
|
|
|
hb_is_sorted_iterator_of (Iter, typename Iter::item_t)
|
2018-12-28 22:29:48 +01:00
|
|
|
|
2019-01-09 18:07:01 +01:00
|
|
|
|
2018-12-28 20:29:09 +01:00
|
|
|
/*
|
2019-01-09 18:07:01 +01:00
|
|
|
* Adaptors, combiners, etc.
|
2018-12-28 20:29:09 +01:00
|
|
|
*/
|
2018-12-21 23:21:19 +01:00
|
|
|
|
2019-01-09 21:35:45 +01:00
|
|
|
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); }
|
|
|
|
|
2019-01-09 20:15:49 +01:00
|
|
|
/* hb_map(), hb_filter(), hb_reduce() */
|
|
|
|
|
|
|
|
template <typename Iter, typename Proj,
|
|
|
|
hb_enable_if (hb_is_iterator (Iter))>
|
|
|
|
struct hb_map_iter_t :
|
2019-01-30 02:15:12 +01:00
|
|
|
hb_iter_t<hb_map_iter_t<Iter, Proj>,
|
|
|
|
decltype (hb_declval (Proj) (hb_declval (typename Iter::item_t)))>
|
2019-01-09 20:15:49 +01:00
|
|
|
{
|
2019-01-09 21:42:01 +01:00
|
|
|
hb_map_iter_t (const Iter& it, Proj&& f) : it (it), f (f) {}
|
2019-01-09 20:15:49 +01:00
|
|
|
|
2019-01-09 21:35:45 +01:00
|
|
|
typedef decltype (hb_declval (Proj) (hb_declval (typename Iter::item_t))) __item_t__;
|
2019-01-25 15:34:03 +01:00
|
|
|
static constexpr bool is_random_access_iterator = Iter::is_random_access_iterator;
|
2019-01-09 20:15:49 +01:00
|
|
|
__item_t__ __item__ () const { return f (*it); }
|
|
|
|
__item_t__ __item_at__ (unsigned i) const { return f (it[i]); }
|
2019-01-09 21:35:45 +01:00
|
|
|
bool __more__ () const { return bool (it); }
|
2019-01-09 20:15:49 +01:00
|
|
|
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;
|
|
|
|
};
|
2019-01-26 22:44:09 +01:00
|
|
|
|
2019-01-09 20:15:49 +01:00
|
|
|
template <typename Proj>
|
|
|
|
struct hb_map_iter_factory_t
|
|
|
|
{
|
2019-01-09 21:42:01 +01:00
|
|
|
hb_map_iter_factory_t (Proj&& f) : f (f) {}
|
2019-01-09 20:15:49 +01:00
|
|
|
|
|
|
|
template <typename Iterable,
|
|
|
|
hb_enable_if (hb_is_iterable (Iterable))>
|
2019-01-30 02:15:12 +01:00
|
|
|
hb_map_iter_t<hb_iter_t (Iterable), Proj>
|
|
|
|
operator () (const Iterable &c) const
|
2019-01-26 22:44:09 +01:00
|
|
|
{ return hb_map_iter_t<hb_iter_t (Iterable), Proj> (c.iter (), f); }
|
2019-01-09 20:15:49 +01:00
|
|
|
|
|
|
|
private:
|
|
|
|
Proj f;
|
|
|
|
};
|
|
|
|
template <typename Proj>
|
|
|
|
inline hb_map_iter_factory_t<Proj>
|
2019-01-09 21:42:01 +01:00
|
|
|
hb_map (Proj&& f)
|
2019-01-09 20:15:49 +01:00
|
|
|
{ return hb_map_iter_factory_t<Proj> (f); }
|
|
|
|
|
2019-01-09 20:32:33 +01:00
|
|
|
template <typename Iter, typename Pred, typename Proj,
|
|
|
|
hb_enable_if (hb_is_iterator (Iter))>
|
|
|
|
struct hb_filter_iter_t :
|
2019-01-30 02:10:19 +01:00
|
|
|
hb_iter_with_fallback_t<hb_filter_iter_t<Iter, Pred, Proj>,
|
|
|
|
typename Iter::item_t>
|
2019-01-09 20:32:33 +01:00
|
|
|
{
|
2019-01-09 21:42:01 +01:00
|
|
|
hb_filter_iter_t (const Iter& it_, Pred&& p, Proj&& f) : it (it_), p (p), f (f)
|
2019-01-09 20:32:33 +01:00
|
|
|
{ while (it && !p (f (*it))) ++it; }
|
|
|
|
|
|
|
|
typedef typename Iter::item_t __item_t__;
|
2019-01-25 15:34:03 +01:00
|
|
|
static constexpr bool is_sorted_iterator = Iter::is_sorted_iterator;
|
2019-01-09 20:32:33 +01:00
|
|
|
__item_t__ __item__ () const { return *it; }
|
2019-01-09 21:35:45 +01:00
|
|
|
bool __more__ () const { return bool (it); }
|
2019-01-09 20:32:33 +01:00
|
|
|
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
|
|
|
|
{
|
2019-01-09 21:42:01 +01:00
|
|
|
hb_filter_iter_factory_t (Pred&& p, Proj&& f) : p (p), f (f) {}
|
2019-01-09 20:32:33 +01:00
|
|
|
|
|
|
|
template <typename Iterable,
|
|
|
|
hb_enable_if (hb_is_iterable (Iterable))>
|
2019-01-30 02:15:12 +01:00
|
|
|
hb_filter_iter_t<hb_iter_t (Iterable), Pred, Proj>
|
|
|
|
operator () (const Iterable &c) const
|
2019-01-26 22:44:09 +01:00
|
|
|
{ return hb_filter_iter_t<hb_iter_t (Iterable), Pred, Proj> (c.iter (), p, f); }
|
2019-01-09 20:32:33 +01:00
|
|
|
|
|
|
|
private:
|
|
|
|
Pred p;
|
|
|
|
Proj f;
|
|
|
|
};
|
2019-01-30 02:15:12 +01:00
|
|
|
template <typename Pred = decltype ((hb_bool)),
|
|
|
|
typename Proj = decltype ((hb_identity))>
|
2019-01-09 20:32:33 +01:00
|
|
|
inline hb_filter_iter_factory_t<Pred, Proj>
|
2019-01-27 00:44:45 +01:00
|
|
|
hb_filter (Pred&& p = hb_bool, Proj&& f = hb_identity)
|
2019-01-09 20:32:33 +01:00
|
|
|
{ return hb_filter_iter_factory_t<Pred, Proj> (p, f); }
|
2018-12-21 23:21:19 +01:00
|
|
|
|
2019-01-09 18:07:01 +01:00
|
|
|
/* hb_zip() */
|
2018-12-21 23:21:19 +01:00
|
|
|
|
2019-01-09 08:57:16 +01:00
|
|
|
template <typename A, typename B>
|
2019-01-09 18:49:12 +01:00
|
|
|
struct hb_zip_iter_t :
|
2019-01-30 02:15:12 +01:00
|
|
|
hb_iter_t<hb_zip_iter_t<A, B>,
|
|
|
|
hb_pair_t<typename A::item_t, typename B::item_t> >
|
2019-01-09 08:57:16 +01:00
|
|
|
{
|
2019-01-09 18:49:12 +01:00
|
|
|
hb_zip_iter_t () {}
|
|
|
|
hb_zip_iter_t (A a, B b) : a (a), b (b) {}
|
2019-01-09 08:57:16 +01:00
|
|
|
|
|
|
|
typedef hb_pair_t<typename A::item_t, typename B::item_t> __item_t__;
|
2019-01-25 15:34:03 +01:00
|
|
|
static constexpr bool is_random_access_iterator =
|
2019-01-30 02:15:12 +01:00
|
|
|
A::is_random_access_iterator &&
|
|
|
|
B::is_random_access_iterator;
|
2019-01-25 15:34:03 +01:00
|
|
|
static constexpr bool is_sorted_iterator =
|
2019-01-30 02:15:12 +01:00
|
|
|
A::is_sorted_iterator &&
|
|
|
|
B::is_sorted_iterator;
|
2019-01-09 08:57:16 +01:00
|
|
|
__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;
|
|
|
|
};
|
2019-01-09 10:02:38 +01:00
|
|
|
template <typename A, typename B,
|
|
|
|
hb_enable_if (hb_is_iterable (A) && hb_is_iterable (B))>
|
2019-01-26 22:44:09 +01:00
|
|
|
inline hb_zip_iter_t<hb_iter_t (A), hb_iter_t (B)>
|
2019-01-09 20:00:32 +01:00
|
|
|
hb_zip (const A& a, const B &b)
|
2019-01-26 22:44:09 +01:00
|
|
|
{ return hb_zip_iter_t<hb_iter_t (A), hb_iter_t (B)> (a.iter (), b.iter ()); }
|
2019-01-09 08:57:16 +01:00
|
|
|
|
2019-01-09 18:07:01 +01:00
|
|
|
|
|
|
|
/*
|
|
|
|
* 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)
|
|
|
|
{
|
2019-01-26 22:44:09 +01:00
|
|
|
for (auto i = c.iter (); i; i++)
|
2019-01-09 18:07:01 +01:00
|
|
|
hb_assign (*i, v);
|
|
|
|
}
|
|
|
|
|
|
|
|
template <typename S, typename D,
|
|
|
|
hb_enable_if (hb_is_iterator (S) && hb_is_iterator (D))>
|
|
|
|
inline bool
|
|
|
|
hb_copy (D id, S is)
|
|
|
|
{
|
|
|
|
for (; id && is; ++id, ++is)
|
|
|
|
*id = *is;
|
|
|
|
return !is;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2018-12-21 06:08:05 +01:00
|
|
|
#endif /* HB_ITER_HH */
|