用C语言写解释器（四）——语句分析

声明

为提高教学质量，我所在的学院正在筹划编写C语言教材。《用C语言写解释器》系列文章经整理后将收入书中“综合实验”一章。因此该系列的文章主要阅读对象定为刚学完C语言的学生（不要求有数据结构等其他知识），所以行文比较罗嗦，请勿见怪。本人水平有限，如有描述不恰当或错误之处请不吝赐教！特此声明。

语句

在前面的章节中已经成功实现了内存管理和表达式求值模块。之所以称表达式求值是解释器的核心部分，是因为几乎所有语句的操作都伴随着表达式求值。也许你已经迫不及待地给 eval 传值让它执行复杂的运输了，但目前来讲它充其量只是一个计算器。要想成为一门语言，还需要一套自成体系的语法，包括输入输出语句和控制语句。但在进行语法分析之前，首先需要将 BASIC 源码载入到内存中。

BASIC 源码载入

在《用C语言写解释器（一）》中附了一段 BASIC 参考代码，每一行的结构是一个行号+一条语句。其中行号为 1-9999 之间的正整数，且当前行号大于前面的行号；语句则由以下即将介绍的 3 条 I/O 语句和 8 条控制语句组成。为方便编码，程序中采用静态数组来保存源代码，读者可以尝试用链表结构实现动态申请的版本。下面是代码结构的定义。

// in basic_io.h #define PROGRAM_SIZE (10000) typedef struct { int ln; // line number STRING line; } CODE; extern CODE code[PROGRAM_SIZE]; extern int cp; extern int code_size;

其中 code_size 的作用顾名思义：记录代码的行数。cp （0 ≤ cp < code_size）记录当前行的下标（比如 cp 等于5时表明执行到第5行）。下面是载入 BASIC 源码的参考代码，在载入源码的同时会去除两端的空白字符。

// in basic_io.c void load_program ( STRING filename ) { FILE *fp = fopen ( filename, "r" ); int bg, ed; if ( fp == NULL ) { fprintf ( stderr, "文件 %s 无法打开！/n", filename ); exit ( EXIT_FAILURE ); } while ( fscanf ( fp, "%d", &code[cp].ln ) != EOF ) { if ( code[cp].ln <= code[cp-1].ln ) { fprintf ( stderr, "Line %d: 标号错误！/n", cp ); exit ( EXIT_FAILURE ); } fgets ( code[cp].line, sizeof(code[cp].line), fp ); for ( bg = 0; isspace(code[cp].line[bg]); bg++ ); ed = (int)strlen ( code[cp].line + bg ) - 1; while ( ed >= 0 && isspace ( code[cp].line[ed+bg] ) ) { ed--; } if ( ed >= 0 ) { memmove ( code[cp].line, code[cp].line + bg, ed + 1 ); code[cp].line[ed + 1] = 0; } else { code[cp].line[0] = 0; } cp++; if ( cp >= PROGRAM_SIZE ) { fprintf ( stderr, "程序%s太大，代码空间不足！/n", filename ); exit ( EXIT_FAILURE ); } } code_size = cp; cp = 1; }

语法分析

源码载入完成后就要开始逐行分析语句了，程序中总共能处理以下 11 种语句：

// in main.c typedef enum { key_input = 0, // INPUT key_print, // PRINT key_for, // FOR .. TO .. STEP key_next, // NEXT key_while, // WHILE key_wend, // WEND key_if, // IF key_else, // ELSE key_endif, // END IF key_goto, // GOTO key_let // LET } keywords;

《用C语言写解释器（一）》中详细描述了每个语句的语法，本程序中所谓的语法其实就是字符串匹配，参考代码如下：

// in main.c keywords yacc ( const STRING line ) { if ( !strnicmp ( line, "INPUT ", 6 ) ) { return key_input; } else if ( !strnicmp ( line, "PRINT ", 6 ) ) { return key_print;