栈的指针实现

在算法中要用到多个栈时，最好用链表作为栈的存储结构，即用指针来实现栈。用这种方式实现的栈也称为链栈，见图4。由于栈的插人和删除操作只在表头进行，因此用指针实现栈时没有必要像单链表那样设置一个表头单元。

图4 链栈

栈的类型说明与单链表类似。

type  TNode=record     element:TElement;         next:^TNpde;        ent;  TStack=^TNode

链栈的基本操作实现如下：

procedure MakeNull(Var S:TStack); var p:TStack; begin  p:=S;  while S<>nil do   begin    S:=S^.next;    dispose(p); {释放该单元占用的内存空间}    p:=S;   end; end;

function Empty(var S:Stack):Boolean; begin  return(S=nil); end;

finction Top(var S:TStack):TElement; begin  if Empty(S) then Error('The stack is empty.')              else return(S.element); end;

procedure Pop(var S:TStack); var p:TStack; begin  if Empty(S) then Error('The stack is empty.')              else begin                    p:=S;                    S:=S^.next;                    dispose(p);                   end; end;

procedure Push(x:TElement;var S:TStack); var p:TStack; begin  new(p);  p^.element:=x;  p^.next:=S;  S:=p; end;

显然，以上操作中只用MakeNull的复杂性为O(n)，其余的复杂性为O(1)。

<script src="../../../lib/footer.js" type="text/javascript"> </script>