tipi di dati ricorsivi templated

Question

ho un tipo di dati ricorsiva simili:

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

SomeType<int> foo; 

Questo funziona bene, ma sostituendo std::map con std::unordered_map risultati in un errore di compilazione a causa di un tipo incompleto. Sono (o gcc) facendo un errore da qualche parte? o è solo una parte dello standard?

Vorrei anche avere il contenitore interno determinato da un parametro di template (come std::stack e std::queue), ma non riesco a trovare un modo per farlo perché ciò richiederebbe SomeType essere già definito.

esempio incompleto:

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

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

so che questo può essere fatto con riferimento indiretto fase di esecuzione, ma non è quello che sto cercando.

Answer 1

La classe è incompleta in qualsiasi punto prima della finale } della sua definizione. Quindi il membro mapping utilizza il tipo incompleto SomeType negli argomenti del modello del tipo.

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

tua seconda domanda cade sotto la stessa risposta - è illegale farlo in primo luogo.

Answer 2

Non è possibile definire un modello con parametri predefiniti ricorsivi per ovvi motivi. Non è inoltre possibile creare un'istanza di modelli di contenitori di libreria standard su tipi incompleti, poiché lo standard lo dice (altrimenti è un comportamento non definito). Il solito Pimpl può aiutare, però:

#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

Mentre non è possibile utilizzare i tipi incompleti con i contenitori, è possibile farlo con puntatori intelligenti. E mentre non è possibile creare tipi di modello con parametri tipi non definiti, è possibile utilizzare alcuni trucchi qui:

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