Управление памятью в Delphi: как избежать ошибок с `FreeAndNil` и `Assigned`

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

Управление памятью в Delphi: как избежать ошибок с FreeAndNil и Assigned

Вопрос управления памятью в программировании на Delphi может быть сложным, особенно при работе с объектами и их ссылками. В данной статье мы рассмотрим проблему, связанную с использованием функций FreeAndNil и Assigned, и обсудим, почему они могут вести к ошибкам, таким как доступ к уже освобожденной памяти.

Проблема с FreeAndNil

Функция FreeAndNil используется для освобождения объекта и установки ссылки на этот объект в nil. Однако, как было показано в примере кода:

program Project6;
{$APPTYPE CONSOLE}
uses
  SysUtils;
type
  TMyObject = class(TObject)
  public
    FField1:  string;
    FField2:  string;
  end;
  TBigObject = class(TObject)
  public
    FMyObject:  TMyObject;
    procedure Bind(var MyObject:  TMyObject);
    procedure Free();
  end;
...
procedure TBigObject.Free;
begin
  FreeAndNil(FMyObject);
  Destroy();
end;
...
var
  MyObject:   TMyObject;
  BigObject:  TBigObject;
begin
  try
    MyObject := TMyObject.Create();
    BigObject := TBigObject.Create();
    BigObject.Bind(MyObject);
    BigObject.Free();
    if (Assigned(MyObject)) then begin
      WriteLn('Set MyObject free!');
      MyObject.Free();
    end;
    ReadLn;
  except
    on E: Exception do
      Writeln(E.ClassName, ': ', E.Message);
  end;
end.

При использовании FreeAndNil(FMyObject) объект MyObject действительно освобождается, но ссылка MyObject остается действительной, что приводит к исключению при попытке вызвать MyObject.Free().

Почему Assigned(MyObject) возвращает True

Функция Assigned проверяет, не является ли переменная nil. В примере кода MyObject не изменяется функцией FreeAndNil, поэтому Assigned(MyObject) возвращает True, что приводит к попытке освободить уже освобожденный объект.

Альтернативный ответ и лучшие практики

• Не переопределяйте метод Free. Вместо этого переопределите виртуальный деструктор Destroy.
• FreeAndNil освобождает только ссылку, на которую указывает переданный параметр, и не влияет на другие ссылки на тот же объект.
• Используйте Assigned только для проверки, не является ли ссылка nil. Она не может определить, был ли объект освобожден.
• Дизайн программы должен предполагать, что объект будет освобожден, когда на него больше нет ссылок.

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

Ошибка возникает из-за того, что вы освобождаете ссылку в одном месте, но не учитываете другие ссылки на тот же объект. Пример:

var
  Obj1, Obj2: TObject;
begin
  Obj1 := TObject.Create;
  Obj2 := Obj1;
  FreeAndNil(Obj1);
  // Obj1 теперь освобожден и равен nil, но Obj2 все еще не nil и теперь указывает на неопределенную память
  // доступ к нему вызовет ошибку доступа
end;

Заключение

Понимание того, как работают ссылки и управление памятью в Delphi, является ключевым для написания надежного кода. Использование FreeAndNil и Assigned должно быть осознанным и соответствовать логике программы.

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

Управление памятью в Delphi требует внимания к ссылкам на объекты, чтобы избежать ошибок при освобождении памяти.

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

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

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