顺序表实现栈

一、概念

1、栈的定义

栈 是仅限在 表尾 进行 插入 和 删除 的 线性表。
栈 又被称为 后进先出 （Last In First Out） 的线性表，简称 LIFO 。

2、栈顶

栈 是一个线性表，我们把允许 插入 和 删除 的一端称为 栈顶。

3、栈底

和 栈顶 相对，另一端称为 栈底，实际上，栈底的元素我们不需要关心。

二、接口

1、可写接口

1）数据入栈

栈的插入操作，叫做 入栈，也可称为 进栈、压栈。

2）数据出栈

栈的删除操作，叫做 出栈，也可称为 弹栈。

3）清空栈

一直 出栈，直到栈为空。

2、只读接口

1）获取栈顶数据

对于一个栈来说只能获取栈顶数据，一般不支持获取其它数据。

2）获取栈元素个数

栈元素个数一般用一个额外变量存储，入栈 时加一，出栈 时减一。这样获取栈元素的时候就不需要遍历整个栈。

3）栈的判空

当栈元素个数为零时，就是一个空栈，空栈不允许 出栈 操作。

三、栈的顺序表实现

数据结构定义

对于顺序表，在 C语言 中表现为 数组，在进行 栈的定义 之前，我们需要考虑以下几个点：
  1）栈数据的存储方式，以及栈数据的数据类型；
  2）栈的大小；
  3）栈顶指针；

• 我们可以定义一个 栈 的 结构体，C语言实现如下所示：

#define DataType int        // (1)
#define maxn 100005         // (2)

struct Stack {              // (3)
    DataType data[maxn];    // (4)
    int top;                // (5)
};

• (1) 用DataType这个宏定义来统一代表栈中数据的类型，这里将它定义为整型，根据需要可以定义成其它类型，例如浮点型、字符型、结构体 等等；
• (2) maxn代表我们定义的栈的最大元素个数；
• (3) Stack就是我们接下来会用到的 栈结构体；
• (4) DataType data[maxn]作为栈元素的存储方式，数据类型为DataType，可以自行定制；
• (5) top即栈顶指针，data[top-1]表示栈顶元素，top = 0代表空栈；

2、入栈

源码详解

• 入栈 操作，算上函数参数列表，总共也才几句话，代码实现如下：

void StackPushStack(struct Stack *stk, DataType dt) { // (1)
    stk->data[ stk->top ] = dt;                       // (2)
    stk->top = stk->top + 1;                          // (3)
}

• (1) stk是一个指向栈对象的指针，由于这个接口会修改栈对象的成员变量，所以这里必须传指针，否则，就会导致函数执行完毕，传参对象没有任何改变；
• (2) 将传参的元素放入栈中；
• (3) 将栈顶指针自增 1；
• 注意，这个接口在调用前，需要保证 栈顶指针 小于 栈元素最大个数，即stk->top < maxn，
• 如果 C语言 写的熟练，我们可以把 (2) 和 (3) 合成一句话，如下：

void StackPushStack(struct Stack *stk, DataType dt) {
    stk->data[ stk->top++ ] = dt;                    
}

• stk->top++表达式的值是自增前的值，并且自身进行了一次自增。

3、出栈

源码详解

• 出栈 操作，只需要简单改变将 栈顶 减一 即可，代码实现如下：

void StackPopStack(struct Stack* stk) {
    --stk->top;
}

4、清空栈

源码详解

• 清空栈的操作只需要将 栈顶 指针直接指向 栈底 即可，对于顺序表，也就是 C语言 中的数组来说，栈底 就是下标 0 的位置了，代码实现如下：

void StackClear(struct Stack* stk) {
    stk->top = 0;
}

5、只读接口

• 只读接口包含：获取栈顶元素、获取栈大小、栈的判空，实现如下：

DataType StackGetTop(struct Stack* stk) {
    return stk->data[ stk->top - 1 ];      // (1)
}
int StackGetSize(struct Stack* stk) {
    return stk->top;                       // (2)
}
bool StackIsEmpty(struct Stack* stk) {
    return !StackGetSize(stk);             // (3)
}

• (1) 数组中栈元素从 0 开始计数，所以实际获取元素时，下标为 栈顶元素下标 减一；
• (2) 因为只有在入栈的时候，栈顶指针才会加一，所以它 正好代表了 栈元素个数；
• (3) 当 栈元素 个数为 零 时，栈为空。

6、栈的顺序表实现源码

• 栈的顺序表实现的源码如下：

#define DataType int
#define bool int
#define maxn 100010

struct Stack {
    DataType data[maxn];
    int top;
};

void StackClear(struct Stack* stk) {
    stk->top = 0;
}
void StackPushStack(struct Stack *stk, DataType dt) {
    stk->data[ stk->top++ ] = dt;
}
void StackPopStack(struct Stack* stk) {
    --stk->top;
}
DataType StackGetTop(struct Stack* stk) {
    return stk->data[ stk->top - 1 ];
}
int StackGetSize(struct Stack* stk) {
    return stk->top;
}
bool StackIsEmpty(struct Stack* stk) {
    return !StackGetSize(stk);
}