Date
2020-08-21.20:53:46
Message id
11453

Content

Proposed resolution:

This wording is relative to N4830.

  1. Modify [range.join.view], class template join_view synopsis, as indicated:

    [Drafting note: Changing the join_view<V>::inner_ member to be mutable is safe because this exposition-only member is only used when the join_view is single-pass and only modified by operations that invalidate other iterators]

    namespace std::ranges {
      template<input_range V>
        requires view<V> && input_range<range_reference_t<V>>> &&
                (is_reference_v<range_reference_t<V>> ||
                view<range_value_t<V>>)
      class join_view : public view_interface<join_view<V>> {
      private:
        […]
        V base_ = V(); // exposition only
        mutable all_view<InnerRng> inner_ = // exposition only, present only when 
                                            // !is_reference_v<InnerRng>
          all_view<InnerRng>();
      public:
        […]
      };
    }