【编译系统02】编译器 - 语义分析器(semantic)的简单设计思路(变量类与变量表)

当我们分析到 "int n;"，说明其已经定义了一个变量，之后又遇到一个 "n=3"，我们从哪里去找这个n并且赋值呢？

答案是：通过我们定义的 变量表（Table） 中查找。

其实，这变量声明定义与变量赋值一系列动作，都是由语义分析器负责的。

1. 当扫描到一个声明语句，比如 "string x;" 时：

　　1）在语法分析中，当检测到 string <type>，其会将 (string,x)保存在(tVar.type,tVar.name)。

　　2）调用 Table.addVar ，该函数会生成一个新的 变量对象(var_record)，然后添加进 map<> 中。

　　3）当之后遇到  x = ''hello world"时，其会调用 Table.getVar(x)，然后将其赋值为 "hello world"，这样就实现了赋值。

2. var_record类定义如下(）：

 class var_record {
 public:
     symbol type; // 类型
     string name; // 名称

     // 变量值
     int intVal; // 整数
     string strVal; // 字符串

     int localAddr; // 局部变量相对于ebp指针的地址，或者临时string的索引地址
     var_record(); // 默认构造函数
     void init(symbol dec_type, string dec_name); // 声明初始化函数
     var_record(const var_record& v);//拷贝构造函数
     ~var_record();
 };

　　1）变量值一开始打算使用 union{int,string} 来实现，但在c++union作为类，存在权限访问冲突（暂时没解决），因此就分开来实现。

3. Table 变量表的定义如下：

 class Table {
     map<string, var_record*> var_map; // 变量声明列表
 public:
     Table(); // 构造函数
     void addVar(); // 添加变量声明记录，默认使用tvar

     //  该函数估计暂时用不到
     //void addVar(var_record*v); // 添加变量声明记录，重载（赋值已声明的变量后则要实现重载)
     var_record * getVar(string name); // 获取已经记录的变量名
 };

　　1）Table类核心就是围绕map<>结构来建立

　　2）两个方法，一个是添加变量，另一个是找到变量。

4. 简单的测试代码（模拟"遇到字符串与数字的定义赋值与输出"）

 #include "pch.h"
 #include "semantic.h"
 #include <iostream>
 #include <string>
 #include <map>
 using namespace std;

 map<string, int> a;

 /*
      模拟变量声明过程
      int a;
      a = 3;
 */

 int main() {
     // 建立一个全局变量表

     Table VarTable;

     // int a;
     tVar.type = NUM; // 变量类型是 NUM(INT) 数字类型
     tVar.name = "a";    // 添加变量名
     VarTable.addVar(); // 其默认将tVar 添加进表中

     // a = 3;
     var_record * a =  VarTable.getVar("a"); // 拿出变量a
     a->intVal = ; // 将a 赋值为 3

     // 输出结果
     // cout << a << endl
     cout << VarTable.getVar("a")->intVal << endl;

     // string x;
     tVar.type = STR; // 变量类型是 NUM(INT) 数字类型
     tVar.name = "x";    // 添加变量名
     VarTable.addVar(); // 其默认将tVar 添加进表中

     // x= "hello world";
     var_record * x = VarTable.getVar("x"); // 拿出变量x
     x->strVal = "hello world"; // 将a 赋值为 3
     int tt =;

     cout << VarTable.getVar("x")->strVal << endl;
     return ;
 }

测试结果符合要求。