栈的概念、C语言实现与应用

一、栈

1.1 栈的概念及结构

栈是一种特殊的线性表，它只允许在固定的一端进行插入和删除元素操作。进行数据插入和删除操作的一端成为栈顶，另一端称为栈底。栈中的数据元素遵循先进后出的原则。栈的插入操作成为进栈/压栈/入栈，入数据在栈顶。栈的删除操作叫做出栈，出数据也在栈顶。

可以用数组来实现栈，也可以用链表来实现栈。因为数组的CPU缓存效率高于链表，所以我们用数组来实现。

1.2 栈的代码实现

创建一个头文件、两个源文件：

在头文件中定义结构体（包含三个成员：数组指针、栈顶的位置和目前栈的容量）以及要实现的功能：

#include <stdio.h>
#include <stdlib.h>
#include <stdbool.h>

typedef int STDataType;

typedef struct Stack
{
	STDataType* a;
	int top;
	int capacity;
}ST;

//初始化 销毁
void STInit(ST* pst);
void STDestroy(ST* st);

//入栈 出栈
void STPush(ST* pst,STDataType x);
void STPop(ST* pst);

//判空
bool STEmpty(ST* pst);

//获取数据个数
int STSize(ST* pst);

1.2.1 初始化

void STInit(ST* pst)
{
	assert(pst);
	pst->a = NULL;
	pst->top = 0;
	pst->capacity = 0;
}

把数组指针置为空，top和capacity都置为0即可。

此处我们让top指向栈顶元素的下一个位置，所以将top初始化为0。如果我们想让top指向栈顶元素，那么需要将top初始化为-1。

1.2.2 栈的销毁

void STDestroy(ST* pst)
{
	assert(pst);

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

}

把数组空间释放掉，top和capacity都置为零即可。

1.2.3 入栈

首先判断现在的栈有没有放满，如果已经放满需要进行扩容。pst->top 与pst->capacity相等的时候说明已满。扩容的时候要先考虑capacity为0的情况。此处用一个三目操作符，如果capacity为0就先分配4个字节的空间，如果不为零就扩容一倍。

接着，只需把数据放在数组下标为top的位置，再让top++，更新一下数组指针和top的值，即可。

void STPush(ST* pst, STDataType x)
{
	assert(pst);

	//扩容
	if (pst->top == pst->capacity)
	{
		int newcapacity = pst->capacity == 0 ? 4 : pst->capacity * 2;
		STDataType* tmp = realloc(pst->a, newcapacity * (sizeof(STDataType)));
		if (tmp == NULL)
		{
			perror("realloc");
			return;
		}
		pst->a = tmp;
		pst->capacity = newcapacity;
	}
	pst->a[pst->top] = x;
	pst->top++;
}

1.2.4 取栈顶元素

只需取出数组中下标为（top - 1）的元素即可。

//取栈顶元素
STDataType STTop(ST* pst)
{
	assert(pst);
	assert(pst->top);

	return pst->a[pst->top - 1];
}

1.2.5 判空

只需判断pst->top是否为空即可。

bool STEmpty(ST* pst)
{
	assert(pst);

	return(pst->top == 0);
}

1.2.6 出栈

出栈不需要删除栈顶的数据，只需要让top--即可。

void STPop(ST* pst)
{
	assert(pst);
	assert(pst->top > 0);

	pst->top--;
}

1.2.7 获取数据个数

int STSize(ST* pst)
{
	assert(pst);

	return pst->top;
}

pst->top就是当前栈里的数据个数。

要访问栈里的所有元素，我们不能像打印数组那样从前到后打印，因为要符合“后进先出”的原则，所以我们先打印栈顶元素，然后把栈顶元素出栈，这样打印。

int main()
{
	ST s;
	
	STInit(&s);
	STPush(&s, 1);
	STPush(&s, 2);
	STPush(&s, 3);
	STPush(&s, 4);
	STPush(&s, 5);

	while (!STEmpty(&s))
	{
		printf("%d", STTop(&s));
		STPop(&s);
	}

    STDestroy(&s);
	return 0;
}

1.3 例题

这道题用栈来解决非常方便。只要遇到左括号就入栈，只要遇到右括号就和栈顶的左括号比较，匹配就是对的，不匹配就是错的。

#define _CRT_SECURE_NO_WARNINGS
#include <stdio.h>
#include <stdlib.h>
#include <stdbool.h>
#include <assert.h>

typedef char STDataType;

typedef struct Stack
{
	STDataType* a;
	int top;
	int capacity;
}ST;


//初始化 销毁
void STInit(ST* pst)
{
	assert(pst);
	pst->a = NULL;
	pst->top = 0;
	pst->capacity = 0;
}


void STDestroy(ST* pst)
{
	assert(pst);

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

}


//入栈 出栈
void STPush(ST* pst, STDataType x)
{
	assert(pst);

	//扩容
	if (pst->top == pst->capacity)
	{
		int newcapacity = pst->capacity == 0 ? 4 : pst->capacity * 2;
		STDataType* tmp = realloc(pst->a, newcapacity * (sizeof(STDataType)));
		if (tmp == NULL)
		{
			perror("realloc");
			return;
		}
		pst->a = tmp;
		pst->capacity = newcapacity;
	}
	pst->a[pst->top] = x;
	pst->top++;
}


void STPop(ST* pst)
{
	assert(pst);
	assert(pst->top > 0);

	pst->top--;
}

//判空
bool STEmpty(ST* pst)
{
	assert(pst);

	return(pst->top == 0);
}

//取栈顶元素
STDataType STTop(ST* pst)
{
	assert(pst);
	assert(pst->top);

	return pst->a[pst->top - 1];

} 

//获取数据个数
int STSize(ST* pst)
{
	assert(pst);

	return pst->top;
}

bool isValid(char* s)
{
    ST st;
    STInit(&st);

    while(*s)
    {
        if(*s == '(' || *s == '[' || *s == '{')
        {
            STPush(&st,*s);
        }
        else
        {
            if(STEmpty(&st))
            {
                return false;
            }
            char top = STTop(&st);
            STPop(&st);

            if((top == '(' && *s != ')')
            ||(top == '[' && *s != ']')
            ||(top == '{' && *s != '}'))
            {
                STDestroy(&st);
                return false;
            }
        }
        ++s;
    }
    bool ret = STEmpty(&st);
    STDestroy(&st);
    
    return ret;
}

我们用一个字符指针来遍历字符串，如果是左括号就入栈，如果是右括号就和栈顶元素比较，不匹配就返回false，匹配直接进入下一次循环。有几个小问题需要注意：第一是函数返回之前要先销毁栈防止内存泄漏；第二是如果右括号先出现，此时栈内为空，调用STTop会报断言错误，需要加一个判断逻辑，如果右括号先出现直接返回false；第三是如果只有左括号没有右括号，没法通过不匹配的判断返回flase，所以在出循环后要判断栈是否为空，如果为空说明缺少右括号，此时应该返回false。

END