Mapping type - object

Bonsoir,

En voulant impl�menter les algorithmes de la biblioth�ques standards afin de pouvoir les utiliser avec des fonctions prenant un ou plusieurs arguments, je me suis naturellement orient�s vers boost/bind. Un bout de code �tant plus parlant qu'une longue explication, voici ce que j'obtiens pour l'algorithe for_each, acceptant un pointeur de membre prenant lui m�me un argument :

Code:

---

1 2 3 4 5

template<Iterator It, class T, class R, class Op> for_each(It first, It last, R (T::*pmf), boost::call_traits<Op>::parameter_type op) { std::for_each(first, last, boost::bind(pmf, _1, op)); }

---

Le probl�me est que boost::bind contient une copie interne des param�tres qu'on lui passe (ici op). DU coup l'avantage de l'utilisation de call_traits est perdu. Ma question est de savoir comment invoquer

Code:

---

1 2	std::for_each(first, last, boost::bind(pmf, _1, cref(op)))

---

plut�t que le code pr�c�dent lorsque call_traits<Op>::parameter_type est une r�f�rence. La sp�cialisation de template n'est pas vraiment une option envisageable, �tant donn� qu'avec un pointeur de fonction membre acceptant beaucoup de param�tres, on va devoir �crire beaucoup de code. Idem pour des structures if testant call_traits<Op>::parameter_type. Y'a-t-il une solution plus �l�gante ?

Merci d'avance.

Citation:

---

En voulant impl�menter les algorithmes de la biblioth�ques standards afin de pouvoir les utiliser avec des fonctions prenant un ou plusieurs arguments

---

J'ai du mal � saisir l'int�r�t ?

Citation:

---

Ma question est de savoir comment invoquer
[...]
plut�t que le code pr�c�dent lorsque call_traits<Op>::parameter_type est une r�f�rence

---

Au pif de t�te au r�veil :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18

template <typename T> struct Truc { static T Param(T op) {return op;} }; template <typename T> struct Truc<T&> { static ... Param(T& op) {return cref(op);} }; template <typename T> struct Truc<const T&> { static ... Param(const T& op) {return cref(op);} };   template<Iterator It, class T, class R, class Op> for_each(It first, It last, R (T::*pmf), boost::call_traits<Op>::parameter_type op) { std::for_each(first, last, boost::bind(pmf, _1, Truc<...>::Param(op))); }

---

L'interet est de :
1) Restreindre la dependance a bind dans un seul fichier
2) Alleger l'ecriture du code :

Code:

---

1 2	util::for_each(list.begin(), list.end(), &T::pmf, arg);

---

est plus agreable que

Code:

---

1 2	std::for_each(list.begin(), list.end(), boost::bind(&T::pmf, _1, arg));

---

(enfin je trouve :p)

Sinon j'avais pense a une solution du meme genre que la tienne :

Code:

---

1 2 3 4 5 6 7 8 9 10 11

template <class T> struct bind_param_type {   typedef typename boost::mpl::if_<boost::is_reference<T>, boost::reference_wrapper<T>, T>::type; }   // ....   std::for_each(first, last, bind_param_type<...>::type(arg);

---

Mais la tienne permet en plus de differencier les references constantes des references non constantes (bon ce serait possible aussi avec la solution exposee mais ca deviendrait tout de suite beaucoup moins lisible), et est mois lourde a implementer :p. La seule chose qui m'ennuie est pour les parametres passes par valeur (dans les deux cas), on a une copie supplementaire, et je ne vois pas de moyen de l'eviter (je ne suis meme pas sur que ce soit possible). Donc a defaut de trouver comment eviter cette copie je vais utiliser ton implementation,

Merci beaucoup pour l'aide.

A partir du moment o� tu utilises boost::call_traits<T>::param_type, dont le but est de passer par valeur les param�tres pour lesquels �a ne coute "pas cher", alors faire une copie ou (en fait trois ici -- sans optimisation) ne devrait pas vraiment �tre un probl�me.