Re: [boost] Re: is_convertible: bug or missing feature?

From: Giovanni Bajo (giovannibajo_at_[hidden])
Date: 2002-05-10 07:25:00

----- Original Message ----- 
From: "Gennadiy Rozental" <rogeeff_at_[hidden]>
Newsgroups: gmane.comp.lib.boost.devel
To: <boost_at_[hidden]>
Sent: Friday, May 10, 2002 7:59 AM
Subject: [boost] Re: is_convertible: bug or missing feature?

> BTW, (it was probaby already discussed, and I just miss it)
> Why couldn't we implement is_convertible like this:
> struct convertible
> {
>     template<typename From>
>     struct from
>     {
>         template<typename To>
>         struct to
>         {
>             enum { value = .... };
>         };
>     };
> };
> 
> The usage would be more expressive:
> is_convertible::from<Type1>::to<Type2>::value

Notice that the correct syntax would have to be:

is_convertible::from<Type1>::template to<Type2>::value

which, IMO, is enough to make it unreadable.

Giovanni Bajo