This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [c++-concepts] constrained friends redux


>>> >Perhaps you mean that it must match a fully-instantiated function, so
>>> > any
>>> >constraints on the templates were considered during
>>> >determine_specialization.
>
>
>> This seems like a simple comment fix, but there's a longer explanation
>> of what I want (see below). Would this be more appropriate?
>>
>>    // Do not allow constrained friend template specializations.
>>
>> The intent is stronger than to say it must match something.
>
>
> By "must" I meant that whatever it matches could only be a
> fully-instantiated function.


I see what you mean. I was caught up in the wrong part of the
sentence.. But yes, that's right.

> But I guess the main reason for disallowing constraints here is the same as
> for explicit specializations and non-template functions; non-dependent
> constraints don't really make any sense.

That's the intent.

Okay to commit?

Andrew

Attachment: friends-3.patch
Description: Binary data


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]