Date: Thu, 14 Apr 2022 16:38:40 +0000
On Thursday, April 14th, 2022 at 8:54 AM, Paolo Di Giglio via Std-Proposals <std-proposals_at_[hidden]> wrote:
> Hi Jens,
> > I think there is a already a mapping from "const T" to "T" for> tuple_size and tuple_element, so you don't need those specializations.
> The reason why you need the "T const[N]" specializations is because suchmapping exists. I explain that in section 4.1.1. Please have a look and
> let me know what you think.
>
> I introduced "T volatile[N]" and "T volatile const[N]" specializations
> because similar mappings from "T volatile" and "T volatile const" to "T"
> existed up to C++20. I'll remove these specializations from my paper
> since the mappings will be removed in C++23.
I see. I slightly prefer the constrainingspecification, so that you don't needto thinking about the fate of volatiletuple_element.
--Zhihao
> Hi Jens,
> > I think there is a already a mapping from "const T" to "T" for> tuple_size and tuple_element, so you don't need those specializations.
> The reason why you need the "T const[N]" specializations is because suchmapping exists. I explain that in section 4.1.1. Please have a look and
> let me know what you think.
>
> I introduced "T volatile[N]" and "T volatile const[N]" specializations
> because similar mappings from "T volatile" and "T volatile const" to "T"
> existed up to C++20. I'll remove these specializations from my paper
> since the mappings will be removed in C++23.
I see. I slightly prefer the constrainingspecification, so that you don't needto thinking about the fate of volatiletuple_element.
--Zhihao
Received on 2022-04-14 16:38:50