Lineárny spájaný zoznam v C

Naprogramoval som rekurzívnu dátovú štruktúru lineárny spájaný zoznam bez nárazníka v jazyku C, funguje ako má, len som náhodou zistil, že predsa pri určitách zmenách v programe padne.

Definícia štrukúr:



Nebudem tu písať celý program, je vcelku obsiahlejší, ale napíšem len problematické časti. Príčina chyby bude určite v nich.

1. chyba.
Definujem si premennú ZOZNAM *p_zoznam; Pracujem s ňou, všetko funguje ako má. Ale ako náhle som si definoval premennú ZAZNAM zaz; program začal padaj. Konkrétne padá pri inicializácii *p_zoznam.
Inicializácia vyzerá takto:


Volám ju:


Ako náhme namiesto ZAZNAM zaz, dekrarujem a definujem pointer na ZAZNAM a alokujem pre neho pamäť, všetko funguje ako má, len samozrejme musím pracovať s premennou p_zaz ako s pointerom.
Prečo je tomu tak?

2. chyba

Vždy pri alokácii pamäte testujem či je dosť pamäte:


Avšak som nechtiec urobil chybu if(((*p_zoznam)->p_zac = (ATOM*)malloc(sizeof(ATOM))) != NULL) - namiesto == som použil != a program spadol i keď sa mal len ukončiť. Vypísalo sa "Malo pamate" a namiesto ukončenia programu, program spadol.
Deje sa to len v tomto bloku kódu:
Mám makrá :
#define atm (ATOM*)malloc(sizeof(ATOM))
#define zaz (ZAZNAM*)malloc(sizeof(ZAZNAM))
#define test_pamate {printf("Malo pamate"); exit(1);}


Funkciu pridaj volám bezprostredne po inicializácii a tento blok kódu vytvára prvý atóm v zozname, nech kdekoľvek do tohoto bloku pridám exit(1); program spadne. Taktiež som zistil že ak inicializujem zoznam a nič do neho nepridám len hneď zavolám funkciu exit, program namiesto ukončenia spadne. Takže táto chyba sa zrejme sťahuje len na inicializovaný zoznam v ktorom nie sú žiadné atómy.
Vedeli by ste mi povedať prečo?

Premenná definovaná pomocou ZOZNAM *p_zoznam; odkazuje na nejaké náhodné miesto v pamäti (alebo na adresu 0, ak ide o globálnu premennú), takže nie je prekvapujúce, že pri pokuse o prístup k takejto premennej program spadne.

Neviem presne čo myslíš... Premennú ZOZNAM *p_zoznam; najskôr pred použitím inicializujem, teda aby ukazovala na NULL resp. ukazuje nikam. Ak do nej vkladám hodnoty, tak pre ňu alokujem miesto a až potom vkladám hodnoty. Všetko funguje ako má. Jedine nastane chyba ak len inicializujem premennú ini(&p_zoznam); a hneď následne použijem funkciu exit();. Vtedy program spadne. Do premennej p_zoznam predsa nepristupujem, len zavolám funkciu exit(); ktorá ukočí beh programu tj. funckiu main. Veď predsa je celkom bežná testovacia podmienka. Ak sa nepodarí alokovať miesto pre premennu funckia vráti NULL a program sa ukončí. Vtedy tiež daná premenná neukazuje nikam alebo na náhodné miesto v pamäti a program nespadne len sa ukončí.

kód pristupuje k tej premennej tri krát a ak p_zoznam neobsahovala adresu nejakým spôsobom vyhradenú pre ten objekt, tak prepisuje dáta na náhodnej adrese.

