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 acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk