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

From: Agoston Bejo (gusz1_at_[hidden])
Date: 2005-01-07 06:39:19

"John Maddock" <john_at_[hidden]> az alábbiakat írta a következo 
hírüzenetben: 015301c4f4a8$924a1c30$724d0352_at_fuji...
>> 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>".
>> An example program: (Platform: VC++7.1)
>
> I guess you want the type-trait: is_convertible<from, to>.

Oh, if only it were such easy!
is_convertible cannot be used with template classes, as far as I know. This 
is what causes the problem. (A is a template class)

>
> John.