顺序栈用top跟踪栈顶，top=-1时data[0]为首个入栈位，入栈先++top后赋值，出栈先取data[top]再--top；top=0时入栈先赋值后++top，出栈先--top再取data[top-1]；所有操作须严格判空判满防越界。

用数组实现顺序栈，核心在于用一个整型变量（通常叫 top）动态跟踪栈顶位置，所有操作围绕它展开。高效的关键不是追求“最大容量”，而是明确 top 的含义、严格判空判满、避免越界——这些比扩容逻辑更常影响正确性。

栈顶指针 top 的两种主流取值方式

top 的初始值和语义决定整个操作逻辑，必须统一，不能混用：

• top = -1 表示空栈：此时 data[0] 是第一个入栈位置；入栈时先 top++，再赋值；出栈时先取 data[top]，再 top--；栈满条件是 top == MAXSIZE - 1。
• top = 0 表示空栈：此时 data[0] 尚未使用；入栈时先赋值 data[top]，再 top++；出栈时先 top--，再取 data[top]；栈满条件是 top == MAXSIZE。

前者更直观（top 始终指向当前栈顶元素下标），后者在部分教材中用于简化初始化判断。选一种并全程保持一致即可。

压入（push）操作的三步闭环

一次安全的入栈不是简单地往数组里塞数，而是一个检查→写入→更新的闭环：

codex-orchestration

一款AI工具，主要用于Codex 通用编排：利用 `update_plan` 与后台 PTY 终端并行运行 `codex exec` 工作进程，适合需要提升相关任务效率的用户。

下载

• 先判断是否栈满：若 top == MAXSIZE - 1（按 top=-1 方式），则拒绝入栈，避免覆盖或越界；
• 将新元素 e 赋给 data[++top]（top=-1 方式）或 data[top++]（top=0 方式）；
• 无需额外维护其他状态，top 变动即反映栈高。

弹出（pop）操作的安全边界处理

出栈比入栈更容易出错，因为涉及读取和删除两个动作，且空栈访问会直接导致未定义行为：

• 必须前置判断栈空：若 top == -1（top=-1 方式），直接返回错误码或抛异常，不可执行 data[top--]；
• 取出栈顶元素：data[top]（top=-1 方式）或 data[top-1]（top=0 方式）；
• 再移动指针：top--（top=-1 方式）或 top--（top=0 方式，注意此时 top 已指向新栈顶）。

辅助操作：读栈顶与判空判满

这些看似简单，却是调试中最常被忽略的环节：

• 读栈顶（peek）：只取 data[top]（top=-1）或 data[top-1]（top=0），不改变 top；务必先判空；
• 判空：直接比较 top 是否等于初始值（-1 或 0），O(1)，无需遍历；
• 判满：比较 top 是否达到容量上限（MAXSIZE-1 或 MAXSIZE），也是 O(1)；
• 注意：MAXSIZE 是编译期常量，不是运行时可变值；若需动态扩展，应另做 realloc 处理，不属于基础顺序栈范畴。