编译原理程序设计实践(二) 全局变量定义

以下各节的代码根据教材P288的附录A中的pascal代码改写而来。改写时的要求是

1、尽量使用原有的变量名和类型名、函数名和参数名

2、对c++中未提供的运算符或者函数，则额外实现

3、尽量不改动原有的处理流程。

此外，代码中的注释基本摘自技术高手李凡希的博客。地址为http://blog.csdn.net/lifanxi/article/details/3833 

这里向这位技术大牛致以崇高的敬意！

由于代码较多，故分几次贴出，本次先贴出头文件包含语句和全局变量定义语句

 

/* PL/0编译程序与代码生成解释运行程序 */
/* PL/0 compiler with code generation */
/*引入必要的头文件和类型名*/
#include<set>
using std::set;
#include<fstream>
using std::fstream; 
using std::ifstream; 
using std::ofstream; 
#include <iostream>
using std::istream ;
using std::cin;
using std::cout;
using std::endl;
#include <iomanip>
using std::setw;
using std::left;
using std::boolalpha;
#include <cstring>
#include <cctype>
/* 常量定义 */
const int  norw = 13;     /* of reserved words */ /* 保留字的个数 */
const int  txmax = 100;   /* length of identifier table */ /* 标识符表的长度（容量） */
const int  nmax = 14;     /* max number of digits in numbers */ /* 数字允许的最长位数 */
const int  al = 10;       /* length of identifiers */ /* 标识符最长长度 */
const int  amax = 2047;   /* maximum address */ /* 寻址空间 */
const int  levmax = 3;    /* max depth of block nesting */ /* 最大允许的块嵌套层数 */
const int  cxmax = 200;   /* size of code array */ /* 类PCODE目标代码数组长度（可容纳代码行数） */
/* 类型定义 */
enum  symbol
	{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
	}; /* symobl类型标识了不同类型的词汇 */
typedef char  alfa[al]; /* alfa类型用于标识符 */
enum  object{constant, variable, procedure}; /* object为三种标识符的类型 */
typedef set<symbol>  symset; /* symset是symbol类型的一个集合类型，可用于存放一组symbol */
enum fct{lit, opr, lod, sto, cal, _int, jmp, jpc}; /* fct类型分别标识类PCODE的各条指令 */
struct instruction 
{
    fct f;       /* function code */
    int l; /* level */
    int a;   /* displacement addr */
}; /* 类PCODE指令类型，包含三个字段：指令f、层差l和另一个操作数a */
/* 
     lit 0, a  load constant a
     opr 0, a  execute opr a
     lod l, a  load variable l, a
     sto l, a  store variable l, a
     cal l, a  call procedure a at level l
     int 0, a  increment t-register by a
     jmp 0, a  jump to a
     jpc 0, a  jump conditional to a 
*/
 /* 全局变量定义 */
ofstream fa; /* 文本文件fa用于列出源程序 */
ofstream fa1, fa2; /* 文本文件fa1用于列出类PCODE代码、fa2用于记录解释执行类PCODE代码的过程 */
bool listswitch; /* true set list object code */ /* 如果本变量置true，程序编译后将为列出类PCODE代码，
                                                          否则不列出类PCODE代码 */
char ch; /* last char read */ /* 主要用于词法分析器，存放最近一次从文件中读出的字符 */
symbol sym; /* last symbol read */ /* 词法分析器输出结果之用，存放最近一次识别出来的token的类型 */
alfa id;  /* last identifier read */ /* 词法分析器输出结果之用，存放最近一次识别出来的标识符的名字 */
int num; /* last number read */ /* 词法分析器输出结果之用，存放最近一次识别出来的数字的值 */
int cc;  /* character count */ /* 行缓冲区的列指针 */ 
int ll;  /* line length */ /* 行缓冲区长度 */
int kk;  /* 引入此变量是出于程序性能考虑，见getsym过程注释 */
int cx;  /* code allocation index */ /* 代码分配指针，代码生成模块总在cx所指位置生成新的代码 */
char line[81];/* 行缓冲区，用于从文件读出一行，供词法分析获取单词时之用 */
alfa a; /* 词法分析器中用于临时存放正在分析的词 */
instruction code[cxmax];/* 生成的类PCODE代码表，存放编译得到的类PCODE代码 */
alfa word[norw];/* 保留字表 */
symbol wsym[norw];/* 保留字表中每一个保留字对应的symbol类型 */
symbol ssym['^'-' '+1];/* 一些符号对应的symbol类型表 */
char mnemonic[8][5]; /* 类PCODE指令助记符表 */
symset declbegsys, statbegsys, facbegsys; /* 声明开始、表达式开始和项开始符号集合 */
  /* 符号表 */
struct{
	alfa name; /* 符号的名字 */
	object kind;
	union
	{
		int val;                     /* 如果是常量名 val中放常量的值 */
		struct{
			int level, adr, size;   /* 如果是变量名或过程名,存放层差、偏移地址和大小 */
		}; 
	}; 
}table[txmax+1]; 
ifstream  fin; /* fin文本文件用于指向输入的源程序文件，fout程序中没有用到 */
alfa fname; /* 存放PL/0源程序文件的文件名 */
int err; /* 出错总次数 */