P2494R2 Relaxing range adaptors to allow for move only types #5710
Conversation
jensmaurer
force-pushed
the
motions-2022-07-lwg-30
branch
from
75f6712
to
8ca5607
Compare
tkoeppe
force-pushed
the
motions-2022-07-lwg-30
branch
from
8ca5607
to
8a7ee6c
Compare
|
@jensmaurer, @JohelEGP: Several changes to the nested iterator types of the views don't seem to be in the paper, but I take it that's an error in the paper? |
|
If you mean that an updated template-head of a range adaptor is not reflected in the template-head of the class synopsis of an inner class (template), then you're right. |
But the changes in this PR already takes account for those. |
Right, I saw that, and wanted to make sure that was deliberate. I'll mention this in the commit message. Thanks! |
Editorial changes: * template-heads have also been updated in the synopses of member class templates.
This change wasn't requested by P2494R2, but is necessary.
tkoeppe
force-pushed
the
motions-2022-07-lwg-30
branch
from
8a7ee6c
to
d5aea28
Compare
| constexpr explicit repeat_view(const W& value, Bound bound = Bound()) | ||
| requires @\libconcept{copy_constructible}@<W>; |
There was a problem hiding this comment.
The corresponding change is missing in its detailed specifications.
| @@ -13302,7 +13302,7 @@ | |||
| requires @\libconcept{view}@<V> && is_object_v<Pred> | |||
| class chunk_by_view : public view_interface<chunk_by_view<V, Pred>> { | |||
| V @\exposid{base_}@ = V(); // \expos | |||
| @\exposid{copyable-box}@<Pred> @\exposid{pred_}@ = Pred(); // \expos | |||
| @\exposid{movable-box}@<Pred> @\exposid{pred_}@ = Pred(); // \expos | |||
There was a problem hiding this comment.
A space is needed before the comment to keep them aligned.
Fixes #5617
Fixes cplusplus/papers#1156