Skip to content

Conversation

@steve-downey
Copy link
Owner

Paper for optimizing range adaptors for optional, per PL NB comment.

Publish in paper system.
Take view:
(2.2)— Otherwise, if T is a specialization of optional and T models view, then (static_cast<D>(F) == D() ? ((void)E, T()) : decay-copy(E)).

Drop view:
(2.2)— Otherwise, if T is a specialization of optional and T models view, then (static_cast<D>(F) == D() ? decay-copy(E) : ((void)E, T())).

Const view:
(2.3)— Otherwise, if U denotes optional<X&> for some type X, then optional<const X&>(E).

Reverse view:
(2.2)— Otherwise, if E is specialization of optional and E models view, then decay-copy(E).
@coveralls
Copy link
Collaborator

coveralls commented Nov 10, 2025

Coverage Status

coverage: 99.31%. remained the same
when pulling 451e4d5 on optimize_adaptors
into 133585b on main.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants