Бинарнoe деревo, удаление бинарного дерева Опции

[Трисемёрки]

Уважаемые господа программисты! Срочно нужна помощь в проверке правильности процедуры удаления бинарного дерева:

М

Пожалуйста, используй теги

Program Vedomost;
Uses
   Crt;
Type
   AdrText=^Anketa;
   Anketa=record
   Fio: string[70];
   Work: string[70];
   Adres: string[70];
   end;

   Adrzv=^Zveno;
   Zveno=record
   Key: word;
   Lev, Prav: Adrzv;
   Adr: AdrText
   end;

var
   s: word;
   d, g, f: string[70];
   a: Adrzv;
   j: AdrText;

Procedure Zanesenie;
begin
   write('Vvedite tabelnii nomer rabotyschego: ');
   readln(s);
   write('Vvedite fameliu, imia, otchestvo rabochego: ');
   readln(d);
   write('Vvedite mesto raboti, spetsialnost: ');
   readln(f);
   write('Vvedite domashnii adres rabotauschego: ');
   readln(g);
end;

Procedure SozdanieTree(var a: Adrzv; s: word; d, f, g: string);
var
   z: Adrzv;
   j: AdrText;
begin
   if a=Nil then
   begin
      New(j);
   	j^.Fio:= d;
     	j^.Work:= f;
     	j^.Adres:= g;

        New (z);
        z^.Key:= s;
   	z^.Lev:= Nil;
   	z^.Prav:= Nil;
        z^.Adr:=j;
  	a:=z;
   end
   else
   begin
   if a^.Key>s then
      SozdanieTree(a^.Lev, s, d, f, g)
    else
      SozdanieTree(a^.Prav, s, d, f, g);
   end;
end;

Procedure DelVedomost(var a:Adrzv);
begin
    if a=Nil then
    exit;
    DelVedomost(a^.Lev);
    DelVedomost(a^.Prav);
    dispose(Adr);
    Adr:=Nil; 
    dispose(a);
    a:=Nil;
end;

Вопрос: правильно ли проведена очистка памяти (память должна возвращаться в кучу перед завершением работы программы)? Возникает ошибка при выполнении удаления адреса a^.Adr.

Сообщение отредактировано: klem4 - 17.04.2008 12:14

[volvo]

А должны? То, что ты видишь - это уже "левые" значения, мусор, совершенно не то, что там было во время работы программы, если поставишь точку останова в DelVedomost - можешь в этом убедиться... У тебя ж сам Tree об-NIL-ен, а ты хочешь увидеть Tree^.{что-то}? Это называется разыменование нулевого указателя, что категорически запрещено.

Более новые компиляторы просто не показывают Tree^.Adr после выполнения Dispose(a), говорят "Cannot access memory at address $0"

Кстати, еще один способ проверить, вся ли память высвобождается - это после вызова Pravila напечатать

Writeln(MemAvail);

, и то же самое сделать после освобождения памяти перед выходом из программы. Значения должны быть одинаковы... Только что проверил - и там и там 528032, все в порядке...

[Трисемёрки]

Большое спасибо volvo