
2 Oct
2012
2 Oct
'12
7:35 a.m.
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
On 02.10.2012 09:26, Andrzej Krzemienski wrote: parameters. This would be more obvious if we wrote it thus: concept <typename T> EqualityComparable ... Sebastian