模板类的内部类是否可以是非模板类？

Question

我正在制作一个内部工具类的模板类。模板的所有专业，希望同样的内部类：

template<...> class Outer { 
    class Inner { }; 
}; 

这给了我Outer<...>::Inner但我希望所有Inner是同一类型，就好像我只是写：

class Inner { }; 
template <...> class Outer { }; 

，或者Outer人根本就不是一个模板类：

class Outer { 
    class Inner { }; 
}; 

给我Outer::Inner。我想对所有Outer<>Outer::Inner工作，如果可能的话（只是名称空间/清楚的原因）。否则，我当然可以将Inner移出。

Answer 1

嵌套类可以是非模板，但模板的每个实例都会有自己的嵌套类，因为他们（其他）无关的类型。你可以做

namespace detail { 

class Inner {}; 

} // detail 

template<...> 
class Outer { 
    typedef detail::Inner Inner; 
}; 

Answer 2

它对每个外部实例化都是唯一的。即，

Outer<int>::Inner will be a different type from Outer<double>::Inner 

Answer 3

我在过去所做的这个问题的方法是使用继承：

class DummyBase{ 
protected: 
    class Inner{ 
     //etc... 
    }; 
}; 

template<...> class Outer : public DummyBase{ 
    //etc... 
};