Re: [boost] [contract] toward N3351 concepts

Subject: Re: [boost] [contract] toward N3351 concepts
From: Lorenzo Caminiti (lorcaminiti_at_[hidden])
Date: 2012-10-01 17:03:44

On Thu, Sep 27, 2012 at 10:21 AM, Lorenzo Caminiti
<lorcaminiti_at_[hidden]> wrote:
> BTW, why do we declare concepts like:
>
> concept EqualityComparable< typename T > = ... // (1)
>
> Instead of:
>
> template< typename T >
> concept EqualityComparable = ... // (2)
>
> I personally prefer (2) because the template parameters are declared
> with a syntax that is more consistent with the syntax used to declare
> them in class/function templates. For similar reasons, I'd prefer {
> ... } instead of = ... for the concept definition part.

Does anyone have an opinion/rationale about the syntax of (1) vs. the
one of (2)?

Thanks,
--Lorenzo