1.定义
栈也可以像线性表一样采用链式存储结构,采用链式存储结构的栈称为链栈。这里采用带头结点的单链表实现链栈。
链栈具有不存在栈满上溢的优点,规定栈的所有操作都是在单链表的表头进行的。原因是根据下面示意图我们可以知道,在已知头结点地址的情况下,在其后面插入一个新结点和删除首结点都很方便。
2.定义节点类型
typedef struct linknode
{
ElemType data; //数据域
struct linknode *next; //指针域
}LinkStNode; //链栈结点类型
同时根据上面示意图以及链栈特性,我们可以得出以下结论:
1.栈空的条件:s -> next == NULL.
2.栈满的条件:因为链栈具有不存在栈满上溢的优点,所以只有内存溢出时才会出现栈满情况,通常不考虑这样的情况,所以链栈中不存在栈满的情况。
3.元素e进栈的操作:新建一个结点存放元素e(由p指向它),将结点p插入头节点之后。
4.出栈操作:取出头结点的data值并将其删除。
3.初始化栈、销毁栈、判空、进出栈
初始化栈:建立一个空链栈,实际就是创建链栈的头结点,并将其next置为空。
//初始化栈 时间复杂度(O(1))
void InitStack(LinkStNode *& s)
{
s=(LinkStNode *)malloc(sizeof(LinkStNode));
s->next=NULL;
}
销毁栈:释放链栈s所占有的全部结点空间,与单链表的销毁算法完全一致。
//销毁栈
void DestoryStack(LinkStNode *& s)
{
LinkStNode *pre=s, *p=s->next; //pre指向头结点,p指向首结点
while(p!=NULL) //循环到p为空
{
free(pre); //释放pre结点
pre=p; //pre,p同步后移
p=pre->next;
}
}
判空:只需要判断s->next = NULL是否成立即可。
//判断栈是否为空
bool StackEmpty(LinkStNode *s)
{
return (s->next==NULL);
}
进出栈:
1.进栈时先创建一个新结点,存放元素e(由p指向它),然后将其插入头结点之后作为新结点。
2.出栈时:在栈不为空的条件下提取首结点的数据域赋值引用型参数e,然后将其删除。
//进栈
bool Push(LinkStNode *& s, ElemType e)
{
LinkStNode *p;
p=(LinkStNode *)malloc(sizeof(LinkStNode)); //新建结点
p->data=e; //存放元素e
p->next=s->next; //将p结点插入作为首结点
s->next=p;
return true;
}
//出栈
bool Pop(LinkStNode *& s,ElemType & e)
{
LinkStNode *p;
if(s->next==NULL)
return false;
p=s->next; //p指向首结点
e=p->data; //提取首结点的值
s->next=p->next; //删除首结点
free(p); //释放被删的存储空间
return true;
}
测试函数及结果:
int main()
{
LinkStNode *s;
printf("(1)初始化栈\n");
InitStack(s);
printf("(2)栈为%s\n",(StackEmpty(s)?"空":"非空"));
ElemType e,str[5]={'a','c','e','t','j'};
printf("(3)入栈序列:a,c,e,t,j\n");
for(int i=0;str[i]!='\0';i++)
{
Push(s,str[i]);
}
printf("(4)栈为%s\n",(StackEmpty(s)?"空":"非空"));
printf("(5)栈顶元素为");
if(GetPop(s,e))
printf("%c\n",e);
else
printf("NULL\n");
printf("(6)出栈序列:");
while(!StackEmpty(s))
{
Pop(s,e);
printf("%c,",e);
}
printf("\n");
printf("(7)销毁栈");
DestoryStack(s);
}