Re: [boost] Re: A couple of issues in submitting typelists to boost

From: David Abrahams (david.abrahams_at_[hidden])
Date: 2001-11-26 08:33:09

----- Original Message -----
From: "Vesa Karvonen" <vesa.karvonen_at_[hidden]>
To: <boost_at_[hidden]>
Sent: Monday, November 26, 2001 4:38 AM
Subject: Re: [boost] Re: A couple of issues in submitting typelists to boost

> From: "David Abrahams" <david.abrahams_at_[hidden]>
> [...]
> > Ah, OK; now I see the logic. We really need compile-time infix
operators,
> > don't we? ;-)
> >
> > <X is_derived_from Y>::value
>
> Try this:
>
>     Is<X>::Derived_From<Y>::value
>
> -Vesa

I thought of that, but shied away because of this:

template <class X, class Y>
struct something
{
   ...
    static const bool inheritance =
        Is<X>::template Derived_From<Y>::value
               ^^^^^^^^
        || Is<Y>::template Derived_From<X>::value;
                  ^^^^^^^^
};