[Programmation générique] template - iterator_traits
Je suis actuellement en licence d'informatique et je suis un cours de programmation générique en C++. Je cherche à templatiser une fonction mais un problème se pose : j'ai posé la question à 4 de mes enseignants et pas un seul n'a pu le résoudre... Voici donc mon problème (sur un exemple trivial et inutile mais c'est pour le principe) :
Imaginons que je veuille écrire une fonction qui calcule la moyenne des éléments d'un container de la STL. Afin d'obtenier une généricité maximale (utilisation de vecteurs, listes ou même "vieux" tableaux de type C), je passe en paramètre template l'itérateur de début et l'itérateur de fin :
Code:
1
2
3
4
5
| template<class IputIterator>
void moyenne(InputIterator first, InputIterator last) {
// Calcul de la moyenne en supposant que les opérateurs + et /
// soient définis par les objets "pointés" par les itérateurs
} |
Je veux pouvoir appeler ma fonction de la même manière qu'on appelle les algorithmes de la STL (c'est à dire sans spécifier explicitement les paramètres templates). Or pour calculer la moyenne, j'ai besoin de connaître le type des éléments contenus dans le container. Alors je me plonge dans la doc de la STL et je trouve ça :
Code:
1
2
3
4
5
| template<class IputIterator>
void moyenne(InputIterator first, InputIterator last) {
// "tmp" peut recevoir la somme des éléments contenus dans [first, last) :
iterator_traits<InputIterator>::value_type tmp;
} |
Cependant il reste un problème de taille (ceux qui ont réussi à suivre mes explications s'en seront rendu compte, bravo !) La fonction ne renvoit pas la moyenne ! En toute logique j'ai essayé ça...
Code:
1
2
3
4
5
6
| template<class IputIterator>
iterator_traits<InputIterator>::value_type tmp;
moyenne(InputIterator first, InputIterator last) {
// "tmp" peut recevoir la somme des éléments contenus dans [first, last) :
iterator_traits<InputIterator>::value_type tmp;
} |
... mais ça ne marche pas :cry: Une solution qui marcherait serait :
Code:
1
2
3
4
5
| template<class IputIterator, class T>
T moyenne(InputIterator first, InputIterator last) {
// "tmp" peut recevoir la somme des éléments contenus dans [first, last) :
iterator_traits<InputIterator>::value_type tmp;
} |
mais cette dernière ne me plait pas trop. En effet, elle nous oblige a spécifié explicitement les paramètres templates pour l'instantiation. De plus un programmeur farfelu pourrait faire :
Code:
1
2
| vector<complex<double> > v;
moyenne<int>(v.begin(), v.end()) |
Donc si quelqu'un a une idée pour spécifier le type de retour de la fonction de manière à ce qu'il ne soit déduit uniquement que du paramètre template "InputIterator", ça m'aiderait bien ! Merci d'avance !
