Ich bekomme es gerade nicht hin, wie kann man so etwas lösen?:

template<typename T> class A
{
};

template<typename T> class B
{
};

template<typename T, typename F<T> > class X
{
};

X< char, A<char> > x;

Ich will also erzwingen, dass der Templateparameter F zu der Klasse X selbst eine Templateklasse ist, die auch den Parameter T hat.

//(1)
template <class T, template <class> class U>
struct Foo
{
   typedef U<T> AutoU;
};

//(2)
template <class T, class U>
struct Bar;

//Spezialisierung
template <class T, template <class> class U>
struct Bar<T, U<T> >
{
};

Hi!

Ich bekomme es gerade nicht hin, wie kann man so etwas lösen?:

template<typename T> class A
{
};

template<typename T> class B
{
};

template<typename T, typename F<T> > class X
{
};

X< char, A<char> > x;

Ich will also erzwingen, dass der Templateparameter F zu der Klasse X selbst eine Templateklasse ist, die auch den Parameter T hat.

Durch partielle Spezialisierung:

template<typename T> class A;

template<typename T, typename U > class X; // bleibt undefiniert

template<typename T, template<typename> class TT> class X< T, TT< T > >
{
...
};
// oder besser in Hinblick auf eine brauchbare Fehlermeldung:
template<typename T, typename U > class Y
{
    BOOST_STATIC_ASSERT(( is_template_class_with_1_type_parameter< U, T > ));
...
};
// mit Hilfstemplate nach obigem Schema:
template<typename, typename> struct is_template_class_with_1_type_parameter { static const bool value = false; };
template<typename T, template<typename> class TT> struct is_template_class_with_1_type_parameter< TT< T >, T > { static const bool value = true; };