Discussion :

[oodini]

Hello,

Disons que j'ai :

Code :

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

1
2
3
4
5
template<typename T>
class tempClass
{
   ...
};

Comment faire en sorte que tempClass ne soit instanciable qu'avec des types descendant du même parent (avec le parent lui-même), la hiérarchie étant construite via CRTP ?...

Merci.

[victor_gasgas]

Corrigez moi si je me trompe, mais a tu regarde du cote de <type_traits> avec std/boost::is_base_of<Base, Derived>?

Edit : Le tout couple avec une static_assert

Doc boost de la classe, je me souvenais plus de l'odre des template! http://www.boost.org/doc/libs/1_48_0...s_base_of.html

[Bousk]

Bonjour,

ne serait-pas possible en déclarant ça comme abstraite et en implémentant que pour les types spécifiques nécessaires ?

Exemple de ce que j'ai en tête:

Code :

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

1
2
3
4
5
6
7
8
9
10
11
template< class T >
class tempClass
{
 void doSomething()=0;
};
class Parent {};
template<>
class tempClass<Parent>
{
 void doSomething() {}
};

Ce qui, si ça fonctionne comme je l'espère, entraînera une erreur de compilation avec autre chose qu'un Parent (ou dérivé), avec une errreur de "cannot instatiate abstract class".

[Steph_ng8]

Bonjour,

Pour cette dernière proposition, je crains fort que l'erreur de compilation survienne même avec les classe dérivées de « Parent »...

[Emmanuel Deloget]

+1 à la réponse de victor_gasgas ; j'ajoute que les type traits ayant été intégré au TR1, il n'est pas nécessaire d'utiliser boost ou C++11 pour y avoir accès.

Par contre, static_assert nécessite boost ou C++11 (mais on peut faire sans).

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
 
template <class C, class P = Parent, bool defined = std::is_base_of<P,C> >
class tempClass;
 
template <class C, class P = Parent>
class tempClass<C,P,true>
{
// ... le code de la classe
}
 
// pas de définition pour tempClass<C,P,false>, ce qui va provoquer 
// une erreur à la compilation si C ne dérive pas de P.

Ou quelque chose dans le style

[oodini]

Comment dois-je interpréter l'absence d'implémentation avec ta première déclaration de template ?

[koala01]

Salut,

Comment dois-je interpréter l'absence d'implémentation avec ta première déclaration de template ?

Justement, comme une déclaration de la classe template, et non comme sa définition

On pourrait, en gros, dire qu'il s'agit d'une déclaration anticipée (en tout cas, c'est le terme connu qui s'en rapproche le plus ) permettant au compilateur de savoir que ta classe fonctionne avec "jusqu'à" trois paramètres template (les deux derniers ayant des type par défaut .

Mets toi un instant à la place du compilateur, tu vas voir, le jeu est sympa

En ligne 1 et 2, le compilateur apprend qu'il existe une classe nommée tempClass qui est une classe template prenant trois arguments, dont les deux derniers sont factulatifs (car on donne une valeur par défaut).

Les arguments facultatifs disent que P est, à défaut d'indication contraire, de type Parent et que defined (le booléen) prend la constante renvoyée par is_base_of(P, C), c'est à dire true si la classe P est bel et bien d'un type de base de la classe C.

Les lignes 5 à 9 fournissent une définition pour cette tempClass pour certains arguments template particulier, dont le fait que le booléen (defined ) vaut true, c'est à dire si le résultat de l'évaluation de is_base_of est bel et bien true

De cette manière, si on vient à avoir un code proche de

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
class A
{
    /* ...*/
};
class B : public A
{
    /* ...*/
};
 
int main()
{
    tempClass<B, A> temp;
}

is_base_of fournit bel et bien la constante true, vu que A est bien... la classe parent de B, et le compilateur trouve la définition de la classe correspondant à C = B, P = A, defined = true, et va donc l'utiliser (il n'y aura pas d'erreur de compilation )

Par contre, si tu utilise le code

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
class A
{
    /* ...*/
};
/* !! pas d'héritage publique de A !!! */
class B 
{
    /* ...*/
};
 
int main()
{
    tempClass<B, A> temp;
}

Le compilateur trouve la déclaration de la classe template qui fonctionne avec les arguments fournis : C = B, P = A, defined = false.

Jusque là, il est content

Sauf que, quand il va rechercher le constructeur (par défaut ici ) de tempClass, il ne va pas le trouver, vu que la seule défintion qu'il trouve (et donc pour laquelle il existe bel et bien un constructeur par défaut (dans le cas présent) correspond aux argument C = B, P = A, defined = true, et que defined vaut... false

Il va donc sortir avec une erreur de compilation proche de

Code :

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

1
2
cannot find tempClass<C, P, defined>::tempClass() 
    [with C = B, P = A, defined  = false ]

Et c'est exactement ce que tu voulais : tempClass ne peut pas être utilisée si tu ne fournis pas effectivement une classe dérivée et sa classe mère (ou ancêtre)