Polymorphisme et fonctions virtuelles

Bonjour.

J'ai eu un bug dans mon code.
J'ai ramené le problème à cette version simplifiée.

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13

class A { public: void foo(const bool v); public: virtual void foo(void)=0; };   class B : public A { public: void bar(); public: virtual void foo(void) final ; };   void B::bar(){ foo(true); }

---

Code:

---

1 2 3 4 5 6 7 8

test.cpp: In member function ‘void B::bar()’: test.cpp:12:12: error: no matching function for call to ‘B::foo(bool)’ 12 | foo(true); | ^ test.cpp:8:26: note: candidate: ‘virtual void B::foo()’ 8 | public: virtual void foo(void) final ; | ^~~

---

Je ne comprends pas pourquoi ça ne va pas chercher A::foo(const bool)
Est-ce une erreur d'écriture ou bien est-ce interdit, et auquel cas, pourquoi ?
a noter que

Code:

---

1 2 3 4

void B::bar(){ A::foo(true); }

---

fonctionne mais je ne pige pas pourquoi je suis obligé de préciser A::

Bonsoir,

Tu fais face au masquage de fonction (name hiding).

Note au passage qu'en C++ il n'est pas nécessaire de mettre public: devant chaque fonction. Tant que tu n'en spécifies pas une nouvelle, la même visibilité reste appliquée :

Code:

---

1 2 3 4 5 6 7 8

class Foo { public: void foo(int); // public void foo(char); // public également private: void bar(int); // private void bar(char); // private également };

---

Bonjour,

Le lien donne la règle et les 2 moyens d'accéder à foo(bool) mais il n'indique pas le pourquoi.

Pour comprendre le pourquoi, on peut prendre un exemple:

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12

class B : public A { public: void foo( long x ) { std::cout << "foo(long x) => " << x << '\n'; } };   class D : public B , public C { public: void foo( char x ) { std::cout << "foo(char x) => " << static_cast<int>(x) << '\n'; } void bar(); };   void D::bar() { foo( 3 ); }

---

Que va afficher la fonction bar()?
Comme on a la règle du masquage, aucune ambiguïté, ça affiche "foo(car x) => 3"

Si on n'avait pas cette règle, tu préfèrerais peut-être avoir "foo(long x) => 3". Es-tu bien sûr que ça ferait cela?
Une info avant de répondre. Je n'ai pas précisé le code de class A ni de class C.

Le masquage permet de ne pas se retrouver à appeler une fonction qui pourrait apparaître à l'insu de notre plein grés. Grâce à la règle du masquage, tu n'as qu'à mettre dans class D la séquence using B::foo; et tu garantis qu'il n'y a pas de piège.

Le terme anglais exacte si tu cherches sur internet est "name masking"! Le " Name masking" qui s'applique aux variables s'appelle du "variable shadowing"

Citation:

---

Envoyé par Winjerome

Bonsoir,
Note au passage qu'en C++ il n'est pas nécessaire de mettre public: devant chaque fonction. Tant que tu n'en spécifies pas une nouvelle, la même visibilité reste appliquée :

---

Oui je sais mais je voulais réduire le nombre de lignes au maximum. C'est aussi pour ça que j'ai omis les constructeurs/destructeurs. Désolé si j'ai créé de la confusion en faisant ainsi.


En tout cas merci pour le mot clé "Name masking". Je vais pouvoir me documenter davantage.

Note : Je comprends bien le problème que peuvent poser le propotions automatiques. Mon intuition était que ce masquage n'avait pas à s'appliquer en l'absence d'ambiguité (En l'occurence sur un nombre de paramètres différents et/ou n'ayant pas de conversion implicite).