Spécialisation partielle de template template

Hello,

J'essaye de définir les bornes d'un intervalle sous forme de type.
Un intervalle peut être totalement ouvert (pas de limites), ou borné d'un seul côté, ou des deux.
Ceci est défini par des paramètres template, et selon ce qu'on y met, ma classe comporte ou pas des membres indiquant pour indiquer les bornes. D'où des spécialisations.

Voici sur quoi je suis parti :

Code:

---

1 2 3 4 5 6 7 8 9 10 11

template <bool Value, bool Strict> class Bound { enum { value = Value }; // valeur de la borne enum { strict = Strict }; // vrai si inégalité stricte };   template <typename T, template<bool InfV, bool InfS> class Inf, template<bool SupV, bool SupS> class Max> class Bounded;

---

A l'utilisation, j'aurais donc quelque chose du genre :

Code:

---

1 2 3

Bounded<double, Bound<false, false>, Bound<true, false>> monParamètre; monParamètre.maxBound = 500.0; monParamètre.setValue(215.0);

---

J'aurais bien voulu passer la valeur des bornes à la définition des types, mais il n'est pas possible de passer un double comme paramètre template...

Enfin bref, comment spécialiser mon template de classe pour InfV = true, par exemple ?

Pour info, je cherche à transcrire en C++ un champ de base de données...

Merci !

Bonjour,

Si tu utilises Bounded comme ca alors ce ne sont pas des TTP, mais des paramètre template normal :

Code:

---

1 2 3

template<class T, class Inf, class Max> struct Bounded;

---

Avec des TTP l'utilisation serait plutôt :

Code:

---

1 2	Bounded<double,Bound,Bound> MyParam;

---

Si tu n'utilises pas de TTP, alors tu pourras spécialiser comme ca :

Code:

---

1 2 3 4

template<class T> struct Bounded<T,Bound<true,true>,Bound<true,true> > { /*...*/ };

---

Cependant vu le nombre élevé de cas possible (2^4=16), je doute qu'une utilisation de la spécialisation comme ca serait une bonne idée. :ccool:

Je ne comprends pas à quoi te sert le paramètre template Value :aie:

Pourquoi a-tu besoin de spécialiser ? Je ne suis pas certain de bien comprendre ton code, mais à première vue je ne vois pas de besoin de spécialisation (quel besoin te demande d'écrire un code différent pour différentes valeurs du paramètre template ?).

La solution pourrait être de ne pas utiliser, mais d'utiliser la SFINAE (sans la partie INAE).

Ce qui serait utilisable comme ça :

Code:

---

1 2 3 4 5 6 7 8

template <bool V, typename T> req_true {}; // Un tel helper existe dans de nombreuses bibliothèques, donc boost et c++11, de mémoire template <typename T> req_true<true> { typedef T type; };   // Plus loin, dans la définition de la classe, pour le prototype,   typename req_true<Inf::Value, double>::type get_inf_bound() const { return inf_value_; }

---

Ainsi, les méthodes seront disponibles, mais ne seront pas utilisables si le paramètre n'est pas à true.

Tu devrais quand même changer le Value dans Inf::Value ; pour simplifier la compréhension du message d'erreur en cas de boulette. Par exemple, IS_BOUNDED (en majuscules, ça attire l'oeil plus facilement -- d'ailleurs, je me demande comment MPL met des **** dans ses messages d'erreur ...).