将自身称为模板模板参数的模板类？

Question

这段代码：

template <template <typename> class T>
class A
{
};

template <typename T>
class B
{
    A<B> x;
};

不编译，我想因为A<B> 在B 的范围内被解释为A<B<T> >。

那么，如何在其范围内将B 作为模板模板参数传递？

Answer 1

试试这个：

template <typename T>
class B
{
    A< ::B > x; // fully qualified name for B
};

根据 C++ 标准 14.6.1/2，您应该使用模板的正常名称（即，来自封闭范围的名称，而不是注入的类名称）。