powiązanie między 2 klasami

Question

Witam, problem dotyczy c++ , a dokładniej obiektowości

Przypuśćmy, że chciałbym korzystać z 2 klas A , B . W klasie A chciałbym mieć obiekt klasy B, zaś w klasie  B chciałbym mieć obiekt klasy A. Czy da się coś takiego zrobić? Jeżeli dam jedynie deklarację zapowiadającą klasę to i tak kompilator słusznie zauważa, że "field ‘zmienna’ has incomplete type ‘B’.

 

Pozdrawiam

Answer 1

Jeśli pytasz o funkcjonalność to użyj wskaźnika lub referencji. Do zadeklarowania ich nie potrzebna jest pełna definicja typu, bo mają one zawsze ten sam rozmiar.

Jeśli o smaczki języka to wydaje mi się, że tego nie da się zrobić :P

Comments

Trochę poogoglowałem i jedynie wskaźniki. Dziękuję za pomoc ;)

Answer 2

Nasunęło mi się takie pytanie do tego kodu:

#include <iostream>

using namespace std;
class B;
class A;

class A
{
        public:
        B *p;

        int a;
        public:
        int funa();
};
class B
{
        public:
        int b;
        A x;
        public:
        int funb()
        {
                return 25;
        }
};
int A::funa()
{
        cout<<p->funb()<<endl;
}

int main()
{
        A x;
        x.funa();
        x.p->b=5;
        cout<<x.p->b<<endl;
        return 0;
}
~                                                                                                                                   
~                      

Na co wskazuje wskaźnik p? Wiem, że to wskaźnik wskazujący na obiekt klasy B, ale aktualnie nie ma w sobie żadnego adresu takiego obiektu. Tworzę go, czyli de facto nie wskazuje na nic, ale mogę za jego pomocą używać metod z klasy do której należy. Działa też x.p->b , pomimo, że ten wskaźnik nie wskazuje na żaden obiekt. Żadnego obiektu klasy B nawet nie stworzyłem.

Comments

Powinieneś zadać osobne pytanie, bo tutaj nikt go może nie zauważyć.

Standard mówi, że przy takim wywołaniu jest undefined behaviour, czyli może się stać cokolwiek. Np może wszystko zadziałać, a może się też wywalić np z taką wiadomością "memory access violation exception".

Obstawiam, że wszystko zależy od kompilatora. Jeden od razu zaprotestuje inny nie.

---

Działa też x.p->b , pomimo, że ten wskaźnik nie wskazuje na żaden obiekt.

Na jakim systemie to kompilujesz i uruchamiasz?

---

Fedora 25, g++

---

I twierdzisz, że linia x.p->b = 5; wykonuje się bez błędów, pomimo że p nie wskazuje na konkretny obiekt? Jeśli tak, to trochę to dziwne, nawet przy założeniu, że p == nullptr (świeży stos), powinieneś dostać błąd dostępu do pamięci.

---

Tak się dzieje.

Też jest to dla mnie dziwne, zważywszy na to, że teoretycznie to nie powinno działać.

---

Niewykluczone, że optymalizacja tutaj zadziałała. Kompilator uznał, że kod można zredukować do cout << 5 << endl;