Утечка памяти в Delphi XE2: особенности работы с записями и строковыми полями

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

Вопрос, поднятый в данном запросе, касается утечки памяти при работе с записями в Delphi XE2. Приведённый пример кода демонстрирует, как изменение строкового поля a внутри метода SetA приводит к утечке памяти, несмотря на то, что параметр Rec в переданной функции объявлен как const.

Исходный код и проблема

type
  TTest = record
    a: string;
    procedure SetA;
  end;

procedure TTest.SetA;
begin
  a := 'Test';
end;

procedure TfrmMain.btGoClick(Sender: TObject);
var
  t: TTest;
begin
  // ...
  // Код, вызывающий функцию SetA с передачей объекта t
  // ...
end;

Проблема заключается в том, что при вызове метода SetA для константной ссылки Rec происходит изменение строкового поля a, которое не освобождается после выполнения метода. В результате, когда строка больше не используется, она остаётся в памяти, что и приводит к утечке.

Анализ работы компилятора

При анализе вывода программы видно, что адреса передаваемого объекта Rec и локальной переменной t различаются. Это означает, что объект передаётся по значению, а не по ссылке, что является стандартным поведением для небольших структур в Delphi.

Изменение структуры записи

Если же структура TTest расширяется за счёт добавления дополнительных полей, то компоновщик начинает использовать другой механизм передачи параметров:

TTest = record
  a: string;
  a1: string;
  a2: string;
  a3: string;
  procedure SetA;
end;

В этом случае адреса Rec и t становятся одинаковыми, что указывает на передачу объекта по ссылке. В результате, изменение поля a внутри метода SetA приводит к корректному обновлению строкового поля объекта t, и утечка памяти устраняется.

Обсуждение и альтернативные ответы

В обсуждении вопроса упоминается, что маленькие записи передаются по значению, в то время как большие — по ссылке. Также обсуждается использование атрибута [Ref], который позволяет явно указать компилятору передавать запись по ссылке, независимо от её размера.

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

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

Заключение

Работа с записями в Delphi требует внимания к деталям, особенно когда речь идёт о строковых полях. Понимание того, как компилятор обрабатывает передачу параметров, помогает избежать ошибок, связанных с утечкой памяти. В случае с приведённым примером, изменение структуры записи на более крупную позволяет избежать утечки, но более правильным решением будет явное освобождение ресурсов или использование параметров по ссылке.

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

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

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

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

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