Устранение утечки памяти в Delphi через корректное управление динамическими массивами в классах

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

При работе с динамическими массивами в классах на языке Object Pascal в среде разработки Delphi иногда возникают проблемы с утечкой памяти. Одна из таких проблем связана с использованием динамического массива в качестве переменной класса для хранения объектов, которые должны быть освобождены при вызове деструктора класса. В примере, представленном в контексте вопроса, используется динамический массив OutofScopeArray для хранения экземпляров класса TLeakingObject. Однако, при попытке освободить эти объекты в деструкторе класса TTheLeakOwner, оказывается, что массив уже вышел из области видимости и не может быть использован для освобождения объектов.

Описание проблемы

Использование динамического массива в переменной класса для хранения объектов, которые должны быть освобождены при вызове деструктора класса, приводит к утечке памяти. В примере кода, представленном в контексте, массив OutofScopeArray кажется выходит из области видимости и уже освобождается до вызова деструктора класса. Это вызывает вопрос: является ли такое поведение частью дизайна?

type
  TLeakingObject = class
  public
    I: Integer;
  end;

  TTheLeakOwner = class
  public
    class var OutofScopeArray: array of TLeakingObject;
    procedure Add;
    class destructor Destroy;
  end;

procedure TestThis;
var
  LeakingTest: TTheLeakOwner;
begin
  LeakingTest := TTheLeakOwner.Create;
  try
    LeakingTest.Add;
  finally
    LeakingTest.Free;
  end;
end;

procedure TTheLeakOwner.Add;
begin
  SetLength(OutofScopeArray, Length(OutofScopeArray) + 1);
  OutofScopeArray[Length(OutofScopeArray) - 1] := TLeakingObject.Create;
end;

class destructor TTheLeakOwner.Destroy;
var
  I: Integer;
begin
  // Length(OutofScopeArray) всегда = 0, вышел из области видимости до вызова деструктора?
  for I := 0 to Length(OutofScopeArray) - 1 do
    FreeAndNil(OutofScopeArray[I]);
end;

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

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

Альтернативный ответ и рекомендации

В альтернативном ответе приводится рекомендация использовать TObjectList<T> из модуля Generics.Collections, который автоматически освободит объекты при выходе из области видимости коллекции. Это предотвратит утечку памяти, так как коллекция TObjectList<T> управляется автоматически и освобождает объекты, даже если переменная класса, содержащая ссылку на эту коллекцию, выйдет из области видимости до вызова деструктора класса.

Пример использования TObjectList

uses
  Generics.Collections;

type
  TLeakingObject = class
  public
    I: Integer;
  end;

  TTheLeakOwner = class
  private
    FObjects: TObjectList<TLeakingObject>;
  public
    procedure Add;
  end;

procedure TTheLeakOwner.Add;
begin
  FObjects.Add(TLeakingObject.Create);
end;

В этом примере, когда TTheLeakOwner будет уничтожен, все объекты в FObjects также будут освобождены, благодаря механизму автоматического управления памятью TObjectList<T>.

Заключение

При работе с динамическими массивами в классах на языке Object Pascal важно понимать, что они не освобождаются автоматически в деструкторе класса из-за особенностей работы RTL. Для предотвращения утечек памяти следует использовать специализированные коллекции, такие как TObjectList<T>, которые обеспечивают корректное управление памятью и освобождение объектов.

Изменения в Delphi 10 Seattle

Согласно информации, утечка памяти, описанная в оригинальном вопросе, была исправлена в Delphi 10 Seattle. Теперь, как ожидается, переменные класса освобождаются после вызова деструктора класса, что соответствует ожиданиям разработчиков. Это исправление также важно для платформ с автоматической сборкой мусора, где корректное управление памятью является критически важным.

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

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

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

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

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