Обращение к элементам списка

Хранение списка

Оперирование элементами списка

Описание списков

Сначала мы рассмотрим только самый простой случай: односвязный список. Напомним, что каждый элемент этого списка должен хранить адрес другого элемента из этого же списка. Логичнее всего было бы дать этой структуре такое описание:

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) до ее описания.

Замечание: Кажется, что гораздо более естественным было бы отнести поле next_element к типу pointer: тогда не пришлось бы вводить дополнительный тип данных ukazatel. Однако неудобства, которые непременно возникнут из-за нетипизированности указателей в процессе написания программы, будут гораздо серьезнее, чем одна лишняя строчка при описании типов.

Примеры описаний списочных структур

a) Односвязный список

type ukazatel = ^elem_spiska;

elem_spiska = record

znach : integer;

sled : ukazatel;

end;

b) Двусвязный линейный список

type point = ^element_spiska; list = record znachenie : integer;

sled : point

pred : point;

end;

с) Бинарное дерево (иерархический список)

type point = ^tree;

tree = record

data : integer;

left_sibling : point;

right_sibling: point;

end;

d) Ориентированный граф (двусвязный нелинейный список)

type uk_versh = ^versh;

uk_duga = ^duga;

vershina = record nomer : integer;

sled_versh : uk_versh;

spisok_dug : uk_duga;

end;

duga = record

konec_dugi : uk_versh;

sled_duga : uk_duga;

end;

Для того чтобы сохранить информацию обо всем списке, достаточно только одной переменной - указателя на первый элемент этого списка. Обычно его называют головой списка. Указатель на голову должен быть выделенным: с ним нельзя производить никаких действий, которые могут стать причиной утери всего списка. Для работы со списком обычно заводят вспомогательный указатель. Например:

var head,p,q: uk_spisok;

Но, вообще говоря, нет никаких специальных правил, которые обязали бы программиста давать выделенным указателям особые имена.

Если есть указатель, указывающий на некоторый элемент списка, то содержимое полей этого элемента и даже следующих за ним можно получить так:

p - адрес текущего элемента списка;

p^ - запись из нескольких полей, хранящаяся по адресу p;

p^.znachenie - значение первого поля этой записи;

p^.next_element - значение второго поля этой записи, являющееся адресом следующего элемента списка;

p^.next_element^.znachenie - значение, хранящееся в первом поле элемента списка,следующего за тем, на который указывает р.