数据结构(三)——(1)栈
概述
从数据结构看,栈是一种线性表,其特殊性在于它的基本操作是线性表的子集,是操作受限的线性表,同样的还有队列,也一样为操作受限的线性表,栈和队列都可称为限定的数据结构。
但从数据类型来看,栈和队列是和线性表大不相同的两类重要的抽象数据类型。
本章仅讨论栈相关内容,队列在下一章中进行探讨。
一、栈的基本定义
栈(stack),是限定仅在表尾进行插入和删除操作的线性表。因此,表尾是该抽象数据类型的关键所在。通常我们会将栈的表尾称为"栈顶",对应的表头则被称为"栈底"。不含任何元素的空表,称为“空栈”。
- 栈顶(表尾):栈中允许插入、删除的一端
- 栈底(表头):栈中不允许插入、删除的一端
- 数据插入的过程,被称为数据进栈(压栈);数据删除的过程,则被称为数据出栈(退栈)
二、栈的操作特性
由于栈只能对表尾的数据元素进行插入和删除操作,显而易见,栈存在着后进先出,或称为先进后出。
如下图所示:
三、栈的抽象数据定义
在清华大学出版社出版的,严蔚敏主编的数据结构教材中给出了如下抽象数据定义,其中除了在栈顶进行插入和删除之外,还有栈的初始化、判断栈是否为空,获取栈顶元素和遍历栈等基本操作。
ADT Stack {
数据对象:D = {ai | ai∈ElemSet, i = 1,2,...,n, n≥0}
数据关系:R1 = {<ai-1, ai> | ai-1, ai ∈ D, i = 2, ..., n}
基本操作:
Initstack(&s);
Destroystack(&s);
Clearstack(&s);
Stackempty(s);
Stacklength(S);
Gettop(S,&e);
Push(&S,e);
Pop(&S,&e);
Stacktraverse(S);
}
具体实现,已上传至github,链接请看文末。
1.栈的顺序实现
顺序实现,顾名思义就是使用顺序表的方式构造一个栈的数据结构,利用一组地址连续的存储单元依次存放自栈底到栈顶的数据元素,同时附设指针"top"指示栈顶元素在顺序栈中的位置。该实现可以使用数组或者开辟出的一块连续内存进行栈元素的存储,这两种实现中均可以使用下标的方式对元素进行访问,但是如果使用C语言的数组进行实现,则存在一个扩容不变的问题。C语言中的数组必须是确定大小的,如果要做到容量可变,则需另外单独实现。因此,在此处设定栈默认大小,并直接开辟该大小的堆内存空间,等到栈满后,再使用realloc函数进行重新扩容。
如下是顺序栈定义的C语言实现:
// 顺序栈的定义
typedef struct sequence_stack_tag {
elemType_sq_stack *base; //栈底指针
elemType_sq_stack *top; //栈顶指针
int stackSize; //当前可用栈的最大容量
int stack_len; //当前栈长
char stack_name[32]; //该栈名称
} sq_stack_t, *p_sq_stack_t;
根据栈的基本定义,base作为栈底指针,也可认为是栈空间的“基址”,它始终指向栈底的位置,若base的值为NULL,则表明栈结构不存在。top为栈顶指针,其初值指向栈底,即top == stack
可以作为栈空的标记,每当插入新的栈顶元素时,指针++ top
;删除栈顶元素时,指针-- top
,因此,非空栈中的栈顶指针始终在栈顶元素的下一个位置上。
// 元素e进栈
Status push_stack_sq(p_sq_stack_t stk, elemType_sq_stack e) {
if (stk->stack_len == stk->stackSize) {
stk->base = (elemType_sq_stack *)realloc(
stk->base,
(stk->stackSize + 1 + STACK_INCREMENT) * sizeof(elemType_sq_stack));
check_ptr(stk->base);
stk->top = stk->base + stk->stack_len;
stk->stackSize = stk->stackSize + STACK_INCREMENT;
}
memcpy(stk->top, &e, sizeof(elemType_sq_stack));
stk->top++;
stk->stack_len++;
return OK;
}
// 元素e出栈
Status pop_stack_sq(p_sq_stack_t stk, elemType_sq_stack *e) {
if (0 == stk->stack_len) {
std::cout << "stack is Empty!..." << std::endl;
return ERROR;
}
(*e) = *(--stk->top);
memset(stk->top, 0, sizeof(elemType_sq_stack));
stk->stack_len--;
return OK;
}
2.栈的链式实现
链式栈相对简单,入栈就是从单链表的头部插入新的链表结点,出栈则是从头部删除一个节点。代码如下:
// 元素e进栈
Status push_stack_linkedList(p_linkedList_stack_t stk_l,
elemType_linkedStack e) {
check_ptr(stk_l->head);
p_linkedList_stack_node_t new_node =
(p_linkedList_stack_node_t)calloc(1, sizeof(linkedList_stack_node_t));
check_ptr(new_node);
new_node->data = e;
new_node->next = stk_l->head->next;
stk_l->head->next = new_node;
stk_l->stack_len++;
return OK;
}
// 元素e出栈
// 元素e出栈
Status pop_stack_linkedList(p_linkedList_stack_t stk_l,
elemType_linkedStack *e) {
check_ptr(stk_l->head);
if (stk_l->stack_len > 0) {
(*e) = stk_l->head->next->data;
p_linkedList_stack_node_t tmp = NULL;
tmp = stk_l->head->next;
stk_l->head->next = tmp->next;
free(tmp);
} else {
LOG_ERROR("stack_linked is empty!!!\n");
return ERROR;
}
return OK;
}
链式实现中,我没有直接使用传统实现中的top、base字段,直接使用了单链表的结构体,在结构体中仅声明了链表的头节点,而实际对数据元素和链表的操作,仅在链表头部进行。因为栈底相当于是链表的尾节点,在栈这种数据结构中,不会直接对栈底进行操作,所以在链式实现中,并没有直接体现出来,这一点需要注意
typedef int elemType_linkedStack; // 定义链栈存储数据类型
typedef struct linkedList_stack_node_tag {
elemType_linkedStack data;
linkedList_stack_node_tag *next;
} linkedList_stack_node_t, *p_linkedList_stack_node_t;
typedef struct linkedList_stack_tag {
p_linkedList_stack_node_t head;
int stack_len;
} linkedList_stack_t, *p_linkedList_stack_t;
附:
github链接:https://github.com/Ccccx159/Data_Structure_trainning/tree/master/src/03_StackAndQueue
已上传了栈相关的代码实现,同时实现了“行编辑器”、“汉诺塔”、“表达式转换和求值”和“利用栈进行迷宫寻路”等书本上的相关实例以供参考