şablonlu özyinelemeli veri tipleri

Question

Böyle bir özyinelemeli veri türü var. Bir yerde hata mı yapıyorum? ya da bu standardın bir parçası mı?

Ben de bir şablon parametresi (std::stack ve std::queue benzeri) tarafından belirlenen iç konteyner istiyorum, ama bu zaten tanımlanmış olması sometype gerektirecektir beri bunu yapmak için bir yolunu olamaz.

Eksik örnek:

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

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

bu çalışma zamanı dolaylama ile yapılabilir biliyorum, ama bu benim aradığım şey bu değil.

Answer 1

Sınıfınız, tanımının son } tarihinden önce hiçbir yerde eksik. Bu nedenle, mapping üye, türünün şablon argümanlarında eksik SomeType eksik kullanıyor.

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

Kişisel ikinci soru aynı cevap kapsamına girer - ilk etapta bunu yapmak yasaktır.

Answer 2

Belirgin nedenlerle tekrarlı varsayılan parametrelere sahip bir şablon tanımlayamazsınız. Standart kütüphane şablonlarını tamamlanmamış türlerde de başlatamazsınız, çünkü standart böyle söylemektedir (aksi halde tanımlanmamış bir davranışdır). Her zamanki Pimpl deyim olsa yardımcı olabilir: Eğer konteynerler ile eksik türleri kullanmak edemesek

#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

, akıllı işaretçiler ile yapabilirsiniz. Ve tanımsız türleri parametrelerle şablon türlerini oluşturamaz ise, buradan bazı hileler kullanabilirsiniz:

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