Ссылочные переменные

Описание ссылочного типа выглядит следующим образом: Type Ptr = ^t,

где t – стандартный или заранее описанный тип данных, называемый базовым типом. Сами адреса будут храниться в ссылочных переменных, которые описываются обычным образом, например, Var P: Ptr. Такие переменные для хранения адресов динамической памяти называются ссылками или указателями.

Пример. Type Pint = ^Integer; W = array [1..20] of Real; p = ^W; Var N: Pint; U: p;

В объявлениях ссылочных типов после символа “^” может стоять только простое имя типа. В случае сложных имен используется переопределение типов, как в приведенном примере.

Указатели, связанные с адресами значений конкретных базовых типов, называются типизированными. N и U – типизированные указатели. В Турбо Паскале можно объявлять указатель и не связывать его при этом с каким–либо конкретным типом данных. Такие указатели называются нетипизиро­ванными. Описание нетипизированных указателей осуществляется с помощью служебного слова Pointer, например, Var P: Pointer.

Указатели могут сравниваться с помощью операций отношения = или <> (не равно). Сравнение для указателей – ненадежная операция. Если два указателя содержат один и тот же адрес в памяти, но записанный в них разными способами, то они считаются различными. Зато можно проверить, ссылается ли указатель р на что–нибудь или нет путем сравнения p <> Nil.

Содержимое ячейки доступно через имя указателя. Чтобы обратиться к данным, находящимся по адресу, содержащемуся в указателе, используется символ “^”, который ставится сразу после имени ссылочной переменной. Эта операция называется операцией разыменования. Суть ее состоит в переходе от ссылочной переменной к значению, на которое она указывает.

76 ОБЬЕКТ.МЕТОДЫ ОБЬЕКТОВ В ЯЗЫКЕ ТУРБО ПАСКАЛЬ.