Re: [boost] [guidelines] why template errors suck

Subject: Re: [boost] [guidelines] why template errors suck
From: joel falcou (joel.falcou_at_[hidden])
Date: 2010-09-26 09:13:11

On 26/09/10 14:57, Mathias Gaunard wrote:
> The design of ConceptCheck doesn't allow to test at compile-time 
> whether a set of types rightly model a concept.
>
> This is because concepts within ConceptCheck are defined as arbitrary 
> statements, rather than expressions.
>
> We should redesign ConceptCheck for it to test expressions; then we 
> could use the new extended SFINAE to test things.
>
> This however means we'd basically have to throw away and rewrite all 
> the concept work that has already been done.
I think it's worth the effort IMHO