Discussion :

[NiamorH]

Bonjour,

Je suis dans la configuration suivante :

Code :

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

1
2
3
4
5
6
7
8
9
10
class A
{
  void func();
  virtual void func( int );
};
 
class B : public A
{
  virtual void func( int );
};

J'ai une erreur de compil sous VS2005 (pas assez de parametres) lorsque j'appelle :

Code :

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

b->func();

Je suis obligé d'écrire :

Code :

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

static_cast<A*>(b)->func();

Pourquoi ?

[loufoque]

Il faut mettre using A::func dans la définition de B.

[JolyLoic]

Tout d'abord, le compilateur doit chercher les fonctions qui participent à la surcharge. Pour ça, il considère juste le nom des fonctions, sans leurs paramètres.

Quand il ne trouve pas de fonction dans une classe, il a le droit de regarder dans la classe de base. S'il en trouve non.

Donc, ici, il trouve une fonction dans ta classe, et une seule. Du coup il ne va pas cherché dans la classe de base (on dit ici que la fonction est "cachée"). Ensuite, il résoud la surcharge : Simple, il y a une seule fonction. Mais celle ci ne va pas : Erreur.

Maintenant, sur le pourquoi de ces règles ? Je crois que faire autrement aurait pu causer des surprises, mais je ne sais plus trop lesquelles.

[NiamorH]

Effectivement ça marche bien comme ça :

Code :

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

1
2
3
4
5
6
7
8
9
class B :
  public A
{
public:
  using A::func;
  virtual void func( int ) {}
  B(void);
  ~B(void);
};

Merci à vous deux

[koala01]

Salut,

Ceci dit, l'un des premiers conseils que l'on puisse donner est que, si on doit déclarer une fonction membre virtuelle dans une classe, le mieux est de déclarer toutes les fonctions membres de cette classe comme virutelles.

De cette manière, tu éviteras énormément de problèmes, entre autres dans le cadre d'une fonction surchargée dont la surcharge n'apparaît pas dans une des classes:

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
 
class A
{
    public:
        A();
        virtual ~A();
        virtual void fonct();
        virtual void fonct(int i); /* ca, c'est la seule fonction redéfinie */
        /*...*/
};
class B: public A
{
    public:
        B();
        virtual ~B();
        virtual void fonct(int i);
};

Tant qu'à créer une vtable, autant y mettre toutes les fonctions

[JolyLoic]

Ceci dit, l'un des premiers conseils que l'on puisse donner est que, si on doit déclarer une fonction membre virtuelle dans une classe, le mieux est de déclarer toutes les fonctions membres de cette classe comme virutelles.

Bof...

Pour moi, le mot clef virtuel est un indice important pour la personne devant dériver d'une classe, il indique quels sont les (rares en général) points de customisation prévus par le créateur de la classe initiale. Tout mettre virtuel me semble être de l'obfuscation. Il ne m'arrive par exemple quasiment jamais de mettre une fonction publique virtuelle.

Pour l'argument : "tant qu'à... ", je ne suis pas forcément d'accord non plus, car tous les appels de fonctions vont devoir passer par l'indirection de la vtable, et je ne suis pas certain que le compilateur puisse optimiser cette pessimisation dans tous les cas.

[Alp]

Oui +1 pour Loïc.

Lorsque l'on dérive une classe de la première, on sait quelles fonctions redéfinir grâce au fait qu'elles soient préfixées par "virtual".

Je ne sais pas si passer systématiquement par la vtable pour chaque fonction membre est une bonne chose, moi non plus ... Je n'ai jamais testé, car l'idée paraît étrange de prime abord