压栈与出栈受状态和输入信号联合控制，依字符类型分支处理：数字拼整入opnd栈，运算符按优先级判定，空白跳过、换行视上下文；出栈由当前符与optr栈顶优先关系驱动；须检查栈满/空、除零、负号语义及哨兵'#'终止条件。
压栈与出栈不是无条件执行的动作，而是依赖当前状态和输入信号做判断的流程行为。关键在于：什么时候该压、什么时候该出、什么情况下不允许操作——这些全靠流程控制逻辑来把关。
输入类型决定基础动作
读入一个字符或数值后，先分类再分支处理：
- 若为数字字符（'0'–'9'），启动连续读取逻辑，拼成完整整数后压入操作数栈（OPND）
- 若为运算符（'+', '−', '*', '/', '(', ')', '#'），进入运算符优先级判定流程
- 若为空白符（空格、'\t'），直接跳过；若为换行符'\n'，需结合上下文判断是否作为表达式结束信号
栈状态驱动出栈时机
出栈不是由“下一个字符”单独触发，而是由“当前运算符”和“OPTR栈顶运算符”的优先关系共同决定：
- 当前符是')'：循环弹出OPTR并执行计算，直到遇到'('（该左括号仅出栈不参与运算）
- 当前符是'#'且OPTR栈顶也是'#'：整个表达式处理完成，终止流程
- 当前符优先级 ≤ 栈顶运算符（如栈顶为'*'，当前为'+'）：必须先出栈计算，再重新比对，直到满足入栈条件
边界与异常必须显式拦截
流程中每个栈操作前都应嵌入状态检查，否则极易崩溃：
- 压栈前检查栈是否已满（如数组实现中 top == MAX_SIZE − 1）
- 出栈或取栈顶前必判栈空（top == −1 或 isEmpty() 返回 true）
- 执行除法前检查第二个操作数是否为 0
- 处理负号时，若前一符号是 '(' 或运算符，或位于表达式开头，则按一元负号转为 0−x 处理，而非二元减法
初始化与哨兵让流程有始有终
没有明确起点和终点，流程控制就容易失控：
- OPTR栈初始必须压入'#'——它是最底层哨兵，所有运算符优先级都与它比较
- 表达式字符串末尾要补'#'，作为输入结束标志；当两个'#'相遇，即 OPTR.top == '#' 且当前读入 == '#'，主循环退出
- OPND栈初始为空，但每次执行二元运算前，必须确保其中 ≥2 个元素，否则报语法错误
