funzione di membro C++ di override virtuale e di sovraccarico, allo stesso tempo

Question

Se ho un codice come questo:

struct A { 
    virtual void f(int) {} 
    virtual void f(void*) {} 
}; 

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

struct C : public B { 
    void f(void*) {} 
}; 


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

    return 0; 
} 

ottengo un errore che dice che sto cercando di fare una conversione non valida da int a void *. Perché il compilatore non può capire che deve chiamare B :: f, dal momento che entrambe le funzioni sono dichiarate come virtuali?

---

Dopo aver letto la risposta di jalf sono andato e l'ho ridotto ulteriormente. Questo non funziona altrettanto bene. Non molto intuitivo.

struct A { 
    virtual void f(int) {} 
}; 

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


int main() { 
    B b; 
    b.f(1); 

    return 0; 
} 

Answer 1

La risposta breve è "perché è così che funziona la risoluzione di sovraccarico in C++".

Il compilatore cerca le funzioni F nella classe C e, se ne trova, interrompe la ricerca e tenta di selezionare un candidato tra quelle. Cerca solo nelle classi base se non sono state trovate funzioni di matching nella classe derivata.

Tuttavia, è possibile introdurre in modo esplicito le funzioni di classe base nella classe derivata namespace:

struct C : public B { 
    void f(void*) {} 
    using B::f; // Add B's f function to C's namespace, allowing it to participate in overload resolution 
}; 

Answer 2

Beh penso che prima di tutto non hai capito quale meccanismo virtuale o polymorhism. Quando il polimorfismo viene raggiunto solo utilizzando puntatori di oggetti. Penso che tu sia nuovo in C++. Senza utilizzare puntatori di oggetti, non vi è alcun significato di polimorfismo o parola chiave virtuale utilizzare il puntatore di classe base e assegnare gli oggetti classe derivati ​​desiderati ad esso. Quindi chiama e prova.

Answer 3

Oppure si potrebbe fare questo:

void main() 
{ 
    A *a = new C(); 
    a->f(1); //This will call f(int) from B(Polymorphism) 
}