Boost logo

Boost :

From: Larry Evans (cppljevans_at_[hidden])
Date: 2004-12-10 06:49:41


On 12/10/2004 03:19 AM, Peder Holt wrote:
[snip]
> Still, the problem in his post applies to typedefs.
> If A<T>::B is a nested class or struct under A<T>, and not a typedef,
> deduction should always be possible.
Yes. Our posts crossed. I had same idea.
>
> In the case where B is a typedef:
> typedef typename some_class<T> B;
> you can deduce some_class<T> instead of A<T>::B

Do you mean in the case of Roni's example, that
you can deduce by substitution, i.e.

   can_deduce: select<B, int, int *>::type
   --substitute-->
   can_deduce: select<(C1<T>::value != C2<T>::value), int, int *>::type

?


Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk