模板使用的方式

基础的控制命令

make命令会执行整个编译流程对于修改过的文件会自动进行重新编译
make test命令会执行编译流程并将test文件夹下的所有c文件逐个作为输入将输出结果写到对应的res文件中
make clean清理生成的文件

同学们需要做的事情

根据tree.h写出自己的tree.cpp 自行添加更多的功能
修改main.l main.y完善整个语法分析流程
如果想要做额外工作自己进行更多修改

模板项目结构说明

.
├── Makefile 
├── README.md
├── common.h 
├── lex.yy.cc
├── main.cpp
├── main.l
├── main.out
├── main.output
├── main.tab.cc
├── main.tab.hh
├── main.y
├── test
│   ├── 0.c
│   ├── 1.c
│   ├── 2.c
│   └── 3.c
├── tree.cpp
└── tree.h

common.h包含自定义的结点头文件模板中只提供了简单的语法树结点tree.h 在其他文件中通过引用common.h即可使用自定义结点的各类方法
main.l词法分析文件通过flex编译后生成lex.yy.cc 在文件中引用common.h来使用自定义语法树结点的方法引用main.tab.hh来使用语法分析过程中声明的token 配合语法分析器使用生成的整个过程通过yylex()进行调用
main.y语法分析文件通过bison编译生成main.tab.hh main.tab.cc 注意为了生成头文件需要在文件中加入%option defines 在文件中引用common.h来使用自定义语法树结点方法加入yylex()函数声明来允许调用词法分析方法生成的整个过程通过yyparse()进行调用
main.cpp主体程序包含main()函数通过引用main.tab.hh来调用yyparse()开始语法分析过程通过引用common.h来调用自定义语法树结点方法
main.output bison编译时通过加入-v参数而生成的文法分析说明文件
main.out 最后编译得到的可执行文件
tree.h tree.cpp自定义语法树结点的声明与实现
.gitignore 控制git管理文件时忽略文件的规则
Makefile Makefile命令声明

关于Makefile命令的解释

简单解释一下命令的结构

目标:依赖1 依赖2 ...
    命令
    ...

目标

很好理解平时输入make 目标其实就是会去当前的Makefile文件中找到我们声明的目标并执行包含的命令而当我们只输入make时实际执行的默认的第一个目标对应到我们模板的Makefile则是等价于执行make all(.PHONY的问题我们下面来讨论)

伪目标

.PHONY是说明伪目标而存在的对于有些目标比如clean 一般来说它并不是为了生成真的clean文件它只是一个标签但遇到有些特殊的情况比如真的存在clean文件时make会出现问题而.PHONY会显式的指明目标是一个伪目标防止其他意外情况出现

依赖

但我们的all目标其实没有写任何命令只写了一个依赖run 这又是怎么发挥效果的呢？

目标的依赖项可以是文件也可以是其他目标在执行当前目标时make会查看当前目标的所有依赖项如果有依赖项比当前目标还要新那么就可以认为当前目标已经‘过时’了需要重新生成对应的依赖项以及当前目标

Makefile函数

实际上Makefile也提供一系列自带的函数来方便我们使用例如模板中的$(shell )指调用一个shell命令模板中的main目标执行的命令$(shell ls *.cpp *.cc) 效果就是找到当前目录下所有的cpp与cc文件实际最终效果相当于g++ lex.yy.cc main.cpp main.tab.cc tree.cpp -o main.out 而$(basename $(shell find test/*.c))就是两个函数的调用先找到test文件夹下所有的c文件再去掉它们的文件名后缀在我们的模板中结果即为test/0 test/1 test/2 test/3

循环

在Makefile中\用来连接两行表示两行虽然分开写但实际效果与连续写一致我们通过使用循环实现了逐个测试test文件夹下的文件的效果

关于结点类型的说明

在不进行声明的情况下 bison默认会定义YYSTYPE宏为int类型若我们自行定义了YYSTYPE类型那么自然flex中的yylval和bison中的$$ $0 $1 $2...会变为我们定义的类型若我们使用%union{}之后通过%token<type> %type<type>的方式使用union中的类型则不要定义YYSTYPE宏 bison会自动包含我们声明的union

TonyLiu9/compilers