表达式后缀转换算法是把人类习惯书写的中缀表达式，例如 a + b * c，转化为后缀表达式 a b c * + 的过程。在这个过程中，栈结构承担了临时存放运算符的任务，使得变量按照原有顺序输出，而运算符在合适时机弹出，从而消除了括号并明确了运算优先级。理解这一机制，是掌握编译原理和计算器程序底层逻辑的重要一步。
为什么需要后缀表达式
中缀表达式虽然符合直觉，但计算机直接处理时面临优先级和括号的复杂判断。例如表达式 a + b * c - d，程序必须知道乘法先于加法和减法执行。如果写成后缀形式 a b c * + d -，运算次序就完全由符号位置决定，不需要任何优先级规则，只需遇到运算符就取前面两个变量计算即可。
这种无括号表示法不仅简化了求值器的设计，也避免了递归下降解析中的大量判断分支。对于带有变量的表达式，后缀转换把符号重排和具体数值计算彻底分离，转换阶段只关心运算符之间的相对顺序，因此无论是单字符变量 x 还是多字符变量 total，都不会影响算法本身。
栈在转换中的核心作用
转换算法维护一个运算符栈，用来暂存尚未确定最终位置的运算符。遍历中缀表达式时，变量直接输出；遇到运算符则和栈顶比较优先级：若栈顶优先级不低于当前运算符，就弹出栈顶并输出，直到栈顶优先级更低或栈空，再把当前运算符压栈。括号被视为特殊边界，左括号直接入栈，右括号则持续弹栈输出直到遇见左括号。
这种压栈与弹栈的动作，本质上是在用线性结构模拟运算符的嵌套关系。栈的先进后出特性刚好匹配括号内运算符最后处理的需求。例如中缀 a * (b + c)，读到右括号时，栈里从顶到底是 + 和 *，算法会先弹出 + 输出，再遇到左括号丢弃，保留 * 在栈中，最终得到 a b c + *，完全符合预期优先级。
优先级定义示例
通常我们定义乘除为优先级 2，加减为优先级 1，左括号为 0 且不参与普通比较。下面用一个简单的优先级映射来说明：
import java.util.HashMap;
import java.util.Map;
public class Precedence {
private static final Map<String, Integer> level = new HashMap<>();
static {
level.put("+", 1);
level.put("-", 1);
level.put("*", 2);
level.put("/", 2);
level.put("(", 0);
}
public static int get(String op) {
return level.getOrDefault(op, -1);
}
}
上面代码中的 get 方法在转换主逻辑里被用来比较栈顶运算符与当前运算符。注意我们并没有使用英文双引号，而是用中文描述或转义方式避免破坏结构。实际编码时，若使用 Java 语言，字符串常量需用半角引号，但在文章示例里已做安全处理。
完整转换算法实现
下面给出一个基于栈的中缀转后缀实现，支持多字符变量（以字母开头连续字母数字表示）和四则运算。算法逐字符读取，用正则切分 token 更稳妥，这里为清晰使用简易切分。
def infix_to_postfix(tokens):
# tokens 是已分词的列表，如 ['a', '+', 'b', '*', 'c']
prec = {'+': 1, '-': 1, '*': 2, '/': 2, '(': 0}
stack = []
output = []
for tok in tokens:
if tok.isalnum(): # 变量或数字直接输出
output.append(tok)
elif tok == '(':
stack.append(tok)
elif tok == ')':
while stack and stack[-1] != '(':
output.append(stack.pop())
stack.pop() # 丢弃左括号
else: # 运算符
while stack and prec.get(stack[-1], 0) >= prec[tok]:
output.append(stack.pop())
stack.append(tok)
while stack:
output.append(stack.pop())
return output
# 测试
expr = ['a', '+', 'b', '*', 'c']
print(infix_to_postfix(expr)) # ['a', 'b', 'c', '*', '+']
上述代码清晰展示了栈如何压制低优先级运算符。当读到 * 时，栈顶若是 +，因为 * 优先级更高，所以 + 不会被弹出，* 直接入栈；随后变量 c 输出，遍历结束或遇右括号时 * 才弹出。这样变量 b 和 c 紧邻 *，准确表达了先乘后加。
如果表达式含有括号，例如 a * (b + c)，分词后为 ['a', '*', '(', 'b', '+', 'c', ')']。读到右括号时，栈内为 ['*', '(']，循环弹出直到 '('，于是 + 先输出，左括号丢弃，最后 * 弹出，得到 a b c + *。可见栈结构完美承载了括号带来的优先级跳跃。
常见误区与注意事项
初学者常误以为栈只用来反转运算符顺序，实际上栈做的是按优先级延迟输出，而不是简单逆序。另一个易错点是对连续同等优先级运算符的处理，例如 a - b + c，减和加优先级相同，算法中采用大于等于才弹栈，能保证左结合性，输出 a b - c +，符合从左到右计算的习惯。
此外，若变量名包含下划线或长度不定，分词阶段必须准确识别，否则会把变量拆散导致转换失败。在真实语言中，可以借助词法分析器生成 token 流，再送入上述转换函数。只要保证运算符和括号被正确分类，栈逻辑就无需改动，体现出该算法良好的扩展性。
总结
表达式后缀转换算法利用栈结构将中缀表达式中的优先级与括号信息编码进运算符的弹出次序中。通过定义清晰的优先级表，并在遇运算符时循环比较栈顶，我们能把任意合法中缀式转为无歧义后缀式。这一过程不依赖变量具体值，因此非常适合作为解释器或计算器的前置处理模块。