Re: template template parameters (was Re: [boost] Re: Special functions, octonions, quaternions in the CVS)

From: Larry Evans (jcampbell3_at_[hidden])
Date: 2001-06-26 18:23:47

John Max Skaller wrote:

> Vesa Karvonen wrote:
>
> > The transformation to remove template template parameters consists of the
> > following sub-transformations:
>
>         Mind if I try it?
>
>         // instance I'll use
>         template <class T1> class X {
>                 T1 x;
>         };
>
>         // client
>         template <template<class> class TT>, class T2> class Y {
>                 TT<T2> y;
>         };
>

[snip]
Thanks for the example.  It helped me a lot.

>
>         Yep. Should work if done globally.
> But you've still really got template templates (they're just nested).

It helped me to think of the transformation as another example of currying
template arguments that Vesa gave in his first post.  Only in this case, ALL the
template arguements are curried, so you get a non-template class with
a nested template class.