Re: [boost] Overloading on concepts

From: Michael Fawcett (michael.fawcett_at_[hidden])
Date: 2008-05-07 16:48:46

On Wed, May 7, 2008 at 2:15 PM, Terje Slettebø <tslettebo_at_[hidden]> wrote:
> >From: "Anthony Williams" <anthony_w.geo_at_[hidden]>
>
>  > Does the boost concept checking library support overloading on concepts,
>  so
>  > you can have one implementation of an algorithm for random access
>  iterators,
>  > and another for bidirectional iterators, for example?
>
>  As someone was pointed out in another posting, you can't use BCCL for this,
>  since the checks fail with a compile error if a concept doesn't match.
>  However, if you're able to define compile-time traits performing the concept
>  check, then you _can_ overload on concepts, using enable_if. See the Concept
>  Traits Library
>  (http://web.archive.org/web/20050428001254/http://neoscientists.org/~tschwin
>  ger/boostdev/concept_traits/libs/concept_traits/doc/) for an approach to
>  this.
>
>  This library is no longer maintained (at least by me, and unfortunately I
>  don't have the source available right now, but Tobias Schwinger may have it
>  around somewhere), not at least due to the upcoming C++0x, where this is
>  supported in the language.
>
>  The above library was mostly an experiment about how to get support for
>  concepts in a library solution, but you really need language support to get
>  the full effect of concepts.

That looks extremely interesting.  I needed this a few months ago, and
was disappointed when I discovered that you couldn't do this with
BCCL.

I would love if this was made available somehow.

--Michael Fawcett