[Boost-users] Re: B is_convertible to A<T> for some T

From: Perepelitsa Roman (romka_at_[hidden])
Date: 2005-01-07 08:15:29

> Hello,
>
> how do I express through template metaprogramming or in a similar
> way that a class is convertible to a template class for some T1?
> I.e., the condition: "There exists some T1 such that B is
> convertible to A<T1>".

I guess all you need is boost::lambda::detail::is_instance_of_1<B, A>.

Best regards.