Subject: Re: [boost] is_range metafunction
From: Daniel Walker (daniel.j.walker_at_[hidden])
Date: 2008-10-05 21:58:19


On Sun, Oct 5, 2008 at 9:39 PM, David Abrahams <dave_at_[hidden]> wrote:
>> maybe it's already possible to write is_range for ConceptGCC.
>
> I don't know what properties you want to test for, but concepts can
> handle the syntactic part. However, in C++0x you'd probably not use
> is_range but instead use "requires Range<R>"

Yeah, "requires Range<R>" for dispatching functions, etc., and
is_range for metaprogramming.

>> Is anyone working on this sort of thing?
>
> What sort?

Concept-based type introspection. Or metaprogramming with concepts.
The Concept Traits Library that Mathias linked to is aiming in the
right direction.

Daniel