Discussion :

[S_ami]

bonjour tout le monde
j'ai une fonction somme qui fait la somme des deux nombre quelconque voila la déclaration de la fonction :

Code :

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

1
2
3
4
5
 
template<class T1,class T2>
T1 somme(T1 a,T2 b){
    return a+b;
    }

le problème c'est que le type de retour dépend toujours du nombre a
lorsque j'ai fait :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
 
#include <iostream>
using namespace std;
template<class T1,class T2,class T>
T somme(T1 a,T2 b){
    return a+b;
    }
int main()
{
    double a=somme(12,12.6);
    return 0;
}

une erreur :
D:\c++SMI6\exercice2\main.cpp|15|error: no matching function for call to `somme(int, double)'|
merci de m'aider

[Dreambeliever]

Salut

ça devrait être de ce genre:

Code :

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

1
2
3
4
5
6
7
8
9
10
11
#include <iostream>
using namespace std;
template<class T,class T1,class T2>
T somme(T1 a,T2 b){
    return a+b;
    }
int main()
{
    double a=somme<double>(12,12.6);
    return 0;
}

[Alp]

Le problème c'est qu'en général, '+' est associé à un groupe (ou au moins monoïde) au sens Mathématique. Et l'une des caractéristiques principales, c'est que quand tu additionnes deux éléments :
- les deux appartiennent au même ensemble
- le résultat appartient au même ensemble
(on parle de stabilité de '+')

Donc, ne serait-il pas mieux ici d'avoir un signature de ce genre (auquel cas tu n'auras plus besoin de préciser le type de retour à la main car le compilateur ne peut pas le déduire) :

Code :

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

1
2
template <typename T>
T add(T t1, T t2);

?

[Invité]

Et l'une des caractéristiques principales, c'est que quand tu additionnes deux éléments :
- les deux appartiennent au même ensemble
- le résultat appartient au même ensemble
(on parle de stabilité de '+')

Ne peut on pas additionner deux types différents en C++ (le compilateur caste comme il faut, non?). Et +, en informatique, c'est pour un groupe, pas un monoide, puisque les flottants sont signés, et tout élément d'un type entier a un inverse.

Enfin, quand je dis un groupe (ou un monoide), c'est pour les types entiers, seulement: l'addition en virgule flottante n'est pas associative.

Francois

[Dreambeliever]

Donc, ne serait-il pas mieux ici d'avoir un signature de ce genre (auquel cas tu n'auras plus besoin de préciser le type de retour à la main car le compilateur ne peut pas le déduire) :

Code :

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

1
2
template <typename T>
T add(T t1, T t2);

?

Salut,

Ton code est plus simple que le mien mais dans le cas où les types de t1 et t2 sont différents, il y aura toujours besoin de préciser T (mais, c'est vrai, dans le cas d'égalité y'a pas besoin)

[Alp]

Je remettais simplement en question l'utilité de fournir la possibilité d'avoir T1 et T2 différents, avec un troisième type T pour le retour.
Ca dépend des types que va donner le PO à sa fonction.

M'enfin qu'il s'agisse de vecteurs, de matrices, de nombres, on veut souvent T1 = T2 = T.

Après, ça peut être une exception ici

[S_ami]

merci

[Invité]

Salut,

A mon avis, le problème vient du fait que dans

Code :

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

1
2
3
4
5
 
template<class T1,class T2,class T>
T somme(T1 a,T2 b){
    return a+b;
    }

Ton compilateur n'a aucune idée du type T qu'il doit renvoyer quand tu lui passes un int et un double : somme(12,12.6); : 12 est un int, 12.6 un double, mais le retour, oui c'est un T, mais quoi? C'est pour cela qu'il chouine.

Je pense que tu devrais choisir T=T1, comme ca tu respectes l'associativité naturelle de l'addition. Le problème, c'est qu'alors somme(12, 12.6)=24. Sinon, tu peux forcer T comme double... oui mais somme(12,12)=24.0 (double)

Francois