C++ Analiza kodu

Question

Witam,

mam problem z pewnym zadaniem:

"Załóż następujące definicje obiektów klas."
Kod:

#include <iostream>
 
using namespace std;
 
class A
{
protected:
    int a;
 
public:
    A(int aa):a(aa){};
    virtual int f(){return a+1;}
    int g(){return a-2;}
};
 
class B: public A
{
protected:
    int b;
 
public:
    B(int aa, int bb): A(aa)
    {
        this->b = bb;
    }
    virtual int f(){return a+b;}
    int g(){return a-b;}
};
 
int main()
{
    A a(3);
    B b(4,2);
    A *pa=&a;
    B *pb=&b;
    a=b;
    pa=pb;
 
    cout << a.f() << endl;
    cout << a.g() << endl;
    cout << b.f() << endl;
    cout << b.g() << endl;
    cout << pa->f() << endl;
    cout << pa->g() << endl;
    cout << pb->f() << endl;
    cout << pb->g() << endl;
 
    return 0;
}

 
Po kompilacji widzę wyniki, ale nie potrafię powiedzieć skąd się wzięły. Chciałbym to zrozumieć krok po kroku.
Widzę listę inicjalizacyjną, ale jestem dość świeży w temacie.

Pozdrawiam

Answer 1

a = b;

Musisz wiedzieć, że referencje (zmienne referencyjne) też podlegają zasadom polimorfizmu. Dlatego operator= (przypisania) (przyjmujący referencje na A) przyjmie też referencje na B. Jednak przypisanie b = a już nie było by możliwe. Podobnie jak B* bptr = &a; też by nie przeszło. Teraz a.a jest równe b.a (b.b zostało pominięte bo obiekt a nawet nie wiedział, że zostaje mu przypisany obiekt klasy B - w końcu dostał referencje na A (A&)).

pa = pb;

Wiadomo, polimorfizm dla wskaźników... Od teraz pa i pb wskazują na ten samo obiekt - b.

a.f() wywoła metode A::f() - wiadomo. Ale skoro został mu przpisany obiekt b, to a.a jest teraz równe 4. Wiec a.f() zwróci 5.

a.g() - podobnie. Zwróci 2.

Obiekt b został nietknięty, więc b.f() zwraca 4 + 2 i b.g() zwraca 4 - 2.

pa->f() Co prawda metoda f() jest wywoływana z pod wskaźnika na A, ale f() jest wirtualna i została przeciązona w klasie B, więc zostaje wywołana metoda B::f()

pa->g()   Metoda g() wirtualna już nie jest, więc skoro zostałe wywołana z pod wskaźnika na A, to wywołana zostaje metoda A::g()

pb->f() Tutaj już bez wątpliwości wywołana zostaje B::f()

pb->g() Podobnie tutaj zostaje wywołana B::g()

Mam nadzieje, że pomogłem :)

Comments

Fantastycznie przeanalizowałeś ten kod, jestem ci bardzo wdzięczny. Wszystko teraz mogę zrozumieć :)

Dzięki wielkie