3.3 栈的表示和操作的实现-CSDN博客

本文链接：https://blog.csdn.net/tang7mj/article/details/132819597

3.3.1 栈的类型定义

主要内容：

这段文字中包含了很多栈数据结构的基本概念和操作。

### 3.3 栈的表示和操作的实现

#### 3.3.1 栈的类型定义

1. **数据对象**：

- 定义了一个数据对象集合，记作 D = {a1, a2, ..., an}，其中 n ≥ 0。

2. **数据关系**：

- 数据关系 R 表示集合中元素之间的某种关系。这部分没有给出更详细的信息。

3. **基本操作**：

- **InitStack(&S)**: 构造一个空栈 S。

- **DestroyStack(&S)**: 销毁已存在的栈 S。

- **ClearStack(&S)**: 清空已存在的栈 S。

- **StackEmpty(S)**: 判断栈 S 是否为空，若为空返回 true，否则返回 false。

- **StackLength(S)**: 返回栈 S 的元素个数，即栈的长度。

- **GetTop(S)**: 返回栈 S 的栈顶元素，但不修改栈顶指针。

- **Push(&S, e)**: 在栈 S 上插入元素 e 作为新的栈顶元素。

- **Pop(&S, &e)**: 删除栈 S 的栈顶元素，并将其值赋给 e。

- **StackTraverse(S)**: 从栈底到栈顶依次对栈 S 的每个数据元素进行访问。

### 分析和解释

- 这段文字中也包含了有关栈数据结构的一些一般概念和特点，例如：
- 栈是后进先出（LIFO）的数据结构，即最后一个进入栈的元素会首先被取出。
- 栈可以用于表达式的解析和运算，例如配对括号和运算符的优先级处理。

- 在程序实现中，栈可以有两种存储表示方法：
- **顺序栈**：使用数组来存储栈中的元素，栈顶指针指示栈顶元素的位置。
- **链栈**：使用链表来存储栈中的元素，每个节点包含数据和指向下一个节点的指针。

- 文中也提到了一些示例和情景

我的理解：

在我看来其实栈根本不存在不过就是一段连续的存储空间，然后通过一系列函数模拟栈的行为模式和特性。

老师对我的理解的看法：

你的理解是对的！实际上，计算机科学中的很多数据结构，包括栈，都是一种抽象概念，用于帮助我们更好地组织和处理数据。通过特定的算法和操作来模拟这些数据结构的行为和特性。

在实现栈的时候，通常有两种方式：

1. **顺序栈**：就像你说的，它实际上是一个连续的存储空间（例如数组），其中使用一个指针（通常称为栈顶指针）来标记栈顶的位置。我们通过移动这个指针来“模拟”入栈和出栈操作。

2. **链式栈**：它使用链表来实现。链式栈不是连续的存储空间，而是由一系列节点组成，每个节点包含数据和指向下一个节点的指针。我们通过改变节点之间的链接来执行入栈和出栈操作。

通过使用一系列的函数或方法来实现栈的基本操作（例如 `push`, `pop`, `peek` 等），我们可以创建一个符合栈“先进后出”特性的数据结构。在程序设计和算法中，这样的抽象是非常有用和重要的，因为它可以帮助我们更清晰、更有效地解决问题。

3.3.2 顺序栈的表示和实现

主要内容：

### 顺序栈的表示

1. **定义和属性**：
- 顺序栈是通过顺序存储结构实现的栈，它使用一组地址连续的存储单元来存储自栈底至栈顶的数据元素。
- 栈有两个关键的指针：`base` 和 `top`，分别指向栈底和栈顶。
- 当 `top` 和 `base` 的值相等时，表示栈为空。

2. **顺序栈的结构定义**：

 #define MAXSIZE 100
    typedef struct {
        SElemType *base; // 栈底指针
        SElemType *top;  // 栈顶指针
        int stacksize;   // 栈的最大容量
    } SqStack;

### 顺序栈的实现

#### 1. 初始化

