Прочитать что-нибудь в памяти это конечно хорошо, но гораздо лучше размещать в ней свои переменные. До этого мы пользовались статическими переменными - память для них выделялась как бы "по умолчанию". Однако можно создавать и динамические переменные - память для них мы должны выделять и освобождать самостоятельно. Вообще, честно говоря, память можно не освобождать, т.к. ОС после завершения работы программы затирает её сама. Но иногда случаются глюки и ..... вообщем мы будем всегда освобождать неиспользуемую память. Для выделения/освобождения память существует 2 пары процедур: New/Dispose и GetMem/FreeMem. Начнём с

procedure New(var P: Pointer)

Например:

var
   pInt : ^integer;
   i : integer;
   
begin
   i := 1; 
   New (pInt);
   pInt^ := i;  

Освободить, выделенную в ходе работы программы память можно процедурой:

procedure Dispose(var P: Pointer);

   i := pInt^ * 2;
   Dispose (pInt)
end.

type
   pinteger = ^integer
var
  pInt, pInt1 : pinteger ;
  i : integer;
begin
  i := 1;
  New (pInt);
  pInt^ := i;
  i := pInt^ * 2;
  Dispose (pInt);
  New (pInt1);
  pInt^ := i;
  Dispose (pInt1)
end.

Памятью заведует операционная система, именно она по нашему запросу решает дать или не дать. Когда мы вызываем New (pInt) ОС выделяет 2 байта и возвращает нам адрес этих байт. Вызывая же Dispose (pInt); мы "говорим" ОС, что эти 2 байта нам больше не нужны и она считает их свободными. Когда мы в следующий раз просим 2 байта (New (pInt1)), то она опять выделяет нам те же самые байты, поэтому происходит такая фишка, что pInt и pint1 указывают на один и тот же адрес! Поэтому, что бы не возникло логической ошибки (такую ошибку будет трудно поймать), можно после освобождения памяти присваивать неиспользуемым указателям значение nil и так же перед вызовом Dispose заполнить эту память 0.

Так же есть возможность использовать New, как функцию. В таком случае она возвращает указатель типа, имя которого является единственным параметром такой функции. Т.е. в предыдущем примере мы могли написать следующее:

pInt := New (pinteger);

Теперь обратим наш взгляд ко второй паре процедур.

procedure GetMem(var P: Pointer; Size: Word);

function SizeOf(X): Integer;

Соответственно вторая процедура

procedure FreeMem(var P: Pointer; Size: Word);

Кажется зачем такие трудности, когда используя New/Dispose можно не заботится об размере выделяемой памяти ? Однако давайте рассмотрим такой пример: считать из файла 1000 строк и сохранить их в массиве:

program read;

type
 pstring = ^string;

var
  buffer : string;
  data   : array [1 .. 1000] of pstring;
  f : text;
  i : integer;

begin
  assign (f, 'C:\autoexec.bat');
  reset (f);

  for i := 1 to 1000 do
  begin
    readLn (f, buffer);
    getMem (data[i], length (buffer));
    data[i]^ := buffer
  end;
  .....

А теперь маленький вопрос :) как вы видите в конце программы я поставил троеточие. Так вот вопрос: как в данном случае правильно освободить память ? Ответы как всегда шлите на мыло, внизу.