Discussion :

[grob1212]

Bonjour,

pour apprendre la métaprogrammation et comprendre les expressions templates, je suis entrain de "jouer" avec une petite classe vecteur et je voudrait savoir s'il existe une solution au problème que je me suis posé :

chaque vecteur est défini par un type et une dimension :

Code :

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

1
2
3
4
5
6
7
8
 
template<class type, int dim>
class vecteur
{
protected:
  type val[ dim];
...
};

je désire simplement effectuer, à l'aide des expressions templates, l'addition de deux vecteurs. Existe-t-il un moyen d'additionner deux vecteurs dont le type est différent, tout en respectant les règles de conversions standards (sans se préoccuper des dimensions dans un premier temps). Par exemple,
la somme de deux variables mettant en jeu un float et un int donne un float par la conversion implicitement du int en float. En clair, est-t-il possible que la surcharge de l'opérateur + avec deux vecteurs de types différents puisse donner en sortie un vecteur du type le plus grand ?

Exemple :

Code :

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

1
2
3
4
5
6
 
vecteur<int, 4> vi;
vecteur<double,4> vd;
 
vi + vd;  // conceptuellement, la somme des deux vecteurs
//devrait donner un vecteur de type vecteur<double, 4>

Je ne sais pas si j'ai été assez clair, et je remercie toutes les personnes qui auront eu la patiente de me lire jusqu'au bout

Merci beaucoup.

[Laurent Gomila]

C'est possible, simplement à un moment où un autre tu auras besoin d'une structure qui définit ces règles de conversion, genre une classe de traits.

Code :

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

1
2
3
4
5
6
7
8
9
10
template <typename T1, typename T2> struct MachinTraits;
 
template <> struct MachinTraits<float, int>  {typedef float Type;};
template <> struct MachinTraits<double, int> {typedef double Type;};
template <> struct MachinTraits<char, int>   {typedef int Type;};
// ... pour chaque paire de types !
 
 
template <typename T1, typename T2>
Vector<MachinTraits<T1, T2>::Type> operator +(const Vector<T1>&, const Vector<T2>&);

Après, il y a peut-être moyen de faire ça plus simplement (genre en utilisant la taille pour les types entiers), mais l'idée est là.

[grob1212]

Merci Laurent,

il y a encore bien des aspects que je ne maîtrise pas en C++ (dont les traits). Il faudrait que je trouve une référence bien complète sur le sujet.

[Jean-Marc.Bourguet]

The Complete Template Guide, de Vandevoorde et Josutis, est indispensable si on touche aux templates en profondeur.

[grob1212]

Décidément, quelle réactivité sur le forum, je suis vraiment impressionné

Je suis entrain de tester la méthode avec les traits. Même si c'est un peu lourd, en se limitant à quelques types, c'est encore gérable. Encore quelques petites erreurs à corriger et je posterai le source (aidera-t-il quelqu'un ?)

Dans tous les cas, merci beaucoup à tous, je vais de ce pas voir la référence.

[loufoque]

On peut aussi faire typeof(double(0) + float(0)) si tu utilises GCC ou autre avec extensions du genre (qui devraient être aussi disponibles dans C++09)

On peut peut-être le faire aussi avec result_of, mais je vois pas trop comment.

[r0d]

Encore quelques petites erreurs à corriger et je posterai le source (aidera-t-il quelqu'un ?)

Oui bien sûr. Il y a un topic dédié à cela sur le forum. Tout code (propre et qui fonctionne) est le bienvenu

[JolyLoic]

The Complete Template Guide, de Vandevoorde et Josutis, est indispensable si on touche aux templates en profondeur.

C'est C++ Templates, the complete guide le titre, et j'appuie Jean-Marc quant à la qualité de ce livre.