C++ Logo

std-proposals

Advanced search

Re: [std-proposals] std::elide

From: Gašper Ažman <gasper.azman_at_[hidden]>
Date: Wed, 29 May 2024 23:58:45 +0100
I'm still missing a call operator on the class to force the conversion.

That one is crucial for interop with other eliders.

On Wed, May 29, 2024, 16:00 Frederick Virchanza Gotham via Std-Proposals <
std-proposals_at_[hidden]> wrote:

> Yesterday the paper on std::elide, P3288R1, was discussed at the
> British C++ committee meeting. Having given consideration to
> contributions made by Gašper Ažman, Oliver Rosten, Lénárd Szolnoki and
> Matthew Taylor, today I have made Revision No. 2:
>
> http://www.virjacode.com/papers/elide.htm
>
> And here's the list of changes:
>
> R1 => R2
> * New section entitled 'Alternatives' to suggest that
> std::optional and std::variant could be given an emplace_invoke
> method.
> * std::elide can be used in a constant-evaluated context.
> * std::construct_at is given as an alternative to placement
> new (note that the former can be used in a constant-evaluated
> context).
> * The example of std::any is removed because T must be
> copy-constructible.
> * The example of boost::static_vector is added.
> * The proposed wording for the standard clarifies that the
> accessible typedef is called tag_elide
> * Correction of typo, is_elider -> has_tag_elide_true
> * Correction of typo, typename T -> typename... Params
> --
> Std-Proposals mailing list
> Std-Proposals_at_[hidden]
> https://lists.isocpp.org/mailman/listinfo.cgi/std-proposals
>

Received on 2024-05-29 22:58:58