Boost logo

Boost :

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

Boost list run by bdawes at, gregod at, cpdaniel at, john at