Мы рассмотрим только самый простой случай: односвязный список (см. рис. 4.2. (а)). Напомним, что каждый элемент этого списка должен хранить адрес другого элемента из этого же списка.
Рис. 4.2. Примеры списочных структур
Логичнее всего было бы дать этой структуре такое описание:
type
element_spiska = record
znachenie: integer;
next_element: ^element_spiska;
end;
Однако этот вариант невозможен по правилам языка Pascal: рекурсивные описания недопустимы, следовательно, структура не может ссылаться сама на себя. Поэтому приходится использовать более сложный, хотя и совершенно эквивалентный, вариант:
type
ukazatel = ^element_spiska;
element_spiska = record
znachenie: integer;
next_element: ukazatel;
end;
Обратите внимание: это единственный случай, когда компилятор согласится принять использование структуры (element_spiska) до ее описания.
Оперирование элементами списка