实现一个数字电路的脚本解释器（三）——SymbolList的实现

今天实现的是符号表，符号表用于把脚本中的符号和值对应起来，在脚本运行过程中，解释器会对符号表进行添加,查询和修改

在数字电路中，我们暂时认为一个变量就是一根线或者是它上边的节点，这个变量的值就代表了电平，可以简单的定义为三种情况：H，L，和未定义也就是高阻

为了方便查询，我们设定一个查询接口，只要输入一个变量名称就会得到对应的值，至于怎么得到的，对于外部是不可见的

设计一个修改接口，当输入变量名和数值时，就会修改或者创建对应的变量符号

类的设计如下：

//src/SyntacticAnalyzer/SymbolList.h

#ifndef SYMBOLLIST_H
#define SYMBOLLIST_H

#include "../../public/ErrorDefine.h"
#include <string>
using namespace std;

class SymbolInfo{
public:
SymbolInfo(){Next=NULL;};
string		SymbolName;		//符号名称
int			Value;			//符号值
SymbolInfo	*Next;			//下一个节点指针，如果为NULL表示链表结束
private:
};

class SymbolList{						//符号表，使用链表形式处理数据
public:
SymbolList(){FirstSymbol=NULL;};//初始化
~SymbolList();					//用析构函数删除子链
int AddSymbol(string _SymbolName,int _Value=0x2);	//添加符号
int UpdSymbol(string _SymbolName,int _Value);		//修改数据
int GetSymbol(string _SymbolName,int& _Value);		//取得符号对应的数值
private:
SymbolInfo	*FirstSymbol;		//指向符号表第一个元素
};

#endif

来分析一下这个实现过程：

符号表同样是通过链表来实现，链表元素是SymbolInfo，SymbolList存储了链表元素的开头指针，SymbolList的析构函数负责释放链表空间

AddSymbol函数有个默认的0x2这个是未定义的默认值，表示为不确定值，也就是高阻态

所有的函数返回值都是错误值，取得的变量值需要用_Value来接收

//src/SyntacticAnalyzer/SymbolList.cpp

#include "SymbolList.h"
SymbolList::~SymbolList(){		//使用析构函数释放空间
SymbolInfo *_FirstSymbol;
while(0!=FirstSymbol){
_FirstSymbol=FirstSymbol->Next;
try{
delete FirstSymbol;
}
catch(int ErrorID){
throw ERROR_DELETE;
}
FirstSymbol=_FirstSymbol;
}
}
int SymbolList::AddSymbol(string _SymbolName,int _Value){	//_Value有默认值3,表示未定义
SymbolInfo *_FirstSymbol;
_FirstSymbol=FirstSymbol;
int _Value_tmp;
if(GetSymbol(_SymbolName,_Value_tmp)==0){	//返回不等于3则表示存在元素
return ERROR_SYMBOLEXIST;
}
try{
FirstSymbol=new SymbolInfo;
}
catch(int ErrorID){
return ERROR_NEW;
}
FirstSymbol->Next =_FirstSymbol;
FirstSymbol->SymbolName=_SymbolName;
if(_Value<0 || _Value>2){
_Value=2;		//如果赋予的值无效，就将值写成未定义
}
FirstSymbol->Value=_Value;
return 0;
}
int SymbolList::GetSymbol(string _SymbolName,int& _Value){		//返回符号对应的数值
SymbolInfo	*_SymbolPointer;
_SymbolPointer=FirstSymbol;
while(_SymbolPointer!=0){
if(_SymbolPointer->SymbolName==_SymbolName){
_Value=_SymbolPointer->Value;
return 0;
}
_SymbolPointer=_SymbolPointer->Next;
}
return ERROR_SYMBOLNOTEXIST;
}
int SymbolList::UpdSymbol(string _SymbolName,int _Value){
int _Return=0;
int _Valuex=0;
if(ERROR_SYMBOLNOTEXIST==GetSymbol(_SymbolName,_Valuex)){	//如果不存在符号就添加一个
if(_Return=AddSymbol(_SymbolName,_Value)){
return _Return;
}
return 0;
}
SymbolInfo	*_SymbolPointer;
_SymbolPointer=FirstSymbol;
while(_SymbolPointer!=0){
if(_SymbolPointer->SymbolName==_SymbolName){
_SymbolPointer->Value=_Value;
return 0;
}
_SymbolPointer=_SymbolPointer->Next;
}
return ERROR_NOTDEFINE;	//这里实际上是多余的返回
}

实现的方法就是从开头开始依次进行查询函数名，若函数名相同就进行对应的操作

需要注意的是，调用UpdSymbol时，如果符号不存在，就会自己创建一个

这个表的实现和数据栈实现很相似，只是接口和功能不同

对应的错误编号在（零）中说明了

接下来是对代码进行测试：

//main.cpp

#include <iostream>
#include <string>
using namespace std;

int main(){
SymbolList _Symbol_List; //创建一个对象
_Symbol_List.UpdSymbol("Var1",1);
_Symbol_List.AddSymbol("Var2",2);
int _Value=0;
_Symbol_List.GetSymbol("Var1",_Value);
cout << "Var1=" << _Value;
_Symbol_List.GetSymbol("Var2",_Value);
cout << "Var2=" << _Value;
return 0;
}

可以看到打印出了对应的值，初步认为通过测试了。