顺序栈的C语言实现

导言

大家好，很高兴又和大家见面啦！！！ 在上一个篇章中，我们介绍了栈的基本概念，以及栈中的重要术语。通过介绍我们知道了栈的本质也是一种线性表，只不过它是一种操作受限的线性表。因此栈的实现方式与线性表的实现实际上是大同小异的。下面我们就来介绍一下如何通过C语言实现栈。

一、栈的分类

栈作为一种操作受限的线性表，它在存储时根据存储方式的不同，分为两类——顺序栈与链栈。 下面我们将来介绍第一类栈——顺序栈的C语言实现；

二、顺序栈

通过顺序存储的线性表我们称为顺序表，同样，通过顺序存储的栈我们将其称为顺序栈。 顺序栈是利用一组地址连续的存储单元存放自栈底到栈顶的数据元素，同时附设一个指针(top)指示当前栈顶元素的位置。

2.1 顺序栈的数据类型

地址连续的存储单元相信大家都已经不陌生了。在顺序表中，我们通过数组实现了静态的顺序表，通过malloc与calloc函数实现了动态的顺序表。在栈的实现中，我们不妨借鉴顺序表的实现方式来实现栈，因此顺序栈的数据类型我们可以描述为：

//顺序栈的数据类型基本格式
#define MaxSize 10//定义栈中元素的最大个数
typedef struct SqStack {
	ElemType data[MaxSize];//存放在栈中的元素
	int top;//栈顶指针
}SqStack;
//ElemType——存放元素的数据类型
//top——栈顶元素的下标
//SqStack——栈的数据类型

对于顺序栈而言，它的实现就是通过静态数组的方式进行实现的，因此，顺序栈会有一下几个特点：

1. 栈的大小无法更改；
2. 进栈操作会受限制，当进栈的元素个数大于栈能存储的元素最大个数时，会出现栈溢出的问题；
3. 由于进栈操作只能从栈顶进行，因此在实现栈时我们有两种方式实现：

• 从下标0开始，依次入栈，下标0为栈的栈底；
• 从下标MaxSize-1开始，依次入栈，下标MaxSize-1为栈的栈底；

接下来我们来看一下顺序栈的初始化；

2.2 顺序栈的初始化

我们在对顺序栈进行初始化时，首先要明确我们要初始化的对象。从数据类型中可知，顺序栈中除了存储元素的静态数组外，还有一个存储栈顶元素下标的栈顶指针。 对于空栈而言，静态数组中存储的内容并不重要，因为我们并不会访问这些内容，因此，我们需要初始化的对象就是顺序栈的栈顶指针。

为了帮助大家更好的理解顺序栈的初始化操作，我们以从下标0为栈底的方式来介绍初始化的实现。

由于栈顶指针指向的是栈中的栈顶元素，存储的是栈顶元素的数组下标，因此，当栈为空栈时，栈顶指针我们只需要将其初始化为-1就行，如下所示：

//顺序栈的初始化
bool InitStack(SqStack* S) {
	if (!S)
		return false;
	S->top = -1;
	return true;
}

由于这里的形参是指针，因此我们在使用前需要对指针进行判空操作，如果指针为空指针时，函数将返回false，当指针不为空指针时，此时我们就可以正常的对栈顶指针进行初始化了；

2.3 栈的判空

我们想知道一个栈是否为空栈时，我们就可以根据栈顶指针的初始化我进行判空，在初始化时，我们将栈顶指针初始化为-1，那么我们在判空时就可以判断此时的栈顶指针是否为-1，如下所示：

//顺序栈的判空操作
bool StackEmpty(SqStack S) {
	if ( == -1)
		return true;
	return false;
}

因为我们此时只是判断一下栈的情况，并未对栈有任何的修改，所以我们在传参时，只需要通过传值传参即可，此时的形参只是对实参的一份临时拷贝，我们对形参的任何操作都不会影响实参；

2.5 顺序栈的进栈

当我们创建好一个顺序栈后，我们就可以通过进栈操作来将元素存入顺序栈中，由于空栈时栈顶指针存储的下标为-1，因此我们在存放元素前需要向将栈顶指针指向存放栈顶元素的空间，即对栈顶指针进行+1操作，如下所示：

