手把手教你用C++ Builder 6给PL/0编译器加新功能：从IF-THEN到IF-ELSE-编程实验室

从IF-THEN到IF-ELSE：PL/0编译器功能扩展实战指南

当第一次打开PL/0编译器的源代码时，那种面对数千行陌生代码的茫然感至今记忆犹新。作为编译原理课程的经典实验项目，给这个教学级编译器增加ELSE子句功能，是理解编译器工作原理的绝佳切入点。本文将带你从零开始，用C++ Builder 6环境，一步步实现这个看似简单却蕴含深度的功能扩展。

1. 理解PL/0编译器的基础架构

在动手修改代码前，我们需要先摸清PL/0编译器的整体结构。这个用C语言编写的编译器采用单趟扫描（one-pass）设计，核心由18个相互调用的函数组成。其中几个关键函数构成了编译器的骨架：

GetSym()：词法分析器，负责将源代码转换为token流
Block()：语法分析的核心，处理分程序结构
Statement()：语句处理中枢，包括条件、循环等控制结构
Condition()：处理布尔表达式
Expression()：处理算术表达式

PL/0的目标代码（P-code）是一种栈式虚拟机的指令集，包含8种基本指令：

指令	功能描述	示例
LIT	将常量压栈	LIT 0 5
LOD	加载变量到栈顶	LOD 1 3
STO	将栈顶值存入变量	STO 2 4
CAL	过程调用	CAL 1 0
INT	在栈上分配空间	INT 0 6
JMP	无条件跳转	JMP 0 12
JPC	条件跳转（栈顶为假时跳转）	JPC 0 20
OPR	算术/逻辑运算	OPR 0 3（减法）

这种简洁的设计使得PL/0成为学习编译器实现的理想模型。当我们添加ELSE功能时，主要需要修改Statement()函数中的条件语句处理逻辑，并正确生成对应的JMP和JPC指令。

2. 词法分析器的扩展准备

在实现ELSE功能前，我们需要确保词法分析器能够识别新的关键字。PL/0的词法符号定义在SYMBOL枚举类型中：

