使用多个类型名称时未选择模板类型的模板专业化

Question

假设我

template <typename T>
class F;

可以创建另一个模板，该模板采用 F 作为类型，具有默认值和专门化。

template <typename S>
class G;

template <>
template <typename T>
class G <F<T> >
{
};

我可以实例化 G > g_of_f。编译器正确选择了 G 的特化，一切都很好。

所以这是我的问题。我想使用列表中的多个模板类型名来执行此操作。但是当我

template <typename U, typename S>
class H;

template <typename U>
template <typename T>
class H <U, F<T> >
{
};

现在尝试时，我无法实例化 H; > h_of_f，因为编译器选择原始模板 H 而不是特化。

我在 g++ 4.1 和 g++ 4.4 中观察到了相同的行为。

G 和 H 之间有什么区别，导致编译器无法按我期望的方式工作？

Answer 1

template <typename U, typename S>
class H;

template <typename U, typename T>
class H <U, F<T> > {};

此语法：

template <> template <typename U>

用于在模板之外专门化/定义模板成员：
http://www.comeaucomputing.com/techtalk/templates/#outsidedef

Answer 2

template<> 语法用于引入显式特化声明，这里有部分特化：

template <typename S>
class G;

template <typename S>
class G < F<S> >
{
};

template <typename U, typename S>
class H;

template <typename U, typename S>
class H <U, F<S> >
{
};