//顺序栈的入栈操作
bool Push(SqStack* S, ElemType x) {
	//判断指针S是否为空以及栈顶指针是否存满
	if (!S || S->top == MaxSize - 1)
		return false;
	//栈顶指针向上移动
	S->top += 1;
	//将数据存入栈顶
	S->data[S->top] = x;
	return true;
}

为了确保我们能够顺利的将数据存入栈中，我们在进行入栈操作前需要先判断此时的指针S是否为空指针，如果是空指针，那说明传参出现了问题。在确定S不为空指针后，我们还要进一步判断是否为满栈，即栈顶指针存储的下标为MaxSize-1；

当然这里我们可以对代码进行一下简化，从实现的顺序我们可以看到，我们是先对栈顶指针进行+1操作，然后再使用的栈顶指针，那也就是先+1再使用，C语言中的前置++这个操作符刚好满足这个特性，因此这里我们就可以将移动与存入合并为一条代码，如下所示：

//顺序栈的入栈操作
bool Push(SqStack* S, ElemType x) {
	//判断指针S是否为空以及栈顶指针是否存满
	if (!S || S->top == MaxSize - 1)
		return false;
	//先移动栈顶指针，再使用
	S->data[++(S->top)] = x;
	return true;
}

在了解了进栈操作后，下面我们来看一下顺序栈是如何进行出栈操作的；

2.6 顺序栈的出栈

不知道大家还记不记得栈的操作特性——后进先出(LIFO)，也就是后进栈的元素会先一步出栈，正是因为这个特性，所以我们在进行出栈操作时，只能从栈顶元素开始进行出栈，每次弹出一个元素后，栈顶指针都需要往下移动一位，如下所示：

//顺序栈的出栈操作
bool Pop(SqStack* S, ElemType* x) {
	if (!S || !x || S->top > -1) 
		return false;
	//弹出元素
	*x = S->data[S->top];
	//栈顶指针向下一定
	S->top -= 1;
	return true;
}

出栈操作和入栈操作一样都是需要对栈进行修改，所以这里是通过传址传参完成的出栈，这里有一个点，因为我们要将弹出的元素返回到主函数中，所以对于存储弹出数据的变量x我们也是通过传址的形式进行传参。

同样为了顺利的完成出栈操作，我们需要对指针S与指针x进行判空操作，以确保传参的正确性，同时我们还要确保栈不为空栈。

从出栈的操作顺序我们可以看到，对于栈顶指针，我们是先使用，再对其进行-1的操作，在C语言中后置--这个操作符刚好也是符合这个规则，因此这里我们可以将其改写为：

//顺序栈的出栈操作
bool Pop(SqStack* S, ElemType* x) {
	if (!S || !x || S->top > -1) 
		return false;
	//先使用，后移动栈顶指针
	*x = S->data[S->top--];
	return true;
}

现在我们已经实现了增加、删除的操作，那对于栈的元素我们应该如何查找呢？

2.7 顺序栈的查找

对于栈而言，因为栈的单向操作特性，这就导致我们无法越过栈顶指针去查看栈中存储的其它元素，因此，我们对栈的查找实质上就是对栈顶指针的查找，在找到栈顶指针后将栈顶元素返回给主函数，如下所示：

//顺序栈的查找
bool GetTop(SqStack S, ElemType* x) {
	if (!x ||  == -1)
		return false;
	//返回栈顶元素
	*x = S.data[];
	return true;
}

对于查找操作而言，因为要带回栈顶元素的具体数据，因此这里对于存储栈顶元素的参数x我们是通过指针进行接收，也就是此时的实参是以传址的方式进行的传参，而且我们在查找操作中并不会修改栈，所以我们只需要对栈有一份临时拷贝就行，可以看到对于形参S，我们是以传值的方式进行传参。

为了能够顺利的进行查找，我们也是需要对指针x与栈顶指针进行判断：

• 当指针x为空指针时，表示此时传参出现了问题；
• 当栈顶指针为-1时，表示此时的栈为空栈；

