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

Динамическая реализация абстрактных типов ссылками.

Статическая реализация абстрактных типов страдает недостатками как с точки зрения логики, так и эффективности реализации. С точки зрения логики - нахождение ограничений на размер используемых структур данных. Расход памяти также неэффективен – запрашиваемых ресурсов больше, чем используемых.

Мы явно предпочли бы сосредоточиться на логике решения задачи, не замечая конечности памяти и автоматизировать технические проблемы распределения памяти (вроде обработки кучи).

Ссылочные типы обеспечивают мощный и гибкий аппарат конструирования абстрактных типов, но иногда слишком мощный и далёкий от логики решаемых нами задач.

указатели

Пример.

¯ ¯ ¯

¬члены последовательности

¬указатели на следующий член

Имена как значения:

Имя Отчество Наиль Раисович

¯ ¯ ¯

Наиль Раисович

Имена – специфический тип данных.

a[i]:=b[j]

­ ­

имя значение

Основные из них – разыменование – по переменной определить её имя (не значение, как обычно).

Пример: Как тебя зовут?

Косвенная ссылка: определить значение имени, являющегося значением данной переменной.