从零实现一个中缀表达式解析器：双栈算法的艺术与陷阱

从零实现一个中缀表达式解析器：双栈算法的艺术与陷阱

1. 中缀表达式解析的核心挑战

当我们第一次接触表达式计算时，往往会遇到一个看似简单实则复杂的问题：如何让计算机理解"3+5*2"这样的数学表达式？人类可以直观地知道先算乘法再算加法，但计算机需要明确的规则来处理运算符优先级和结合性。这就是中缀表达式解析的核心挑战。

中缀表达式是指运算符位于两个操作数之间的表达式形式，比如"a + b * c"。这种表示法对人类友好，但对计算机处理却存在三个主要难点：

1. 运算符优先级：乘除优先于加减
2. 结合性：相同优先级运算符的计算顺序（左结合或右结合）
3. 括号处理：括号内的表达式需要优先计算

双栈算法（Dijkstra的Shunting-yard算法）是解决这一问题的经典方案，它使用两个栈分别存储操作数和运算符，通过巧妙的入栈出栈规则来处理上述挑战。

2. 双栈算法原理剖析

2.1 基本数据结构

双栈算法的核心在于维护两个栈：

operand_stack = []  # 操作数栈
operator_stack = []  # 运算符栈

操作数栈存储待计算的数字，运算符栈存储尚未处理的运算符。算法的处理流程遵循以下原则：

1. 遇到数字直接压入操作数栈
2. 遇到运算符时，与运算符栈顶元素比较优先级：
   • 如果栈顶运算符优先级更高或相等，则先计算栈顶运算
   • 否则将当前运算符压入栈
3. 遇到左括号压入运算符栈
4. 遇到右括号时，不断弹出运算符并计算，直到遇到左括号

2.2 优先级与结合性处理

运算符优先