在这两种情况下我们都应该给使用者一个反馈，因此这里就是通过返回false来告知使用者。

下面我们思考一个问题——我们在初始化时能不能将栈顶指针初始化为0呢？答案是可以的。下面我们就来看一下初始化为0时的顺序栈有何改动；

2.8 顺序栈的另一种实现方式

我们在将栈顶指针初始化为0时我们需要先明确此时栈顶指针的含义——栈中已经存储的元素个数，如下图所示：

从图中我们可以看到，当栈顶指针初始化为-1时，此时的栈顶指针指向的就是栈顶元素，而当栈顶指针初始化为0时，栈顶指针指向的是栈顶元素上方的空间，在这种情况下操作上面会有以下改动：

1. 初始化——在初始化时，栈顶指针的值需要有-1改为0；

//顺序栈的初始化
bool InitStack(SqStack* S) {
	if (!S)
		return false;
	S->top = 0;
	return true;
}

2. 判满——在进行入栈操作前，对栈进行判满操作时由原先的MaxSize-1改为MaxSize；

//顺序栈的入栈操作
bool Push(SqStack* S, ElemType x) {
	//判断指针S是否为空以及栈顶指针是否存满
	if (!S || S->top == MaxSize)
		return false;
}

3. 入栈——在进行入栈操作时，由原先的先移动栈顶指针，再存入数据改为先存入数据后移动指针；

//顺序栈的入栈操作
bool Push(SqStack* S, ElemType x) {
	//判断指针S是否为空以及栈顶指针是否存满
	if (!S || S->top == MaxSize - 1)
		return false;
	//将数据存入栈顶
	S->data[S->top] = x;
	//栈顶指针向上移动
	S->top += 1;
	//可简写为
	S->data[S->top++] = x;
	return true;
}

4. 判空——我们在对栈进行判空操作时由原先的判断栈顶指针是否为-1改为栈顶指针是否为0；

//顺序栈的判空操作
bool StackEmpty(SqStack S) {
	if ( == 0)
		return true;
	return false;
}

5. 出栈——在判空完后对栈进行出栈操作时，我们需要将先弹出数据后移动指针改为先移动指针后弹出数据；

//顺序栈的出栈操作
bool Pop(SqStack* S, ElemType* x) {
	if (!S || !x || S->top > -1) 
		return false;
	//栈顶指针向下一定
	S->top -= 1;
		//弹出元素
	*x = S->data[S->top];
	//可简写为
	*x = S->data[--S->top];
	return true;
}

6. 查找——在对栈顶元素进行查找时，我们需要将直接查找改为先移动指针，再查找；

//顺序栈的查找
bool GetTop(SqStack S, ElemType* x) {
	if (!x ||  == -1)
		return false;
	//返回栈顶元素
	*x = S.data[--];
	return true;
}

对于第一种初始化为-1的方式，我们在查找栈顶元素时会更加的方便；而第二种初始化为0的方式，我们在进行判空和判满时会对栈中已经存储的元素个数更加的清晰。这两种创建方式各有各的好处，大家可以根据自己的喜好来进行选择，但是一定要注意在进行进栈与出栈操作时的逻辑顺序不要弄反咯。

2.9 顺序栈的销毁

对于栈的销毁，实质上就是将栈中的元素从栈顶依次弹出，最后释放栈的空间，这里我们可以通过循环来完成该操作，如下所示：

//顺序栈的销毁
bool DestroyStack(SqStack* S) {
	if (!S)
		return false;
	while (S->top > -1) {
		S->top--;//栈顶指针往下移动
	}
	return true;
}

当我们初始化是将栈顶指针初始化为0时，对应的循环判断条件我们只需要改成>0就可以了，由于顺序栈是通过静态数组的方式实现的，我们不能像链表以及动态顺序表一样通过free函数来完成销毁操作，只能够在程序完成后有系统自动进行内存回收的操作，这里我就不多加赘述了。

结语

现在对于顺序栈的基本C语言实现我们就全部介绍完了，希望这篇内容能帮助大家更好的学习和理解顺序栈的相关知识点。