typedef enum { NUL, IDENT, NUMBER, PLUS, MINUS, TIMES, SLASH, ODDSYM, EQL, NEQ, LSS, LEQ, GTR, GEQ, LPAREN, RPAREN, COMMA, SEMICOLON, PERIOD, BECOMES, BEGINSYM, ENDSYM, IFSYM, THENSYM, WHILESYM, WRITESYM, READSYM, DOSYM, CALLSYM, CONSTSYM, VARSYM, PROCSYM, PROGSYM, // 新增的ELSE符号 ELSESYM } SYMBOL;

同时需要在关键字表中添加ELSE的映射：

// 在KWORD数组中添加 strcpy(KWORD[6], "ELSE"); // 在WSYM数组中添加对应符号 WSYM[6] = ELSESYM;

这些修改让GetSym()函数能够识别源代码中的ELSE关键字。可以通过简单的测试程序验证：

PROGRAM TEST; BEGIN IF 1=1 THEN WRITE(1) ELSE WRITE(0) END.

如果词法分析器工作正常，它应该能正确识别出IF、THEN、ELSE等关键字。

3. 文法扩展与语法图修改

原始的PL/0条件语句文法非常简单：

<条件语句> ::= IF <条件> THEN <语句>

我们需要将其扩展为包含ELSE的形式：

<条件语句> ::= IF <条件> THEN <语句> [ELSE <语句>]

对应的语法图也需要更新：

+-----------+ | IF | +-----+-----+ | +-----v-----+ | <条件> | +-----+-----+ | +-----v-----+ | THEN | +-----+-----+ | +-----v-----+ | <语句> | +-----+-----+ | +-----v-----+ +-----------+ | ELSE +--->| <语句> | +-----------+ +-----------+

这种扩展属于上下文无关文法的修改，不会影响其他语法结构。关键在于确保语法分析器能够正确处理可选的非终结符（ELSE部分）。

4. 语义分析与中间代码生成

PL/0编译器采用递归下降分析法，条件语句的处理逻辑集中在Statement()函数中。原始的IF-THEN实现已经包含了条件跳转（JPC）的基本框架：

case IFSYM: GetSym(); CONDITION(SymSetUnion(SymSetNew(THENSYM,DOSYM),FSYS),LEV,TX); if (SYM==THENSYM) GetSym(); else Error(16); CX1=CX; GEN(JPC,0,0); // 生成条件跳转指令，地址暂填0 STATEMENT(FSYS,LEV,TX); CODE[CX1].A=CX; // 回填跳转地址 break;

要实现IF-ELSE，我们需要修改这段代码，使其能够处理ELSE分支。关键点在于：

THEN块结束后需要无条件跳转到整个IF-ELSE结构之后
ELSE块需要有自己的入口点
需要正确管理两个跳转目标的回填

修改后的核心逻辑如下：

case IFSYM: GetSym(); CONDITION(SymSetUnion(SymSetNew(THENSYM,DOSYM),FSYS),LEV,TX); if (SYM==THENSYM) GetSym(); else Error(16); CX1=CX; GEN(JPC,0,0); // 条件为假时跳转到ELSE或后续语句 STATEMENT(FSYS,LEV,TX); CX2=CX; GEN(JMP,0,0); // THEN块结束后跳转到整个IF-ELSE之后 CODE[CX1].A=CX; // 回填第一个跳转地址 if (SYM==ELSESYM) { GetSym(); STATEMENT(FSYS,LEV,TX); CODE[CX2].A=CX; // 回填第二个跳转地址 } break;

这种实现方式会产生如下的指令序列：

... 前序代码 ... JPC 0, L_ELSE ; 条件为假跳转到ELSE块 ... THEN块代码 ... JMP 0, L_END ; 跳过ELSE块 L_ELSE: ... ELSE块代码 ... L_END: ... 后续代码 ...

5. 地址回填技术详解

PL/0编译器采用单趟扫描设计，这意味着它在生成跳转指令时，目标地址可能尚未确定。这种"先生成后回填"的技术是编译器构造中的常见策略。

在我们的IF-ELSE实现中，涉及两种跳转指令：

JPC（条件跳转）：当IF条件为假时跳转
- 初始生成时目标地址未知（填0）
- 解析完THEN块后回填为ELSE块开始地址（或IF语句结束地址，如果没有ELSE）
JMP（无条件跳转）：跳过ELSE块
- 在THEN块结束后生成
- 解析完ELSE块后回填为IF语句结束地址

回填过程通过修改CODE数组中的指令操作数实现。PL/0的指令结构为：

struct { int F; // 操作码 int L; // 层次差 int A; // 操作数/地址 } CODE[CODE_SIZE];

例如，当我们在CX1位置生成JPC指令时：

CX1 = CX; // 记录当前指令地址 GEN(JPC, 0, 0); // 生成指令 CODE[CX1] = {JPC, 0, 0}

后续通过CODE[CX1].A = target_address来更新跳转目标。

6. C++ Builder 6环境下的调试技巧

在C++ Builder 6这种较老的开发环境中调试编译器代码，可以采用以下实用技巧：

使用OutputDebugString输出调试信息

char debugMsg[100]; sprintf(debugMsg, "生成JPC指令，地址=%d", CX); OutputDebugString(debugMsg);

查看生成的P-code指令序列

在Interpret()函数中添加诊断输出：

void ListCode(int start, int end) { for (int i = start; i <= end; i++) { printf("%d: %s %d %d\n", i, MNEMONIC[CODE[i].F], CODE[i].L, CODE[i].A); } }

常见编译错误排查

"Undefined symbol"错误：检查所有新增的枚举值是否在全部相关switch语句中有处理分支
指令生成位置错误：确保GEN()调用时所有参数计算正确，特别是层次差(LEV - TABLE[i].vp.LEVEL)
无限循环：检查词法分析器对新增关键字的识别是否正确，确保GetSym()能正常推进

使用断点观察符号表变化

在Statement()函数开始处设置断点，观察TX（符号表指针）和LEV（嵌套层次）的变化，确保符号查找和地址计算正确。

7. 测试用例设计与验证

完善的测试是确保编译器修改正确的关键。对于IF-ELSE扩展，应该设计多种测试场景：

基础功能测试

PROGRAM TEST1; VAR X; BEGIN X := 1; IF X = 1 THEN WRITE(100) ELSE WRITE(200) END.

预期输出：100

ELSE分支执行测试

PROGRAM TEST2; VAR X; BEGIN X := 0; IF X = 1 THEN WRITE(100) ELSE WRITE(200) END.

预期输出：200

嵌套IF测试

PROGRAM TEST3; VAR X,Y; BEGIN X := 1; Y := 2; IF X = 1 THEN IF Y = 2 THEN WRITE(300) ELSE WRITE(400) ELSE WRITE(500) END.

预期输出：300

无ELSE语句测试

PROGRAM TEST4; VAR X; BEGIN X := 0; IF X = 1 THEN WRITE(100) WRITE(200) END.

预期输出：200（确保原始IF-THEN功能不受影响）

复杂条件测试

PROGRAM TEST5; VAR X,Y; BEGIN X := 5; Y := 10; IF (X > 0) AND (Y < 20) THEN WRITE(1) ELSE WRITE(0) END.

预期输出：1

在C++ Builder 6中运行这些测试程序时，可以结合前面提到的ListCode()函数，查看生成的P-code指令序列是否符合预期。例如，对于第一个测试用例，应该能看到类似这样的指令序列：

... 10: LOD 0 3 ; 加载变量X 11: LIT 0 1 ; 加载常量1 12: OPR 0 8 ; 比较相等 13: JPC 0 18 ; 条件为假跳转到ELSE块 14: LIT 0 100 ; THEN块开始 15: OPR 0 14 ; 输出 16: JMP 0 20 ; 跳过ELSE块 18: LIT 0 200 ; ELSE块开始 19: OPR 0 14 ; 输出 20: OPR 0 0 ; 程序结束