Templat rekursiven Datentypen

Question

Ich habe einen rekursiven Datentyp wie folgt aus:

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

SomeType<int> foo; 

Dies funktioniert gut, aber wegen eines unvollständigen Typ in einem Compiler-Fehler std::map mit std::unordered_map Ergebnisse zu ersetzen. Bin ich (oder gcc) irgendwo einen Fehler gemacht? oder ist das nur ein Teil des Standards?

Ich würde auch von einem Template-Parametern (wie std::stack und std::queue) bestimmt wie den inneren Behälter haben, aber ich kann nicht einen Weg finden, um es zu tun, da die Sometype erfordern würde bereits definiert werden.

Unvollständige Beispiel:

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

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

Ich weiß, das mit Laufzeit indirection getan werden kann, aber das ist nicht das, was ich suche.

Answer 1

Ihre Klasse ist nirgendwo vor der endgültigen } ihrer Definition unvollständig. Das Element verwendet daher den unvollständigen Typ SomeType in den Vorlagenargumenten des Typs.

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

Ihre zweite Frage fällt unter der gleichen Antwort - es illegal ist, dass in erster Linie zu tun.

Answer 2

Sie können aus offensichtlichen Gründen keine Vorlage mit rekursiven Standardparametern definieren. Sie können auch keine standardmäßigen Bibliothekscontainervorlagen für unvollständige Typen instanziieren, da der Standard dies angibt (andernfalls ist das Verhalten nicht definiert). obwohl die übliche PIMPL Idiom kann helfen:

#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

Während Sie nicht unvollständigen Typen mit Containern verwenden können, können Sie es mit Smart-Pointer zu tun. Und während Sie nicht Template-Typen mit undefinierten Typen Parameter erstellen können, können Sie einige Tricks, hier verwenden:

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