On 07/06/2022 21.03, Thiago Macieira via Std-Proposals wrote:
> On Tuesday, 7 June 2022 09:54:57 PDT Phil Endecott via Std-Proposals wrote:
>> template <typename... TYPES>
>> struct tuple {
>> TYPES fields;...
>> };
>>
>> I note that we can use pack expansion with ",". Why not also with ";" ?
> Because the statement is already over and it would be impossible difficult to
> tell what the ... applies to. Remember we also have fold expressions.


maybe:


TYPES... fields;


>> Any thoughts?
> That would remove the Empty Base Optimisation for std::tuple, which finds uses
> for classes generically storing possibly-empty templates.


[[no_unique_address]] TYPES... fields;


>
> Example: allocators in all containers, deleters in the smart pointers. As in:
> https://code.woboq.org/gcc/libstdc++-v3/include/bits/
> unique_ptr.h.html#std::__uniq_ptr_impl::_M_t
>