Title
Class split_view::outer_iterator::value_type should inherit from view_interface
Status
c++20
Section
[range.lazy.split.outer.value]
Submitter
Eric Niebler

Created on 2019-09-09.00:00:00 last changed 38 months ago

Messages

Date: 2019-09-24.19:47:42

Proposed resolution:

This wording is relative to N4830.

  1. Modify [range.split.outer.value], class split_view::outer_iterator::value_type synopsis, as indicated:

    namespace std::ranges {
      template<class V, class Pattern>
      template<bool Const>
      struct split_view<V, Pattern>::outer_iterator<Const>::value_type 
        : view_interface<value_type> {
      private:
        outer_iterator i_ = outer_iterator(); // exposition only
      public:
        value_type() = default;
        constexpr explicit value_type(outer_iterator i);
    
        constexpr inner_iterator<Const> begin() const;
        constexpr default_sentinel_t end() const;
      };
    }
    
Date: 2019-09-24.00:00:00

[ 2019-09-24 Issue Prioritization ]

Status to Tentatively Ready and priority to 0 after six positive votes on the reflector.

Date: 2019-09-09.00:00:00

It is a view. It should have all the view goodies. Suggested priority P1 because it affects ABI.

The proposed change has been implemented and tested in range-v3.

History
Date User Action Args
2021-02-25 10:48:01adminsetstatus: wp -> c++20
2019-11-19 14:48:30adminsetstatus: voting -> wp
2019-10-07 02:48:00adminsetstatus: ready -> voting
2019-09-24 19:47:42adminsetmessages: + msg10671
2019-09-24 19:47:42adminsetstatus: new -> ready
2019-09-15 12:05:23adminsetmessages: + msg10623
2019-09-09 00:00:00admincreate