[v3 PATCH] Slight cleanup of tuple constraints.

Jonathan Wakely jwakely@redhat.com
Mon Mar 27 15:12:00 GMT 2017


On 27/03/17 17:44 +0300, Ville Voutilainen wrote:
>This is not something that should go in at this stage, but I'm sending
>it for review. Dinka quite astutely pointed out that the sizeof...(_Elements)>=1
>tests seem unnecessary, and they are;
>
>1) the helper aliases _TCC and _TMC already check that the incoming
>pack and the element pack have the same size
>2) if the element pack is empty, we wouldn't use these constructors
>anyway, since we have a specialization for a zero-element tuple...
>3) ...except that for the one taking const _Elements& we might, for
>class template argument deduction cases, but we have a deduction
>guide that deduces the zero-element specialization for 'tuple t;' so
>we still won't use these constructors.

Sounds right, so this looks good for Stage 1.




More information about the Libstdc++ mailing list