Kontener STL jako parametr szablonu

Question

Próbuję przekazać kontener STL jako parametr szablonu. W tym przypadku wektor.

Oto mój kod nie-funkcjonalny:

template<template<class> class TContainer, class TObject> 
class Foobar 
{ 
public: 

    explicit Foobar(TContainer<TObject*> & container) 
    : 
    container_(container){} 


private: 

    TContainer<TObject*> & container_; 
}; 


int _tmain(int argc, _TCHAR* argv[]) 
{ 
    std::vector<IUnknown*> v; 

    Foobar<std::vector, IUnknown*> bla(v); 

    return 0; 
} 

Czy to, co usiłuję zrobić to w ogóle możliwe, ponieważ kompilator nie może przełknąć to?

Answer 1

Istnieje kilka rzeczy źle z kodem, tutaj jest przykład roboczych:

template<template<class, class> class TContainer, class TObject> 
class Foobar 
{ 
public: 
    explicit Foobar(TContainer<TObject*, std::allocator<TObject*>> & container) 
    : 
    container_(container){} 

private: 
    TContainer<TObject*, std::allocator<TObject*>> & container_; 
}; 

int main() 
{ 
    std::vector<IUnknown*> v; 
    Foobar<std::vector, IUnknown> bla(v); 
} 

Główną wadą kodów to, że std::vector przyjmuje dwa argumenty szablonu. Wygląda to tak: template<class T, class Allocator = std::allocator<T>> class vector;. Ponadto, Joachim Pileborg ma rację co do problemu z podwójnym wskaźnikiem, IUnknown**. Jednak można uprościć kod z następujących czynności:

template<class TContainer> 
class Foobar 
{ 
public: 
    explicit Foobar(TContainer & container) 
    : 
    container_(container){} 

private: 
    TContainer & container_; // Be careful with reference members 
}; 

int main() 
{ 
    std::vector<IUnknown*> v; 
    Foobar<std::vector<IUnknown*>> bla(v); // C++11 decltype(v) could be used 
} 

Answer 2

Na początek prawdopodobnie pojawią się błędy kompilatora, więc powinieneś dodać je do pytania, ponieważ teraz możemy tylko zgadywać.

Po drugie, jestem zgadywania że to z powodu swojej parametru szablonu:

Foobar<std::vector, IUnknown*> bla(v); 
//     ^^^^^^^^^ 

Tutaj poinformować kompilator, że parametr szablonu jest wskaźnikiem, ale potem trzeba konstruktora:

Foobar(TContainer<TObject*> & container) 
//     ^^^^^^^^ 

W konstruktorze deklarowania container aby być TContainer z TObject* członków, ale od TObject już jest wskaźnikiem masz teraz wskaźnik do wskaźnika. Jeśli TObject jest równy IUnknown*, wówczas TObject* jest równy IUnknown**. Ten sam problem występuje podczas deklarowania zmiennej składowej container_.

polecam spadek wskaźnika typu podczas deklarowania bla:

Foobar<std::vector, IUnknown> bla(v); 
//     ^^^^^^^^ 

Answer 3

może utworzyć synonim typu wektorowych z typedef w celu uproszczenia kodowania.

typedef vector<MyClass> List; 

Następnie użyj Lista jako parametru szablonu jako "zwykłego" typu.

template<class T, class K> 
class Foobar {...} 

Foobar<List> variable; 

Answer 4

Istnieją trzy różne rodzaje argumentów szablonu: wartości, typy i szablony:

template <int value_argument> class C { }; 
template <class type_argument> class D { }; 
template <template<classT> class template_argument> class E { }; 

Podczas korzystania z tych szablonów musisz Podaj argument prawidłowego rodzaju:

C<3> c; 
D<int> d; 
E<C> e; 

Podczas korzystania z trzeciego formularza, szablon szablonu argument, szablon przekazany jako argument musi mat ch deklaracja argumentu szablonu szablonu. W moich prostych przykładach szablon oczekuje od szablonu szablonu argumentu, który przyjmuje jeden typ argumentu.

W kodzie w pytaniu, pierwszym argumentem w deklaracji Foobar jest template <class> class TContainer. W miejscu, gdzie jest on używany, szablon, który jest przekazywane jest std::vector:

Foobar<std::vector, IUnknown*> bla(v); 

Problem polega na tym, że argument szablonu szablon mówi, że powinien on mieć jeden argument, ale szablon, który jest przekazywany jako rzeczywistą argumentu ma dwa lub więcej . Formalnie std::vector jest

template <class T, class Allocator = std::allocator<T>> class vector { ... }; 

Aby korzystać std::vector> as the first argument to Foobar , the definition of Foobar` musi zostać zmieniony tak, że pierwszy argument przyjmuje dwa argumenty typu:

template <template<class, class> TContainer, class TObject> class Foobar { ... }; 

Answer 5

Inną możliwością jest, aby TContainer o zmiennej liczbie argumentów szablonu :