Discussion :

[Paul Atreide]

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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 Une solution qui marcherait serait :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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 !

[JolyLoic]

Le code suivant marche chez moi :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
#include <vector>
#include <iostream>
#include <numeric>
using namespace std;
 
template<class InputIterator>
typename iterator_traits<InputIterator>::value_type
moyenne(InputIterator first, InputIterator last) 
{
    return accumulate(first, last, 0) / distance(first, last);
}
 
int main()
{
	vector <double> v;
	v.push_back(10);
	v.push_back(3);
	v.push_back(4);
	v.push_back(3);
	cout << moyenne(v.begin(), v.end()) << endl;
	cin.ignore();
}

Mais ce n'est pas forcément idéal : Si je dois faire la moyenne d'un vector<int>, je souhaiterais pouvoir spécifier si je veux des calculs en double ou en int.

[Paul Atreide]

Effectivement, ça marche ! Merci !