This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [v3 PATCH] Make the default constructors of tuple and pair conditionally explicit.
- From: Paolo Carlini <paolo dot carlini at oracle dot com>
- To: Ville Voutilainen <ville dot voutilainen at gmail dot com>
- Cc: "gcc-patches at gcc dot gnu dot org" <gcc-patches at gcc dot gnu dot org>, libstdc++ at gcc dot gnu dot org
- Date: Mon, 2 Nov 2015 20:20:36 +0100
- Subject: Re: [v3 PATCH] Make the default constructors of tuple and pair conditionally explicit.
- Authentication-results: sourceware.org; auth=none
- References: <CAFk2RUaUjmpsbvQdonwR2SaqjAMHk2tjaBrKjM1Gy8jmJg1Ufg at mail dot gmail dot com> <56377F0B dot 7070209 at oracle dot com> <CAFk2RUbWcCeQWdqeoR2x+W2nSgMR9fsGKZQAtFw6eXz8U6+MJA at mail dot gmail dot com>
Hi,
+ template <typename _Tp>
+ struct __is_implicitly_default_constructible
+ : public integral_constant<bool,
+ (__and_<is_default_constructible<_Tp>,
+ __is_implicitly_default_constructible_safe<_Tp>
+ >::value)>
Can we follow the terse style already used elsewhere (eg,
__is_direct_constructible_new_safe) thus directly inherit from __and_
and avoid explicit integral_constant? Otherwise patch looks good to me.
Thanks,
Paolo.