¿Puede una clase interna de una clase de plantilla ser una clase sin plantilla?

Question

Estoy haciendo una clase de plantilla con una clase de utilidad interna. Todas las especializaciones de la plantilla quieren la misma clase interna:

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

Eso me da Outer<...>::Inner pero quiero todo Inner a ser del mismo tipo, como si acabara escrito:

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

o si Outer no eran simplemente una clase de plantilla:

class Outer { 
    class Inner { }; 
}; 

me Outer::Inner dar. Me gustaría que Outer::Inner funcione para todos Outer<> si eso es posible (solo por motivos de espacio de nombres/claridad). De lo contrario, por supuesto, puedo mover Inner.

Answer 1

La clase anidada puede no ser una plantilla, pero cada creación de instancias de la plantilla tendrá su propia clase anidada porque son (de lo contrario) tipos no relacionados. Puede hacer

namespace detail { 

class Inner {}; 

} // detail 

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

Answer 2

Será único para cada instanciación de Outer. Es decir,

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

Answer 3

La forma en que he hecho esto en el pasado se utilizaba la herencia:

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

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