定义模板类型

Question

我试图创建一个具有里面一个未定义类CRTP类的CRTP内部类型---由派生类中定义，因为这样的：

#include <memory> // unique_ptr 

template<typename T> 
class crtp 
{ 
    public: 
     class inside; 

     crtp(); 

     std::unique_ptr<inside> m; 
}; 

这适用于非模板数据类型。

但是，如果我试图传递给它一个模板类，例如：

template<> 
template<typename T> 
class crtp<test::TestClass<T>>::inside 
{ 
    public: 
     inside() 
     { 
      std::cout << "Instantiated." << std::endl; 
     } 
}; 

它提供了以下错误：

error: invalid class name in declaration of ‘class crtp<test::TestClass<T> >::inside’ 

我用gcc 4.6.1。

我在这里错过了什么？我觉得它与模板实例化有关，但我不确定我应该寻找什么。

编辑：澄清，像crtp的构造函数已经在其他地方定义（我应该发布它？它只是初始化unique_ptr）。我想要专门做的唯一事情就是内部类的定义。

Answer 1

您不能部分专门化外层模板来定义嵌套类;只允许完全专业化（如template <> class crtp<int>::inside）。相反，您可以提供整个模板的部分专业化：

template <typename T> 
class crtp<test::TestClass<T>> 
{ 
public: 
    class inside { /* ... */ }; 
    // ... 
};