Issue 4096: views::iota(views::iota(0)) should be rejected

Title: views::iota(views::iota(0)) should be rejected
Status: wp
Section: [range.iota.overview]
Submitter: Hewill Kang

Created on 2024-05-08.00:00:00 last changed 2 weeks ago

Messages

msg14245 (view)

Date: 2024-07-08.09:00:03

Proposed resolution:

This wording is relative to N4981.

Modify [range.iota.overview] as indicated:

-1- iota_view generates a sequence of elements by repeatedly incrementing an initial value.
-2- The name views::iota denotes a customization point object ([customization.point.object]). Given subexpressions E and F, the expressions views::iota(E) and views::iota(E, F) are expression-equivalent to iota_view<decay_t<decltype((E))>>(E) and iota_view(E, F), respectively.

msg14173 (view)

Date: 2024-07-08.09:00:03

[ St. Louis 2024-06-29; Status changed: Voting → WP. ]

msg14128 (view)

Date: 2024-06-15.00:00:00

[ 2024-06-24; Reflector poll ]

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

msg14127 (view)

Date: 2024-05-08.00:00:00

views::iota(E) literally means incrementing element E endlessly, but views::iota(views::iota(0)) is currently well-formed due to CTAD, rejecting such unreasonable spelling seems therefore reasonable.

History
Date	User	Action	Args
2024-07-08 09:00:03	admin	set	messages: + msg14245
2024-07-08 09:00:03	admin	set	status: voting -> wp
2024-06-24 13:01:55	admin	set	status: ready -> voting
2024-06-24 12:08:14	admin	set	messages: + msg14173
2024-06-24 12:08:14	admin	set	status: new -> ready
2024-05-09 10:56:06	admin	set	messages: + msg14128
2024-05-08 00:00:00	admin	create