Template specialization pour classes héritées

Bonjour,

Pouvez-vous me dire si la spécialisation de templates peut m'aider pour mon cas ?

J'ai une classe template dont je veux que le second argument soit obligatoirement dérivé d'une certaine classe, comment puis-je m'y prendre ?

Ci dessous, un exemple.

Merci et meilleures salutations,
Gab

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15

class A { };   class B : public A { };     // J'aimerais que le type T2 soit obligatoirement une classe dérivée de la classe A (la classe B par exemple) template<class T1, class T2> class MonTemplate { //... };

---

Bonjour,

Est-ce qu'un code comme ça fonctionnerait (je viens d'y penser sans jamais avoir essayé une telle chose)

Code:

---

1 2 3 4 5 6 7 8

class A {}; class B : public A {}; template< class T1, class T2 > class Template { A* monA; Template() {monA = new T2;}; };

---

A priori, tel que je l'imagine, si T2 n'est pas dérivé de A (ou directement A), la compilation devrait échouer.

Sinon, as-tu vraiment besoin d'un template pour cela ?
Ne peux-tu avoir uniquement un membre à initialiser ? Ce qui aurait un effet similaire à ce que j'imagine plus haut.

Citation:

---

Envoyé par Bousk

Est-ce qu'un code comme ça fonctionnerait (je viens d'y penser sans jamais avoir essayé une telle chose)
A priori, tel que je l'imagine, si T2 n'est pas dérivé de A (ou directement A), la compilation devrait échouer.

---

Ça pourrait marcher mais suivant le compilateur, peut-être que ça ne mercherait pas :-/

Entre temps j'ai eu une autre idée, dis moi ce que tu en penses

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13

class B : public A { static void bidon() {} }   template<class T1, class T2> class MonTemplate { MonTemplate() { T2::bidon(); // plantage si non hérité de B } };

---

Citation:

---

Envoyé par Bousk

Sinon, as-tu vraiment besoin d'un template pour cela ?
Ne peux-tu avoir uniquement un membre à initialiser ? Ce qui aurait un effet similaire à ce que j'imagine plus haut.

---

En fait mon cas est beaucoup plus compliqué, j'ai une structure de classes assez grande, dont certains templates héritent d'autres et doivent en prendre d'autres en paramètres (sur fond de polymorphisme ^^)

Merci :)

Citation:

---

Envoyé par _56ka

Ça pourrait marcher mais suivant le compilateur, peut-être que ça ne mercherait pas :-/

---

Pourquoi suivant le compilateur ? Je ne vois pas ce qu'il changerait là. Tout compilateur retourne une erreur si A* a = new B; si B n'est pas dérivé de A. Et inversement il acceptera une telle écriture. 8O

Citation:

---

Envoyé par _56ka

Entre temps j'ai eu une autre idée, dis moi ce que tu en penses

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13

class B : public A { static void bidon() {} }   template<class T1, class T2> class MonTemplate { MonTemplate() { T2::bidon(); // plantage si non hérité de B } };

---

---

En fait ça reprend exactement le même principe que j'imaginais^^
Ou en tous cas dans mon esprit c'est similaire.:aie:
Ca ne compile pas ? Il y a une erreur ?
Le meilleur moyen de savoir ça reste de tenter de compiler. :aie:

Pour faire les choses proprement, je conseille la fonction is_base_of du C++11 (ou de boost.type_traits), qui permet de tester si une classe hérite d'une autre classe : http://en.cppreference.com/w/cpp/types/is_base_of ou http://www.boost.org/doc/libs/1_49_0...s_base_of.html

Citation:

---

Envoyé par Bousk

Pourquoi suivant le compilateur ?

---

Suivant la config du compilateur je voulais dire :)
Il y a surement un paramètre trop permissif qui laisserait passer ça entre les gouttes ^^

Citation:

---

Envoyé par Bousk

En fait ça reprend exactement le même principe que j'imaginais^^
Ou en tous cas dans mon esprit c'est similaire.:aie:

---

On est aliénés pareil, c'est un point positif :mouarf:

Citation:

---

Envoyé par Bousk

Ca ne compile pas ? Il y a une erreur ?
Le meilleur moyen de savoir ça reste de tenter de compiler. :aie:

---

Alors je n'ai pas testé ta solution vu que j'ai eu une idée entre temps mais ma proposition fonctionne :D

Citation:

---

Envoyé par gbdivers

Pour faire les choses proprement, je conseille la fonction is_base_of du C++11 (ou de boost.type_traits), qui permet de tester si une classe hérite d'une autre classe

---

Merci pour ta contribution, je ne connaissais pas cette fonction ^^
Par contre, le problème est que is_base_of génère une erreur à l'exécution et moi j'aimerais qu'elle se déclare à la compilation.

Citation:

---

Envoyé par _56ka

Par contre, le problème est que is_base_of génère une erreur à l'exécution et moi j'aimerais qu'elle se déclare à la compilation.

---

Non, c'est bien à la compilation
Tu peux utilisé un static assert pour lancer une erreur si is_base_of est faux

Ah ce serait donc un template online ou un truc du genre ? cool :D
C'est quoi un static assert exactement ? On peut les utiliser sans Boost ?

Oui, avec C++11 (gcc > 4.3)

Code:

---

1 2 3

// définition : static_assert(expression, string); #include <type_traits> static_assert(is_base_of<A, B>::value, "A not base of B");

---

Citation:

---

Envoyé par _56ka

Entre temps j'ai eu une autre idée, dis moi ce que tu en penses

---

Je l'utilise dans mon code actuel, j'ai aucun problème. Testé depuis deux mois GCC/MSVC

Attention, selon ce que tu veux en faire, is_base_of peut retourner des faux positifs. Ainsi une classe de base privée retournera vrai.

Mais bon, à la base, je n'aime pas trop imposer des contraintes si fortes sur mes templates...