Created on 2025-03-25.00:00:00 last changed 1 week ago
Proposed resolution:
This wording is relative to N5008.
Modify [range.cache.latest.view] as indicated:
[…]namespace std::ranges { template<input_range V> requires view<V> class cache_latest_view : public view_interface<cache_latest_view<V>> { […] constexpr auto size() requires sized_range<V>; constexpr auto size() const requires sized_range<const V>; constexpr auto reserve_hint() requires approximately_sized_range<V>; constexpr auto reserve_hint() const requires approximately_sized_range<const V>; }; […] }constexpr auto size() requires sized_range<V>; constexpr auto size() const requires sized_range<const V>;-4- Effects: Equivalent to: return ranges::size(base_);
constexpr auto reserve_hint() requires approximately_sized_range<V>; constexpr auto reserve_hint() const requires approximately_sized_range<const V>;-?- Effects: Equivalent to: return ranges::reserve_hint(base_);
Modify [range.to.input.view] as indicated:
[…]template<input_range V> requires view<V> class to_input_view : public view_interface<to_input_view<V>> { […] constexpr auto size() requires sized_range<V>; constexpr auto size() const requires sized_range<const V>; constexpr auto reserve_hint() requires approximately_sized_range<V>; constexpr auto reserve_hint() const requires approximately_sized_range<const V>; }; […]constexpr auto size() requires sized_range<V>; constexpr auto size() const requires sized_range<const V>;-5- Effects: Equivalent to: return ranges::size(base_);
constexpr auto reserve_hint() requires approximately_sized_range<V>; constexpr auto reserve_hint() const requires approximately_sized_range<const V>;-?- Effects: Equivalent to: return ranges::reserve_hint(base_);
[ Sofia 2025-06-21; Status changed: Voting → WP. ]
[ 2025-06-13; Reflector poll ]
Set status to Tentatively Ready after five votes in favour during reflector poll.
[ 2025-06-12; Reflector poll ]
Set priority to 2 after reflector poll.
Intuitively, both view classes should also have reserve_hint
members.
History | |||
---|---|---|---|
Date | User | Action | Args |
2025-06-23 16:37:24 | admin | set | messages: + msg14860 |
2025-06-23 16:37:24 | admin | set | status: voting -> wp |
2025-06-13 09:03:14 | admin | set | status: ready -> voting |
2025-06-13 08:59:50 | admin | set | messages: + msg14809 |
2025-06-13 08:59:50 | admin | set | status: new -> ready |
2025-06-12 20:53:08 | admin | set | messages: + msg14791 |
2025-03-27 18:02:27 | admin | set | messages: + msg14708 |
2025-03-25 00:00:00 | admin | create |