Mot-clé "virtual" en C++ pour les fonctions dans les classes dérivées. Est-il nécessaire ?

Question

Avec la définition structurée donnée ci-dessous...

struct A {
    virtual void hello() = 0;
};

Approche n° 1 :

struct B : public A {
    virtual void hello() { ... }
};

Approche n°2 :

struct B : public A {
    void hello() { ... }
};

Y a-t-il une différence entre ces deux façons de remplacer la fonction hello ?

Answer 1

Ils sont exactement les mêmes. Il n'y a aucune différence entre elles, si ce n'est que la première approche nécessite plus de saisie et est potentiellement plus claire.

Answer 2

La "virtualité" d'une fonction est propagée implicitement, cependant au moins un compilateur que j'utilise génère un avertissement si la fonction virtual n'est pas utilisé explicitement, donc vous pouvez vouloir l'utiliser, ne serait-ce que pour que le compilateur reste silencieux.

D'un point de vue purement stylistique, inclure la virtual Le mot clé "annonce" clairement à l'utilisateur que la fonction est virtuelle. Ce sera important pour toute personne qui sous-classe ultérieurement B sans avoir à vérifier la définition de A. Pour les hiérarchies de classes profondes, cela devient particulièrement important.

Answer 3

El virtual n'est pas nécessaire dans la classe dérivée. Voici la documentation à l'appui, tirée du projet de norme C++ (N3337) (c'est moi qui souligne) :

10.3 Fonctions virtuelles

2 Si une fonction membre virtuelle vf est déclaré dans une classe Base et dans une classe Derived dérivés directement ou indirectement de Base une fonction membre vf avec le même nom, la même liste de types de paramètres (8.3.5), la même qualification cv et le même qualificateur ref (ou l'absence de celui-ci) que Base::vf est déclaré, alors Derived::vf est également virtuel ( qu'elle soit ou non déclarée telle ) et il remplace Base::vf .

Answer 4

L'ajout du mot clé "virtual" est une bonne pratique car il améliore la lisibilité, mais il n'est pas nécessaire. Les fonctions déclarées virtuelles dans la classe de base, et ayant la même signature dans les classes dérivées sont considérées comme "virtuelles" par défaut.

Answer 5

Il n'y a pas de différence pour le compilateur, lorsque vous écrivez la balise virtual dans la classe dérivée ou l'omettre.

Mais vous devez regarder la classe de base pour obtenir cette information. C'est pourquoi je recommande d'ajouter l'élément virtual également dans la classe dérivée, si vous voulez montrer à l'humain que cette fonction est virtuelle.