Синтаксис типов

Ссылочные типы Паскаля.

Синтаксис:

p1: ^T, где T – произвольный тип

p2: ^integer; ^char;

Множество значений: множество всех имён-указателей на значение соответствующего типа.

Реализация: стандартным именем-значением является его номер, адрес в линейно-упорядоченной области памяти.

Единственной стандартной константой, общей для ссылочных типов, является константа nil – фиктивное значение, обозначающее отсутствие указателя.

Основные операции: разыменование и косвенная ссылка.

@x – разыменование – указатель (адрес) на переменную x.

Если x:integer, то p^:integer;

p^ - косвенная ссылка (значение той переменной, имя (адрес) которой хранится в p).

p:=x – ошибка несогласования типов.

x:=0;

p:=@x;

p^:=1;

write(x);

Мы получили 2 имени одного и того же значения.

Пример: Что выведет следующая программа? Единицу.

p^:=1» x:=1;

write(x);

Вывод: использование ссылок грозит побочными эффектами.

Нет никакого смысла связывать переменные ссылочного типа с уже имеющимися переменными. В стандарте отсутствует.

Истинное преимущество ссылок – возможность определять новые переменные динамически в ходе выполнения программ. До сих пор мы определяли переменные до выполнения программы в области var.

p:^T;

Процедура New(p) ссылочного типа порождает новую переменную типа T и кладёт её стандартное имя (адрес) в P. В результате получаем новую переменную типа Т с уникальным пользовательским именем p^.

Реализация: см. GetNewPtr (предыдущая лекция). (см. GetHeap)

Процедура Dispose(p) имеет обратный эффект – уничтожает, возвращает в кучу переменную с именем p^. Значение p становится неопределённым. В отличие от массивов, никакой контроль за семантикой не производится автоматически.

Реализация: см. PutHeap.

Замечание: никаких других функций над ссылочными типами в стандартном Паскале нет, в частности не разрешены арифметические операции над адресами..

Наличие процедуры New лежит в основе моделирования динамических типов данных. Можно порождать не только переменные известных типов, но и переменные, компонентами которых служат ссылки.

New

Дата добавления: 2014-01-05