Created on 2024-05-10.00:00:00 last changed 3 months ago
Proposed resolution:
This wording is relative to N4981.
Modify [range.adjacent.overview] as indicated:
-2- The name
views::adjacent<N>
denotes a range adaptor object ([range.adaptor.object]). Given a subexpressionE
and a constant expressionN
, the expressionviews::adjacent<N>(E)
is expression-equivalent to
(2.1) —
((void)E, auto(views::empty<tuple<>>))
ifN
is equal to0
anddecltype((E))
modelsforward_range
,(2.2) — otherwise,
adjacent_view<views::all_t<decltype((E))>, N>(E)
.
Modify [range.adjacent.transform.overview] as indicated:
-2- The name
views::adjacent_transform<N>
denotes a range adaptor object ([range.adaptor.object]). Given subexpressionsE
andF
and a constant expressionN
:
(2.1) — If
N
is equal to0
anddecltype((E))
modelsforward_range
,views::adjacent_transform<N>(E, F)
is expression-equivalent to((void)E, views::zip_transform(F))
, except that the evaluations ofE
andF
are indeterminately sequenced.(2.2) — Otherwise, the expression
views::adjacent_transform<N>(E, F)
is expression-equivalent toadjacent_transform_view<views::all_t<decltype((E))>, decay_t<decltype((F))>, N>(E, F)
.
[ St. Louis 2024-06-29; Status changed: Voting → WP. ]
[ 2024-06-24; Reflector poll ]
Set status to Tentatively Ready after six votes in favour during reflector poll.
History | |||
---|---|---|---|
Date | User | Action | Args |
2024-07-08 09:00:03 | admin | set | messages: + msg14246 |
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: + msg14174 |
2024-06-24 12:08:14 | admin | set | status: new -> ready |
2024-05-10 14:49:51 | admin | set | messages: + msg14134 |
2024-05-10 00:00:00 | admin | create |