On Tue, Oct 28, 2025 at 4:46 PM Nikl Kelbon via Std-Proposals <
std-proposals_at_[hidden]> wrote:
>
> Thanks for the links, but I don't see any discussion of this particular
idea there. Instead, they're discussing allocating the value on the heap or
doubling the buffer.0308
The first sentence in the https://wg21.link/P0308 says
This paper argues in section III that when variant's contained types have
noexcept move constructors, variant *shall* *never* be valueless, that is,
the specification should *statically* guarantee that
valueless_by_exception() will *never* return true.
>
> вт, 28 окт. 2025 г. в 19:24, Bjorn Reese via Std-Proposals <
std-proposals_at_[hidden]>:
>>
>> On 10/28/25 15:07, Giuseppe D'Angelo via Std-Proposals wrote:
>>
>> > This was extensively discussed. You may also want to read about the
>> > design of Boost.Variant2.
>> >
https://www.boost.org/doc/libs/latest/libs/variant2/doc/html/variant2.html#design_rationale
>>
>> And https://wg21.link/P0308
>>
>> --
>> Std-Proposals mailing list
>> Std-Proposals_at_[hidden]
>> https://lists.isocpp.org/mailman/listinfo.cgi/std-proposals
>
> --
> Std-Proposals mailing list
> Std-Proposals_at_[hidden]
> https://lists.isocpp.org/mailman/listinfo.cgi/std-proposals