con plantilla tipos de datos recursivas

Question

que tienen un tipo de datos recursiva como esto:

template<typename T> 
struct SomeType { 
    std::map<T, SomeType<T>> mapping; 
}; 

SomeType<int> foo; 

Esto funciona bien, pero sustituyendo std::map con std::unordered_map da como resultado un error de compilación debido a un tipo incompleto. ¿Estoy (o gcc) cometiendo un error en alguna parte? o es esto solo parte del estándar?

También me gustaría tener el contenedor interno determinado por un parámetro de plantilla (como std::stack y std::queue), pero no puedo encontrar una manera de hacerlo ya que eso requeriría que SomeType ya estuviera definido.

ejemplo incompleto:

template<typename T, typename C = std::map<T, SomeType<[???]>>> 
struct SomeType { 
    C mapping; 
}; 

SomeType<int, [???]> foo; 

sé que esto se puede hacer con el tiempo de ejecución indirecta, pero eso no es lo que estoy buscando.

Answer 1

Su clase está incompleta en cualquier lugar antes de la final } de su definición. Por lo tanto, el miembro mapping está utilizando el tipo incompleto SomeType en los argumentos de plantilla de su tipo.

The standard does not allow this, and it is pure luck that it works with some STL containers.

a su segunda pregunta cae bajo la misma respuesta - es ilegal hacer eso en primer lugar.

Answer 2

No se puede definir una plantilla con parámetros predeterminados recursivos por razones obvias. Tampoco puede crear instancias de plantillas de contenedor de biblioteca estándar en tipos incompletos, porque el estándar lo dice (de lo contrario, es un comportamiento indefinido). El idioma PIMPL habitual puede ayudar, sin embargo:

#include <map> 
#include <memory> 
template <typename T> class SomeType 
{ 
    typedef std::map<T, SomeType<T>> map_type; 
    typedef std::unique_ptr<map_type> map_ptr; 
    map_ptr pimpl; 
public: 
    SomeType() : pimpl(new map_type) { } 
}; 

Answer 3

Aunque no se puede utilizar tipos incompletas con los contenedores, puede hacerlo con punteros inteligentes. Y si bien no se puede crear tipos de plantilla con parámetros de tipos no definidos, puede utilizar algunos trucos aquí:

template<typename T, template <typename U, typename V, typename... Args> class Container = std::unordered_map > 
struct SomeType { 
    Container<T, std::unique_ptr<SomeType> > mapping; 
};