Re: [boost] [contract] toward N3351 concepts

Subject: Re: [boost] [contract] toward N3351 concepts
From: Sebastian Redl (sebastian.redl_at_[hidden])
Date: 2012-10-02 03:35:49

On 02.10.2012 09:26, Andrzej Krzemienski wrote:
>>> BTW, why do we declare concepts like:
>>>
>>> concept EqualityComparable< typename T > = ... // (1)
>>>
>>> Instead of:
>>>
>>> template< typename T >
>>> concept EqualityComparable = ... // (2)
>>>
A concept isn't a template. You don't instantiate a concept template to 
get specialized concepts. There is just the concept, which has type 
parameters.

This would be more obvious if we wrote it thus:

concept <typename T> EqualityComparable ...

Sebastian