3 Oct
2010
3 Oct
'10
9:52 p.m.
On 28/09/2010 19:22, David Abrahams wrote:
At Tue, 28 Sep 2010 18:45:23 +0100, Mathias Gaunard wrote:
On 28/09/10 18:33, David Abrahams wrote:
Please demonstrate how you check that a type models a concept without using a set of valid expressions to define the concept, but only with signatures
See the implementation of ConceptGCC. There's a demonstration in working code. But...
Sorry, I assumed we were talking about standard C++, or eventually about the soon-to-standard C++0x. I.e. solutions that we can really use in the real world.