Help with Template-Template and Mixin Polymorphism

Hello,

I am trying to create a mixin class heirarchy as follows:

template <class E, class Y>
struct Z { };

template <template <class, class> class X, class Y>
struct A
{
    typedef typename X G; // Problem
    typedef typename X<A *, Y> F;
    A(void) { }
    virtual ~A(void) { }
};

template <class Y>
struct B : public virtual A<Z, Y>
{
    B(void) { }
    virtual ~B(void) { }
};

template <class Y, template <class> class P = B>
struct C :
    public virtual A<P<Y>::G, Y>, // Problem
    private P<Y>
{
    C(void) { }
    virtual ~C(void) { }
};

int main(/* int argc, char ** argv */void)
{
    C<int> c;
    return 0;
}

In this, struct Z is a utility template; there may be many definitions
for struct Z. struct A is a virtual base class used to set up
polymorphism for the derived mixin classes. B is an implementation of
a Policy Class. Among other things, B is meant to decide which
template to use for the X parameter in A's template (in this case it
chooses template struct Z). C puts all the mixin policies together.
Here, only one policy is demonstrated, denoted P, which defaults to
B. In each example, Y is a value decided at compile time at the point
of instantiation. In this case, it is instantiated with int. The
problem I am obviously having is that: when B sets X in A through its
base class definition, C has no way of retrieving that binding from P
in order to set the same value for its virtual base A allowing the two
virtual bases to match and act virtually.

In A, the typedef of G is invalid because X is not a type but a
templated type and there is no typedef equivalent to bind a template
parameter (X) to a name (G) so that derived classes can access it.

Secondly, there is no way in C's base classes to specify "A with
template parameters G from P<Y> and Y", where G is assumed to be a
name bound to A that refers to its template parameter X. Again, G
should be defined in B's base class A, which B sets to the value Z.

Does this make sense? Is it possible to do this? Any alternative
suggestions?? Thank!

Jeffrey.

--
      [ See http://www.gotw.ca/resources/clcm.htm for info about ]
      [ comp.lang.c++.moderated. First time posters: Do this! ]