Discussion :

[Awakening]

Bonjour,
Mon problème est à priori simple, si tant est qu'il ait une solution.
L'exemple qui suit n'est pas mon problème mais c'est le même raisonnement.

A partir de ces deux fonctions :

Code :

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

1
2
3
 
template <class T> inline float Sin(T a) { return sinf(a); } //fonction 1 renvoyant un float
template <class T> inline double Sin(T a) { return sin(a); } //fonction 2 renvoyant un double

Je veux trouver ces appelles à la compilation :

Code :

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

1
2
3
4
5
 
float fa = Math::Sin((double)1.0); //Utilisation de la fonction 1
float fb = Math::Sin((float)1.0); //Utilisation de la fonction 1
double da = Math::Sin((double)1.0); //Utilisation de la fonction 2
double db = Math::Sin((float)1.0); //Utilisation de la fonction 2

Mais l'ennuie c'est que le compilateur trouve une ambiguïté du à "l'autocasting" (coercition ?) float -> double, double -> float.

Il n'y aurait pas une solution simple et propre de clarifier ça pour le compilateur ? Merci.

[Bousk]

Bonjour,


essaye une syntaxe comme

Code :

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

1
2
3
4
float fa = Math::Sin<double>((double)1.0); //Utilisation de la fonction 1
float fb = Math::Sin<float>((float)1.0); //Utilisation de la fonction 1
double da = Math::Sin<double>((double)1.0); //Utilisation de la fonction 2
double db = Math::Sin<float>((float)1.0); //Utilisation de la fonction 2

qui devrait éviter toute embrouille du compilateur.

edit: voir ci-dessous

[Ekleog]

AMHA le problème vient de la définition de Sin.
En effet, la seule différence entre les deux définitions est le type de retour, qui n'entre pas en compte dans le choix d'une fonction.

Donc il faudrait remplacer par :

Code :

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

1
2
float Sin(float f) { return sinf(f); }
double Sin(double d) { return sin(d); }

Ou bien, si le but est d'apprendre la métaprog' :

Code :

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

1
2
template <typename T> T Sin(T t) { return sin(t); }
template <> float Sin<float>(float f) { return sinf(t); }

[Awakening]

D'abord merci à tous les deux.

Ensuite, j'affine mon problème (vous ne pensiez pas vous en sortir si facilement ?!). Je voudrais utiliser ça (à peu près pareil qu'au dessus).

Code :

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

1
2
3
4
5
6
float fa = Math::Sin((double)1.0); //Utilisation de la fonction 1
float fb = Math::Sin((float)1.0); //Utilisation de la fonction 1
double da = Math::Sin((double)1.0); //Utilisation de la fonction 2
double db = Math::Sin((float)1.0); //Utilisation de la fonction 2
float fc = Math::Sin((int)1.0); //Utilisation de la fonction 1
double dc = Math::Sin((int)1.0); //Utilisation de la fonction 2

Sans que j'aurais a définir la valeur du paramètre et la valeur de retour, manuellement. Ce que je voudrais éviter d'écrire, c'est ça :

Code :

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

1
2
3
4
5
6
7
8
Fonction : Math::Sin</*type paramètre*/,/*type retour*/>
 
float fa = Math::Sin<double,float>((double)1.0);
float fb = Math::Sin<float,float>((float)1.0);
double da = Math::Sin<double,double>((double)1.0);
double db = Math::Sin<double,float>((float)1.0);
float fc = Math::Sin<int,float>((int)1.0)
double dc = Math::Sin<int,double>((int)1.0);

Une idée ? Ou il faut que je revois ma fainéantise à la baisse ?

[Bousk]

Est-ce que ceci compilerait :

Code :

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

template< typename R, typename P> R Sin(P val) { return sin(val); }

Je n'ai pas de quoi tester.

Sinon, parce qu'il est pas dit que l'ambiguité ne resurgisse pas ( 2 fonctions ne peuvent pas différer par leur unique type de retour)

Code :

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

template< typename R, typename P> void Sin(P val, R& ret) { ret = sin(val); }

[Flob90]

Je vois pas la Meta-Prog dans ton code ...

La détermination automatique des paramètres template ne sert pas à grand chose ici. Si ton objectif est de créer des fonctions utilisant des algo plus ou moins performant selon la situation, il faut nécessairement que tu dises explictement quel précision tu veux.

Si ce n'est pas pour ca que tu as plusieurs version, quel est la raison ?

@Ekleog: Préfères la surcharge à la spécialisation des fonctions templates.