Struktury typ niekompletny [C++]

pytanie zadane 2 lutego 2019 w C i C++ przez Mavannkas Bywalec (2,290 p.)

Hej, mam problem z zrozumieniem pewnego aspektu działania struktur, mianowicie jak działają struktury które odnoszą się same do siebie np.

struct przyklad
{
    przyklad * cps;
};

Nie rozumiem tego... Wiem tylko, że to typ niekompletny i niewiele mi to mówi odnośnie działania.

Kolejny pytaniem jest. Dlaczego taki zapis tworzy typ kompletny i jest poprawny (chyba) w końcu typ dalej jest nieznany.

struct A;

struct B
{
    A * a;
};

struct A
{
    B * b;
};

I dlaczego w takim przypadku można korzystać tylko ze wskaźników?

Z góry dziękuje za odpowiedź :D (W końcu trafiłem na niezrozumiałe dla mnie zagadnienie :,().

2 odpowiedzi

odpowiedź 2 lutego 2019 przez criss Mędrzec (172,590 p.)

Wskaźnik zawsze wygląda tak samo - kilka bajtów jako integer. Dla tego do stworzenia wskaźnika X (tj. X*) potrzebujesz tylko deklaracje X, a już nie koniecznie jak właściwie X wygląda.

struct przyklad
{
    przyklad * cps;
};

Dostajesz jakiś błąd tutaj?

Odnośnie drugiego:

I dlaczego w takim przypadku można korzystać tylko ze wskaźników?

A jest zadeklarowane (`struct A;`) przed linią `A* a;`, a przed linią `B* b;`, B jest nawet całkowicie zdefiniowane. Dlatego jest ok. Kluczowa jest deklaracja w pierwszej linii.

komentarz 2 lutego 2019 przez Mavannkas Bywalec (2,290 p.)

Raczej sam dostrzegam błąd logiczny... Po prostu nie potrafię sobie wyobrazić jakby to mogło działać :/

odpowiedź 2 lutego 2019 przez adrian17 Ekspert (344,860 p.)

Nie rozumiem tego... Wiem tylko, że to typ niekompletny i niewiele mi to mówi odnośnie działania.

Wygląda na kompletny. Masz strukturę z wskaźnikiem na obiekt tego samego typu. Nie ma tutaj nic problematycznego.

Dlaczego taki zapis tworzy typ kompletny i jest poprawny (chyba) w końcu typ dalej jest nieznany.

Jest "znany". Czemu myślisz, że nie jest?

komentarz 2 lutego 2019 przez Mavannkas Bywalec (2,290 p.)

Ponieważ w żadnym miejscu nie ma bezpośredniej deklaracji wskaźnika np. int *a coś czuje, że to tak niekoniecznie działa.

komentarz 2 lutego 2019 przez adrian17 Ekspert (344,860 p.)

Ponieważ w żadnym miejscu nie ma bezpośredniej deklaracji wskaźnika np. int *a

Nie rozumiem. Jest dokładnie tutaj:

przyklad * cps;

komentarz 2 lutego 2019 przez Mavannkas Bywalec (2,290 p.)

Popraw mnie jeśli źle to rozumiem. Czyste wskaźniki nie potrzebują określonego typu zmiennych (int, double itd) i kompilator sam to rozpoznaje? I ta struktura przechowuje tylko lokalizacje a to co dana lokalizacja "trzyma" jest definiowane w innej części progrmu?

komentarz 2 lutego 2019 przez adrian17 Ekspert (344,860 p.)

Czyste wskaźniki nie potrzebują określonego typu zmiennych (int, double itd) i kompilator sam to rozpoznaje?

`przyklad` jest typem zmiennej. Tylko że na linii 3 to jest jeszcze niepełny typ.

Inną sprawą jest że tak, możesz definiować wskaźnik na niepełny typ (na przykład tylko zadeklarowany przez `struct asdf;`). Tak, w tym miejscu programu nie ma i nie jest potrzebna pełna definicja typu `przyklad` (która staje się pełną po zamykającym } na linii 4)