recursive_iterator_layer.hpp 2.9 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889
  1. #pragma once
  2. #include "recursive_iterator_base.hpp"
  3. #include "recursive_iterator_traits.hpp"
  4. namespace iterator { namespace detail {
  5. /**
  6. * @class recursive_iterator_layer
  7. * @brief A single layer for recursing down a nested collection. Represents
  8. * non-associative containers.
  9. *
  10. * Provides dispatch/overloading for types and functions of recursive_iterator
  11. * chains to resolve ambiguous typedefs and operators.
  12. *
  13. * @see recursive_iterator_impl
  14. * @see bounded_recursive_iterator_impl
  15. * @tparam Iterator The underlying iterator type of the layer
  16. * @tparam RecursiveIterator_NextLayer The next layer, either a
  17. * recursive_iterator_impl, or a bounded_recursive_iterator_impl
  18. */
  19. template <typename Iterator, typename RecursiveIterator_NextLayer>
  20. class recursive_iterator_layer : public recursive_iterator_base<Iterator>,
  21. public RecursiveIterator_NextLayer {
  22. public:
  23. using super = RecursiveIterator_NextLayer;
  24. using layer = recursive_iterator_base<Iterator>;
  25. protected:
  26. using recursive_category = continue_layer_tag_t;
  27. public:
  28. using value_type = typename super::value_type;
  29. using reference = typename super::reference;
  30. using pointer = typename super::pointer;
  31. using difference_type = typename super::difference_type;
  32. using iterator_category = std::forward_iterator_tag;
  33. public:
  34. recursive_iterator_layer() = default;
  35. recursive_iterator_layer(layer v) : recursive_iterator_layer() {
  36. assign(v);
  37. update();
  38. }
  39. template <typename OIter, typename Rec>
  40. recursive_iterator_layer(recursive_iterator_layer<OIter, Rec> const & other)
  41. : layer(static_cast<recursive_iterator_base<OIter> const &>(other)),
  42. super(static_cast<Rec const &>(other)) {}
  43. reference operator*() const { return super::get(); }
  44. pointer operator->() const { return super::operator->(); }
  45. bool operator==(recursive_iterator_layer const & other) const {
  46. return layer::operator==(other) && super::operator==(other);
  47. }
  48. protected:
  49. reference get() const { return operator*(); }
  50. /**
  51. * Advance the iterator step. If the next layer has reached the end, then
  52. * we advance this iterator until it reaches either its own end, or a
  53. * non-empty subcollection to start iterating over.
  54. */
  55. void next() {
  56. super::next();
  57. update();
  58. }
  59. /**
  60. * Update the underlying iterator and propogate updates down the chain so
  61. * that if there is data available, the iterator is in a dereferencable
  62. * state.
  63. */
  64. void assign(layer v) {
  65. static_cast<layer &>(*this) = v;
  66. if (!v.done()) { super::assign(make_end_aware_iterator(*v)); }
  67. }
  68. void update() {
  69. layer & self = static_cast<layer &>(*this);
  70. while (super::done() && !(++self).done()) {
  71. super::assign(make_end_aware_iterator(*self));
  72. }
  73. }
  74. bool done() const { return layer::done(); }
  75. };
  76. }}