A vedel by si mi to aj bližšie vysvetliť prečo program spadne ak zavolám funckiu exit()? Ak sa pokúšam napr. p_zoznam->p_kon->p_zaznam->hodnota = 8; a nealokoval sa pre p_zoznam a pre p_zaznam miesto v pamäti mi je jasné, že program spadne. Ale ak by si vedel potreboval/chcel by som aj nejaké konkrétnejšie vysvetlenie prečo to padá pri použití exit();
A vedel by si mi poradiť aj s druhou časťou problému prečo nemôžem deklarovať premennú ZAZNAM zazn;?ALe musím na ňu použiť pointer ZAZNAM *p_zaz?

Pretože, ak je napr. tá premenná v zásobníku (napr. preto, že nie je globálna), tak je dosť možné, že jej obsah bude (len náhodou) odkazovať na skutočnú adresu (pretože takmer každá funkcia, bude svoje údaje ukladať práve do zásobníka) a tak sa môže stať, že sa prepíšu nejaké potrebné údaje.

Taká premenná sa definovať dá.

A ako by sa to dalo napraviť aby program nespadol?
A tiež som si myslel, že sa to dá, teda aj si myslím stále že sa to dá, ale nevedno prečo program mi vždy spadne ak definujem len ZAZNAM zazn; Nemusím s touto premennou ani pracovať, len ju definujem a program padá. Zistil som len, že program padne ak dôjde k riadku s inicializáciou ZOZNAM *p_zoznam, teda k riadku s ini(&p_zoznam); a ešte som zistil, že ak zo štruktúry ZAZNAM odstrániť stringy a nechám tam len int, tak môžem definovať ZAZNAM zazn; aby program nespadol. Akonáhle tam pridám aj string, program padne.

Ak v ATOM naozaj musí byť ukazovateľ na ZAZNAM, tak sa musí ten ZAZNAM nejakým spôsobom alokovať a odkaz sa uloží do tej premennej p_zaznam.

Samotná premenná zoznam môže byť priamo typu ZOZNAM a tie prvky sa inicializujú na NULL.

Pointer na ZAZNAM tam predsa musí byť, inak by tá rekurzia nemala zmysel, keďže by jednotlivé prvky neniesli žiadnu hodnotu, len ukazovali na seba. A viem, že musím alokovať pamäť pre ZAZNAM a viem že sa uloží odkaz na začiatok bloku alokovanej pamäte do premennej p_zaznam, veď presne tak to mám v programe ak do lineárneho zoznamu vkladám prvky, len nejako neviem čo tým chceš povedať vzhladom na moju otázku...A ešte ma zaujímalo prečo sa nedá definovať priamo premenná ZAZNAM zazn; a nie prostredníctvom ZOZNAM-u...

Myslel som to tak, že ATOM môže vyzerať aj takto:(v niektorých prípadoch ale môže byť výhodnejšie mať to ako odkaz)

Premenná ZAZNAM zazn; sa bez problémov definovať dá. Samozrejme ak sa definuje v zásobníku, tak je prístupná len v tej funkcii, v ktorej bola definovaná a po opustení tej funkcie tie údaje môžu byť prepísané.

V programe to mám momentálne riešené takto

Samozjreme platí všetko čo som písal vyšsie. Toto funguje bez problémov, všetky procedúry a funkcie mám odskúšané niekoľko krát a program nespadol ani sa nesprával nevypočítateľne. Lenže ZAZNAM *p_min; vôbec nepotrebujem aby bol dynamický. Slúži len na dočasné "uskladnenie minima" na čo by mi stačila i statická premenná. Samozrejme ani keď je to takto, mi to nerobí problém a ani to neovplivňuje program len skôr ide o teoretickú otázku a ušetrení riadku kódu pre alokovanie miesta pre ňu. Keď však spravím toto (Zmením ukazovateľ na typ ZAZNAM *p_min na statickú premennú ZAZNAM min;)

program spadne ihneď pri inicializácii p_zoznam.

Pretože tam prepisuješ dáta na náhodnej adrese. Buď tam daj , alebo alokuj pamäť pre tú štruktúru ZOZNAM a adresu ulož do p_zoznam.