fonction virtuelle privée de la base est cachée par la fonction virtuelle privée de dérivé

Question

Le code suivant

class A 
{ 
public: 
    void g(int x) 
    { 
     f(x); 
    } 

protected: 
    virtual void f(int) = 0; 
}; 

class B: public A 
{ 
protected: 
    virtual void f(float) = 0; 

private: 
    void f(int x) override final 
    { 
     f(float(x)); 
    } 
}; 

class C: public B 
{ 
private: 
    void f(float) override final {} 
}; 

int 
main() 
{ 
    C c; 
    c.g(1); 

    return 0; 
} 

compilé avec g++ -Woverloaded-virtual produit ledit avertissement:

x.cc:19:7: warning: ‘virtual void B::f(int)’ was hidden [-Woverloaded-virtual] 
    void f(int x) override final 
    ^
x.cc:28:7: warning: by ‘virtual void C::f(float)’ [-Woverloaded-virtual] 
    void f(float) override final {} 
    ^

Je ne comprends pas ce qui est caché ici. De la portée de C il n'y a qu'une seule surcharge possible à f car B::f(int) est privé au sein de C.

De la portée de B, il y en a deux, mais les deux sont explicitement nommés B.

Answer 1

mentionnant la GCC manual:

-Woverloaded-virtual (C++ et Objective-C++ uniquement) avertir si une déclaration de fonction cache fonctions virtuelles à partir d'une classe de base. Par exemple, dans:

struct A { 
    virtual void f(); 
}; 

struct B: public A { 
    void f(int); 
}; 

la version de classe A de f est caché dans B et code comme:

B* b; 
b->f(); 

ne parvient pas à compiler.

Answer 2

L'avertissement vous indique que la fonction C::f(float) cache B::f(int), et c'est parce it does. Les spécificateurs d'accès n'affectent pas la surcharge, donc le fait que B::f(int) soit privé n'a pas d'importance. Même si B::f(int) était public, il ne serait pas pris en compte pour la résolution de surcharge, et c'est ce que l'on appelle le "masquage".

Answer 3

Je ne comprends pas ce qui est caché ici. De la portée de C il y a seulement une surcharge possible à f comme B::f(int) est private au sein de C.

La recherche de nom et la résolution se produisent avant que les règles d'accès ne soient appliquées.

B::f(int) est masqué par C::f(float) lorsque le nom f est recherché à partir d'un objet C. C'est ce que le compilateur vous avertit.