Mixins, modèles variadiques, et CRTP en C++

Question

Voici le scénario: Je voudrais avoir une classe hôte qui peut avoir un nombre variable de mixins (pas trop difficile avec des modèles variadiques - voir par exemple http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.144). Cependant, j'aimerais aussi que les mixins soient paramétrés par la classe hôte, afin qu'ils puissent se référer à ses types publics (en utilisant l'idiome de CRTP). Le problème se pose lorsque vous essayez de mélanger les deux - la syntaxe correcte ne me semble pas claire. Par exemple, le code suivant ne peut pas compiler avec g ++ 4.4.1:

template <template<class> class... Mixins> 
class Host : public Mixins<Host<Mixins>>... { 
    public: 
    template <class... Args> 
    Host(Args&&... args) : Mixins<Host>(std::forward<Args>(args))... {} 
}; 

template <class Host> struct Mix1 {}; 

template <class Host> struct Mix2 {}; 

typedef Host<Mix1, Mix2> TopHost; 
TopHost *th = new TopHost(Mix1<TopHost>(), Mix2<TopHost>()); 

Avec l'erreur:

tst.cpp: In constructor ‘Host<Mixins>::Host(Args&& ...) [with Args = Mix1<Host<Mix1, Mix2> >, Mix2<Host<Mix1, Mix2> >, Mixins = Mix1, Mix2]’: 

tst.cpp:33: instantiated from here 

tst.cpp:18: error: type ‘Mix1<Host<Mix1, Mix2> >’ is not a direct base of ‘Host<Mix1, Mix2>’ 

tst.cpp:18: error: type ‘Mix2<Host<Mix1, Mix2> >’ is not a direct base of ‘Host<Mix1, Mix2>’ 

Quelqu'un at-il une expérience réussie mélange des modèles variadique avec CRTP?

Answer 1

Ce qui suit semble fonctionner. J'ai ajouté Mixins... dans les classes mixin héritées qui étendent le pack de paramètres inplace. En dehors du corps du modèle Host, tous les paramètres de modèle de Host doivent être spécifiés afin que Mixins... serve le but. À l'intérieur du corps, juste Host suffit pas besoin d'épeler tous ses paramètres de modèle. Une sorte de petite main.

#include <utility> 

template <template<class> class... Mixins> 
class Host : public Mixins<Host<Mixins...>>... 
{ 
    public: 
    Host(Mixins<Host>&&... args) : Mixins<Host>(std::forward<Mixins<Host>>(args))... {} 
}; 

template <class Host> struct Mix1 {}; 
template <class Host> struct Mix2 {}; 

int main (void) 
{ 
    typedef Host<Mix1, Mix2> TopHost; 
    delete new TopHost(Mix1<TopHost>(), Mix2<TopHost>()); 
}