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

From: Aleksey Gurtovoy (agurtovoy_at_[hidden])
Date: 2005-01-07 06:37:02

Agoston Bejo writes:
> 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>".

Use overload resolution. The easiest way would probably be to take
'is_convertible' implementation for your compiler and replace the
overload used to detect 'To' type convertibility with with a function
temlate accepting 'A<T1>'.

HTH,
-- 
Aleksey Gurtovoy
MetaCommunications Engineering