Discussion :

[_56ka]

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 :

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

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
{
	//...
};

[Bousk]

Bonjour,

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

Code :

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

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.

[_56ka]

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 :

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

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
	}
};

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

[Bousk]

Ç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.

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

Code :

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

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.
Ca ne compile pas ? Il y a une erreur ?
Le meilleur moyen de savoir ça reste de tenter de compiler.

[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 : http://en.cppreference.com/w/cpp/types/is_base_of ou http://www.boost.org/doc/libs/1_49_0...s_base_of.html

[_56ka]

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 ^^

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

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

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

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

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.

[gbdivers]

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

[_56ka]

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

[gbdivers]

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

Code :

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

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");

[Rewpparo]

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

[JolyLoic]

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...