template et type_traits

Bonjour,

Cette fois, j'aimerais éviter de créer 12000 templates pour tous les types de données arithmétiques possibles. Aussi, j'arrive avec ce bout de code (qui ne marche pas) :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27

#include <type_traits> #include <iostream>   using namespace std;   template<class T> inline int f(const T& t){ if(is_class<T>::value){ return 1337; }else if(is_arithmetic<T>::value){ cout << t+1; return 9999; } }   class A{ public: A(){} };   int main(){ A a; cout << f(a); cout << f(3); cout << f(0.5); return 0; }

---

Je pense que vous voyez ce que je cherche à faire. Le but est d'éviter des constructions comme :

Code:

---

1 2 3

template<>int f(const float& t)... template<>int f(const int& t)... //etc...

---

Bonjour,

Il faut éviter de mélanger les structures de méta-programmation et celles de programmation impérative lorsque tout est déterminable à la compilation. Le compilateur peut en effet optimiser dans certains cas, mais l'utilisation uniquement de structures de méta-programmation assure que ceci sera nécessairement fait à la compilation.

Dans ton cas, regardes du côté de std::conditional dans le header type_traits. Après selon le degré de méta-prog que tu veux utiliser, boost::mpl sera peut-être plus désigné.

Je ne connaissais pas mpl ou conditional. Ceci dit, c'est pas trop mon problème ici.
J'avais implementé au départ un template permettant de faire des test conditionels et de lancer une fonction au besoin.

Mon souci vient plutôt du fait que j'ai un template avec un paramètre, disons T.
Et que ce paramètre peut soit être une classe, soit un type arithmétique.
Dans chaque cas, j'effectue des opérations qui ne sont pas possible dans l'autre cas.

Dans l'exemple donné, j'effectue une addition, par exemple.

J'avais bien compris ton problème, et il vient bien du fait que tu fais des sélections conditionnels à l’exécution sur des choses déterminées à la compilation. Du coup si le code de chaque "branches conditionnelles" ne peut pas être "résolue" dans tout les cas le compilateur refuse.

Il faut utiliser les mécanismes de sélection conditionnelle à la compilation pour résoudre ton problème. Si tu as du code à évaluer à l’exécution dans tes branches, il faut coupler ceci à un autre mécanisme pour arriver à quelque chose de fonctionnel :

Un de ces mécanisme est le tag dispatching. Pour résumer l'idée, tu crées des dummy type correspondant à tes différents cas, ensuite tu crées des fonctions de la forme :

Code:

---

1 2 3 4

template<class T> void foo_impl(/*...*/, const Dumme1&) { /*code cas 1*/ }

---

Pour chacun de tes cas, et tu fais quelque chose de la forme :

Code:

---

1 2 3 4 5 6 7

template<class T> void foo(/*...*/) { typedef typename tmp_algo<T>::type type; foo_impl(/*...*/, type()); }

---

Ou tmp_algo est un algorithme de méta-programmation permettant de choisir le dummy type correspondant au T (basiquement c'est un trait, et en poussant un algorithme) : c'est lui qui utilisera std::conditional / boost::mpl.

Une autre solution possible est d'écrire les différents cas sous forme de foncteurs polymorphiques et de faire sélectionner à l'algoritme de méta-programmation l'un de ces foncteurs, et ensuite de l'instancier et de "l'appeler". Cependant, je partirais sur le tag dispatching, qui me semble plus simple dans ce cas là.

Merci, j'ai trouvé mon bonheur.

J'ai parlé trop vite, c'est un peu plus compliqué que ça encore, en fait.
Le problème est que je surcharge des opérateurs qui, forcément, retournent des valeurs.

Exemple :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50

#include <type_traits> #include <iostream>   using namespace std;   typedef enum{ Add, Mult, } Expression;   typedef struct {} EA; typedef struct {} EB;   template<class L,class R, Expression E> class Expr;   template<class L,class R> class Expr<L,R,Mult> { public: Expr(const L& left, const R& right, const EA& dummy){} inline void exec(){ cout << "class\n"; } };   template<class L,class R> class Expr<L,R,Mult> { public: Expr(const L& left, const R& right, const EB& dummy){} inline void exec(){ cout << "arithmetic\n"; } };   template<class L,class R> inline Expr<L,R,Mult> operator*(const L& left, const R& right){ return Expr<L,R,Mult>(left, right, typename conditional<is_class<L>::value && is_class<R>::value, EA, EB>::type()); }   class A{ public: A(){} };   int main(){ A a; int x = 3; float y = 0.5; (a*a).exec(); (a * x).exec(); (y * a).exec(); return 0; }

---

Code:

---

1 2 3 4 5 6 7

test.cpp:36:7: error: redefinition of ‘class Expr<L, R, (Expression)1u>’ test.cpp:28:7: error: previous definition of ‘class Expr<L, R, (Expression)1u>’   test.cpp:45:115: error: no matching function for call to ‘Expr<A, int, (Expression)1u>::Expr(const A&, const int&, std::conditional<false, EA, EB>::type)’ test.cpp:45:115: note: candidates are: test.cpp:31:2: note: Expr<L, R, (Expression)1u>::Expr(const L&, const R&, const EA&) [with L = A; R = int] test.cpp:31:2: note: no known conversion for argument 3 from ‘std::conditional<false, EA, EB>::type {aka EB}’ to ‘const EA&’

---

Le problème c'est que tu fais surtout deux fois la même spécialisation partielle.

Il n'y a que exec qui dépend du type dummy ? Dans ce cas, c'est lui qui doit utiliser la technique du tag dispatching : une seule classe, mais deux fonction exec_impl en private dans celle-ci.

En effet, je suis bête.