Менеджер памяти: баг или фича?

[Azazaz]

Вот код, запустите и посмотрите на последнее выводимое значение:

Код: Выделить всё

{$mode objfpc}{$H+}

function Test: PWord;
begin
Result:= GetMem(4);      {2 слова}
PDWord(Result)^:= 0;     {обнуляем оба}
Writeln(PWord(Result)^, ' ', PWord(Result + 2)^); {содержимое слов}
Freemem(Result, 2);           {удаляем первое слово}
inc(Result);                  {переходим ко второму}
Writeln(PWord(Result)^, '!'); {должен быть ноль}
readln;
FreeMem(Result, 2);
readln;
end;

begin
Test;
end.

Получаю всегда не 0 значение. Это баг?
Версия компилятора 3.0.0.

[zub]

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

Код: Выделить всё

PToMem:= GetMem(sizeof(...));
...
FreeMem(PToMem);

[runewalsh]

Нельзя освободить часть блока, только весь, по тому же указателю, что вернула GetMem. После FreeMem старое значение указателя становится не валидным и больше с ним ничего делать нельзя. В версии FreeMem с размером ты обязан передать тот же размер, что выделял (поэтому её никто не использует), это может быть полезным (нет), если вдруг в своём менеджере ты решил это ОПТИМИЗИРОВАТЬ и не запоминать размеры блоков.