join_iterator.h 2.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109
  1. //
  2. // join_iterator.h
  3. // iterator
  4. //
  5. // Created by Sam Jaffe on 2/7/17.
  6. //
  7. #pragma once
  8. #include <iterator>
  9. #include <memory>
  10. #include <utility>
  11. #include <iterator/capture_iterator.h>
  12. #include <iterator/end_aware_iterator.h>
  13. #include <iterator/facade.h>
  14. #include <iterator/forwards.h>
  15. #include <iterator/detail/macro.h>
  16. namespace iterator {
  17. template <typename It>
  18. class joining_iterator
  19. : public facade<joining_iterator<It>, category::forward> {
  20. private:
  21. template <typename Ot> friend class joining_iterator;
  22. constexpr static bool requires_caching = detail::is_rvalue_iterator_v<It>;
  23. public:
  24. using sentinel_type = sentinel_t;
  25. using outer_iterator_t =
  26. std::conditional_t<requires_caching,
  27. capture_iterator<end_aware_iterator<It>>,
  28. end_aware_iterator<It>>;
  29. using inner_iterator_t =
  30. end_aware_iterator<detail::iter<DEREF_TYPE(outer_iterator_t)>>;
  31. private:
  32. outer_iterator_t outer_;
  33. inner_iterator_t inner_;
  34. public:
  35. joining_iterator() = default;
  36. template <typename Ot>
  37. joining_iterator(joining_iterator<Ot> const & other) : outer_(other.outer_) {
  38. safely_init_inner_iterator(other.outer_, other.inner_);
  39. }
  40. template <typename C, REQUIRES(detail::is_container_v<C>)>
  41. joining_iterator(C && container) : outer_(FWD(container)) {
  42. update_iterator();
  43. }
  44. joining_iterator(outer_iterator_t outer) : outer_(outer) {
  45. update_iterator();
  46. }
  47. joining_iterator(outer_iterator_t const & outer,
  48. inner_iterator_t const & inner)
  49. : outer_(outer) {
  50. safely_init_inner_iterator(outer, inner);
  51. }
  52. void increment() {
  53. if ((++inner_).at_end()) {
  54. ++outer_;
  55. update_iterator();
  56. }
  57. }
  58. decltype(auto) dereference() const { return *inner_; }
  59. bool at_end() const { return outer_.at_end(); }
  60. bool equal_to(joining_iterator const & other) const {
  61. return outer_ == other.outer_ && inner_ == other.inner_;
  62. }
  63. auto outer_iterator() const { return outer_; }
  64. auto inner_iterator() const { return inner_; }
  65. private:
  66. template <typename OuterIt, typename InnerIt>
  67. void safely_init_inner_iterator(OuterIt const & outer,
  68. InnerIt const & inner) {
  69. if constexpr (requires_caching) {
  70. inner_ = *outer_;
  71. std::advance(inner_, std::distance(InnerIt(*outer), inner));
  72. } else {
  73. inner_ = inner;
  74. }
  75. }
  76. void update_iterator() {
  77. while (!outer_.at_end() && (inner_ = *outer_).at_end()) {
  78. ++outer_;
  79. }
  80. }
  81. };
  82. template <typename C>
  83. joining_iterator(C &&) -> joining_iterator<detail::iter<C>>;
  84. template <typename JI>
  85. joining_iterator(end_aware_iterator<JI>) -> joining_iterator<JI>;
  86. }
  87. MAKE_ITERATOR_FACADE_TYPEDEFS_T(::iterator::joining_iterator);
  88. #include <iterator/detail/undef.h>