[iter] Add hb_is_random_access_iterator()

This commit is contained in:
Behdad Esfahbod 2019-01-08 12:53:02 -08:00
parent 445364d80a
commit 2658e40ffb
2 changed files with 9 additions and 3 deletions

View File

@ -159,7 +159,7 @@ struct hb_is_iterable { enum { value = _hb_is_iterable<T, hb_true_t>::value }; }
#define hb_is_iterable(Iterable) hb_is_iterable<Iterable>::value
/* hb_is_iterator() / hb_is_sorted_iterator() */
/* hb_is_iterator() / hb_is_random_access_iterator() / hb_is_sorted_iterator() */
template <typename Iter>
struct _hb_is_iterator_of
@ -177,9 +177,13 @@ struct hb_is_iterator_of { enum {
#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)
#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)
#define hb_is_sorted_iterator_of(Iter, Item) \
hb_is_iterator_of (Iter, Item) && \
Iter::is_sorted_iterator
hb_is_iterator_of (Iter, Item) && Iter::is_sorted_iterator
#define hb_is_sorted_iterator(Iter) \
hb_is_sorted_iterator_of (Iter, typename Iter::item_t)

View File

@ -105,6 +105,8 @@ main (int argc, char **argv)
array_iter_t<const int> s2 (v); /* Implicit conversion from vector. */
array_iter_t<int> t (dst);
assert (hb_is_random_access_iterator (array_iter_t<int>));
some_array_t<const int> a (src);
s2 = s;