Jak wywołać wirtualną funkcję klasy pochodnej przez klasy bazowej wskaźnik

Question

Zobaczmy ten kod:

class CBase 
{ 
public: 
    virtual vfunc() { cout << "CBase::vfunc()" << endl; } 
}; 

class CChild: public CBase 
{ 
public: 
    vfunc() { cout << "CChild::vfunc()" << endl; } 
}; 

int main() 
{ 
CBase *pBase = new CBase; 
((CChild*)pBase)->vfunc(); // !!! important 
delete pBase; 
return 0; 
} 

Wyjście jest:

CBase::vfunc() 

Ale chcę zobaczyć: CChild :: vfunc()

Jawny ((CChild *) pBase) rzuca, aby wpisać "CChild *". Dlaczego więc wywołać pochodną vfunc() Potrzebuję zastąpić "ważny" ciąg z: ((CChild *) pBase) -> CChild :: vfunc();

Answer 1

To nie jest, jak to działa - to jest:

CBase *pBase = new CChild; 
pBase->vfunc(); 

virtual wywołania funkcji są rozwiązane dynamicznie na wskaźniki & odniesienia (chyba wywołać metodę wyraźnie, jak ty). Co oznacza, że ​​nie ma znaczenia, co powiesz kompilatorowi o wskaźnik, będzie szukał metody w vftable. Który w twoim przypadku to vftable z CBase.

Answer 2

Nie możesz. *pBase to obiekt typu CBase. Nie można traktować go tak, jakby był to obiekt CChild, ponieważ nie jest obiektem CChild.

Użycie wskaźnika uzyskanego przez rzutowanie do CChild* powoduje, że program wykazuje niezdefiniowane zachowanie.

Answer 3

pozostałe odpowiedzi stanowią ważne punkty - uzupełnienie: jeśli w rzeczywistości masz do czynienia z CChild (np. Jest to parametr przekazany jako parametr), możesz użyć dynamic_cast do downcasta. jednak duże uzależnienie od dynamic_cast jest często wskazówką, że Twój projekt się nie udał.

szczegółów w obsadzie można znaleźć tutaj: http://msdn.microsoft.com/en-us/library/cby9kycs(v=vs.80).aspx

więc proces wiązałoby odlewanie parametr CChildCBase poprzez dynamic_cast, jeśli odwołanie jest CChild i dynamic_cast powiedzie, wówczas można mieć pewność, że są do czynienia z CChild, a następnie można bezpiecznie używać go jako CChild.

Answer 4

Problem tutaj wydaje się bardzo prosty. CBase nie może w magiczny sposób przejść na CChild! Pozwól mi przerobić twój przykład i dodać kilka komentarzy. Powinno być oczywista ...

#include <iostream> 

class CBase { 
public: 
    virtual void vfunc() { std::cout << "CBase::vfunc()" << std::endl; } 
    virtual ~CBase(){} // Virtual destructor... extremely important! I'll let you figure out why as an excercise 
}; 

class CChild: public CBase { 
public: 
    void vfunc() { std::cout << "CChild::vfunc()" << std::endl; } 
    ~CChild(){} // Is this destructor called? When? Try adding some std::cout to each destructor 
}; 

int main() 
{ 
    CBase *ptr1 = new CBase; 
    CBase *ptr2 = new CChild; 

    ptr1->vfunc(); // ptr1 points to an instance of CBase. This is what's important!! 
    ptr2->vfunc(); // ptr2 points to an instance of CChild, which can be referenced to as a CBase 

    delete ptr1; 
    delete ptr2; 
} 

wyjściowa:

CBase::vfunc() 
CChild::vfunc() 

PS: Właśnie uświadomiłem sobie, że jestem około 5 lat późno do partii, ale ponieważ uważam wartość edukacyjną na tym I” Napisz to mimo wszystko!