Discussion :

[jfouche]

Bonjour

Je souhaiterai savoir si il est possible de faire un truc du genre :

Code :

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

1
2
3
4
5
template <class T>
class C : public T
{
...
};

et même mieux (si possible) : s'assurer que T dérive bien d'une classe donnée. Je fonctionne aujourd'hui avec un define qui permet de créer la classe, mais je me demandais si je pouvais troquer ce define contre un template...

[koala01]

Salut,

Normalement, tu peux le faire... Cela s'apparente à du CRTP

Et cela peut mener à quelques trucs sympa, du genre de

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
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
template<class T>
class C
{
    public:
        C(T const & v):val(v){}
        void print()const
        {
            cout<<"I'm a C and my value is "<<val<<endl;
        }
        T const & value() const{return val;}
    private:
        T val;
};
template <class T>
class C2 : public T
{
    public:
        C2( T const & t):T(t){}
        void otherPrint()const
        {
            cout<<"I'm a C2 and my C value is "
                <<this->value()<<endl;
        }
};
int main()
{
    C2<C<int> > c(2); // (*)
    c.print();
    c.otherPrint();
    C2<C<std::string> > s(std::string("Hello"));
    s.print();
    return 0;
}

(*) Pour l'instant, il faut "juste" veiller à bien laisser un espace entre deux > lorsque l'on ferme la liste des types paramétrés, pour éviter que le compilateur ne confonde la fermeture avec l'opérateur >> (appliqués sur les i*stream ou comme décalage de bits)...

Dans la prochaine norme, ce problème est normalement résolut

[3DArchi]

Salut,
Aucun problème pour hériter d'un paramètre classe générique:

Code :

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

1
2
3
4
5
template <class T>
class C : public T
{
...
};

Pour vérifier que T dérive bien d'une classe donnée, le plus simple est d'utiliser Boost.Type Trait et Boost.Static assert, ou si tu as un compilateur C++0x, ces deux fonctions peuvent y être intégrer de base.
Si tu es allergique à Boost, Visual propose __is_base_of mais ce n'est pas standard.

[koala01]

J'en oubliais le dernier point qui consiste à vérifier si le type sélectionné dérive d'une classe donnée...

Il y a, normalement, moyen de faire cette vérification de manière statique (comprend: à la compilation), mais elle met en oeuvre une série de trait de politiques qu'il serait fort long de détailler ici (ou du moins que je n'ai pas le courage de détailler ici)...

[jfouche]

Merci pour ces réponses.
en fait je peinais car il faut mettre this-> pour pouvoir acces à une méthode de la classe parente, sinon, ça ne compile pas.

[koala01]

Merci pour ces réponses.
en fait je peinais car il faut mettre this-> pour pouvoir acces à une méthode de la classe parente, sinon, ça ne compile pas.

Oui, c'est effectivement l'un des rares cas (pour ne pas dire le seul) dans lequel l'utilisation de this-> est requise...

[Emmanuel Deloget]

Salut,
Aucun problème pour hériter d'un paramètre classe générique:

Code :

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

1
2
3
4
5
template <class T>
class C : public T
{
...
};

Pour vérifier que T dérive bien d'une classe donnée, le plus simple est d'utiliser Boost.Type Trait et Boost.Static assert, ou si tu as un compilateur C++0x, ces deux fonctions peuvent y être intégrer de base.
Si tu es allergique à Boost, Visual propose __is_base_of mais ce n'est pas standard.

VC++ et gcc proposent std::tr1::is_base_of<_Base,_Derived> dans <type_traits>, qui sont déjà plus standard (et qui bougent dans std pour le prochain standard).

Et si tu ne souhaite pas utiliser le TR1, Réimplémenter is_base_of<> est "relativement simple" - cf Etude du C++ Technical Report 1 - type_traits sur mon blog.

[Goten]

Merci pour ces réponses.
en fait je peinais car il faut mettre this-> pour pouvoir acces à une méthode de la classe parente, sinon, ça ne compile pas.

Tu peux aussi utiliser using... (je crois que le débat continue sur ce qui est bon ou non..)