Ошибка утечки памяти в Free Pascal, вызванная методами с параметром 'pointer'

Question

После замены жестких типов приведения AnsiString в TBytes (массив строки) с помощью метода ToBytes (см. Ниже) Delphi сообщила об отсутствии утечек памяти - Free Pascal 2.6.2 однако показывает утечку в случае, если значение TBytes передается методу с параметром типа Pointer.

Следующий код утечки памяти: отчет утечки

program project1; 

{$mode delphi} 

uses 
    SysUtils; 

function ToBytes(const AValue: AnsiString): TBytes; 
begin 
    SetLength(Result, Length(AValue)); // <-- leak (ine 10) 
    if Length(AValue) > 0 then 
    Move(AValue[1], Result[0], Length(AValue)); 
end; 

procedure Send(P: Pointer); 
begin 

end; 

begin 
    Send(ToBytes('test')); 

    SetHeapTraceOutput('heaptrace.log'); 
end. 

Память:

Call trace for block $001C5CC0 size 12 $00401586 TOBYTES, line 10 
of project1.lpr $00401622 main, line 21 of project1.lpr 

Если изменить метод отправки принять аргумент терабайт типа, утечка памяти исчезает.

Answer 1

Это ошибка компилятора. Управляемый тип TBytes имеет подсчитанное время жизни. Компилятор должен создать неявную локальную переменную, которой присваивается массив, возвращаемый ToBytes. Вы должны будете работать вокруг этого путем сохранения в явное локальное:

var 
    Tmp: TBytes; 
.... 
Tmp := ToBytes(...); 
Send(Tmp); 

Answer 2

функции, которые возвращают вещи, которые потенциально содержат много памяти делают меня брезгливый. Это может быть просто чувство или личное предпочтение, но оно убирает контроль над распределением памяти. Аналогичные вещи говорят о функции, возвращающей (только что построенные) экземпляры TStringList, там также желательно передать указатель на объект TStrings и позволить вызывающему абоненту контролировать время жизни объекта.

Здесь я бы посоветовал использовать параметр var для всех операций с TBytes и заставить вызывающего пользователя предоставить экземпляр для работы. Если вы создадите сложное приложение и , то должны искать, где вы можете повысить производительность, подумайте об этом еще раз и посмотрите, можете ли вы перерабатывать экземпляры TBytes с похожим контентом или длиной. Важной особенностью строковой системы Delphi является то, что вы делаете подсчет ссылок и копирование на запись за кулисами, обеспечивая это увеличение производительности, когда ваше приложение обрабатывает много (похожих) строк.

Answer 3

Возможно, это не ошибка, где вы думаете. Трассировка кучи FPC знала проблемы с темпами отслеживания (и автоматическими типами вообще) в основных программах (основной .dpr begin..end).

Переведите код в процедуру и вызовите это из основного начала ..end. и вы увидите, что утечка исчезнет.

Это потому, что общая структура основной программы, как

begin 
    initializeunits(); // procedure call inserted by the compiler 
    <actual mainprogram statements> 
    finalizeunits(); // procedure call inserted by the compiler 
end. 

с отпусканием mainprogram TEMPS происходит в «конце.» после finalizeunits, который завершает heaptracking. (даже если это первый блок, это все еще только единица). Поэтому heaptrc пропускает это.