注:
课程:《编译技术》上机
实验一:词法语法分析器的设计与实现,生成抽象语法树。
建议使用词法语法分析程序生成工具如:LEX/FLEX , YACC/BISON等专业工具完成。

此处完成补充 一维数组赋值 的操作
前期准备
  1. 已经将整个文件夹都备好份,以供魔改后的回溯
    在这里插入图片描述
开始实验
第一步

修改parser.y文件(parser.y是C语言文法)

  1. 第133行修改Exp语法
     新增的语法 匹配 一维数组赋值部,即{ 8,2,3 }
    在这里插入图片描述

  2. 第135-138行插入Arraylist的文法
     通过迭代达到可以匹配多个参数的目的
     那个空语句我注释起来了,本来是想要支持的,但是它支持空后会与其他的产生冲突,比如函数体是支持空的,当某个函数体为空,那么文法检测时检测到左大括号{后,都想要移进右大括号},但是采用哪个文法移进呢(他就有了两个选择1.函数体为空2.数组赋值体为空),需要设置优先级解决。emmmmm我懒了
    在这里插入图片描述

  3. 第26行补充定义非终结符名
    在这里插入图片描述

  4. 第38行补充定义状态名
    在这里插入图片描述

  5. 第42、43、50、57行补充优先级
     补充定义一下优先级,因为如果不定义的话会出现移进/规约冲突
    一会儿我给你们截个图看一看移进归约冲突张啥子样子hhhhh
    在这里插入图片描述

  6. 第103行修改DefList优先级
     插入%prec ID表明该条语句有着和ID一样的优先级(具体为什么是ID,emmmm只能说是分析加尝试,我的头就是这么秃的hhhhhh
    在这里插入图片描述
    参观开始啦!
     移进/归约冲突的报错,然后我们运行bison -d -v parser.y,他会输出一个文件parser.output
    在这里插入图片描述
    打开文件后他告诉我们 状态47发生了12个移进归约冲突
    在这里插入图片描述
     来到状态47,拿INT举例,它既可以移进shift,又可以使用规则29归约reduce
    于是就产生了一个冲突。
    在这里插入图片描述
     我们可以再去看规则29时可以发现,是DefList的空语句跟其他语句产生的冲突,所以我们要调整它或者与他产生冲突的语句的优先级(只要优先级不同就不会冲突),但是还是要注意优先级也不是随便调的,比如这个空语句你如果调太高的话,识别时看到左大括号,下一个就想要右大括号,而不想要检测其他语句,也会产生错误。
    不过这种错误都是在最后一步parser test.c时爆出来的
    在这里插入图片描述
     好了参观就到此为止了hhhh

第二步

修改ast.c文件(ast.c定义了树的生成与输出)

  1. 在第148-151行插入ARRAY的输出
     感觉大家应该都懂了,就不解释了
    在这里插入图片描述
  2. 在第152-154行插入ARRAY_LIST的输出
    在这里插入图片描述

补:解释一下 printf("% * cCHAR:%c\n",indent,’ ‘,T->type_char);的含义:先打印indent个空格,再打印CHAR:%c
默认低一级的话,往后移3个空格

第三步

修改test.c文件(测试代码)

  1. 第14行是测试一维数组局部变量声名时赋值
  2. 第42行是测试一维维数组赋值
    在这里插入图片描述
结果检验

 依次运行

flex lex.l
bison -d parser.y
gcc -o parser lex.yy.c parser.tab.c ast.c
parser test.c

在这里插入图片描述
 发现有乱码,使用chcp 65001切换到UTF-8编码界面
在这里插入图片描述

 一维数组的赋值输出完成!
在这里插入图片描述
 一维数组局部变量声明时赋值也可以输出!

 一维数组赋值补充完成啦!这里就稍微难一点了,需要权衡优先级之类的,而且优先级也不是很好调节,太高太低都不行,不过难度还行不算大,我当时耗在这里的时间比多维数组赋值少得多得多....加油吧!奥力给!

 近期可能不会更新了,我要去gun去复习了~

写在结尾

希望以上可以帮到你!
如有错误,或不同想法,欢迎指出,互相学习共同进步!