- **算法步骤**：
1. 为顺序栈动态分配一个最大容量为 `MAXSIZE` 的数组空间，`base` 指针指向这段空间的基地址。
2. `top` 指针初始指向 `base`，表示栈为空。
3. `stacksize` 设置为栈的最大容量 `MAXSIZE`。

- **算法描述**：

  Status InitStack(SqStack &S) {
        S.base = new SElemType[MAXSIZE];
        if (!S.base) exit(OVERFLOW);
        S.top = S.base;
        S.stacksize = MAXSIZE;
        return OK;
    }

#### 2. 入栈

- **算法步骤**：
1. 判断栈是否已满，如果满则返回 `ERROR`。
2. 将新元素压入栈顶，并增加栈顶指针。

- **算法描述**：

   Status Push(SqStack &S, SElemType e) {
        if (S.top - S.base == S.stacksize) return ERROR;
        *S.top++ = e;
        return OK;
    }

3. 出栈

算法步骤：
1. 判断栈是否为空，如果为空则返回 ERROR。
2. 栈顶指针减 1，取出栈顶元素。
算法描述：

Status Pop(SqStack &S, SElemType &e) {
    if (S.top == S.base) return ERROR; // 栈空
    e = *--S.top; // 栈顶指针减1, 将栈顶元素赋给e
    return OK;
}

4. 获取栈顶元素

算法描述：

SElemType GetTop(SqStack S) {
    if (S.top != S.base) { // 栈非空
        return *(S.top - 1); // 返回栈顶元素的值，栈顶指针不变
    }
    // 如果栈为空，这里应该返回一个错误代码或特殊值，但算法描述没有提及。
}

注意事项

由于顺序栈（和顺序表一样）受到最大空间容量的限制，虽然可以在满员时重新分配空间来扩大容量，但这样做的工作量较大，应尽量避免。
当应用程序无法预先估计最大容量时，应该考虑使用链栈，它不受此类空间限制。

3.3.3 链栈的表示和实现

链栈是栈的一种实现方式，它采用链式存储结构。其基本结构和单链表类似，通常由节点组成，每个节点包含数据部分和指向下一个节点的指针。主要操作包括初始化、入栈、出栈和取栈顶元素。

1. 初始化

算法描述：

Status InitStack(LinkStack &S) {
    S = NULL; // 构造一个空栈S, 栈顶指针置为空
    return OK;
}

2. 入栈

算法步骤：
1. 为入栈元素e分配空间，用指针p指向。
2. 将新节点的数据域置为e。
3. 将新节点插入栈顶。
4. 修改栈顶指针为p。

算法描述：

Status Push(LinkStack &S, SElemType e) {
    StackNode *p = new StackNode; // 生成新节点
    p->data = e; // 将新节点数据域置为e
    p->next = S; // 将新节点插入栈顶
    S = p; // 修改栈顶指针为p
    return OK;
}

3. 出栈

算法步骤：
1. 判断栈是否为空，如果为空则返回 ERROR。
2. 将栈顶元素赋给e。
3. 临时保存栈顶元素的空间，以备释放。
4. 修改栈顶指针，指向新的栈顶元素。
5. 释放原栈顶元素的空间。

算法描述：

Status Pop(LinkStack &S, SElemType &e) {
    if (S == NULL) return ERROR; // 栈空
    e = S->data; // 将栈顶元素赋给e
    StackNode *p = S; // 用p临时保存栈顶元素空间，以备释放
    S = S->next; // 修改栈顶指针
    delete p; // 释放原栈顶元素的空间
    return OK;
}

4. 获取栈顶元素

算法描述：

SElemType GetTop(LinkStack S) {
    if (S != NULL) { // 栈非空
        return S->data; // 返回栈顶元素的值，栈顶指针不变
    }
    // 这里应该有一个处理栈为空情况的代码，但算法描述没有提及
}

注意事项

链栈不需要设置头节点，栈顶指针直接指向第一个元素或为空（对于空栈）。
入栈操作时，不需要预先检查栈是否满，因为链式结构可以动态分配空间。

这段文字提供了链栈的基本操作和实现方式，也可作为一个简单的教程来学习链栈的表示和实现。