C++, dziedziczenie. Problem związany ze wskaźnikiem klasy bazowej na klasę pochodną.

Question

Witam, myślałem że tym razem obejdzie się bez większych problemów ale C++ znowu stawia mi figle których ja nie potrafię zrozumieć ;( Mam taki banalny przykład dziedziczenia:

class A {
	int a;
public:
	A(int v) : a(v) {}

	int& returna() {
		return a;
	}
};

class B : public A {
	int b;
public:
	B(int v1, int v2) : A(v1), b(v2) {}

	int& returnb() {
		return b;
	}
};

I takie dynamiczne przydzielenie:

A* aaa = new B(1,2);

Odwołanie się:

aaa->returna();

Jest poprawne, ale:

aaa->returnb();

Powoduje błąd kompilacji że klasa 'A' nie posiada takiej metody. Ale zaraz, przecież wskaźnik klasy 'A' wskazuje na dynamicznie przydzielony obiekt pamięci klasy 'B'.

B bbb(2, 2);
A* aaa = &bbb;
aaa->returna();
aaa->returnb(); //to też powoduje błąd 

Czy naprawdę nie da się odwołać do składowej klasy pochodnej za pomocą wskaźnika lub referencji typu klasy bazowej? Jeśli tak, a problem nie wynika z mojego niedopatrzenia to mega słabo :/ ( dziedziczenie traci trochę sensu w moich oczach )

* wiem oczywiście o metodach wirtualnych, ale to tylko inna postać metody o takiej samej nazwie w klasie pochodnej.

Answer 1

Wszystko jest ok - tak ma być. Dziedziczenie działa w strone od bazowej do pochodnej (jak nazwa wskazuje :D) tzn B dziedziczy elementy A, nie odwrotnie.

Comments

To niezbyt fajnie bo widziałem zastosowanie dla czegoś takiego... Ale C++ zmienić nie potrafię ( i tak ma za dużo możliwości jak na moją głowę i to trzeba cenić  ). Mam tylko jedno dodatkowe pytanie dotyczące destruktorów wirtualnych:

A* aaa = new B(1,2);
delete aaa; // zwolnienie pamięci 

Skoro dla obiektu klasy 'B' wykona się destruktor tylko klasy 'A' ( bo nie jest on wirtualny i ma jedną postać - postać dla typu referencji lub wskaźnika ). To obiekt nie zostanie zwolniony w całości? Tzn. czy zwolniony zostanie tylko pod obiekt odziedziczony z klasy 'A'?

---

Tak, dokładnie, dlatego najlepiej zawsze tworzyć wirtualny destruktor jeśli dana klasa ma być bazową.

---

Dziękuje, to wszystko

---

Ah chwileczka, chyba nie do końca dobrze zrozumiałem Twoje pytanie. Obiekt zostanie zwolniony cały (tzn. pamięć w której "mieszkał", tak mi się wydaje przynajmniej.. nie widze powodu dla którego miałoby tak nie być bo to ten sam blok pamięci, ale nie jestem 100% pewien), ale nie zostanie uruchomiony destruktor B. Więc jeśli w destruktorze B dzieje się coś ważnego (zamykanie pliku, zwalnianie innej pamięci...), to to się nie stanie dopóki destruktor A nie będzie virtual lub wskaźnik `aaa` nie będzie typu B*.

---

W mojej książce ( C++, Szkoła Programowania ) :

 

Pisze tu oczywiście o przypadku jeżeli w klasie pochodnej obsługujemy pamięć dynamiczną. Jednak jest tu wzmianka że wywołanie delete ( bez destruktora wirtualnego ) zwolni z pamięci składowe klasy bazowej, "ale już nie pamięci zajmowanej przez nowe składowe tak klasy ( pochodnej )". Pisze tu ogólne składowe a nie tylko o pamięci na którą wskazuje wskaźnik char*. Tak jak by część zawartości klasy pochodnej tkwiła potem w pamięci. No chyba że nie przeczytałem tego ze zrozumieniem :/

---

Bez znajomości szczegółów konkretnej implementacji C++ nie wiadomo co się stanie, bo zachowanie jest niezdefiniowane.