编译原理实践指南：SLR(1)文法下的语义分析与四元式生成实现

1. 从理论到实践：为什么选择SLR(1)文法？

很多同学一听到“编译原理”、“语法分析”这些词，头就开始大了。课本上那些抽象的FIRST集、FOLLOW集、ACTION表、GOTO表，看一遍就让人眼花缭乱。我记得自己刚开始学的时候，总觉得这些东西离真正的编程很远，直到我亲手用C++实现了一个SLR(1)分析器，才恍然大悟：原来编译器前端是这么“玩”的。今天，我就想和你聊聊，怎么把课本上那些枯燥的SLR(1)文法规则，变成一个能真正进行语义分析、生成四元式中间代码的实用程序。

SLR(1)其实是“简单LR(1)”的缩写，它是LR分析家族中最容易上手的一种。你可能会问，为什么不用更简单的LL(1)，或者更强大的LR(1)、LALR(1)呢？这里有个很实际的考量：在保证足够能力的前提下，实现成本。LL(1)文法限制太多，很多常见的算术表达式文法它都处理不了；而标准的LR(1)分析表构造起来太复杂，状态数爆炸，对课程设计或者自己练手来说不太友好。SLR(1)正好取了个平衡点——它基于LR(0)项目集族，只是利用FOLLOW集来解决一部分冲突，这使得它的分析表大小适中，构造算法也相对直观。对于我们处理V=E这样的赋值语句，以及包含加减乘除、括号的表达式文法来说，SLR(1)的能力绰绰有余。

我选择用C/C++来实现，一方面是因为它们“够底层”，能让我们清晰地管理分析栈、状态、符号这些核心数据结构，真正理解每一步是怎么走的；另一方面，C/C++的效率足够高，后续如果你想把这个前端扩展成一个真正的简单编译器，性能上也有保障。当然，用Python或Java写起来可能更快，但那种感觉就像用高级封装好的库，少了点“造轮子”的乐趣和对底层细节的掌控感。接下来，我会带你一步步拆解，如何从文法定义开始，构建出完整的SLR(1)分析器，并让它不仅能判断语法对错，还能“理解”语义，生成可供后端优化的四元式代码。

2. 核心战场：SLR(1)分析表的手工构造与代码实现

要实现SLR(1)分析器，最核心、也是最容易让人卡住的一步，就是那张神秘的“分析表”。原始文章里直接给出了一个vector<vector<int>> table，但它是怎么来的呢？如果不搞清楚这个过程，程序对你来说就永远是个黑盒。别怕，我们一起来把它掰开揉碎。

首先，我们得明确我们的文法。就是下面这个经典的赋值语句文法：

G[S]:
S -> V = E
E -> E + T | E - T | T
T -> T * F | T / F | F
F -> ( E ) | i
V -> i

这里的 i 代表标识符（比如变量名a, b, c）。第一步是拓广文法，增加一个 S' -> S，这是为了后续构造分析表的方便。然后，我们要构造LR(0)项目集规范族。所谓“项目”，就是在产生式右部某个位置加一个点“.”，表示分析进度。例