Типизированные указатели

Типизированные указатели содержат адрес, по которому записана переменная заранее определенного типа.

Синтаксическая диаграмма определения типизированного указателя приведена на рис. 13.2.

Идентификатор базового типа

(любой тип, в том числе указатель)

Рис. 13.2. Синтаксическая диаграмма типизированного указателя

Например: type ip=^integer; rp=^real; и т. д.

Var

a,b:ip;

c:rp;

d:pointer; …

g:^byte;

s:^string;

a1,b1:^ip;

В Паскале все идентификаторы должны быть описаны перед использованием. Указатели являются единственным исключением. Базовый тип может быть объявлен и сразу после указателя.

Например: type RecP=^spis;

spis=record

fio:string[20];

number:byte;

End;

«Пустой» указатель – это постоянная указательного типа. Обозначается Nil. Выделяется один адрес, в котором заведомо не может быть размещена никакая переменная. На это место и ссылается «нулевой» или «пустой» указатель.

Указатель, которому присвоено значение Nil, не содержит в себе никакого адреса. Указатель Nil считается постоянным, совместимым с любым ссылочным типом. Значит, его значение можно присваивать любому указателю. Nil используют для инициализации указателя «пустым» значением или когда его указание надо отменить. Это позволяет проверять значение указателя, прежде чем присвоить ему какое-либо значение.