Правильное освобождение памяти списком с помощью оператора dispose в языке Pascal

Delphi , Синтаксис , Память и Указатели

Вопрос освобождения памяти в программировании на языке Pascal, особенно при работе со структурами данных, такими как связанные списки, является важной задачей для предотвращения утечек памяти. В данной статье мы рассмотрим, как корректно использовать оператор dispose для освобождения памяти в связанных списках.

Проблема и Контекст

Рассмотрим связанный список, определенный в Pascal:

type
  PList = ^TList;
  TList = record
           x: integer;
           Next: PList;
         end;
var
  myList :PList;

Вопрос состоит в том, что произойдет, если выполнить dispose(myList): будет ли освобождена вся память, выделенная под список, или только первый элемент?

Альтернативный ответ

Используя dispose(myList), мы освобождаем только переменную myList, которая указывает на первый элемент списка. Следовательно, все остальные указатели, указывающие на элементы списка, останутся в памяти, что приведет к утечке памяти.

Подтвержденный ответ

Освобождение памяти списком с помощью dispose требует особого подхода. Оператор dispose освобождает память, выделенную оператором new. Таким образом, если myList имеет тип PList (указатель на TList), то выполнение dispose(myList) освободит только первый элемент списка. Это связано с тем, что компилятор не знает о внутреннем использовании полей структуры.

Для освобождения всего списка необходимо последовательно пройти по списку и освободить каждый элемент, сохраняя указатель на следующий элемент перед освобождением текущего:

var
  myList, listPtr, nextPtr : PList;
  :
begin
  listPtr := myList; // Начинаем с начала списка
  myList := nil; // Помечаем список как пустой
  while listPtr <> nil do // Продолжаем до конца списка
  begin
    nextPtr := listPtr^.Next; // Сохраняем указатель на следующий элемент
    dispose(listPtr); // Освобождаем текущий элемент
    listPtr := nextPtr; // Переходим к следующему элементу
  end;
end;

Важно сохранить указатель на следующий элемент перед его освобождением, так как после освобождения элемента доступ к его полям становится невозможен.

Пример полной программы, которая создает двухузловой список, выводит его элементы, а затем освобождает весь список:

program TestProg(output);

type
  PList = ^TList;
  TList = record
           num : integer;
           next: PList;
         end;

var
  myList, listPtr, nextPtr : PList;

begin
  // Создание списка 42 -> 99 -> 12 -> nil
  new(myList);
  new(myList^.next);
  new(myList^.next^.next);
  myList^.next^.next^.next := nil;

  myList^.num := 42;
  myList^.next^.num := 99;
  myList^.next^.next^.num := 12;

  // Обход списка
  listPtr := myList;
  while listPtr <> nil do
  begin
    writeln(listPtr^.num);
    listPtr := listPtr^.next;
  end;

  // Освобождение списка
  listPtr := myList;
  while listPtr <> nil do
  begin
    nextPtr := listPtr^.next;
    dispose(listPtr);
    listPtr := nextPtr;
  end;
  myList := nil;
end.

Следуя этим шагам, разработчики могут избежать утечек памяти при работе со связанными списками в Pascal.

Создано по материалам из источника по ссылке.

Освобождение памяти в связанных списках на языке Pascal с использованием оператора dispose.

Комментарии и вопросы

Получайте свежие новости и обновления по Object Pascal, Delphi и Lazarus прямо в свой смартфон. Подпишитесь на наш Telegram-канал delphi_kansoftware и будьте в курсе последних тенденций в разработке под Linux, Windows, Android и iOS

:: Главная :: Память и Указатели ::