`dynamic_cast` from Base to Derived

Question

Tak, wiem, że downcast przy użyciu dynamic_cast nie może się skompilować, jeśli Base nie jest polimorficzny, ale mój problem nie dotyczy tego.

class Base { 
    public: 
     virtual void bar() 
     { 
      cout << "bar\n"; 
     } 
}; 

class Derived: public Base { 
    public: 
     void foo() 
     { 
      cout << "foo\n"; 
     } 
}; 

int main() 
{ 
    Base *pb; 
    Derived *pd; 

    pb = new Derived; //Base* points to a Derived object 
    pd = dynamic_cast<Derived*>(pb); 
    pd->foo(); //outputs foo 

    pb = new Base; //Base* points to a Base object 
    pd = dynamic_cast<Derived*>(pb); 
    pd->foo(); //outputs foo, too. Why? 
} 

myślałem kiedy pb = new Derived;, pb faktycznie wskazuje na Derived obiektu leży w stercie. Po pd = dynamic_cast<Derived*>(pb);, pd również wskazuje na ten obiekt Derived, więc pd->foo() powinno być w porządku.

Ale kiedy pb = new Base;, co pb wskazuje na to Base obiekt w sterty, a następnie po pd = dynamic_cast<Derived*>(pb);, jak można pd->foo() prace? Czy obiekt dynamic_cast przekształcił obiekt w stertę w obiekt o numerze Derived?

Answer 1

W C++ każda instancja klasy ma swoją własną wersję typów danych, ale wszystkie klasy mają tę samą funkcję w pamięci (inną niż funkcje wbudowane). W przypadku, kiedy mówisz coś takiego:

pd->foo(); 

Jesteś zasadniczo nazywając Derived::foo, która jest funkcją pamięci i kompilator wie, gdzie to jest. Chodzi o to, że w ogóle nie jest zależne od pd. Jeśli jednak coś takiego:

class Derived : public Base { 
    private: 
     int a; 

    public: 
     Derived() { a = 100; } 

     void foo() { 
      std::cout<<a<<std::endl; 
     } 
}; 

Następnie pd->foo() spowoduje błąd segmentacji. W tym przypadku nie powiodło się rzutowanie dynamiczne, a po wywołaniu Derived::foo jest ono przekazywane jako obiekt 0 jako obiekt. W poprzednim przypadku wszystko było w porządku, ponieważ obiekt this nigdy nie był używany. Jednak w drugim przypadku jest on używany, a zatem powoduje błąd segmentacji.

Answer 2

W swoim foo użytkownik nie uzyskuje dostępu do this, która w tym przypadku powinna być NULL. To właśnie powraca dynamic_cast, gdy rzutowania nie można wykonać.

Zasadniczo znajdujesz się w obszarze "niezdefiniowane zachowanie".

Answer 3

Występuje niezdefiniowane zachowanie. Powinieneś sprawdzić typ zwrotu: dynamic_cast.

pd = dynamic_cast<Derived*>(pb); 

ta zwraca null, i wywołać funkcję na NULL wskaźnika. Wszystko może się zdarzyć.

Answer 4

Zawsze staraj się sprawdzić, czy rzutowanie zakończyło się sukcesem, zanim spróbujesz go użyć. Sądzę, że jest to zaleta używania odlewu. Możesz sprawdzić, czy się udało, czy nie.

pd = dynamic_cast<Derived*>(pb); 
if(pd!=NULL) 
    pd->foo(); 

Jeśli obsada się nie powiedzie pd ma wartość NULL. Nie używaj pd, chyba że masz pewność, że ma wartość. a potem tylko odwołuj się do niego: