Title
Repeating a repeat_view should repeat the view
Status
wp
Section
[range.repeat.overview]
Submitter
Tim Song

Created on 2024-02-12.00:00:00 last changed 3 weeks ago

Messages

Date: 2024-04-02.10:29:12

Proposed resolution:

This wording is relative to N4971.

  1. Modify [range.repeat.overview] as indicated:

    -1- repeat_view generates a sequence of elements by repeatedly producing the same value.

    -2- The name views::repeat denotes a customization point object ([customization.point.object]). Given subexpressions E and F, the expressions views::repeat(E) and views::repeat(E, F) are expression-equivalent to repeat_view<decay_t<decltype((E))>>(E) and repeat_view(E, F), respectively.

Date: 2024-04-02.10:29:12

[ Tokyo 2024-03-23; Status changed: Voting → WP. ]

Date: 2024-03-15.00:00:00

[ 2024-03-12; Reflector poll ]

Set status to Tentatively Ready after seven votes in favour during reflector poll.

Date: 2024-02-12.00:00:00

views::repeat(views::repeat(5)) should be a view of repeat_views, but it's currently a view of ints due to the use of CTAD in the specification of views::repeat.

History
Date User Action Args
2024-04-02 10:29:12adminsetmessages: + msg14050
2024-04-02 10:29:12adminsetstatus: voting -> wp
2024-03-18 09:32:04adminsetstatus: ready -> voting
2024-03-12 01:10:06adminsetmessages: + msg13996
2024-03-12 01:10:06adminsetstatus: new -> ready
2024-02-17 14:38:26adminsetmessages: + msg13950
2024-02-12 00:00:00admincreate