C语言设计实现栈

前言

栈是线性表中一种特殊的结构，用来存储和管理数据，并解决一些问题。本篇文章我会系统的向大家介绍栈的相关概念，并用C语言实现栈的一些基本功能，比如入栈、出栈、返回栈顶元素等等…

下面开始介绍。

---

1.认识栈

栈：一种特殊的线性表，其只允许在固定一端进行插入和删除元素操作。进行数据插入和删除操作的一端称为栈顶，另一端称为栈底。栈中的数据元素遵守后进先出LIFO（Last In First Out）的原则，也就是说后进去的数据先出来。

• 压栈： 栈的插入操作叫做进栈/压栈/入栈，入数据在栈顶。
• 出栈： 栈的删除操作叫做出栈。出数据也在栈顶。

后进先出的示意图如下：

2. 栈的实现

2.1 底层结构的选用

栈的实现一般可以使用顺序表或者链表实现，但是相对而言顺序表的结构更优一些，因为顺序表在尾上插入数据的代价比较小。

如果是双链表哪边是头，哪边是尾都可以。
如果是单链表，假如头指针是头，出栈的时候只能出当前位置的下一个位置，因为单链表没有指向前一个结点的指针。假如尾指针是头，找尾指针的时间复杂度为O（N），效率太低。

顺序表实现栈的基本结构如下：

现在假设a、b、c、d四个字符依次进栈，进栈示意图如下：

根据后进先出的规则，出栈的时候只能出先出d，再出c。下面再来看c、d出栈的示意图：

2.2 栈的内存结构

下面我们来定义栈的结构，前面提到用顺序表作为栈的底层来实现栈，我们知道顺序表分静态顺序表和动态顺序表，所以实现的栈也就分为静态栈和动态栈。

静态栈的结构如下:

typedef int STDataType;
#define N 10
typedef struct Stack
{
	STDataType _a[N];
	int _top; // 栈顶
}Stack;

由于栈的大小不是固定不变的，因此静态顺序栈在实际中一般不实用，所以接下来我们主要实现下面的支持动态增长的栈。

动态栈结构如下：

typedef int STDataType;
typedef struct Stack
{
	STDataType* _a;
	int _top; // 栈顶
	int _capacity; // 容量
}Stack;

动态栈结构有三个成员，一个指向动态数组的指针变量，一个表示栈顶位置的变量和一个表示栈内元素容量的变量。

3.栈的相关功能

3.1 初始化栈

实现代码如下：

void StackInit(Stack* pst)
{
	assert(pst);
 
	pst->_a = (STDataType*)malloc(sizeof(STDataType)* 4);
	pst->_top = 0;
	pst->_capacity = 4;
}

首先断言接收到的栈地址不是空指针。

接下来初始化栈，栈一开始先申请4个栈数据大小的空间（具体字节数由单个数据所占字节数决定），栈顶为0，栈初始容量定义为4.

3.2入栈

入栈，往栈内插入数据。根据入栈规则，需要把要插入的数据放在栈顶位置，在当前顺序表中我们规定顺序表末端为栈顶，起始位置为栈尾。

实现代码如下：

// 入栈
void StackPush(Stack* pst, STDataType x)
{
	assert(pst);

	//空间不够则增容
	if (pst->_top == pst->_capacity)
	{
		pst->_capacity *= 2;
		STDataType* tmp = (STDataType*)realloc(pst->_a, sizeof(STDataType)* pst->_capacity);
		if (tmp == NULL)
		{
			printf("内存不足\n");
			exit(-1);
		}
		else
		{
			pst->_a = tmp;
		}
	}

	pst->_a[pst->_top] = x;
	pst->_top++;
}

入栈之前要先判断当前顺序表内的容量是否已满，如果已满将顺序表扩容到原容量的二倍。容量检查完将入栈的数据放在栈顶位置，正好是顺序表下标为top的位置，然后在让栈顶top加1向后挪一位。

3.3 出栈

出栈，删除栈内的数据。根据“后进先出”的规则，必须删除当前栈顶的元素，实现代码如下：

// 出栈
void StackPop(Stack* pst)
{
	assert(pst);
	assert(pst->_top > 0);

	--pst->_top;
}

删除操作不仅需要断言所拿到栈的地址不为空，还要断言栈顶要大于0.如果栈顶等于0，说明栈内没有数据，再进行删除操作可能会造成越界的现象。

如果一切正常，只需将栈顶top减1，向前挪一位即可。

3.4 获取栈中有效元素个数

实现代码如下：

int StackSize(Stack* pst)
{
	assert(pst);
	return pst->_top;
}

栈内有效元素的个数正是栈顶的大小，直接返回栈顶的值即可。

3.5 检测栈是否为空，如果为空返回非零结果，如果不为空返回0

实现代码如下：

int StackEmpty(Stack* pst)
{
	assert(pst);

	return pst->_top == 0 ? 1 : 0;
}

检测栈是否为空，只需检查栈顶的值是否为0.此处返回一个条件表达式的值，如果栈顶为0，说明栈为空，返回1.不等于0则返回0.

3.6 获取栈顶元素

实现代码如下：

STDataType StackTop(Stack* pst)
{
	assert(pst);
	assert(pst->_top > 0);

	return pst->_a[pst->_top - 1];
}

栈顶元素在顺序表中的下标正好是栈顶的值减1，此处可以利用这一点直接返回栈顶元素的值。

3.7 销毁栈

实现代码如下：

void StackDestroy(Stack* pst)
{
	assert(pst);
	free(pst->_a);

	pst->_a = NULL;
	pst->_top = pst->_capacity = 0;
}

销毁栈只需释放掉栈内动态开辟出来的顺序表指针，再将该指针置为空指针，最后把栈顶和栈的容量置为0.

到这里栈的基本功能就算实现完了，不知道有没有人会有这个疑惑，有些功能其实一个语句就可以实现了，为什么还要将它分装在一个函数中呢?这里告诉大家，这是程序员之间俗成的约定，不要自己去直接访问结构体，尽量使用函数接口。这样的话如果是在团队中实现一个项目，别人直接调用你的接口也会十分方便。如果直接使用结构体，结构的内存布局有时不一致可能会导致出错。

本篇文章到这里就结束了，希望能够为大家带来帮助。