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

Чтобы инициализировать указатель, ему следует присвоить адрес ячейки па­мяти. Для чтения адреса переменной можно использовать операцию @ или функ­цию Addr:

Р := Addr(I);

Теперь указатель Р указывает на ячейку памяти переменной I. Если требуется выяснить точное местоположения переменной I в памяти, необходимо преобразо­вать тип указателя в целое число и отобразить его на экране:

Р := 01; 

 После того, как указателю присвоен адрес, указатель можно использовать для изменения значения переменной, на которую он указывает. Для получения досту­па к переменной, на которую указывает указатель, потребуется разыменовать ука­затель, записав символ ^после имени указателя, как продемонстрировано в лис­тинге 9.1.

Листинг 9.1. Использование простого типизированного указателя 

01.program Project1;

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

 Вторым типом указателя в Delphi является Pointer. Pointer представляет собой тип нетипизированного указателя, который может использоваться для указания на переменную любого типа данных. Чтобы работать со значением, на которое указы­вает нетипизированньил указатель, вначале нетипизированный указатель нужно привести к другому типу указателя и выполнить его разыменование. Приведение к другому типу указателя не представляет особой сложности, поскольку в Delphi каж­дый тип данных уже обладает соответствующим типом указателя. Например, указа­телем на переменную типа Char является PChar, указателем на строку — PString. указателем на целочисленную переменную— PInteger и так далее.

В листинге 9.2 демонстрируется использование типа Pointer и его приведение к другим типам указателей.

Листинг 9.2. Использование нетилизированного указателя  

Чтобы использование указателей было полностью безопасным, следует убе­диться, что указатель ссылается на существующую ячейку памяти. Для того чтобы указатель ссылался на несуществующую ячейку памяти, можно воспользоваться зарезервированным словом nil. Оно представляет собой постоянное значение, отмечающее несуществующие ячейки памяти. Указатель nil не ссылается ни на одну из ячеек памяти:

 Динамические переменные — это переменные, для которых память распреде­ляется в куче (называемой также свободным хранилищем). Куча представляет со­бой область основной памяти за исключением стека. Размер кучи ограничен толь­ко объемом виртуальной памяти компьютера (физическая память плюс файл под­качки).

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

var 

В отличие от статических переменных, управление динамическими перемен­ными не осуществляется автоматически. Это означает, что зарезервированную до них память необходимо освобождать вручную. Для освобождения памяти, за­резервированной процедурой New, применяется процедура Dispose. Если забыть вызвать процедуру Dispose для удаления динамической переменной из памяти, коду может не хватить памяти. Недостаток памяти снижает производительность приложения и может привести к его сбою.

Динамические переменные следует всегда удалять, если они больше не нужны:

 Строки и динамические массивы — это динамические типы, память для которых распределяется в куче, но управляется Delphi автоматически. Для резервирования памяти под динамический массив используется процедураSetLength. Для освобо­ждения памяти, занятой массивом, можно либо вызвать процедуру Finalize, либо присвоить массиву значение nil.

 Показать / Скрыть текст

При работе со строковой переменной память резервируется во время присвое­ния текста переменной. Можно также воспользоваться процедурой SetLength для явного определения длины строковой переменной. Для освобождения памяти, за­нятой строкой, строковой переменной потребуется присвоить нулевую строку. 

Для резервирования и работы с нестандартным блоком памяти необходимо ис­пользовать процедуры GetMem иFreeMem. Обе процедуры принимают два пара­метра: указатель, который должен быть связан с зарезервированным блоком па­мяти, и целое значение, задающее количество резервируемых байт памяти. При вызове процедуры FreeCallпередача второго параметра не обязательна. В случае его передачи передаваемое значение должно соответствовать количеству байтов, зарезервированных процедурой GetCall.

В следующем примере демонстрируется применение процедуры BlockRead для считывания всего файла в динамически зарезервированный блок памяти (резуль­тат показан на рис. 9.1).

Листинг 9.3. Загрузка файла в динамически зарезервированный блок памяти  

 Показать / Скрыть текст

01.program Project1;
02.{$APPTYPE CONSOLE}
03.uses
04.SysUtils;
05.procedure ReadFile(var P: Pointer; const AFileName: string);
06.var
07.Src: file;
08.BytesRead: Integer;
09.BufferPos: Pointer;
10.begin
11.AssignFile(Src, AFileName);
12.{$I-}
13.Reset(Src, 1);
14.{$I+}
15.if IOResult = 0 then
16.begin
17.if P <> nil then FreeMem(P); { release old data }
18.GetMem(P, FileSize(Src)); { allocate memory for the file }
19.BytesRead := -1;
20.BufferPos := P;
21.while BytesRead <> 0 do
22.begin
23.BlockRead(Src, BufferPos^, 1024, BytesRead);
24.Inc(Integer(BufferPos), BytesRead);
25.end;
26.CloseFile(Src);
27.end; // if IOResult
28.end;
29.procedure RemoveFile(var P: Pointer);
30.begin
31.FreeMem(P);
32.P := nil;
33.end;
34.var
35.FilePtr: Pointer;
36.begin
37.ReadFile(FilePtr, 'c:\data.txt');
38.WriteLn(string(FilePtr));
39.RemoveFile(FilePtr);
40.ReadLn; end.

 

Код загрузки файла в память определен в процедуре ReadFile. Прежде чем ре­зервировать новый блок памяти, процедура должна определить, указывает ли ука­затель, переданный как параметр Р, на блок памяти. Если да, то необходимо осво­бодить старый блок памяти. В противном случае возникнет серьезная утечка па­мяти.

Процедура GetMem использует функцию FileSize для определения точного объема памяти (в байтах), необходимого для хранения всего файла. После того как память зарезервирована, процедура начинает считывание файла в память.