详解C语言如何实现数据结构-栈

• 栈的概念及结构
• 栈的常见接口函数
  • 栈的创建类型
  • 栈的初始化
  • 栈的插入数据
  • 栈的删除数据
  • 栈顶位置的元素
  • 栈的元素个数
  • 检查栈中是否有元素
  • 栈的销毁

---

栈的概念及结构
栈：它是一种特殊的线性表，它只允许在固定的一端进行插入和删除元素的操作。而用来进行数据插入和删除操作的一端叫做栈顶，另一端叫做栈底。栈中的数据元素遵守后进先出LIFO(Last In First Out)的原则。

压栈：栈的插入操作叫做压栈/入栈 等，入数据只能在栈顶上操作
出栈：栈的删除操作叫做出栈，出数据也只能在栈顶上操作

栈的常见接口函数

//栈的初始化
void StackInit(ST* ps);
//栈的插入数据
void StackPush(ST* ps,STDataType x);
//栈的删除数据
void StackPop(ST* ps);
//栈顶位置的元素
STDataType StackTop(ST* ps);
//栈的元素个数
int StackSize(ST* ps);
//检查栈里是否还有元素
bool StackEmpty(ST* ps);
//销毁栈
void StackDestroy(ST* ps);

栈的创建类型
采用动态数组来保存数据，随时可以扩容，一个top变量表示栈顶的位置，一个capacity变量来表示容量的大小。

//tpedef 后序更换其他数据,方便修改
typedef int STDataType;
typedef struct Stack
{
	STDataType* a;//动态数组,随时扩容
	int top;
	int capacity;
}ST;

栈的初始化
这里可以不初始化数组大小，也可以初始化的时候就给空间,如果初始化时给空间，在这一步就要malloc申请空间了。

//初始化
void StackInit(ST* ps)
{
	assert(ps);
	ps->a = NULL;
	ps->capacity = 0;
	ps->top = 0;
}

栈的插入数据
因为初始化时没有给a申请空间，所以这一步要申请空间给a，同时因为初始化时没有给空间，所以插入时要判断下是否是第一次插入数据。

//插入
void StackPush(ST* ps, STDataType x)
{
	assert(ps);
	if (ps->top == ps->capacity)
	{
	    //如果capacity是0证明是第一次插入，那么就给4个空间大小，
	    //如果是空间满了，也是不能插入数据的，那么就扩容
		int newCapacity = ps->capacity == 0 ? 4 : ps->capacity * 2;
		STDataType* tmp = (STDataType*)realloc(ps->a, sizeof(STDataType)*newCapacity);
		if (tmp == NULL)
		{
			perror("realloc fail\n");
			exit(-1);
		}
		ps->a = tmp;
		//扩容成功后把新的容量大小更新下
		ps->capacity = newCapacity;
	}
	ps->a[ps->top] = x;
	ps->top++;
}

栈的删除数据

//删除
void StackPop(ST* ps)
{
	assert(ps);
	//这里要利用后面的检查栈中是否还有元素的函数判断下
	//没有元素则不能删除
	assert(!StackEmpty(ps));
	ps->top--;
}

栈顶位置的元素

//返回栈顶位置的元素
STDataType StackTop(ST* ps)
{
	assert(ps);
	//也要判断下栈中是否还有元素，没有就无法获取栈顶的元素
	assert(!StackEmpty(ps));
	//数组下标从0开始，这里要返回top-1
	return ps->a[ps->top-1];
}

栈的元素个数

//栈的元素个数
int StackSize(ST* ps)
{
	assert(ps);

	return ps->top;
}

检查栈中是否有元素

//检查栈中是否有元素
bool StackEmpty(ST* ps)
{
	assert(ps);
	//top==0 返回true 否则false
	return ps->top == 0;
}

栈的销毁
我们使用的空间是malloc出来的，这里我们要手动free掉这块空间，还给系统，防止内存泄漏。

//销毁
void StackDestroy(ST* ps)
{
	assert(ps);

	ps->a = NULL;
	ps->top = 0;
	ps->capacity = 0;
	free(ps->a);
}