X paramètres templates

Salut à tous,
Alors considérons le code suivant :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14

int hello(int) { cout << "hello" << endl; }   template < class type_retour, class arg, type_retour(&pt)(arg) > class FuncPtr { public: static type_retour Exec(arg a) { pt(a); } };   int main() { FuncPtr<int,int,hello>::Exec(2); return 0; }

---

Il marche, cependant il ne prend en compte qu'un seul argument.
Serait-ce possible, en utilisant Boost ou autre, de faire, par les templates, une class template pouvant prendre en compte X arguments de X types s'il le faut... Passer des ARRAY de boost en paramètre? :lol:
Merci pour votre temps et votre attention.

C'est possible. C'est implanté dans Loki, la bibliothèque de A. Alexandrescu.
Je te conseille de jeter un oeil à son bouquin Modern C++ Design chez Addison &
Wesley.
Sa solution est un poil longue à exposer ici

Ce n'est pas possible directement. En général, deux solutions existent :

Utiliser des typeliste :

Code:

---

1 2 3

template <class T1, class T2> class TypeList; template <class T> fct(); fct<TypeList<T1, Typelist <T2, TypeList<T3, TypeList T4> > > ();

---

Après, il y a des moyens (un peu lourds, boost::mpl en encapsule la plupart) d'accèder aux données. Lire le livre d'Andrei peut être utile, mais je recommande plus pour ma part pour une approche pratique C++ template metaprogramming de Abrahams et Gurtovoy, qui explique comment utiliser boost::mpl, et à quoi le template metaprogramming peut servir dans un environnement réel.


ou alors :

Définir une version avec un argument, une avec 2, une avec 3....
On peut utiliser le préprocesseur pour faire ça plus simplement (voir boost::preprocessor http://www.boost.org/libs/preprocessor/doc/index.html).

A noter que les utilisateurs de la première solution se reposent souvent sur la seconde, afin de simplifier les écritures.

Tiens, mes 2 de mes prochaines lectures, ces livres :)

Tu penses à quoi en disant que seul un argument est pris en compte ?

Hé bien juste que ce pointeur de fonction, enfin la class "l'encapsulant" ne peut être qu'un pointeur de fonction à 1 argument.
Merci beaucoup pour vous réponses.
J'avais entendu parler de boost.preprocessor...
Ca donnerait quoi?
Merci encore

Citation:

---

Envoyé par VoidSeer

C'est possible. C'est implanté dans Loki, la bibliothèque de A. Alexandrescu.
Je te conseille de jeter un oeil à son bouquin Modern C++ Design chez Addison &
Wesley.
Sa solution est un poil longue à exposer ici

---

C'est ce qu'il te faut a condition que ton compiler accepte les templates partielles (ce n'est pas le cas du MSC <= 12).

Citation:

---

Envoyé par Alp

Hé bien juste que ce pointeur de fonction, enfin la class "l'encapsulant" ne peut être qu'un pointeur de fonction à 1 argument.

---

Au fait, si c'est juste pour des pointeurs de fonction, boost::function fait ça très bien...

Pour boost::preprocessor, j'avais posté un exemple il y a peu. Un court extrait de la doc :

Code:

---

1 2 3

#include <boost/preprocessor/repetition/enum_params.hpp>   BOOST_PP_ENUM_PARAMS(3, class T) // expands to class T0, class T1, class T2

---

C'est pas boost::function qu'il te faut plutôt ?

Si si, mais je tente juste d'implémenter quelque chose de semblable, mais en vite fait, juste afin de voir en profondeur comment ça se passe. Bien sûr dans mes programmes "réels" je me servirai de boost::function.
Je vais donc voir avec BOOST_PP_ENUM_PARAMS() ...
Merci à tous