Реализация стеков

Объявление списочной структуры в Паскале.

Type T={базовый тип, компонента списка}

component=record

info:T;

next:^component;

end;

Определение такого типа недопустимо в синтаксисе Паскаля, но возможно описание следующего вида:

type T={ };

pComponent=^tComponent;

tComponent=record

info:T;

next:pComponent;

end;

Базовое правило «тип можно определять лишь в терминах уже описанных типов» имеет единственное исключение – ссылку на тип можно определять раньше, чем сам тип. Это единственная форма рекурсивного определения, допустимая в Паскале.

Procedure Push(top:pComponent;x:T);

{Стек задаётся списком, top, в свою очередь, - ссылкой на первый элемент (голову списка)}

top

¯

    nil

var p:pComponent;

begin

new(p);

p^.info:=x;

top:=p;

end;

procedure Pop(var top:pComponent;var x:T);

var p:pComponent;

begin

p:=top;

x:=top^.info;

top:=top^.next;

dispose(p);

end;

function Empty(top:pComponent):boolean;

begin

empty:=top=nil;

end;

{Соответствует инициализации в случае, когда стек ещё не существует и уже существует}

procedure Create(var top:pComponent);

{Создать пустой стек}

begin

top:=nil;

end;

procedure Destroy(var top:pComponent);

begin

while top<>nil do

begin

p:=top^.next;

dispose(top);

top:=p;

end;

end;

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