This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [c++-concepts] __is_same_as
- From: Paolo Carlini <paolo dot carlini at oracle dot com>
- To: Andrew Sutton <andrew dot n dot sutton at gmail dot com>
- Cc: gcc-patches at gcc dot gnu dot org, Jason Merrill <jason at redhat dot com>, Gabriel Dos Reis <gdr at axiomatics dot org>
- Date: Fri, 26 Jul 2013 14:15:59 +0200
- Subject: Re: [c++-concepts] __is_same_as
- References: <CANq5SysKt1FiRWM1xfpbb2OAmBLJLc2mtNtb_gvmudrk3BZ4_g at mail dot gmail dot com>
Hi,
On 07/26/2013 02:11 PM, Andrew Sutton wrote:
This patch implements a new trait __is_same_as. This is foundational
for future work on concepts in that it provides a mechanism for
reasoning about type equivalences.
Isn't the name a little misleading? I immediately wondered what was
wrong with std::is_same. IMHO something a little longer/technical
clarifying that the trait isn't just about comparing types is in order...
Paolo.