This is the mail archive of the
mailing list for the GCC project.
Re: [c++-concepts] Constrained friends
- From: Jason Merrill <jason at redhat dot com>
- To: Andrew Sutton <andrew dot n dot sutton at gmail dot com>
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Sat, 21 Sep 2013 19:51:16 -0400
- Subject: Re: [c++-concepts] Constrained friends
- Authentication-results: sourceware.org; auth=none
- References: <CANq5SytNsrWf6e5WcX_uFqmYzAr9pBMi8gw16nuarbk+HkJ3Sw at mail dot gmail dot com> <523D91EF dot 6080301 at redhat dot com> <CANq5Syvt=tVjQTEP4moYieiOv6R6+-vmfa-AwhfsRvuSWNdUHQ at mail dot gmail dot com>
On 09/21/2013 08:52 AM, Andrew Sutton wrote:
It is wrong, but not for the reasons I gave. This only happens when
you try to constrain a friend function that declares a specialization,
which happens to be completely separate from the previously declared
I'm going to disallow the ability to declare constrained friend
specializations. They don't really make sense.
Hmm, it seems to me the constraints on the specialization help to select
the template the specialization belongs to. I'm not sure that would be
useful, but I don't see a need to specifically prevent it.