Discussion :

[ziker]

Bonjour,

Dans le cas ou je crée une classe template de base avec un destructeur virtuel, et que j'hérite de cette classe de base, ai-je l'assurance que le destructeur de la classe dérivée soit toujours appelé si je manipule que des pointeur de base ?

Exemple :

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
 
#include <iostream>
 
using namespace std;
 
template <typename T> class Base
{
public:
    Base(const T &_tparam = T()):tparam(_tparam){}
    virtual ~Base(){ cout << "Call ~Base()" << endl; }
 
    T tparam;
};
 
class Derived : public Base<int>
{
public:
    Derived(const int &_integer):Base<int>(_integer){}
    ~Derived(){ cout << "Call ~Derived()" << endl; }
};
 
 
int main (int /*argc*/, char * /*argv*/[])
{
    Base<int> * ptr = new Derived(0);
    delete ptr;
    return 0;
}

Cet exemple fonctionne (gcc 4.4.5), mais je crains que dans un gros projet avec plusieurs classes dérivées cela ne fonctionne plus, car peut être que je risque d'exploser la VTABLE ? Sinon comment faire ?

[Flob90]

Bonjour,

Je me suis jamais posé la question, mais je pense que si tu arrives à faire "exploser la vtbl" (à part celle de la mémoire de la machine, a-t-elle une autre limite ?) c'est surment que ta hiérarchie d'héritage est beaucoup trop grosse, ie problème de conception très probable.

[3DArchi]

Je me suis jamais posé la question, mais je pense que si tu arrives à faire "exploser la vtbl" (à part celle de la mémoire de la machine, a-t-elle une autre limite ?)

Dans les annexes, la norme recommande qu'une implémentation supporte au moins 16 384 'Final overriding virtual functions' ce qui revient à dire une vtable d'au moins 16384 entrées. Donc après, si ta classe a besoin de plus ...

[LittleWhite]

Bonjour

Dans le cas ou je crée une classe template de base avec un destructeur virtuel, et que j'hérite de cette classe de base, ai-je l'assurance que le destructeur de la classe dérivée soit toujours appelé si je manipule que des pointeur de base ?

Oui et cela fonctionnera tout le temps, tant que le destructeur de base est bien virtuel.
C'est pour cela que tout destructeur de classe se faisant hérité, doit être virtuel, afin que le compilateur appelle le destructeur de la classe hérité.

[ziker]

Bonjour,

Ok merci pour vos réponses.
Pour le destructeur cela fonctionnera toujours.

Par contre pour une méthode virtuelle (pure ou non) dans la classe base, cela n'est pas recommandé ?

J'avoue être un peu perdu, car j'entends sur plusieurs forums que virtual + template ne font pas bon ménage ensemble, pourtant quand je teste, cela semble toujours fonctionner. Et je ne vois pas trop la différence entre un destructeur virtuel et une méthode virtuelle.

[Steph_ng8]

Bonjour,
Il n'y a pas de différence entre un destructeur virtuel et une fonction membre (normale) virtuelle.
Enfin, si ce n'est que pour les destructeurs, ils n'ont pas le même nom dans la classe mère et la classe fille...

Si tu as des soucis avec les fonctions virtuelles, tu peux lire ce tutoriel.
En particulier la partie sur les fonctions virtuelles et fonctions génériques (template).

Comprends bien que si une fonction membre template ne peut pas être virtuelle, une fonction membre non template d'une classe template peut l'être.

[koala01]

Salut,

Juste une petite remarque pour être sur que tu ne l'aies pas oublié

Retiens bien que, si tu as une classe prenant une forme proche de

Code :

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

1
2
3
4
class DerivedInt : public Base<int>
{
     /* ...*/
};

et une autre prenant une forme proche de

Code :

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

1
2
3
4
class DerivedLong : public Base<long>
{
     /* ...*/
};

DerivedInt et DerivedLong feront toujours partie de deux hiérarchies différentes, et ce, malgré le fait qu'un int soit convertible en long

[ziker]

Bonsoir,

Comprends bien que si une fonction membre template ne peut pas être virtuelle, une fonction membre non template d'une classe template peut l'être.

Ok merci tout s'éclaircit maintenant. Et ça me parait tout à fait logique !

Merci pour toutes les réponses et précisions fournient.