"Nevidljivost" funkcije osnovne klase

[ PeraPisar @ 12.05.2005. 00:26 ] @

Kod je sledeci:

Code:
class A
{
public:
    void F() { this->F(3); };
    virtual void F(int a) = 0;
};

class B: public A
{
public:
    virtual void F(int a) { printf("%d\n", a); };
};

void main()
{
    B b;

    b.F();
}

I po nekom mom rezonovanju klasa B bi trebalo da nasledi funkciju F() svoje osnovne klase A. Medjutim, kompajliranje (MS VC++ 7) ne prodje sa porukom da B nema deklarisanu funkciju F koja prima 0 argumenata.
Da li neko ima neko logicno objasnjenje zbog cega se ovo desava?

Hvala!

[ X Files @ 12.05.2005. 09:27 ] @

Code:

b.F();

pod pretpostavkom da je ono sto si naveo kao gresku tacno,
probaj na primer:

Code:

b.A::F(); // <-- ovo bi trebalo da razresi konflikt 'A::'
b.F(50); // <-- ovo treba da bude OK

[ PeraPisar @ 12.05.2005. 13:41 ] @

nisam probao, ali pretpostavljam da bi proslo. Jedino mi ne ide u glavu zbog cega izvedena klasa ne moze da pozove javnu funkciju svoje osnovne klase? Ovo na primer prolazi:

Code:
A *pB = new B();
pB->F();

a ovo ne:

Code:
B *pB = new B();
pB->F();

[ X Files @ 12.05.2005. 15:10 ] @

Citat:

Jedino mi ne ide u glavu zbog cega izvedena klasa ne moze
da pozove javnu funkciju svoje osnovne klase?

Zato sto funkciju F() imas i kao svoju i kao virtuelnu:

Code:

void F() { this->F(3); };
virtual void F(int a) = 0;

Zameni kod tako da izgleda:

Code:

void FMoje() { this->F(3); };
virtual void F(int a) = 0;

... i tada pretpostavljam da neces imati vise problema sa:

Code:

b.FMoje();
b.F(50);

Zbog cega je tako - ne znam, ali sigurno ima neko logicno objasnjenje;
ipak su oko kompajlera angazovani ljudi koji daleko bolje poznaju stvari
nego mi, slazes se? ;)

[ Mihajlo Cvetanović @ 12.05.2005. 16:46 ] @

Ovo treba neko da proveri na nekom drugom kompajleru, tek tada cemo

znati je li bug ili to tako treba...

[ X Files @ 12.05.2005. 17:53 ] @

Evo, probao sam i isto je kod Borland C++ Builder-a... buni se ;)

[ NastyBoy @ 12.05.2005. 21:36 ] @

Naravno da se buni, to je sasvim u redu.

Preporuchio bih da nadjete "C++ standard" ili, josh bolje, knjigu Herb Sutter-a "Exceptional C++".
U knjizi je detaljno objashnjen princip Name Lookup-a, kao i Koenig-ov princip razreshenja imena/poziva, odnosno standardni nachin na koji kompajler odluchuje koju funkciju da pozove. Sve to ispisati u jednom postu je previshe, zato knjigu u shake! :)

PS
Obe knjige iz Exceptional C++ serije su MUST READ!

[ Dragi Tata @ 12.05.2005. 21:53 ] @

Opet plašiš početnike, nevaljali dečače ;)

Ovo nema veze sa ADL-om iliti Koenig-ovim lookupom, a mislim da ne postoji živ čovek koji napamet zna sva pravila razrešenja imena u C++u.

[ NastyBoy @ 12.05.2005. 22:14 ] @

Citat:

Dragi Tata: Opet plašiš početnike, nevaljali dečače ;)

Ovo nema veze sa ADL-om iliti Koenig-ovim lookupom, a mislim da ne postoji živ čovek koji napamet zna sva pravila razrešenja imena u C++u.

Tjale, tjale... :)
Pa znash i sam da je odgovor na ovo pitanje u Name lookup-u/hiding-u... to shto je Sutter u 4 poglavlja ubacio i Koenig-a nije moja krivica :)

Evo izvoda iz knjige koji objasnjava princip :

Citat:

In short, when we declare a function named g in the derived class, it automatically hides all functions with the same name in all direct and indirect base classes

Nadam se da ovo pojashnjava gore navedeni problem.

[ Dragi Tata @ 13.05.2005. 00:22 ] @

Još gore, strpao je sve to u jedan članak:

http://www.gotw.ca/publications/mill08.htm

[ X Files @ 13.05.2005. 10:43 ] @

Kad se nešto ne zna, onda se pita...

Reče mi jedan čo'jek:

Citat:

Because C++ name lookup works that way. It only starts looking into
an outer scope if the current scope does not find the name. This is
true of base classes as well. Since your derived class does indeed
offer the name F, the language only looks in your derived class and
only considers the names it found there. THEN, of all the names found
in the places it looked, does it attempt to do overload resolution.

In your case, the set of names is 1, and so overload resolution is
trivial.

Two things to think about:

1) it's generally a bad idea to overload virtual functions

2) in your derived class declaration, if you say "using A::F;" it'll
consider names in the base class at the same time it considers
names in the derived class. (Which should solve the problem in
this case.)

While #2 above should fix the problem, I still suggest you adhere to
#1 whenever it is possible.

[ PeraPisar @ 13.05.2005. 13:21 ] @

OK, to bi onda bilo to....

Hvala svima na ulozenom trudu.
Pozdrav!